首页 > 最新文献

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

英文 中文
Virtual Reality technology used as a learning tool in Civil Engineering training 虚拟现实技术在土木工程培训中的应用
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860466
A. Sampaio, Luis Viana
In the execution of bridge or overpass decks several construction processes are applied. A geometric model 4D (3D + time) in a Virtual Reality (VR) environment which simulates the construction of a bridge deck composed of precast beams was implemented. The model allows viewing and interaction with the various steps and the main elements involved in the construction process. In order to develop the virtual model, the components of the construction, the steps inherent in the process and its follow-up and the type and mode of operation of the required equipment were initially examined, in detail. Based on this study, the 3D geometric modelling of the different elements that make up the site was created and a schedule that would simulate an interactive mode of construction activity was established. As the model is interactive, it allows the user to have access to different stages of the construction process, thus allowing different views in time and in space throughout the development of construction work, thereby supporting understanding of this constructive method. Since the model is didactic in character it can be used to support the training of students and professionals in the field of Bridge Construction. The VR application is currently used to support Bridge classes.
在桥梁或立交桥的桥面施工中,应用了几种施工工艺。在虚拟现实(VR)环境中实现了一个4D (3D +时间)几何模型,模拟了预制梁组成的桥面的施工。该模型允许与施工过程中涉及的各个步骤和主要元素进行查看和交互。为了开发虚拟模型,首先详细检查了构建的组成部分、过程中固有的步骤及其后续工作,以及所需设备的类型和操作模式。基于这项研究,创建了构成场地的不同元素的三维几何模型,并建立了一个模拟建筑活动互动模式的时间表。由于模型是交互式的,它允许用户访问施工过程的不同阶段,从而在整个施工工作的发展过程中允许不同的时间和空间视图,从而支持对这种施工方法的理解。由于该模型具有教学性质,因此可以用于支持桥梁建设领域的学生和专业人员的培训。VR应用程序目前用于支持桥牌类。
{"title":"Virtual Reality technology used as a learning tool in Civil Engineering training","authors":"A. Sampaio, Luis Viana","doi":"10.1109/HSI.2014.6860466","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860466","url":null,"abstract":"In the execution of bridge or overpass decks several construction processes are applied. A geometric model 4D (3D + time) in a Virtual Reality (VR) environment which simulates the construction of a bridge deck composed of precast beams was implemented. The model allows viewing and interaction with the various steps and the main elements involved in the construction process. In order to develop the virtual model, the components of the construction, the steps inherent in the process and its follow-up and the type and mode of operation of the required equipment were initially examined, in detail. Based on this study, the 3D geometric modelling of the different elements that make up the site was created and a schedule that would simulate an interactive mode of construction activity was established. As the model is interactive, it allows the user to have access to different stages of the construction process, thus allowing different views in time and in space throughout the development of construction work, thereby supporting understanding of this constructive method. Since the model is didactic in character it can be used to support the training of students and professionals in the field of Bridge Construction. The VR application is currently used to support Bridge classes.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"1 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":"128804708","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}
引用次数: 3
Interaction with medical data using QR-codes 使用qr码与医疗数据交互
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860471
Krzysztof Czuszyński, J. Rumiński
Bar-codes and QR-codes (Quick Response) are often used in healthcare. In this paper an application of QR-codes to exchange of laboratory results is presented. The secure data exchange is proposed between a laboratory and a patient and between a patient and Electronic Health Records. Advanced Encryption Standard was used to provide security of data encapsulated within a QR-code. The experimental setup, named labSeq is described. Additionally, a mobile application which enables decoding and storage of the enciphered information is presented. This work is also a preliminary research in supplying electronic glasses device, eGlasses, a functionality to process data from graphical patterns. In this paper a mobile phone is used as a simulator of electronic glasses. The exchange of data between the mobile application and Electronic Health Records is based on Health Level 7 standards or using JavaScript Object Notation. This enables fast integration of data between a patient's device and the information system used by a healthcare professional.
条形码和qr码(快速响应)通常用于医疗保健。本文介绍了qr码在实验室结果交换中的应用。提出了实验室与患者之间、患者与电子健康记录之间的安全数据交换。高级加密标准用于提供封装在qr码中的数据的安全性。描述了实验装置labSeq。此外,还提出了一种能够解码和存储加密信息的移动应用程序。这项工作也是提供电子眼镜设备eglass的初步研究,该设备具有从图形模式中处理数据的功能。本文以手机作为电子眼镜的模拟器。移动应用程序和电子健康记录之间的数据交换基于Health Level 7标准或使用JavaScript Object Notation。这使得患者的设备和医疗保健专业人员使用的信息系统之间的数据能够快速集成。
{"title":"Interaction with medical data using QR-codes","authors":"Krzysztof Czuszyński, J. Rumiński","doi":"10.1109/HSI.2014.6860471","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860471","url":null,"abstract":"Bar-codes and QR-codes (Quick Response) are often used in healthcare. In this paper an application of QR-codes to exchange of laboratory results is presented. The secure data exchange is proposed between a laboratory and a patient and between a patient and Electronic Health Records. Advanced Encryption Standard was used to provide security of data encapsulated within a QR-code. The experimental setup, named labSeq is described. Additionally, a mobile application which enables decoding and storage of the enciphered information is presented. This work is also a preliminary research in supplying electronic glasses device, eGlasses, a functionality to process data from graphical patterns. In this paper a mobile phone is used as a simulator of electronic glasses. The exchange of data between the mobile application and Electronic Health Records is based on Health Level 7 standards or using JavaScript Object Notation. This enables fast integration of data between a patient's device and the information system used by a healthcare professional.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"17 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":"115267567","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}
引用次数: 33
EEG based brain activity monitoring using Artificial Neural Networks 基于脑电图的人工神经网络脑活动监测
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860449
Kasun Amarasinghe, Dumidu Wijayasekara, M. Manic
Brain Computer Interfaces (BCI) have gained significant interest over the last decade as viable means of human machine interaction. Although many methods exist to measure brain activity in theory, Electroencephalography (EEG) is the most used method due to the cost efficiency and ease of use. However, thought pattern based control using EEG signals is difficult due two main reasons; 1) EEG signals are highly noisy and contain many outliers, 2) EEG signals are high dimensional. Therefore the contribution of this paper is a novel methodology for recognizing thought patterns based on Self Organizing Maps (SOM). The presented thought recognition methodology is a three step process which utilizes SOM for unsupervised clustering of pre-processed EEG data and feed-forward Artificial Neural Networks (ANN) for classification. The presented method was tested on 5 different users for identifying two thought patterns; “move forward” and “rest”. EEG Data acquisition was carried out using the Emotiv EPOC headset which is a low cost, commercial-off-the-shelf, noninvasive EEG signal measurement device. The presented method was compared with classification of EEG data using ANN alone. The experimental results for the 5 users chosen showed an improvement of 8% over ANN based classification.
脑机接口(BCI)作为人机交互的可行手段在过去十年中获得了极大的兴趣。虽然理论上存在许多测量脑活动的方法,但脑电图(EEG)是最常用的方法,因为它具有成本效益和易用性。然而,基于思维模式的脑电信号控制是困难的,主要有两个原因;1)脑电信号噪声大,存在大量异常值;2)脑电信号具有高维性。因此,本文的贡献是一种基于自组织映射(SOM)的思维模式识别新方法。提出的思想识别方法是一个三步过程,利用SOM对预处理后的脑电数据进行无监督聚类,并利用前馈人工神经网络(ANN)进行分类。该方法在5个不同的用户身上进行了测试,以识别两种思维模式;“前进”和“休息”。EEG数据采集使用Emotiv EPOC头戴式设备进行,Emotiv EPOC头戴式设备是一种低成本、商用现货、无创的EEG信号测量设备。将该方法与单独使用人工神经网络进行脑电数据分类进行了比较。选择的5个用户的实验结果表明,比基于人工神经网络的分类提高了8%。
{"title":"EEG based brain activity monitoring using Artificial Neural Networks","authors":"Kasun Amarasinghe, Dumidu Wijayasekara, M. Manic","doi":"10.1109/HSI.2014.6860449","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860449","url":null,"abstract":"Brain Computer Interfaces (BCI) have gained significant interest over the last decade as viable means of human machine interaction. Although many methods exist to measure brain activity in theory, Electroencephalography (EEG) is the most used method due to the cost efficiency and ease of use. However, thought pattern based control using EEG signals is difficult due two main reasons; 1) EEG signals are highly noisy and contain many outliers, 2) EEG signals are high dimensional. Therefore the contribution of this paper is a novel methodology for recognizing thought patterns based on Self Organizing Maps (SOM). The presented thought recognition methodology is a three step process which utilizes SOM for unsupervised clustering of pre-processed EEG data and feed-forward Artificial Neural Networks (ANN) for classification. The presented method was tested on 5 different users for identifying two thought patterns; “move forward” and “rest”. EEG Data acquisition was carried out using the Emotiv EPOC headset which is a low cost, commercial-off-the-shelf, noninvasive EEG signal measurement device. The presented method was compared with classification of EEG data using ANN alone. The experimental results for the 5 users chosen showed an improvement of 8% over ANN based classification.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"60 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":"127757387","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}
引用次数: 21
Head movement compensation algorithm in multi-display communication by gaze 注视多显示通信中头部运动补偿算法
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860454
Tomasz Kocejko, A. Bujnowski, J. Rumiński, Ewa Bylinska, J. Wtorek
An influence of head movements on the gaze estimation accuracy when using a head mounted eye tracking system is discussed in the paper. This issue has been examined for a multi-display environment. It was found that head movement (rotation) to some extent does not influence on the gaze estimation accuracy seriously. Acceptable results were obtained when using eye-tracker to communicate with a computer via in two displays simultaneously.
本文讨论了头戴式眼动追踪系统中头部运动对注视估计精度的影响。这个问题已经针对多显示环境进行了研究。研究发现,头部运动(旋转)在一定程度上不会严重影响注视估计的精度。当使用眼动仪同时通过两个显示器与计算机通信时,获得了可接受的结果。
{"title":"Head movement compensation algorithm in multi-display communication by gaze","authors":"Tomasz Kocejko, A. Bujnowski, J. Rumiński, Ewa Bylinska, J. Wtorek","doi":"10.1109/HSI.2014.6860454","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860454","url":null,"abstract":"An influence of head movements on the gaze estimation accuracy when using a head mounted eye tracking system is discussed in the paper. This issue has been examined for a multi-display environment. It was found that head movement (rotation) to some extent does not influence on the gaze estimation accuracy seriously. Acceptable results were obtained when using eye-tracker to communicate with a computer via in two displays simultaneously.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"27 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":"127968563","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}
引用次数: 16
Global path planning for unmanned ground vehicle based on road map images 基于道路地图图像的无人地面车辆全局路径规划
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860453
Van-Dung Hoang, Danilo Cáceres Hernández, Joko Hariyono, K. Jo
In automatic navigation of mobile systems, first, they require providing a path network for robot/vehicle motion. Therefore, path planning is an important task of autonomous vehicle systems. To deal with the problem, this paper presents a method for constructing the shortest path, which support for vehicle auto-navigation in outdoor environments. The method using online road map images to estimate not only the shape of road network but also the directed road network, which could not be estimated by the use of only aerial/satellite images. The proposed method to solve this problem includes three stages. First, a raw network of path for motion is detected using the road map images. Second, the path network is converted to the Global coordinates, which provides a convenience for online auto-navigation task. Third, the shortest path for motion is estimated based on the A* algorithm. The experimental results demonstrate robustness and effectiveness of the method for path networks estimation under the large scene of outdoor environments.
在移动系统的自动导航中,首先需要为机器人/车辆的运动提供路径网络。因此,路径规划是自动驾驶汽车系统的一项重要任务。针对这一问题,本文提出了一种构造最短路径的方法,以支持车辆在室外环境下的自动导航。该方法利用在线道路地图图像不仅可以估计道路网的形状,还可以估计定向道路网,这是仅使用航空/卫星图像无法估计的。本文提出的解决这一问题的方法分为三个阶段。首先,使用路线图图像检测运动路径的原始网络。其次,将路径网络转换为全局坐标,为在线自动导航任务提供了方便;第三,基于A*算法估计运动的最短路径。实验结果证明了该方法在室外大场景下路径网络估计的鲁棒性和有效性。
{"title":"Global path planning for unmanned ground vehicle based on road map images","authors":"Van-Dung Hoang, Danilo Cáceres Hernández, Joko Hariyono, K. Jo","doi":"10.1109/HSI.2014.6860453","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860453","url":null,"abstract":"In automatic navigation of mobile systems, first, they require providing a path network for robot/vehicle motion. Therefore, path planning is an important task of autonomous vehicle systems. To deal with the problem, this paper presents a method for constructing the shortest path, which support for vehicle auto-navigation in outdoor environments. The method using online road map images to estimate not only the shape of road network but also the directed road network, which could not be estimated by the use of only aerial/satellite images. The proposed method to solve this problem includes three stages. First, a raw network of path for motion is detected using the road map images. Second, the path network is converted to the Global coordinates, which provides a convenience for online auto-navigation task. Third, the shortest path for motion is estimated based on the A* algorithm. The experimental results demonstrate robustness and effectiveness of the method for path networks estimation under the large scene of outdoor environments.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"23 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":"133681522","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}
引用次数: 17
Translation UML diagrams into Verilog 将UML图转换为Verilog
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860487
Grzegorz Bazydło, M. Adamski, Lukasz Stefanowicz
The paper presents a method of using the UML state machine diagrams for specification of programs of logic controllers. The proposed method allows transformation from UML state machine diagram, using temporal Hierarchical Concurrent Finite State Machine (HCFSM) model, into Verilog hardware specification. The generated behavioral description in Hardware Description Language can afterwards be simulated, synthesized and implemented into e.g. FPGA device. A practical example illustrating the successive stages of the proposed method was also presented.
提出了一种利用UML状态机图对逻辑控制器程序进行说明的方法。提出的方法允许从UML状态机图到Verilog硬件规范的转换,使用时态层次并发有限状态机(HCFSM)模型。在硬件描述语言中生成的行为描述随后可以被模拟、合成并实现到例如FPGA器件中。最后给出了一个实例,说明了该方法的各个阶段。
{"title":"Translation UML diagrams into Verilog","authors":"Grzegorz Bazydło, M. Adamski, Lukasz Stefanowicz","doi":"10.1109/HSI.2014.6860487","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860487","url":null,"abstract":"The paper presents a method of using the UML state machine diagrams for specification of programs of logic controllers. The proposed method allows transformation from UML state machine diagram, using temporal Hierarchical Concurrent Finite State Machine (HCFSM) model, into Verilog hardware specification. The generated behavioral description in Hardware Description Language can afterwards be simulated, synthesized and implemented into e.g. FPGA device. A practical example illustrating the successive stages of the proposed method was also presented.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"116 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":"114568352","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}
引用次数: 24
Human-computer interactions in speech therapy using a blowing interface 语音治疗中使用吹气界面的人机交互
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860470
J. Rumiński, A. Bujnowski, J. Wtorek
In this paper we present a new human-computer interface for the quantitative measurement of blowing activities. The interface can measure the air flow and air pressure during the blowing activity. The measured values are stored and used to control the state of the graphical objects in the graphical user interface. In speech therapy children will find easier to play attractive therapeutic games than to perform repetitive and tedious, traditional blowing actions. Therefore, we also propose a set of games that can be used together with the blowing device. The paper focuses on the design of the interface, preliminary experiments and results. Additionally, fours blowing games are described.
本文提出了一种用于吹塑活动定量测量的新型人机界面。该界面可以测量吹风过程中的气流和气压。测量值被存储并用于在图形用户界面中控制图形对象的状态。在语言治疗中,孩子们会发现玩有吸引力的治疗游戏比做重复乏味的传统吹气动作更容易。因此,我们也提出了一套可以与吹风装置配合使用的游戏。本文重点介绍了界面设计、初步实验和结果。此外,还描述了四种吹风游戏。
{"title":"Human-computer interactions in speech therapy using a blowing interface","authors":"J. Rumiński, A. Bujnowski, J. Wtorek","doi":"10.1109/HSI.2014.6860470","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860470","url":null,"abstract":"In this paper we present a new human-computer interface for the quantitative measurement of blowing activities. The interface can measure the air flow and air pressure during the blowing activity. The measured values are stored and used to control the state of the graphical objects in the graphical user interface. In speech therapy children will find easier to play attractive therapeutic games than to perform repetitive and tedious, traditional blowing actions. Therefore, we also propose a set of games that can be used together with the blowing device. The paper focuses on the design of the interface, preliminary experiments and results. Additionally, fours blowing games are described.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"55 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":"114985961","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
FPGA-based embedded Logic Controllers 基于fpga的嵌入式逻辑控制器
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860484
M. Węgrzyn, M. Adamski, A. Karatkevich, A. R. Muñoz
In general case, reconfigurable logic controllers (RLC) are included into reactive digital embedded systems, carrying out control for several processes proceeding concurrently. The paper presents a practical application of a formal, rule-based specification language in Gentzen sequent logic, which is used as an intermediate textual description of a control interpreted Petri net. On the other hand exactly the same description serves also as logic design expressions, related with different versions of functionally equivalent concurrent state machine models, considered on Register Transfer Level. The symbolic rule-based specification of Petri net-based embedded Logic Controllers (LCs) can be step-by step formally transformed into the final specification of concurrent state machine model, closely related with VHDL description, suitable for a direct mapping in reconfigurable logic devices. In this paper it is proposed novel compact form of logic descriptions, directly based on event-oriented specification, where it is assumed that macrocells can be implicitly formed by synthesis tool as containing virtual T flip-flops.
一般情况下,可重构逻辑控制器(RLC)包含在响应式数字嵌入式系统中,对并发进行的多个进程进行控制。本文介绍了一种形式化的、基于规则的规范语言在根岑序列逻辑中的实际应用,该语言被用作控制解释Petri网的中间文本描述。另一方面,完全相同的描述也可以作为逻辑设计表达式,与寄存器传输级别考虑的功能等效并发状态机模型的不同版本相关。基于Petri网的嵌入式逻辑控制器(lc)的符号规则规范可以逐步形式化转化为并发状态机模型的最终规范,与VHDL描述密切相关,适合于可重构逻辑器件的直接映射。本文提出了一种新的紧凑的逻辑描述形式,直接基于面向事件的规范,其中假设宏单元可以由包含虚拟T触发器的合成工具隐式形成。
{"title":"FPGA-based embedded Logic Controllers","authors":"M. Węgrzyn, M. Adamski, A. Karatkevich, A. R. Muñoz","doi":"10.1109/HSI.2014.6860484","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860484","url":null,"abstract":"In general case, reconfigurable logic controllers (RLC) are included into reactive digital embedded systems, carrying out control for several processes proceeding concurrently. The paper presents a practical application of a formal, rule-based specification language in Gentzen sequent logic, which is used as an intermediate textual description of a control interpreted Petri net. On the other hand exactly the same description serves also as logic design expressions, related with different versions of functionally equivalent concurrent state machine models, considered on Register Transfer Level. The symbolic rule-based specification of Petri net-based embedded Logic Controllers (LCs) can be step-by step formally transformed into the final specification of concurrent state machine model, closely related with VHDL description, suitable for a direct mapping in reconfigurable logic devices. In this paper it is proposed novel compact form of logic descriptions, directly based on event-oriented specification, where it is assumed that macrocells can be implicitly formed by synthesis tool as containing virtual T flip-flops.","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":"126406767","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
Finger posture estimation using 3D medial axes 利用三维内轴线估计手指姿态
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860451
Yun Ouedraogo, Y. Aoki
We propose a method for tracking a hand in real-time, using depth information from a single Kinect sensor. The fingers are segmented using medial axes on an image generated by the depth discontinuities. The palm position and orientation is estimated from the position of the wrist as well as the distance to the closest contour points. The detected medial axes are projected in the palm plane for labelling, and then used for direct posture estimation of unoccluded phalanges. Inverse kinematics provide the missing information in case of occlusion. Our approach can be related to an inverse kinematics approach based on fingertip detection, with additional robustness to fingertip occlusion provided by the medial axis of each visible phalanx.
我们提出了一种实时跟踪手的方法,使用单个Kinect传感器的深度信息。在深度不连续产生的图像上,使用中间轴对手指进行分割。手掌的位置和方向是从手腕的位置以及到最近的轮廓点的距离来估计的。检测到的内侧轴被投影在掌平面上进行标记,然后用于对未封闭指骨的直接姿势估计。逆运动学在遮挡的情况下提供了缺失的信息。我们的方法可以与基于指尖检测的逆运动学方法相关,每个可见指骨的内侧轴提供了对指尖遮挡的额外鲁棒性。
{"title":"Finger posture estimation using 3D medial axes","authors":"Yun Ouedraogo, Y. Aoki","doi":"10.1109/HSI.2014.6860451","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860451","url":null,"abstract":"We propose a method for tracking a hand in real-time, using depth information from a single Kinect sensor. The fingers are segmented using medial axes on an image generated by the depth discontinuities. The palm position and orientation is estimated from the position of the wrist as well as the distance to the closest contour points. The detected medial axes are projected in the palm plane for labelling, and then used for direct posture estimation of unoccluded phalanges. Inverse kinematics provide the missing information in case of occlusion. Our approach can be related to an inverse kinematics approach based on fingertip detection, with additional robustness to fingertip occlusion provided by the medial axis of each visible phalanx.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"61 6 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":"128012538","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
Empirical models for horizontal saccadic eye movements 水平跳眼运动的经验模型
Pub Date : 2014-06-16 DOI: 10.1109/HSI.2014.6860450
R. Rato, Luís Brito Palma, A. G. Batista
In this paper empirical models for horizontal saccadic eye movements are proposed. One of the modelling main concerns were the empirical bandwidth requirements for the electrooculogram signals. The models permit to establish a threshold for the minimum sampling frequency and allow the computation of the human latency (reaction time). The effect of different sampling rates on the models quality is evaluated. Experimental results are presented.
本文提出了水平跃迁眼动的经验模型。建模的主要关注点之一是眼电信号的经验带宽要求。该模型允许建立最小采样频率的阈值,并允许计算人的延迟(反应时间)。评估了不同采样率对模型质量的影响。给出了实验结果。
{"title":"Empirical models for horizontal saccadic eye movements","authors":"R. Rato, Luís Brito Palma, A. G. Batista","doi":"10.1109/HSI.2014.6860450","DOIUrl":"https://doi.org/10.1109/HSI.2014.6860450","url":null,"abstract":"In this paper empirical models for horizontal saccadic eye movements are proposed. One of the modelling main concerns were the empirical bandwidth requirements for the electrooculogram signals. The models permit to establish a threshold for the minimum sampling frequency and allow the computation of the human latency (reaction time). The effect of different sampling rates on the models quality is evaluated. Experimental results are presented.","PeriodicalId":448379,"journal":{"name":"2014 7th International Conference on Human System Interactions (HSI)","volume":"22 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":"132262435","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
期刊
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