2015 Annual IEEE Systems Conference (SysCon) Proceedings最新文献_第6页

A design approach for incorporating task coordination for human-robot-coexistence within assembly systems 装配系统中人机共存任务协调的设计方法

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116788

Yi Shen, G. Reinhart, M. Tseng

{"title":"A design approach for incorporating task coordination for human-robot-coexistence within assembly systems","authors":"Yi Shen, G. Reinhart, M. Tseng","doi":"10.1109/SYSCON.2015.7116788","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116788","url":null,"abstract":"Current developments in globalized markets lead to an increasing need for flexible and agile production systems. Especially within automated assembly stations, the human worker still embodies a major role, essentially his adaptability and his problem solving skills in unplanned scenarios, that need to be coordinated in an efficient and safe way. Nevertheless, the physical human safety within human-robot coexistence represents the key requirement for system productivity and acceptance. Along with an optimized deployment of both robotic and human skills, workspace sharing concepts based on human-robot-coexistence enable ergonomic workload distributions. As a result, the establishment of human-centered workplaces is facilitated. This paper presents a framework and major design principles for workspace-sharing concepts incorporating task identification and coordination aspects for assembly systems. The methodology introduced comprises a generic requirement analysis and functional specifications that lead to a generalized solutions space based on a probabilistic multi-agent-system that catches the intricate system interferences between process, product and human worker.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123532575","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

Digital system robustness via design constraints: The lesson of formal methods 通过设计约束的数字系统健壮性:形式化方法的教训

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116737

J. Mayo, R. Armstrong, G. Hulette

{"title":"Digital system robustness via design constraints: The lesson of formal methods","authors":"J. Mayo, R. Armstrong, G. Hulette","doi":"10.1109/SYSCON.2015.7116737","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116737","url":null,"abstract":"Current programming languages and programming models make it easy to create software and hardware systems that fulfill an intended function but also leave such systems open to unintended function and vulnerabilities. Software engineering and code hygiene may make systems incrementally safer, but do not produce the wholesale change necessary for secure systems from the outset. Yet there exists an approach with impressive results: We cite recent examples showing that formal methods, coupled with formally informed digital design, have produced objectively more robust code even beyond the properties directly proven. Though discovery of zero-day vulnerabilities is almost always a surprise and powerful tools like semantic fuzzers can cover a larger search space of vulnerabilities than a developer can conceive of, formal models seem to produce robustness of a higher qualitative order than traditionally developed digital systems. Because the claim is necessarily a qualitative one, we illustrate similar results with an idealized programming language in the form of Boolean networks where we have control of parameters related to stability and adaptability. We argue that verifiability with formal methods is an instance of broader design constraints that promote robustness. We draw analogies to real-world programming models and languages that can be mathematically reasoned about in contrast to ones that are essentially undecidable.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122237455","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

Stable path planning algorithm for avoidance of dynamic obstacles 避障的稳定路径规划算法

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116813

Won-Seok Kang, Sanghun Yun, Hyung-Oh Kwon, Rock-Hyun Choi, C. Son, Dong-Ha Lee

引用次数: 5

Requirements and decision model for a taxiway route support system 滑行道路线支持系统的需求与决策模型

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116748

Dhara Modi, A. Fabregas, L. D. Otero

{"title":"Requirements and decision model for a taxiway route support system","authors":"Dhara Modi, A. Fabregas, L. D. Otero","doi":"10.1109/SYSCON.2015.7116748","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116748","url":null,"abstract":"Airports, are major components of the global transportation network and are the subject of continuous operational improvements. Commercial aviation industry has experienced substantial growth in the last decades. This booming demand generates economic benefits, however, it also increases the congestion levels at airports. While demand is a source of recurrent congestion, it is very common experience other forms of non-recurrent congestion. Extreme weather events, equipment failure and security threats are commonly encountered sources of non-recurrent congestion. This work presents the application of the systems engineering process to build a decision support system for ground traffic control. The proposed model should be able to assist ground traffic control operators to route planes in the taxiways in a system-optimal fashion. Business use cases, requirements, model verification, are presented. The proposed model is able to handle both, recurrent and non-recurrent congestion at the operational level. The proposed model is tested for a single runway airport case with moderate to heavy degree of congestion. Percentage of congestion effectively reduced ranged from 10% to 14%, depending on taxiway geometry. Results are encouraging enough to establish the proposed model as a feasible concept and, a practical system can be developed with further research and development. In addition, non-functional requirements at the management level allow using the model to determine capacity, and measure operational performance.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130246295","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

Satisficing2 (squared) in system of systems engineering design 在系统工程设计中满足2(平方)

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116772

J. Salmon

{"title":"Satisficing2 (squared) in system of systems engineering design","authors":"J. Salmon","doi":"10.1109/SYSCON.2015.7116772","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116772","url":null,"abstract":"Recent applications of methodologies that include principles of bounded rationality have resulted in techniques such as satisficing strategies to assist with decision making in multi-objective, interdependent, and complex systems and system of systems. These strategies are most appropriate for design and decision-making situations where the modeling, simulation, and testing can be lengthy and thus optimization or experimenting on a large number of candidate solutions is infeasible. As a result, a satisficing approach, where, once a solution is found that meets the requirements, objectives, or aspiration levels of the stakeholder(s), is implemented to make the decision or select the design alternative. At least two potential issues can occur with this particular strategy: 1) if the first design tested surpasses the aspiration levels successfully for all objectives, the decision maker may be hesitant to accept this solution, unsure of the ease at which future designs might also exceed aspiration levels, and 2) if no designs tested reach the aspiration levels of all objectives, even after the time or expense allotted for testing is complete, a decision maker faces the dilemma of whether or not their aspiration levels are impossible to reach under any design parameters or conditions. If one is unduly worried about the first of these two problems and responds by adjusting the aspirations levels higher accordingly, this can increase the probability of the second problem. This paper proposes a strategy of applying a second layer of the principles of satisficing to the classical satisficing strategy, collectively called the “satisficing squared” S2 method. The S2 method will be explored in selecting a portfolio of technologies to assist reaching the goals of NASA's Environmentally Responsible Aviation Project.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128034449","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

A systems approach to a therapist-guided exercise for restoring musculoskeletal balance 理疗师指导下恢复肌肉骨骼平衡的系统方法

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116755

M. Kayo, Y. Ohkami

{"title":"A systems approach to a therapist-guided exercise for restoring musculoskeletal balance","authors":"M. Kayo, Y. Ohkami","doi":"10.1109/SYSCON.2015.7116755","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116755","url":null,"abstract":"The Human Musculoskeletal System (HMS) is a typical complex system with significant Degrees-of-Freedom (DOF) that can be described by a large number of variables. Chronic pain and general physical discomfort are common symptoms and yet contain important information on the state of the human body, especially when it relates to disorders found within the HMS. Since this system is highly complex and large in scale, clinical pain research has been confounded by many complex factors. It is possible to overcome these obstacles however by applying a multidisciplinary approach, which includes systems engineering, traditional oriental techniques, Western medicine and science. To assess such an integrated approach, this paper presents a therapist-guided exercise for restoring human musculoskeletal balance called the Somatic Balance Restoration Therapy (SBRT). With initial assistance from a trained therapist/instructor, the SBRT is a simple but effective self-exercise therapy. This guidance is necessary to ensure safety and the effective execution of this painless therapy. Based on therapy records with over ten thousand cases, one of the authors has established a systematic approach for identifying and diagnosing distortions and malfunctions within the HMS; while the other author has developed a computer algorithm of the SBRT. Both are integrated by a Systems Approach and will be demonstrated by successful therapy examples.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130020265","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

Assessing complexity of carbon capture and storage using multi-criteria decision-making methods 利用多准则决策方法评估碳捕集与封存的复杂性

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116743

J. Sara, R. Stikkelman, P. Herder

引用次数: 2

A methodology to create Complex Adaptive System models that support Cardiovascular Diseases simulation 创建支持心血管疾病模拟的复杂适应系统模型的方法

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116756

Orlando Simpson, Sergio G. Camorlinga

{"title":"A methodology to create Complex Adaptive System models that support Cardiovascular Diseases simulation","authors":"Orlando Simpson, Sergio G. Camorlinga","doi":"10.1109/SYSCON.2015.7116756","DOIUrl":"https://doi.org/10.1109/SYSCON.2015.7116756","url":null,"abstract":"This paper describes a methodology for creating a Complex Adaptive System (CAS) computer model that supports assessments of Cardiovascular Diseases (CVD) over a period of time. The Agent Based Model (ABM) was implemented in NetLogo and allowed for the complex interdependency of the risk factors and feedback loops from the health interventions at different levels. The CVD assessments are normally based on mathematical equations, predictive risk algorithms or the World Health Organization/International Society of Hypertension (WHO/ISH) predication charts. The 10 year WHO/ISH risk score charts are particularly important because they are calibrated for low and middle income countries unlike the popular Framingham Risk Score and the Systematic Coronary Risk Evaluation (SCORE). WHO/ISH charts contain risk factors that are easier to maintain as a part of medical records of persons in low and middle income countries. The Framingham Risk Score and SCORE were developed and validated in high income countries predominantly with Caucasian populations. Steps to create the model based on WHO/ISH prediction charts are described. The model is applicable to low and middle income countries which account for 80% of CVD related deaths globally.","PeriodicalId":251318,"journal":{"name":"2015 Annual IEEE Systems Conference (SysCon) Proceedings","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129217641","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

Developing systems thinking among engineers: Recent study findings 在工程师中发展系统思维:最近的研究发现

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116728

S. Kordova, Guy Ribnikov, M. Frank

引用次数: 13

Document aging effects and automated security document authentication 文档老化效果和自动安全文档认证

2015 Annual IEEE Systems Conference (SysCon) Proceedings Pub Date : 2015-04-13 DOI: 10.1109/SYSCON.2015.7116775

S. Stolc, Franz Daubner, R. Huber-Mörk

引用次数: 1