基于触摸自然手势的指挥所业务映射与验证方法研究

基于指挥所主流操作业务的应用需求,引入适于指挥所中人机交互的触摸自然手势,并在对完成触摸手势原语到操作任务的映射过程中,利用用户动作标记UAN(User Action Notation)完成了指挥所业务到双手触摸交互手势的映射,将UAN描述的用户操作模型转换成为通信顺序进程CSP(Communicating Sequential Processes)的形式化描述,并证明其单用户操作模型的正确性。最后以一个师级部队应急输送方案的仿真推演为例,说明了自然手势交互在指挥所操作业务中的具体应用。