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

Emotional Business Intelligence 情商商业智能

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

S. Helfenstein, Helen Kaikova, Oleksiy Khriyenko, V. Terziyan

引用次数: 7

Safety properties modelling 安全特性建模

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

T. Tanzi, R. Textoris, L. Apvrille

{"title":"Safety properties modelling","authors":"T. Tanzi, R. Textoris, L. Apvrille","doi":"10.1109/HSI.2014.6860474","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860474","url":null,"abstract":"In critical applications regarding safety, a solution must be validated before it is applied on the field. It is forbidden to test solutions directly on the real system for safety reasons. Any attempt of modification or introduction of a safety system must be approached with the utmost care. The proposed solutions must be validated, and, if possible, formally validated. It is the case of prevention systems for accidents, installed on highways. They also are in charge of gathering information in the case of an accident actually occurring. In this context, we aim to provide an approach to validate the behaviour of a critical system before its effective realisation. The system is modelled by a combination of agents spread around the world and working together in real-time. The agents' behaviour is modelled via an UML SysML model. Thanks to the tools available in the TTool environment and the ones developed only for this purpose, we can animate those agents and confirm, or not, their behaviour on various test situations (applications' rapid prototyping). Since the tests are not covering all the possibilities, we move to, then, verify formally the critical properties. This formal analysis is made possible by the mathematical grounds of the tool we use. The analysed properties are mainly safety properties; results regarding performance results are available as well.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"30 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":"121403742","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

Combination of Fourier and wavelet transformations for detection of speech emotions 结合傅里叶变换和小波变换检测语音情绪

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

M. Ziólko, Pawel Jaciów, M. Igras

引用次数: 6

Haptic simulation of rheological objects with Verlet integration 基于Verlet积分的流变物体触觉仿真

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

Masakazu Yamaoka, Shun Ido

{"title":"Haptic simulation of rheological objects with Verlet integration","authors":"Masakazu Yamaoka, Shun Ido","doi":"10.1109/HSI.2014.6860465","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860465","url":null,"abstract":"In virtual reality, educational simulators are expected to be enhanced the learning effect by representing haptic feedback, the feeling of touching objects, in the virtual world. The haptic feedback can represent more realistic feel of a material, such as the softness. For example, it is the feel of cutting organs in medicine and mixing foods in cooking. Therefore, the haptic feedback can produce experiences closer to reality, and more realistic learning effect can be expected in virtual world. However, deformable objects in the virtual world, such as organs and foods, are fractured by adding strong force generated by touching them, and normal simulations are difficult in the situation. Then, for solving this problem, we applied Verlet integration, whose example of the application is few in conventional haptic simulations, to calculations of deformable object positions for achieving break-proof deformable objects. For showing that deformable objects which are applied Verlet integration are break-proof, we compared the robustness of Verlet integration with other methods in the same situation where each method is applied to a deformable object. As the result, we verified the situation in which the only deformable object in which Verlet integration is applied is not fractured, and we showed that Verlet integration is more suitable for deformable object simulations than other methods are.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"25 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":"122293053","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

Fuzzy logic based force-feedback for obstacle collision avoidance of robot manipulators 基于模糊逻辑的机械臂避障力反馈

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

Dumidu Wijayasekara, M. Manic

{"title":"Fuzzy logic based force-feedback for obstacle collision avoidance of robot manipulators","authors":"Dumidu Wijayasekara, M. Manic","doi":"10.1109/HSI.2014.6860452","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860452","url":null,"abstract":"Robot remote teleoperation enables users to perform complex tasks in hostile or inaccessible environments, without physical presence. However, minimizing collisions with obstacles while maintaining accuracy and speed of task is important. While visual and auditory inputs to the user aid in accurate control, to achieve the required speed and accuracy, tactile and kinesthetic force-feedback information can be used. This paper presents a dynamic real-time fuzzy logic based force-feedback control for obstacle avoidance in a remotely operated robot manipulator. The presented method utilizes absolute position of the robot manipulator to calculate the distance vector to known obstacles. A fuzzy controller utilizes the distance vectors and the velocities of the components in the manipulator to generate force feedback in each axis. Furthermore, the paper presents an interactive graphical user interface that enables users to add or remove obstacles in the environment dynamically. The presented method was implemented on a simple 3-DOF robot manipulator. The presented method was compared to a situation without force feedback. Test results show significantly improved speed and consistency in completing a task when the presented force feedback method is used.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"21 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":"132725664","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

Dual synthesis of Petri net based dependable logic controllers for safety critical systems 基于Petri网的安全关键系统可靠逻辑控制器的对偶综合

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

A. Bukowiec, J. Tkacz, M. Adamski, R. Wiśniewski

引用次数: 1

Development of a five degrees of freedom Master/Slave robot for tele-operated laparoscopic surgical operations 用于远程腹腔镜手术的五自由度主从机器人的研制

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

G. Fau, T. Matsunaga, K. Ohnishi

引用次数: 7

A database driven memetic algorithm for fuzzy set optimization 模糊集优化的数据库驱动模因算法

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

K. McCarty, M. Manic

引用次数: 0

Application of comparability graphs in decomposition of Petri nets 比较图在Petri网分解中的应用

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

R. Wiśniewski, A. Karatkevich, M. Adamski, D. Kur

引用次数: 19

Robotic systems in health care 医疗保健中的机器人系统

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

Gerald Stollnberger, C. Moser, Elke Beck, C. Zenz, M. Tscheligi, D. Szczesniak-Stanczyk, Marcin Janowski, W. Brzozowski, R. Błaszczyk, M. Mazur, A. Wysokiński

{"title":"Robotic systems in health care","authors":"Gerald Stollnberger, C. Moser, Elke Beck, C. Zenz, M. Tscheligi, D. Szczesniak-Stanczyk, Marcin Janowski, W. Brzozowski, R. Błaszczyk, M. Mazur, A. Wysokiński","doi":"10.1109/HSI.2014.6860489","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860489","url":null,"abstract":"This paper reflects on a novel concept of robotization in the health care sector. The idea is to design a robotic system capable of performing remote physical examination with palpation (i.e., pressing a patient's stomach to identify pain regions and stiffness of organs) and ultrasonography. The medical robotic system will consist of a remote haptic interface for the doctor and a robot located at the patient's side supported by an assistant. In two countries (Austria and Poland), we conducted first focus groups with doctors in order to identify how the remote medical diagnostician system is assessed and conceptualized regarding the examination procedures (activities), communication issues, and the visualization of needed information. Based on the findings, we will reflect on the technology assessment, i.e., if remote medical services can be a suitable possibility for rural areas where the availability of doctors with various specializations is often a problem, as well as necessities for this novel type of medical treatment from a doctor's point of view (i.e., identified aspects increasing acceptance and adoption by users of the system).","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"109 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":"132784896","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