10.3969/j.issn.1000-3428.2009.14.092
运输态势交互模型及其CSP形式化研究
人机交互(HCI)技术的迅猛发展为自然高效和谐的HCI提供了基础支持,随着HCI行为的日益复杂,如何验证其过程的正确性成为研究HCI领域的重心.根据双手触摸光感应触控平台在运输态势的HCI,提出一种体现用户操作与设备响应相结合的运输态势HCI模型,该模型采用通信顺序进程形式化描述,并结合甘特图验证其单用户操作的逻辑正确性和稳定性.
人机交互(HCI)、用户操作、通信顺序进程、形式化方法
35
TP393(计算技术、计算机技术)
国家"863"计划基金资助项目2007AA01Z193;国家科技支撑计划基金资助项目2006BAG01A07
2009-08-19(万方平台首次上网日期,不代表论文的发表时间)
共4页
264-266,269