2011 9th IEEE International Conference on Industrial Informatics最新文献_第3页

An IEC-61131-based rule system for integrated automation engineering: Concept and case study 基于iec -61131的集成自动化工程规则系统:概念与案例研究

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034937

T. Kraußer, G. Quirós, U. Epple

引用次数: 10

A component based system for s-maintenance 基于组件的s-maintenance系统

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034934

Mohamed-Hedi Karray, B. Chebel-Morello, C. Lang, N. Zerhouni

引用次数: 17

Analysis of maintenance histories of industrial equipment with frequent maintenance demand 具有频繁维修需求的工业设备维修历史分析

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034892

Clemens Schwenke, V. Vasyutynskyy, A. Roder, K. Kabitzsch

引用次数: 4

GPU acceleration of automated speech recognition for mobile devices GPU加速自动语音识别的移动设备

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034999

R. Veitch, R. Woods, Louis-Marie Aubert

引用次数: 1

An IOPT-net state-space generator tool 一个IOPT-net状态空间生成器工具

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034907

F. Pereira, F. Moutinho, L. Gomes, J. Ribeiro, R. Campos-Rebelo

{"title":"An IOPT-net state-space generator tool","authors":"F. Pereira, F. Moutinho, L. Gomes, J. Ribeiro, R. Campos-Rebelo","doi":"10.1109/INDIN.2011.6034907","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034907","url":null,"abstract":"This paper presents the IOPT2SS tool, used to automatically generate state-space graphs associated with IOPT (Input-Output Place-Transition) Petri nets models. The new tool accounts with the non autonomous nature of the IOPT Petri net class, where transition firing is constrained by external input events and input signals (expressed in transition guards); on the other hand, transitions can trigger the occurrence of output signal events and place marking can activate output signals. To achieve the performance level necessary for the fast generation of complex state-spaces during reasonable time, the tool employs a compilation strategy, starting with the automatic creation of an optimized C program. When executed, the program will create an hierarchical XML file containing the state-space graph. The output XML file can subsequently be used for model checking and property analysis, applying standard XML query languages. Finally, the output file can be converted to SVG (Scalable Vector Graphics), enabling the graphical visualization of small to medium size state-space graphs. The new tool was implemented using a set of XSL transformations and can be used as a standalone tool or as a building block in higher level frameworks, with easy integration in Web applications and graphical integrated development environments.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130294937","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}

引用次数: 9

An integrated framework for Model-based Design and Verification of discrete automation solutions 离散自动化解决方案基于模型的设计与验证的集成框架

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034938

M. Mazzolini, A. Brusaferri, E. Carpanzano

引用次数: 9

Availability calculation of meshed, Ethernet based Automation Networks 基于以太网的网状自动化网络的可用性计算

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6035010

Karl-Heinz Niemann

引用次数: 1

A software application to improve human rights watching activities and to prepare police stations to face the ISO 9001:2008 certification procedure 一个软件应用程序，以改善人权观察活动，并准备警察局面对ISO 9001:2008认证程序

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034955

N. Debnath, R. Uzal, G. Montejano, D. Riesco

{"title":"A software application to improve human rights watching activities and to prepare police stations to face the ISO 9001:2008 certification procedure","authors":"N. Debnath, R. Uzal, G. Montejano, D. Riesco","doi":"10.1109/INDIN.2011.6034955","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034955","url":null,"abstract":"This paper is about the conceptual design of the IT support for human rights watching, police transparency and police performance evaluation. Firstly we understand that human rights are rights that humans have by the fact of being human, and which are neither created nor can be abrogated by any governmental institution. These include cultural, economic, and political rights, such as right to life, liberty, education and equality before law, and right of association, belief, free speech, information, religion, movement, and nationality. Secondly, of course, we know that transparency means that something can be seen through. When we talk about transparency in police stations, we mean that citizens must be able to \"see through\" its workings. A police that is not transparent is more prone to corruption and undue influence because there is no public oversight of decision making. Thirdly we mention that individual performance evaluation is generally not well developed in police departments. The most common practice consists of an annual or semiannual subjective rating form filled out by police supervisors, where persons are rated with respect to global categories such as initiative and appearance. Many departments make no effort to assess performance at all. The self-protectiveness of the police subculture and the fact that little concrete depends on the evaluations mean that many departments have abandoned them, or they have become empty rituals, where almost everyone's performance is rated as satisfactory. This paper presents an environment that facilities police performance evaluation. From a Software Engineering point of view, this paper reports a very specific and innovative software development project oriented both to support human right watching activities, to improve police transparency, to evaluate police performance and to prepare police stations for ISO 9001:2008 certification.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122859149","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}

引用次数: 1

Dataflow model property verification using Petri net translation techniques 使用Petri网翻译技术的数据流模型属性验证

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034993

José-Inácio Rocha, L. Gomes, O. P. Dias

{"title":"Dataflow model property verification using Petri net translation techniques","authors":"José-Inácio Rocha, L. Gomes, O. P. Dias","doi":"10.1109/INDIN.2011.6034993","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034993","url":null,"abstract":"Dataflow process networks lead to different theoretical model approaches and have demonstrated their adequacy in data-dominated intensive systems, namely Synchronous Dataflows. Since their appearance, dataflow models became too focused and specialized in their target applications. The paper presents a set of translating mechanisms allowing the mapping from dataflow models into Petri nets. This mapping allows taking advantage of Petri nets well-known properties verification capabilities and enriching dataflow models concerning scheduler information and resource allocation. This allows one to find out some hidden embedded features (model semantics and syntax) not normally addressed in dataflow analysis tools, which is briefly characterized. Dataflow model translation into Petri net domain give support to attain the required resource allocation under dataflow static scheduling list. This scheme allows one to make conclusion in Petri net domain to be applied in dataflow models to foresee the necessary amount of storage resources for each arc. An application example is used to illustrate the concept and effectiveness of the outlined approach.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125566991","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}

引用次数: 12

Low-cost motion control solution for industrial manufacturing systems 用于工业制造系统的低成本运动控制解决方案

2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034888

R. Breaz, O. Bologa, M. Tera, C. Deac

引用次数: 0