2011-10至2012-10完成:
完成多通道群件系统的案例分析、设计与开发,完成基本技术和基础理论研究。按照以下次序逐步开展研究:
(1) HCIS的可用性及其评估技术;
(2) 笔交互界面开发方法研究及其建模;
(3) 多通道人机交互技术;
(4) 多通道群件系统的协议分析;
(5) 多通道群件系统iMeeting的分析、设计与开发;
(6) 多通道群件系统的可用性研究;
(7) UCD,用户犯错的认知模型研究;
(8) IMC,基于IMC的模型检测。
2012-10至2013-10完成:
以上述工作为基础,进一步开展深入研究,提供一种统一高效的机械化的多通道群件系统的功能验证、性能评价和可用性评估的技术框架,并验证其有效性。按照以下次序逐步开展研究:
(1) 多通道群件系统可用性形式化刻画技术;
(2) 多通道群件系统性能和可用性验证技术;
(3) 多通道群件系统协议的形式化刻画与验证;
(4) 基于IMC模型检测的多通道群件系统迭代设计。
(5) 多通道群件系统的可用性机械化评估。
预期成果:
(1) 从以下主题中选题,发表SCI论文至少2篇,EI/ISTP论文至少2篇:
1)一种新的多通道群件系统的时序逻辑;
2)基于IMC的模型检测;
3)多通道群件系统的可用性研究;
4)多通道群件系统协议的形式化刻画与验证;
5)多通道群件系统的机械化评估模型;
6)使用IMC模型检测驱动多通道群件系统的设计;
7)基于IMC 的手绘笔画图元分解;
8)基于草图识别和动态几何约束保持的智能几何教育平台。
(2) 申请专利、软件版权:
1) 基于笔交互的视频会议系统iMeeting;
2) 基于笔交互的智能几何教育平台smartGeometry。
(3) 发表教学论文:
1)在软件学院开设“智能人机交互技术”课程的探索;
(4) 发表教学论文:
1)以“智能人机交互技术”课程建设为基础,申请教学成果奖;