首页 > 最新文献

2011 IEEE International Conference on Industrial Technology最新文献

英文 中文
Robot motion planning in a dynamic environment using offset Non-Uniform Rational B-Splines (NURBS) 基于偏移量非均匀有理b样条(NURBS)的动态环境下机器人运动规划
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754393
Aditya Singh, Anuj Aggarwal, Manik Vashisht, Rajesh Siddavatam
A new method of collision free motion path planning using Non uniform rational B- Spline curves for mobile robots is addressed in this paper. Obstacles of polygonal nature are used and the navigation occurs in a dynamic environment. Mathematical Modeling with vector addition technique is used to compute the set of points which will form the final path. NURBS technique is applied on the computed set of points which results in smooth curve as the final path, giving the advantage of more efficient motion. NURBS offsets of the computed NURBS path have been defined to avoid collision. Number of obstacles is not a constraint in the model presented. Number and position of obstacles can be changed dynamically which will be encountered by the robot and the path computed will be updated accordingly ensuring the shortest path.
提出了一种基于非均匀有理B样条曲线的移动机器人无碰撞运动路径规划新方法。采用多角形障碍物,在动态环境中进行导航。利用矢量加法技术进行数学建模,计算形成最终路径的点集。在计算的点集上应用NURBS技术,得到光滑的曲线作为最终路径,提高了运动效率。已经定义了计算的NURBS路径的NURBS偏移量,以避免碰撞。在所提出的模型中,障碍物的数量不是一个约束条件。机器人可以动态改变所遇到障碍物的数量和位置,并相应地更新所计算的路径,保证最短路径。
{"title":"Robot motion planning in a dynamic environment using offset Non-Uniform Rational B-Splines (NURBS)","authors":"Aditya Singh, Anuj Aggarwal, Manik Vashisht, Rajesh Siddavatam","doi":"10.1109/ICIT.2011.5754393","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754393","url":null,"abstract":"A new method of collision free motion path planning using Non uniform rational B- Spline curves for mobile robots is addressed in this paper. Obstacles of polygonal nature are used and the navigation occurs in a dynamic environment. Mathematical Modeling with vector addition technique is used to compute the set of points which will form the final path. NURBS technique is applied on the computed set of points which results in smooth curve as the final path, giving the advantage of more efficient motion. NURBS offsets of the computed NURBS path have been defined to avoid collision. Number of obstacles is not a constraint in the model presented. Number and position of obstacles can be changed dynamically which will be encountered by the robot and the path computed will be updated accordingly ensuring the shortest path.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125720888","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}
引用次数: 8
Auscultation based stethoscopic diagnostic device for cardiac murmur identification 基于听诊的心脏杂音诊断仪
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754404
D. Kasun Prasanga, A. Abeykoon, S. Prasad, L. Udawatta
In a healthy heart, there is no any abnormal blood flow takes place inside, in addition to the usual blood circulating pattern. However when the valves or tissues inside the heart are in diseased conditions, this usual blood flow pattern gets changed. As a result, abnormal sounds are produced with the normal heart beat sound. These abnormal sounds are known as cardiac murmurs. By identifying the murmur type doctors can diagnose the cardiac pathology related to that particular murmur type. This paper describes an electronic stethoscopic device that can be used as a stethoscope as well as murmur identification equipment. Chest piece of an ordinary stethoscope has been used to capture the heart beat with a microphone attached to it. Then the captured signal is amplified and sampled in the device itself and the sampled data is then transmitted to the central location to carry out the signal processing. Since there is a processor inside the device, processing of data can also be done in the device if required. Also the device has the capability of storing the sampled data for future analysis.
在健康的心脏中,除了正常的血液循环模式外,内部没有任何异常的血液流动。然而,当心脏内的瓣膜或组织处于病变状态时,这种通常的血流模式就会改变。因此,在正常的心跳声中会产生异常的声音。这些不正常的声音被称为心脏杂音。通过识别杂音类型,医生可以诊断与该杂音类型相关的心脏病理。本文介绍了一种既可作为听诊器又可作为杂音识别设备的电子听诊器。一个普通听诊器的胸部部分被用来捕捉心跳,并与麦克风相连。然后将捕获的信号在设备本身进行放大和采样,然后将采样的数据传输到中心位置进行信号处理。由于设备内部有一个处理器,如果需要,数据处理也可以在设备中完成。该装置还具有存储采样数据以供将来分析的能力。
{"title":"Auscultation based stethoscopic diagnostic device for cardiac murmur identification","authors":"D. Kasun Prasanga, A. Abeykoon, S. Prasad, L. Udawatta","doi":"10.1109/ICIT.2011.5754404","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754404","url":null,"abstract":"In a healthy heart, there is no any abnormal blood flow takes place inside, in addition to the usual blood circulating pattern. However when the valves or tissues inside the heart are in diseased conditions, this usual blood flow pattern gets changed. As a result, abnormal sounds are produced with the normal heart beat sound. These abnormal sounds are known as cardiac murmurs. By identifying the murmur type doctors can diagnose the cardiac pathology related to that particular murmur type. This paper describes an electronic stethoscopic device that can be used as a stethoscope as well as murmur identification equipment. Chest piece of an ordinary stethoscope has been used to capture the heart beat with a microphone attached to it. Then the captured signal is amplified and sampled in the device itself and the sampled data is then transmitted to the central location to carry out the signal processing. Since there is a processor inside the device, processing of data can also be done in the device if required. Also the device has the capability of storing the sampled data for future analysis.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127172266","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}
引用次数: 4
Bilateral control of walking haptic system 行走触觉系统的双侧控制
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754408
Kazuki Nagase, S. Katsura
In recent years, high-precision works in a distant place have been enabled by using bilateral control systems. The general master-slave systems are not movable, because they are constrained on a ground. A mobile-hapto has been proposed as a movable master-slave system, in order to realize operations at wide areas in human-living spaces. The movement method of the mobile-hapto is achieved by wheels. However, bipedalism is suitable for human-living spaces. Therefore, a walking-sensation feedback system has been proposed for a remote operation of the biped robot. In the research, the control system has been designed on the basis of a four-channel bilateral control system. Therefore, the operability is improved. It has not been argued about the transparency of the control system. In this paper, in order to verify that external force is fed back to an operator, the hybrid matrices of the control system are derived. Finally, the availability of the control system is confirmed by experimental results.
近年来,通过使用双边控制系统,可以在遥远的地方进行高精度工作。一般的主从系统是不可移动的,因为它们有一定的约束条件。为了在人类生活空间的大范围内实现操作,提出了一种移动的主从系统——移动hapto。移动-hapto的运动方式是通过车轮来实现的。然而,两足动物适合人类居住的空间。为此,提出了一种用于双足机器人远程操作的行走感觉反馈系统。在研究中,控制系统是在四通道双边控制系统的基础上设计的。提高了操作的可操作性。人们对控制系统的透明度没有争论。为了验证外力是否反馈给了算子,本文推导了控制系统的混合矩阵。最后,通过实验验证了控制系统的有效性。
{"title":"Bilateral control of walking haptic system","authors":"Kazuki Nagase, S. Katsura","doi":"10.1109/ICIT.2011.5754408","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754408","url":null,"abstract":"In recent years, high-precision works in a distant place have been enabled by using bilateral control systems. The general master-slave systems are not movable, because they are constrained on a ground. A mobile-hapto has been proposed as a movable master-slave system, in order to realize operations at wide areas in human-living spaces. The movement method of the mobile-hapto is achieved by wheels. However, bipedalism is suitable for human-living spaces. Therefore, a walking-sensation feedback system has been proposed for a remote operation of the biped robot. In the research, the control system has been designed on the basis of a four-channel bilateral control system. Therefore, the operability is improved. It has not been argued about the transparency of the control system. In this paper, in order to verify that external force is fed back to an operator, the hybrid matrices of the control system are derived. Finally, the availability of the control system is confirmed by experimental results.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129225787","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}
引用次数: 2
Implementation of a predictive controller for a sensorless IPMSM drive system 无传感器IPMSM驱动系统预测控制器的实现
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754366
Tian‐Hua Liu, Chih-Lun Chen, Jui-Ling Chen
This paper proposes the predictive controller design for a sensorless interior permanent magnet synchronous motor drive system. The predictive controllers include a current-loop predictive controller and a speed-loop predictive controller. By using the proposed control algorithms, the closed-loop sensorless interior permanent magnet synchronous motor drive system can achieve fast transient responses, satisfactory load disturbance responses, and good tracking responses. A digital signal processor, TMS 320F2812, is used to perform the rotor position estimating algorithm and the predictive control algorithms. As a result, the hardware is very simple. Experimental results can validate the theoretical analysis and show the predictive controllers perform better than the PI controllers.
提出了一种无传感器内置永磁同步电机驱动系统的预测控制器设计。预测控制器包括电流环预测控制器和速度环预测控制器。采用所提出的控制算法,闭环无传感器内嵌式永磁同步电机驱动系统能够实现快速的瞬态响应、满意的负载扰动响应和良好的跟踪响应。采用数字信号处理器tms320f2812进行转子位置估计算法和预测控制算法。因此,硬件非常简单。实验结果验证了理论分析的正确性,表明预测控制器的性能优于PI控制器。
{"title":"Implementation of a predictive controller for a sensorless IPMSM drive system","authors":"Tian‐Hua Liu, Chih-Lun Chen, Jui-Ling Chen","doi":"10.1109/ICIT.2011.5754366","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754366","url":null,"abstract":"This paper proposes the predictive controller design for a sensorless interior permanent magnet synchronous motor drive system. The predictive controllers include a current-loop predictive controller and a speed-loop predictive controller. By using the proposed control algorithms, the closed-loop sensorless interior permanent magnet synchronous motor drive system can achieve fast transient responses, satisfactory load disturbance responses, and good tracking responses. A digital signal processor, TMS 320F2812, is used to perform the rotor position estimating algorithm and the predictive control algorithms. As a result, the hardware is very simple. Experimental results can validate the theoretical analysis and show the predictive controllers perform better than the PI controllers.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121007417","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}
引用次数: 3
Prony's method output reordering algorithm for power system applications 电力系统输出重排序算法的proony方法
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754367
K. Sambarapu, S. Mark Halpin
A procedure to reorder the output of Prony's method used in modal extraction of signal waveforms is presented. This is especially useful for power system stability studies and real field measurements with noise. The method is illustrated with the help of an example.
给出了一种对信号波形模态提取中使用的proony方法的输出进行重新排序的程序。这对于电力系统稳定性研究和有噪声的实际现场测量特别有用。通过一个实例说明了该方法。
{"title":"Prony's method output reordering algorithm for power system applications","authors":"K. Sambarapu, S. Mark Halpin","doi":"10.1109/ICIT.2011.5754367","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754367","url":null,"abstract":"A procedure to reorder the output of Prony's method used in modal extraction of signal waveforms is presented. This is especially useful for power system stability studies and real field measurements with noise. The method is illustrated with the help of an example.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125834250","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
FPGA based intelligent condition monitoring of induction motors: Detection, diagnosis, and prognosis 基于FPGA的感应电机智能状态监测:检测、诊断和预测
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754405
E. Akin, I. Aydin, M. Karakose
This paper presents three intelligent methods for condition monitoring of induction motors in real-time. A structured neural network has been designed to prognosis of instantaneous faults. The inputs of neural network are the standard deviation and mean of feature signal obtained by Hilbert transform of one phase current signal. The stator related faults have been diagnosed by designing fuzzy logic. The amplitudes of three phase currents have been given to fuzzy logic and the condition of stator has been diagnosed. The last algorithm uses the phase space of the Hilbert transform of one phase current and detects broken rotor bar faults using negative selection algorithm. The contribution of the algorithm is the development of synchronously worked algorithms, optimized for low-cost Field Programmable Gate Array (FPGA) implementation. Extensive simulations were applied to test the performance of each algorithm, and the results show that the algorithms give high accuracy in detecting whether a possible fault has occurred in any component of the motor. The average detection time of the faults is above within 2 milliseconds or less.
本文介绍了异步电动机状态实时监测的三种智能方法。设计了一种结构化的神经网络对瞬时故障进行预测。神经网络的输入是对一相电流信号进行希尔伯特变换得到的特征信号的标准差和均值。通过设计模糊逻辑,对定子相关故障进行了诊断。将三相电流幅值进行模糊逻辑处理,并对定子的状态进行了诊断。最后一种算法利用一相电流希尔伯特变换的相空间,采用负选择算法检测转子断条故障。该算法的贡献在于开发了同步工作算法,并针对低成本的现场可编程门阵列(FPGA)实现进行了优化。大量的仿真应用来测试每个算法的性能,结果表明,算法在检测电机的任何部件是否发生可能的故障方面具有很高的准确性。故障的平均检测时间在2毫秒以上。
{"title":"FPGA based intelligent condition monitoring of induction motors: Detection, diagnosis, and prognosis","authors":"E. Akin, I. Aydin, M. Karakose","doi":"10.1109/ICIT.2011.5754405","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754405","url":null,"abstract":"This paper presents three intelligent methods for condition monitoring of induction motors in real-time. A structured neural network has been designed to prognosis of instantaneous faults. The inputs of neural network are the standard deviation and mean of feature signal obtained by Hilbert transform of one phase current signal. The stator related faults have been diagnosed by designing fuzzy logic. The amplitudes of three phase currents have been given to fuzzy logic and the condition of stator has been diagnosed. The last algorithm uses the phase space of the Hilbert transform of one phase current and detects broken rotor bar faults using negative selection algorithm. The contribution of the algorithm is the development of synchronously worked algorithms, optimized for low-cost Field Programmable Gate Array (FPGA) implementation. Extensive simulations were applied to test the performance of each algorithm, and the results show that the algorithms give high accuracy in detecting whether a possible fault has occurred in any component of the motor. The average detection time of the faults is above within 2 milliseconds or less.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114788785","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}
引用次数: 20
A numerical modeling of electric parameters from industrial plate-type electrostatic precipitator 工业板式静电除尘器电参数的数值模拟
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754339
G. Popa, C. Diniș, S. Deaconu, I. Popa
The plate-type electrostatic precipitators are often used in industry, especially at dedusting of high gas flows. An important application is in case of thermo-electrical power plants. The electrostatic charging of dust particles depends on more electric parameters, and its experimental determination is difficult. The electrostatic charging depends on the electric field's strength, on the dust particles' diameter and on the particles' relative electric permittivity. For a real channel from the field on an ESP and for the discharge wires from industry, to which the discharge peaks are not identical, it was made a digital on-scale analysis, by the finite element method, for the field lines of the electric potential and electric fields' strength. The analysis was achieved for the cross-section and longitudinal section of a channel, when the gas has dust and when the dust is missing. The digital analysis is an important tool to determine and study the electric parameters, which are hard to be experimentally determined.
板式静电除尘器是工业上常用的除尘器,尤其适用于大气流的除尘。一个重要的应用是在热电发电厂。粉尘微粒的静电电荷依赖较多的电参数,实验测定难度较大。静电电荷取决于电场的强度、粉尘颗粒的直径和颗粒的相对介电常数。针对电潜泵上的实际电场通道和工业上的放电线,由于放电峰不一致,采用有限元法对电势和电场强度的场线进行了数字尺度分析。对气体含尘和无尘两种情况下的通道横截面和纵剖面进行了分析。数字分析是确定和研究难以通过实验确定的电参数的重要工具。
{"title":"A numerical modeling of electric parameters from industrial plate-type electrostatic precipitator","authors":"G. Popa, C. Diniș, S. Deaconu, I. Popa","doi":"10.1109/ICIT.2011.5754339","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754339","url":null,"abstract":"The plate-type electrostatic precipitators are often used in industry, especially at dedusting of high gas flows. An important application is in case of thermo-electrical power plants. The electrostatic charging of dust particles depends on more electric parameters, and its experimental determination is difficult. The electrostatic charging depends on the electric field's strength, on the dust particles' diameter and on the particles' relative electric permittivity. For a real channel from the field on an ESP and for the discharge wires from industry, to which the discharge peaks are not identical, it was made a digital on-scale analysis, by the finite element method, for the field lines of the electric potential and electric fields' strength. The analysis was achieved for the cross-section and longitudinal section of a channel, when the gas has dust and when the dust is missing. The digital analysis is an important tool to determine and study the electric parameters, which are hard to be experimentally determined.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129262518","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}
引用次数: 3
A wireless cooperative motion control system with mutual use of control signals 一种相互使用控制信号的无线协同运动控制系统
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754341
T. Kondo, Kentaro Kobayashi, M. Katayama
This paper discusses a wireless control system for cooperative motion of machines, and clarifies the influence of packet loss on the system behavior. In performance evaluation, we focus on the synchronization of the motion of the fellow machines. In addition, using the nature of wireless, a new wireless control method is proposed for maintaining the performance under packet loss conditions. In the proposed method, each machine receives control signals destined for all machines, and the main controller also uses all state information of all machines. The additional information of other controller-plant pairs is used when the signal from the counterpart is lost. As an example of the plants, rotary inverted pendulums, which move synchronously with wireless connections in their control-feedback loops, are considered. Numerical examples confirm the superiority of the proposed method over conventional methods from the view-point of synchronization of each machine.
讨论了一种用于机器协同运动的无线控制系统,阐明了丢包对系统行为的影响。在性能评估中,我们关注的是其他机器运动的同步性。此外,利用无线的特性,提出了一种新的无线控制方法,以保持丢包条件下的性能。在该方法中,每台机器接收所有机器的控制信号,主控制器也使用所有机器的所有状态信息。当来自对应设备的信号丢失时,使用其他控制器-设备对的附加信息。作为植物的一个例子,旋转倒立摆在其控制反馈回路中与无线连接同步移动,被考虑。数值算例从各机同步的角度证实了该方法优于传统方法。
{"title":"A wireless cooperative motion control system with mutual use of control signals","authors":"T. Kondo, Kentaro Kobayashi, M. Katayama","doi":"10.1109/ICIT.2011.5754341","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754341","url":null,"abstract":"This paper discusses a wireless control system for cooperative motion of machines, and clarifies the influence of packet loss on the system behavior. In performance evaluation, we focus on the synchronization of the motion of the fellow machines. In addition, using the nature of wireless, a new wireless control method is proposed for maintaining the performance under packet loss conditions. In the proposed method, each machine receives control signals destined for all machines, and the main controller also uses all state information of all machines. The additional information of other controller-plant pairs is used when the signal from the counterpart is lost. As an example of the plants, rotary inverted pendulums, which move synchronously with wireless connections in their control-feedback loops, are considered. Numerical examples confirm the superiority of the proposed method over conventional methods from the view-point of synchronization of each machine.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129412224","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}
引用次数: 6
FEMTO-OSGi: Architecture for reconfigurable embedded systems to service management by OSGi FEMTO-OSGi:用于通过OSGi服务管理的可重构嵌入式系统的体系结构
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754353
G. P. Breier, C. Pereira
This paper presents the development of a reconfigurable embedded system for a residential gateway, based on OSGi (Open Services Gateway Initiative) and implemented using the FemtoJava technology. The proposed systems implements a service oriented architecture and provides support for service discovery and for communication between objects running on heterogeneous platforms. The paper also describes the experimental validation of the proposed architecture using as a case study a temperature control system. The system was implemented on a reconfigurable platform using a Xilinx SPARTAN FPGA.
本文介绍了一种基于OSGi (Open Services gateway Initiative)并使用FemtoJava技术实现的可重构住宅网关嵌入式系统的开发。所提出的系统实现了面向服务的体系结构,并为服务发现和运行在异构平台上的对象之间的通信提供支持。本文还以温度控制系统为例,对所提出的结构进行了实验验证。该系统使用Xilinx SPARTAN FPGA在可重构平台上实现。
{"title":"FEMTO-OSGi: Architecture for reconfigurable embedded systems to service management by OSGi","authors":"G. P. Breier, C. Pereira","doi":"10.1109/ICIT.2011.5754353","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754353","url":null,"abstract":"This paper presents the development of a reconfigurable embedded system for a residential gateway, based on OSGi (Open Services Gateway Initiative) and implemented using the FemtoJava technology. The proposed systems implements a service oriented architecture and provides support for service discovery and for communication between objects running on heterogeneous platforms. The paper also describes the experimental validation of the proposed architecture using as a case study a temperature control system. The system was implemented on a reconfigurable platform using a Xilinx SPARTAN FPGA.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131230037","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
Ladder programs validation through model-code traceability 梯形程序通过模型代码可追溯性进行验证
Pub Date : 2011-03-14 DOI: 10.1109/ICIT.2011.5754386
Leonardo Rodrigues Sampaio, A. Perkusich, L. D. da Silva
Control systems are used in industry for process automation and to increase the reliability and dependability when executing critical tasks. Failures in the operation of such systems may cause expensive losses and can compromise the plant safety. Therefore, it is necessary to define techniques, methods and tools to increase the dependability as well as reliability. Verification and validation techniques developed by the academy often excel in technical aspects but have little acceptance in industry due to the need of advanced knowledge in formal methods. The goal of this work is to introduce a user-friendly visual conformance validation method to increase the dependability of programmable logic controllers software. Also, a tool to hide formal aspects related to the implementation details from users during the test phase of Ladder programs without the need of specific training in formal methods.
控制系统在工业中用于过程自动化,并在执行关键任务时增加可靠性和可靠性。这些系统运行中的故障可能会造成昂贵的损失,并可能危及工厂安全。因此,有必要定义技术、方法和工具来提高可靠性和可靠性。由学院开发的验证和确认技术通常在技术方面表现优异,但由于需要在正式方法方面的高级知识,因此在工业中很少被接受。这项工作的目标是引入一种用户友好的视觉一致性验证方法,以增加可编程逻辑控制器软件的可靠性。同时,在梯子程序的测试阶段隐藏与实现细节相关的正式方面的工具,而不需要在正式方法方面进行专门的培训。
{"title":"Ladder programs validation through model-code traceability","authors":"Leonardo Rodrigues Sampaio, A. Perkusich, L. D. da Silva","doi":"10.1109/ICIT.2011.5754386","DOIUrl":"https://doi.org/10.1109/ICIT.2011.5754386","url":null,"abstract":"Control systems are used in industry for process automation and to increase the reliability and dependability when executing critical tasks. Failures in the operation of such systems may cause expensive losses and can compromise the plant safety. Therefore, it is necessary to define techniques, methods and tools to increase the dependability as well as reliability. Verification and validation techniques developed by the academy often excel in technical aspects but have little acceptance in industry due to the need of advanced knowledge in formal methods. The goal of this work is to introduce a user-friendly visual conformance validation method to increase the dependability of programmable logic controllers software. Also, a tool to hide formal aspects related to the implementation details from users during the test phase of Ladder programs without the need of specific training in formal methods.","PeriodicalId":356868,"journal":{"name":"2011 IEEE International Conference on Industrial Technology","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131244837","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}
引用次数: 2
期刊
2011 IEEE International Conference on Industrial Technology
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1