2014 7th International Conference on Human System Interactions (HSI)最新文献_第5页

Decomposition, validation and documentation of control process specification in form of a Petri net 以Petri网的形式分解、验证和记录控制过程规范

2014 7th International Conference on Human System Interactions (HSI) Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860481

I. Grobelna, M. Wiśniewska, R. Wiśniewski, M. Grobelny, P. Mroz

引用次数: 18

Aspects of selection of SM Components with the application of the theory of hypergraphs 应用超图理论选择SM分量的几个方面

2014 7th International Conference on Human System Interactions (HSI) Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860479

Lukasz Stefanowicz, M. Adamski

{"title":"Aspects of selection of SM Components with the application of the theory of hypergraphs","authors":"Lukasz Stefanowicz, M. Adamski","doi":"10.1109/HSI.2014.6860479","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860479","url":null,"abstract":"The paper discusses various aspects of selection of State Machine Components of a Petri net with the application of the theory of hypergraphs. First, the idea of selection of SM Components utilising the hypergraph apparatus is presented, then some examples of the exact transversal method, which has been successfully introduced as one of the alternative methods next to the exact algorithms (e.g. backtracking algorithm) that are commonly applied or approximate algorithms (e.g. greedy algorithm). The selection of subnets, which is essential for decomposition, is an NP-hard problem. In addition to the theoretical aspects, the article also presents the experimental research conducted in two phases. The first phase was designed to determine the effect of reduction, called Cyclic-Core, on the type of the selection hypergraph, on the basis of which the exact solution is later determined. The second part of the study deals with the efficiency and effectiveness of the exact transversal method, which provides a reference point, in comparison to the backtracking algorithm. The article has been complemented with a decent summary which includes: the issues discussed, the results of research, as well as references to the further stages of research.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132332224","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}

引用次数: 10

Technology assessment in robotic systems design using PAPRIKA 基于PAPRIKA的机器人系统设计技术评估

2014 7th International Conference on Human System Interactions (HSI) Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860491

L. Dalgaard

引用次数: 1

Design of Moore finite state machine with coding space stretching 编码空间扩展的Moore有限状态机设计

2014 7th International Conference on Human System Interactions (HSI) Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860482

L. Titarenko, O. Hebda, A. Barkalov

引用次数: 0