2013 11th IEEE International Conference on Industrial Informatics (INDIN)最新文献_第6页

Formal specification and automated verification of railway software with Frama-C 用Frama-C实现铁路软件的形式化规范和自动化验证

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622971

V. Prevosto, J. Burghardt, Jens Gerlach, Kerstin Hartig, H. Pohl, Kim Völlinger

引用次数: 4

Configuration optimization and analysis of the parallel adjustment platform for Satellite Integrated Assembly 卫星综合装配并联调整平台结构优化与分析

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622902

Jiantao Yao, Guowang Wu, Yongsheng Zhao

引用次数: 3

Low-power wireless accelerometer-based system for wear detection of bandsaw blades 基于低功耗无线加速度计的带锯片磨损检测系统

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622957

M. Magno, E. Popovici, Alessandro Bravin, Antonio Libri, M. Storace, L. Benini

{"title":"Low-power wireless accelerometer-based system for wear detection of bandsaw blades","authors":"M. Magno, E. Popovici, Alessandro Bravin, Antonio Libri, M. Storace, L. Benini","doi":"10.1109/INDIN.2013.6622957","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622957","url":null,"abstract":"The paper provides a framework to save energy and reduce the operative cost of some of today's industrial machinery. Low cost and low power wireless sensor networks is a novel approach to monitoring the tools in order to save energy and keep the tools monitored. Cutting tool wear degrades the product quality in manufacturing processes and also could have implications in health and safety of use. Monitoring tool wear value online is therefore needed to prevent degradation in machine quality. Unfortunately there is no direct way of measuring the tool wear online which is also very low cost. In this work is presented a low power and low cost accelerometer-based system for wear detection of bandsaw blade. The algorithm uses a simple data processing directly on board that can extract features and perform a classification on the state of the blade. Low power design of the node, on board processing and wake up radio capabilities reduce the wireless communication and the power consumption of the node significantly. Experimental results show the high accuracy, up to 100%, of the algorithm and the low power of the proposed approach.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"7 1","pages":"630-635"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85565466","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

Graphical modelling meets formal methods 图形化建模符合形式化方法

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622972

Stefan Gulan, S. Johr, R. Kretschmer, Stefan Rieger, M. Ditze

引用次数: 5

Developing a web application for monitoring and management of Smart Grid neighborhoods 开发一个用于监控和管理智能电网社区的web应用程序

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622919

S. Karnouskos, P. Silva, Dejan Ilić

引用次数: 10

An effective heuristic for stockyard planning and machinery scheduling at a coal handling facility 煤炭装卸设备堆场规划和机械调度的有效启发式算法

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622883

Samer Hanoun, Burhan Khan, Michael Johnstone, S. Nahavandi, D. Creighton

{"title":"An effective heuristic for stockyard planning and machinery scheduling at a coal handling facility","authors":"Samer Hanoun, Burhan Khan, Michael Johnstone, S. Nahavandi, D. Creighton","doi":"10.1109/INDIN.2013.6622883","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622883","url":null,"abstract":"Coal handling is a complex process involving different correlated and highly dependent operations such as selecting appropriate product types, planning stockpiles, scheduling stacking and reclaiming activities and managing train loads. Planning these operations manually is time consuming and can result in non-optimized schedules as future impact of decisions may not be appropriately considered. This paper addresses the operational scheduling of the continuous coal handling problem with multiple conflicting objectives. As the problem is NP-hard in nature, an effective heuristic is presented for planning stockpiles and scheduling resources to minimize delays in production and the coal age in the stockyard. A model of stockyard operations within a coal mine is described and the problem is formulated as a Bi-Objective Optimization Problem (BOOP). The algorithm efficacy is demonstrated on different real-life data scenarios. Computational results show that the solution algorithm is effective and the coal throughput is substantially impacted by the conflicting objectives. Together, the model and the proposed heuristic, can act as a decision support system for the stockyard planner to explore the effects of alternative decisions, such as balancing age and volume of stockpiles, and minimizing conflicts due to stacker and reclaimer movements.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"84 1","pages":"206-211"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81176610","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}

引用次数: 18

OpenCV based road sign recognition on Zynq 基于OpenCV的Zynq路标识别

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622951

M. Russell, S. Fischaber

引用次数: 34

Path loss exponent analysis in Wireless Sensor Networks: Experimental evaluation 无线传感器网络中的路径损耗指数分析:实验评估

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622857

J. Miranda, R. Abrishambaf, T. Gomes, Paulo Goncalves, J. Cabral, A. Tavares, J. Monteiro

{"title":"Path loss exponent analysis in Wireless Sensor Networks: Experimental evaluation","authors":"J. Miranda, R. Abrishambaf, T. Gomes, Paulo Goncalves, J. Cabral, A. Tavares, J. Monteiro","doi":"10.1109/INDIN.2013.6622857","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622857","url":null,"abstract":"Wireless Sensor Networks are an emerging technology which has been recently adopted in many applications. Due to its wireless nature, the analysis of the radio propagation models plays an important role for performance evaluation in both theoretical and practical aspects. In this regards, path loss exponent is one of the most important parameter which has been considered widely in wireless communications analysis. There are several theoretical evaluations of path loss exponent for wireless sensor networks available in the literature. However there is a lack of experimental evaluation of both path loss exponent and the effect of shadowing. In this paper, three environments (free space, in building and industrial), where wireless sensor nodes are widely deployed, have been chosen in order to evaluate the experimental analysis. Path loss and path loss exponent are measured by means of Received Signal Strength Indicator (RSSI) and based on them, the standard deviation of shadowing effect is also calculated. All the measured parameters are compared with the theoretical analysis available in the literatures.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"20 1","pages":"54-58"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79565015","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}

引用次数: 107

Performance evaluation of MAC algorithms for real-time Ethernet communication systems 实时以太网通信系统中MAC算法的性能评价

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622965

B. Czybik, Stefan Hausmann, S. Heiss, J. Jasperneite

引用次数: 12

Segmentation and classification of THCs on PCBAs pcb上THCs的分割与分类

2013 11th IEEE International Conference on Industrial Informatics (INDIN) Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622858

Daniel Herchenbach, Wei Li, Matthias Breier

引用次数: 13