首页 > 最新文献

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

英文 中文
Emotional Business Intelligence 情商商业智能
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860441
S. Helfenstein, Helen Kaikova, Oleksiy Khriyenko, V. Terziyan
The domain of Emotional Business Intelligence (EBI) aims to support business-relevant emotional and emotion-aware decisions in addition to rational decision making. EBI originates from three root domains: Emotional Business, Emotional Intelligence and Business Intelligence (BI). In this paper we emphasize emotional empowerment of the traditional BI function; outline its main characteristics as a business working model of an emotionally smart, continuously learning organization; and introduce a first candidate of the EBI Toolkit, the FeelingsExplorer (FE). FE is a mash-up browser based on 4i (“ForEye”) technology, capable of visualizing objects in an emotional semantic space and thereby supporting decision making on emotional grounds. It takes metadata as input and visualizes the personalized “emotional similarity” of products, services, and customers. Different scenarios for FE application and overall implications of EBI for business and human technology are discussed.
情感商业智能(EBI)领域旨在支持与业务相关的情感和情感感知决策,以及理性决策。EBI源于三个根域:情感商务、情感智能和商业智能(BI)。本文强调传统BI功能的情感赋能;概述其作为情商高、持续学习型组织的商业工作模式的主要特征;并介绍EBI工具包的第一个候选工具,feelingsexexplorer (FE)。FE是一个基于4i(“ForEye”)技术的混搭浏览器,能够在情感语义空间中可视化对象,从而支持基于情感的决策。它将元数据作为输入,并将产品、服务和客户的个性化“情感相似性”可视化。讨论了EBI应用的不同场景以及EBI对商业和人类技术的总体影响。
{"title":"Emotional Business Intelligence","authors":"S. Helfenstein, Helen Kaikova, Oleksiy Khriyenko, V. Terziyan","doi":"10.1109/HSI.2014.6860441","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860441","url":null,"abstract":"The domain of Emotional Business Intelligence (EBI) aims to support business-relevant emotional and emotion-aware decisions in addition to rational decision making. EBI originates from three root domains: Emotional Business, Emotional Intelligence and Business Intelligence (BI). In this paper we emphasize emotional empowerment of the traditional BI function; outline its main characteristics as a business working model of an emotionally smart, continuously learning organization; and introduce a first candidate of the EBI Toolkit, the FeelingsExplorer (FE). FE is a mash-up browser based on 4i (“ForEye”) technology, capable of visualizing objects in an emotional semantic space and thereby supporting decision making on emotional grounds. It takes metadata as input and visualizes the personalized “emotional similarity” of products, services, and customers. Different scenarios for FE application and overall implications of EBI for business and human technology are discussed.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"64 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":"121196805","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}
引用次数: 7
Safety properties modelling 安全特性建模
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860474
T. Tanzi, R. Textoris, L. Apvrille
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.
在涉及安全的关键应用中,解决方案在应用于现场之前必须经过验证。出于安全考虑,禁止直接在真实系统上测试解决方案。任何修改或引进安全系统的尝试都必须极其小心。建议的解决方案必须经过验证,如果可能的话,必须进行正式验证。这就是安装在高速公路上的事故预防系统。他们还负责在实际发生事故时收集信息。在这种情况下,我们的目标是提供一种在有效实现之前验证关键系统行为的方法。该系统由分布在世界各地并实时协同工作的代理组合而成。代理的行为通过UML SysML模型建模。由于TTool环境中可用的工具和专门为此目的开发的工具,我们可以对这些代理进行动画化,并确认或不确认它们在各种测试情况下的行为(应用程序的快速原型)。由于测试没有涵盖所有的可能性,因此我们转向正式地验证关键属性。我们使用的工具的数学基础使这种形式化分析成为可能。分析的性能主要是安全性能;关于性能结果的结果也是可用的。
{"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 结合傅里叶变换和小波变换检测语音情绪
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860447
M. Ziólko, Pawel Jaciów, M. Igras
The paper presents an approach to automatic recognition of emotions in speech signals. The applied method bases on the composition of two discrete frequency transformations. The wavelet transform was calculated first and next the Fourier transform was applied. The Fourier-wavelet transform representation is used to find the differences between emotions in speech signals. A set of approximately 30 seconds long speech signals was used to verify the efficiency of presented methods. It gives the possibility of analyzing the performance of speech emotion recognition in the Fourier-wavelet domain.
提出了一种语音信号中情绪的自动识别方法。应用的方法基于两个离散频率变换的复合。首先计算小波变换,然后进行傅里叶变换。采用傅里叶-小波变换表示来寻找语音信号中情绪之间的差异。用一组约30秒长的语音信号验证了所提方法的有效性。这为在傅里叶-小波域分析语音情感识别的性能提供了可能性。
{"title":"Combination of Fourier and wavelet transformations for detection of speech emotions","authors":"M. Ziólko, Pawel Jaciów, M. Igras","doi":"10.1109/HSI.2014.6860447","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860447","url":null,"abstract":"The paper presents an approach to automatic recognition of emotions in speech signals. The applied method bases on the composition of two discrete frequency transformations. The wavelet transform was calculated first and next the Fourier transform was applied. The Fourier-wavelet transform representation is used to find the differences between emotions in speech signals. A set of approximately 30 seconds long speech signals was used to verify the efficiency of presented methods. It gives the possibility of analyzing the performance of speech emotion recognition in the Fourier-wavelet domain.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"31 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":"127481584","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
Haptic simulation of rheological objects with Verlet integration 基于Verlet积分的流变物体触觉仿真
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860465
Masakazu Yamaoka, Shun Ido
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.
在虚拟现实中,教育模拟器有望通过在虚拟世界中表现触觉反馈(触摸物体的感觉)来增强学习效果。触觉反馈可以代表一种材料更真实的感觉,比如柔软度。例如,在医学上切割器官的感觉,在烹饪中混合食物的感觉。因此,触觉反馈可以产生更接近现实的体验,在虚拟世界中可以期待更真实的学习效果。然而,在虚拟世界中,可变形的物体,如器官和食物,会因接触而产生的强大力量而破裂,在这种情况下,正常的模拟是困难的。然后,为了解决这一问题,我们将Verlet积分应用于可变形物体位置的计算,以实现可变形物体的防破碎。为了证明应用Verlet集成的可变形对象是防破碎的,我们比较了在每种方法应用于可变形对象的相同情况下Verlet集成与其他方法的鲁棒性。结果验证了应用Verlet积分的唯一可变形对象不破碎的情况,证明了Verlet积分比其他方法更适合于可变形对象的模拟。
{"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 基于模糊逻辑的机械臂避障力反馈
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860452
Dumidu Wijayasekara, M. Manic
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.
机器人远程操作使用户能够在没有物理存在的情况下在敌对或难以接近的环境中执行复杂的任务。然而,最大限度地减少与障碍物的碰撞,同时保持任务的准确性和速度是很重要的。虽然视觉和听觉输入有助于用户精确控制,但为了达到所需的速度和准确性,可以使用触觉和动觉力反馈信息。提出了一种基于动态实时模糊逻辑的力反馈遥控机器人避障控制方法。该方法利用机械手的绝对位置来计算到已知障碍物的距离矢量。模糊控制器利用机械手中各部件的距离矢量和速度在各轴上产生力反馈。此外,本文还提出了一个交互式图形用户界面,使用户能够动态地添加或移除环境中的障碍物。在一个简单的三自由度机械臂上实现了该方法。将该方法与无力反馈的情况进行了比较。测试结果表明,当采用力反馈方法时,完成任务的速度和一致性显着提高。
{"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网的安全关键系统可靠逻辑控制器的对偶综合
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860483
A. Bukowiec, J. Tkacz, M. Adamski, R. Wiśniewski
In the paper, implementation of application specific logic controller for safety critical systems by means of Petri nets is described. The solution is based on duplicated main control unit and results comparison from both units. The design process of algorithm with use of Petri net is common for both unit. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different architectures for both control units. Such design flow simplify the process of realization of safety critical logic controllers.
本文介绍了利用Petri网实现安全关键系统专用逻辑控制器的方法。该解决方案基于重复的主控单元,并对两个单元进行了结果比较。使用Petri网的算法设计过程在这两个单元中是相同的。在双合成过程中获得了硬件复制。该过程使用两种不同的逻辑合成方法来获得两个控制单元的两种不同架构。这样的设计流程简化了安全关键逻辑控制器的实现过程。
{"title":"Dual synthesis of Petri net based dependable logic controllers for safety critical systems","authors":"A. Bukowiec, J. Tkacz, M. Adamski, R. Wiśniewski","doi":"10.1109/HSI.2014.6860483","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860483","url":null,"abstract":"In the paper, implementation of application specific logic controller for safety critical systems by means of Petri nets is described. The solution is based on duplicated main control unit and results comparison from both units. The design process of algorithm with use of Petri net is common for both unit. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different architectures for both control units. Such design flow simplify the process of realization of safety critical logic controllers.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"117 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":"124183543","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
Development of a five degrees of freedom Master/Slave robot for tele-operated laparoscopic surgical operations 用于远程腹腔镜手术的五自由度主从机器人的研制
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860469
G. Fau, T. Matsunaga, K. Ohnishi
This paper presents the design of a five degrees of freedom surgical robot suitable for laparoscopic surgery. Robots based on this design must fulfil the constraints of manipulability for the operating surgeon and the possibility of use through Master/Slave system as a tele-operated haptic device. The proposed robot is able to perform a full human-like wrist motion and operates a surgical forceps. Screenshots of both Computer- Aided Design and simulation results of the robot workspace, as well as the manipulability model are shown in this paper.
设计了一种适用于腹腔镜手术的五自由度手术机器人。基于这种设计的机器人必须满足手术医生的可操控性约束和通过主从系统作为远程操作的触觉设备使用的可能性。该机器人能够进行完全类似人类的手腕运动,并操作手术钳。本文给出了机器人工作空间的计算机辅助设计和仿真结果以及可操作性模型的截图。
{"title":"Development of a five degrees of freedom Master/Slave robot for tele-operated laparoscopic surgical operations","authors":"G. Fau, T. Matsunaga, K. Ohnishi","doi":"10.1109/HSI.2014.6860469","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860469","url":null,"abstract":"This paper presents the design of a five degrees of freedom surgical robot suitable for laparoscopic surgery. Robots based on this design must fulfil the constraints of manipulability for the operating surgeon and the possibility of use through Master/Slave system as a tele-operated haptic device. The proposed robot is able to perform a full human-like wrist motion and operates a surgical forceps. Screenshots of both Computer- Aided Design and simulation results of the robot workspace, as well as the manipulability model are shown in this paper.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"52 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":"128876442","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}
引用次数: 7
A database driven memetic algorithm for fuzzy set optimization 模糊集优化的数据库驱动模因算法
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860443
K. McCarty, M. Manic
Fuzzy logic provides a natural and precise way for humans to define and interact with systems. Optimizing a fuzzy inference system, however, presents some special challenges for the developer because of the imprecision that is inherent to fuzzy sets. This paper expands upon an earlier development of a fuzzy framework, adding components for dynamic self-optimization. What makes this approach unique is the use of relational database as a computational engine for the memetic algorithm and fitness function. The new architecture combines the power of fuzzy logic with the special properties of a relational database to create an efficient, flexible and self-optimizing combination. Database objects provide the fitness function, population sampling, gene crossover and mutation components allowing for superior batch processing and data mining potential. Results show the framework is able to improve the performance of a working configuration as well as fix a non-working configuration.
模糊逻辑为人类定义系统和与系统交互提供了一种自然而精确的方式。然而,由于模糊集固有的不精确性,优化模糊推理系统对开发人员提出了一些特殊的挑战。本文扩展了早期模糊框架的开发,增加了动态自优化组件。这种方法的独特之处在于使用关系数据库作为模因算法和适应度函数的计算引擎。新的体系结构将模糊逻辑的力量与关系数据库的特殊属性相结合,创建了一个高效、灵活和自优化的组合。数据库对象提供了适应度函数、种群采样、基因交叉和突变组件,从而实现了卓越的批处理和数据挖掘潜力。结果表明,该框架能够提高工作配置的性能,并修复非工作配置。
{"title":"A database driven memetic algorithm for fuzzy set optimization","authors":"K. McCarty, M. Manic","doi":"10.1109/HSI.2014.6860443","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860443","url":null,"abstract":"Fuzzy logic provides a natural and precise way for humans to define and interact with systems. Optimizing a fuzzy inference system, however, presents some special challenges for the developer because of the imprecision that is inherent to fuzzy sets. This paper expands upon an earlier development of a fuzzy framework, adding components for dynamic self-optimization. What makes this approach unique is the use of relational database as a computational engine for the memetic algorithm and fitness function. The new architecture combines the power of fuzzy logic with the special properties of a relational database to create an efficient, flexible and self-optimizing combination. Database objects provide the fitness function, population sampling, gene crossover and mutation components allowing for superior batch processing and data mining potential. Results show the framework is able to improve the performance of a working configuration as well as fix a non-working configuration.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"47 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":"122728533","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
Application of comparability graphs in decomposition of Petri nets 比较图在Petri网分解中的应用
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860478
R. Wiśniewski, A. Karatkevich, M. Adamski, D. Kur
In the article we present a new algorithm of Petri net decomposition into State Machine Components (SMCs). The idea bases on the application of the comparability graph theory. The comparability graphs are classified as a subclass of the perfect graphs and have unique properties. If a graph belongs to the comparability class, many problems (like graph coloring, maximal clique problem) can be solved in polynomial time. Therefore, if the sequentiality graph of a Petri net belongs to comparability class, the whole decomposition process turns to be polynomial. The preliminary experiments have demonstrated the effectiveness of the proposed idea. Over 90% of concurrency and sequentiality graphs of tested benchmarks belong to the comparability class. The efficiency is even higher if the Petri net class is reduced to the EFC (Extended Free-Choice).
本文提出了一种新的Petri网分解为状态机组件的算法。这种思想是基于可比性图论的应用。可比性图是完美图的一个子类,具有独特的性质。如果一个图属于可比性类,许多问题(如图着色、最大团问题)可以在多项式时间内解决。因此,如果Petri网的序列图属于可比性类,则整个分解过程变为多项式。初步实验证明了该方法的有效性。超过90%的测试基准的并发性和顺序性图属于可比性类。如果将Petri网类简化为EFC(扩展自由选择),效率甚至更高。
{"title":"Application of comparability graphs in decomposition of Petri nets","authors":"R. Wiśniewski, A. Karatkevich, M. Adamski, D. Kur","doi":"10.1109/HSI.2014.6860478","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860478","url":null,"abstract":"In the article we present a new algorithm of Petri net decomposition into State Machine Components (SMCs). The idea bases on the application of the comparability graph theory. The comparability graphs are classified as a subclass of the perfect graphs and have unique properties. If a graph belongs to the comparability class, many problems (like graph coloring, maximal clique problem) can be solved in polynomial time. Therefore, if the sequentiality graph of a Petri net belongs to comparability class, the whole decomposition process turns to be polynomial. The preliminary experiments have demonstrated the effectiveness of the proposed idea. Over 90% of concurrency and sequentiality graphs of tested benchmarks belong to the comparability class. The efficiency is even higher if the Petri net class is reduced to the EFC (Extended Free-Choice).","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"11 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":"126031586","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}
引用次数: 19
Robotic systems in health care 医疗保健中的机器人系统
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
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).
这篇论文反映了在医疗保健部门机器人化的一个新概念。这个想法是设计一个机器人系统,能够通过触诊(即按压病人的胃来识别疼痛区域和器官僵硬)和超声检查进行远程身体检查。医疗机器人系统将由医生的远程触觉界面和位于患者身边的由助手支持的机器人组成。在两个国家(奥地利和波兰),我们与医生进行了第一次焦点小组讨论,以确定如何评估和概念化远程医疗诊断系统,包括检查程序(活动)、沟通问题和所需信息的可视化。根据研究结果,我们将对技术评估进行反思,即,远程医疗服务是否适合农村地区,因为在农村地区,各种专业医生的可用性往往是一个问题,以及从医生的角度来看,这种新型医疗的必要性(即,确定的方面增加了用户对系统的接受和采用)。
{"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
期刊
2014 7th International Conference on Human System Interactions (HSI)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1