First International Conference on Industrial and Information Systems最新文献_第2页

Online Character Recognition System using Elastic Matching 基于弹性匹配的在线字符识别系统

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIIS.2006.365641

V. Kumar, R. Ahuja

引用次数: 1

Impedance Characteristic of Shoulder and Elbow Joints during Passive Movement 被动运动中肩关节和肘关节的阻抗特性

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIIS.2006.365729

M.M. Rahman, M.H. Rahman, R. Ikeura

引用次数: 4

Localization of Insulation Degradation in Medium Voltage Distribution Cables 中压配电电缆绝缘劣化的定位

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIINFS.2006.347143

R. Eriksson, R. Papazyan, G. Mugala

引用次数: 13

Contouring with DC Motors - a Practical Experience 直流电机轮廓-一个实践经验

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIIS.2006.365774

V.W. Bandara, A. Vidanapathirana, S. Abeyratne

{"title":"Contouring with DC Motors - a Practical Experience","authors":"V.W. Bandara, A. Vidanapathirana, S. Abeyratne","doi":"10.1109/ICIIS.2006.365774","DOIUrl":"https://doi.org/10.1109/ICIIS.2006.365774","url":null,"abstract":"The system was developed to address some difficulties encountered in a flame cutter that cuts metal sheets based on an intelligent controller. In the existing system an optical sensor is used for the feedback that tracks the drawing-into 1:1 scale. The new proposal is to modify the entire system using stored-programs with feedback generated from shaft sensors. Thus the proposed system uses AUTOCAD software for drawing implementation. The application software developed in the project extracts the minimum information necessary for the controller from the AutoCAD file (DxF). This process creates a new file (information_file) containing the path information. A unique discretization process is proposed to generate suitable data points to the controller using the information_file. The algorithm developed minimizes the data points to be stored and to be sent to the controller as reference data. The controller, in essence, tracks the drawing within the given accuracy, while maintaining the correct flame speed. It is shown that a simple controller with cost-effective hardware can implement the contouring-controller for a flame cutter. Some experimental and simulated results are presented. The information necessary for a beginner to start-off with a contouring controller is elaborated","PeriodicalId":122994,"journal":{"name":"First International Conference on Industrial and Information Systems","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127956214","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Design of an Inexpensive GPIB Interfaced Voltage Source 廉价GPIB接口电压源的设计

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIIS.2006.365639

S. Kalingamudali, A.M.R. Jayasingha

引用次数: 0

statecharts for Reconfigurable Control of Complex Reactive Systems: a new formal verification methodology 复杂反应系统可重构控制的状态图:一种新的形式化验证方法

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIIS.2006.365736

S. Dewasurendra

{"title":"statecharts for Reconfigurable Control of Complex Reactive Systems: a new formal verification methodology","authors":"S. Dewasurendra","doi":"10.1109/ICIIS.2006.365736","DOIUrl":"https://doi.org/10.1109/ICIIS.2006.365736","url":null,"abstract":"Several formalisms are available for the specification of control in complex reactive systems. Statecharts are increasingly being proposed as the language of choice. Limitations of these formalisms in the context of formal verification have been discussed in an accompanying paper. Formal verification is necessary to specify these systems in an easy and safe way, to maintain traceability along the different phases of the design, and to analyse the behaviour of the defined system. The current communication reports a new approach for modular specification and verification of statechart based controllers for systems characterised by continuous reaction to external stimuli and asynchrony. We start from the methodology of Drusinsky and Harel to develop a statechart into a tree of interconnected FSMs: each state at each non-atomic level of the statechart hierarchy is represented by a machine implementing the FSM corresponding to its sub-states on the next immediate level. The methodology proposed in the present paper is based on: (i) a modified definition of controllability (as suggested by Fiordal, et al for unequal alphabets) from that in standard supervisory control theory; (ii) prioritized synchronization of Heymann instead of Ramadge-Wonham type supervisors and event forcing supervisors of Golaszewski-Ramadge to handle the resulting nondeterministic systems with driven events; (iii) disjunctive and mixed fusion rules of LaFortune et al to handle the state space explosion in real-scale applications and (iv) the mechanism of inter-modular communication through port structures developed by Endsley et al. The proposed new synthesis successfully confronts the modular verification/implementation problem for statecharts","PeriodicalId":122994,"journal":{"name":"First International Conference on Industrial and Information Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123039210","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Exploration of Autonomous Error-Tolerant (AET) Celluar Networks in System-on-a Package (SoP) for Future Nanoscle Electronic Systems 面向未来纳米级电子系统的单包系统(SoP)中自主容错(AET)蜂窝网络的探索

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIINFS.2006.347128

J. Liu, R. Weerasekera, L. Zheng, H. Tenhunen

引用次数: 4

An adaptive hysteresis band current controller for hybrid power flter 混合电源滤波器的自适应迟滞带电流控制器

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIIS.2006.365802

H. Dalvand, J. Moghani, N. Talebi

引用次数: 6

A new approach to detecting vegetation-obscured tripwires 一种探测植被遮挡绊网的新方法

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIIS.2006.365803

L. Carter, C. Liao

引用次数: 3

Effect of Lightpath Bit-rate on the Dimensioning of Automatically Switched Optical Networks 光路比特率对自动交换光网络尺寸的影响

First International Conference on Industrial and Information Systems Pub Date : 2006-08-01 DOI: 10.1109/ICIIS.2006.365766

R. Parthiban

引用次数: 1