| 摘要 | 第1-10页 |
| ABSTRACT | 第10-12页 |
| 第一章 绪论 | 第12-20页 |
| ·研究背景 | 第12-13页 |
| ·国内外研究现状 | 第13-17页 |
| ·军交运输信息化 | 第13-15页 |
| ·未来指挥所 | 第15-16页 |
| ·双手交互模型 | 第16-17页 |
| ·课题研究的主要内容 | 第17-18页 |
| ·论文的组织结构 | 第18-20页 |
| 第二章 军交指挥空间概念及其功能分析 | 第20-30页 |
| ·未来军交运输指挥面临的问题及对策 | 第20-22页 |
| ·指挥空间的基本概念 | 第22-24页 |
| ·军交指挥空间的功能分析 | 第24-27页 |
| ·辅助决策 | 第24-25页 |
| ·军交运输态势可视化 | 第25-26页 |
| ·运输方案仿真推演 | 第26-27页 |
| ·军交运输态势动态监控 | 第27页 |
| ·军交指挥空间内的态势交互 | 第27-30页 |
| 第三章 面向军交运输指挥业务的用户操作描述 | 第30-51页 |
| ·双手触摸交互 | 第30-37页 |
| ·双手触摸交互的特性分析 | 第30-33页 |
| ·触摸手势的属性及分类 | 第33-35页 |
| ·触摸手势识别与触摸手势原语 | 第35-37页 |
| ·军交运输指挥业务到双手触摸手势的映射 | 第37-48页 |
| ·基于UAN 的操作任务分解 | 第37-38页 |
| ·军交运输态势查看 | 第38-43页 |
| ·军交运输态势图军标标绘 | 第43-47页 |
| ·军交运输态势标注 | 第47-48页 |
| ·军交运输态势协作研讨 | 第48-51页 |
| 第四章 用户操作模型的形式化描述及验证方法研究 | 第51-66页 |
| ·CSP 形式化方法 | 第51-54页 |
| ·CSP 的相关概念及基本运算符 | 第51-53页 |
| ·UAN 到CSP 的转换 | 第53-54页 |
| ·单用户操作模型的CSP 描述及正确性证明 | 第54-59页 |
| ·多用户操作控制权规则 | 第59-66页 |
| ·问题描述 | 第59-61页 |
| ·多人协作研讨的SPIN 检测 | 第61-63页 |
| ·多用户操作控制权规则的设计 | 第63-66页 |
| 第五章 军交运输态势交互案例分析 | 第66-80页 |
| ·军交运输态势展现系统 | 第66-68页 |
| ·案例应用 | 第68-80页 |
| ·案例背景简介 | 第68-70页 |
| ·军交运输态势协作研讨过程 | 第70-80页 |
| 结束语 | 第80-82页 |
| 致谢 | 第82-83页 |
| 参考文献 | 第83-87页 |
| 作者在学期间取得的学术成果 | 第87-88页 |
| 附录 3个用户协作研讨过程的Promela 检测代码 | 第88-90页 |