文献类型：期刊文章

作　　者：陆锡高[1] 凌云翔[1] 老松杨[1]

机构地区：[1]国防科技大学信息系统与管理学院指挥自动化系,长沙410073

出　　处：《计算机工程》

基　　金：国家"863"计划基金资助项目(2007AA01Z193);国家科技支撑计划基金资助项目(2006BAG01A07)

年　　份：2009

卷　　号：35

期　　号：14

起止页码：264-266

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊

摘　　要：人机交互(HCI)技术的迅猛发展为自然高效和谐的HCI提供了基础支持,随着HCI行为的日益复杂,如何验证其过程的正确性成为研究HCI领域的重心。根据双手触摸光感应触控平台在运输态势的HCI,提出一种体现用户操作与设备响应相结合的运输态势HCI模型,该模型采用通信顺序进程形式化描述,并结合甘特图验证其单用户操作的逻辑正确性和稳定性。

关 键 词：人机交互(HCI)  用户操作  通信顺序进程 形式化方法

分 类 号：TP393]