陆锡高
- 作品数：3 被引量：5H指数：2
- 供职机构：国防科学技术大学信息系统与管理学院更多>>
- 发文基金：国家自然科学基金国家科技支撑计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 运输态势交互模型及其CSP形式化研究
- 2009年
- 人机交互(HCI)技术的迅猛发展为自然高效和谐的HCI提供了基础支持,随着HCI行为的日益复杂,如何验证其过程的正确性成为研究HCI领域的重心。根据双手触摸光感应触控平台在运输态势的HCI,提出一种体现用户操作与设备响应相结合的运输态势HCI模型,该模型采用通信顺序进程形式化描述,并结合甘特图验证其单用户操作的逻辑正确性和稳定性。
- 陆锡高凌云翔老松杨
- 关键词：通信顺序进程形式化方法
- 基于触摸自然手势的指挥所业务映射与验证方法研究被引量：2
- 2011年
- 基于指挥所主流操作业务的应用需求,引入适于指挥所中人机交互的触摸自然手势,并在对完成触摸手势原语到操作任务的映射过程中,利用用户动作标记UAN(User Action Notation)完成了指挥所业务到双手触摸交互手势的映射,将UAN描述的用户操作模型转换成为通信顺序进程CSP(Communicating Sequential Processes)的形式化描述,并证明其单用户操作模型的正确性。最后以一个师级部队应急输送方案的仿真推演为例,说明了自然手势交互在指挥所操作业务中的具体应用。
- 凌云翔叶挺陆锡高谈益兴
- 关键词：指挥所通信顺序进程
- 军交指挥空间用户操作模型应用研究
- 未来信息化战争中的军交运输指挥面临着诸多问题,军交运输指挥效能决定着战时后勤保障能力的高低,直接影响着战争的进程和结局。对于军交运输而言,军交运输态势的获取、分析和利用是军交运输指挥的起点。当前,军交指挥所中采用的交互技...
- 陆锡高
- 关键词：军交运输双手交互用户操作通信顺序进程SPIN
