期刊文献+

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

Researches on Command Post Business Mapping and Validation Based on Touch Natural Gesture
下载PDF
导出
摘要 基于指挥所主流操作业务的应用需求,引入适于指挥所中人机交互的触摸自然手势,并在对完成触摸手势原语到操作任务的映射过程中,利用用户动作标记UAN(User Action Notation)完成了指挥所业务到双手触摸交互手势的映射,将UAN描述的用户操作模型转换成为通信顺序进程CSP(Communicating Sequential Processes)的形式化描述,并证明其单用户操作模型的正确性。最后以一个师级部队应急输送方案的仿真推演为例,说明了自然手势交互在指挥所操作业务中的具体应用。 For the requirement of command post business,a set of interaction natural handed-gesture for HMI in command space was defined according to the needs of commanding.Based on the mapping process from touch gesture mea language to operational task,UAN was used to achieve the goal which was the mapping from the business in command space to the two-handed touch interactive gesture.The User Operation Model(UOM) description of UAN was translated into CSP expression and proved the correctness of Single-UOM.At last,specific application of the business in the command space shows an example which is the emergency transportation of division level force.
出处 《系统仿真学报》 CAS CSCD 北大核心 2011年第7期1398-1403,共6页 Journal of System Simulation
基金 国家自然科学基金(60875048 61005055)
关键词 指挥所 自然手势 用户操作模型 用户动作标记 通信顺序进程 Command Post Natural Gesture User Operation Model(UOM) User Action Notation(UAN) Communicating Sequential Processes(CSP)
  • 相关文献

参考文献7

  • 1司光亚,胡晓峰,吴琳.“决胜”系统---构建战争决策综合集成研讨与模拟环境的实践与思考[J].系统仿真学报,2003,15(12):1667-1671. 被引量:17
  • 2Brad Johanson,Armando Fox,Terry Winograd.Stanford Interactive Workspaces Project. http://iwork.stanford.edu/ .
  • 3Lai J,Levas A,Chou P,et al.BlueSpace:Personalizing Workspace through Awareness andAdaptability[].International Journal of HumanComputer Studies.2002
  • 4Hartson H R,Siochi A C,Hix D.The UAN:A User‐Oriented Representation for DirectManipulation User Interface[].ACM Transactions on Information Systems.1990
  • 5Holzmann,G.J. The SPIN Model Checker: Primer and Reference Manual . 2003
  • 6Ian MacColl,,David Carrington.Translating UAN into CSP[].Proceedings of the rd IEEE International Conference on Formal Engineering Methods.2000
  • 7Hoare CAR.Communicating Sequential Processes[]..1985

二级参考文献8

共引文献16

同被引文献14

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部