【摘 要】
：
为了提高虚拟实验教学的效率和效果,分析了虚拟实验系统中操作重现的实现机制,提出了基于消息的操作捕捉、操作保存和操作重放的实现方法,并使用确定有限自动机理论证明了操
【基金项目】
：
国家科技支撑计划重点基金项目（2008BAH29B06）
论文部分内容阅读
为了提高虚拟实验教学的效率和效果,分析了虚拟实验系统中操作重现的实现机制,提出了基于消息的操作捕捉、操作保存和操作重放的实现方法,并使用确定有限自动机理论证明了操作重现的可行性。在此基础上,给出了在虚拟实验系统中设计操作重现的基本方法和步骤,并在一个实际的虚拟实验系统中进行了实现。实验结果表明,该方法可以很方便地在基于MFC架构的虚拟实验系统中进行实现,达到了预期的效果。
其他文献
第十三届北京·埃森焊接与切割展览会于2008年5月14-17圆满结束，作为展商之一的KUKA不仅成功于展会期间首次在中国地区推出KUKA最新型机器人KR1000 TITAN（1000kg重型负载机
鉴于现有LBS系统开发中的不足,提出了一种基于J2EE多层体系结构的通用的易于拓展的LBS平台系统设计方案,并通过利用J2EE技术中多种分布式组件的特性,实现了LBS平台中所有模块的功能。该系统不仅能满足当前LBS服务的用户需求,而且还能保证系统具有良好的开放性和可扩展性。
喧嚣一时的“罗尔事件”暂时平息，经深圳市民政局、罗尔、刘侠风以及腾讯方面四方沟通，达成如下一致意见：微信平台将在3天内，将赞赏资金原路退回至用户零钱包。$$这一公众事件从
调查显示,接受调查者绝大部分认为城市名片对于一个城市来说很重要,只有1%的认为城市名片并不重要。认为城市名片是“城市综合竞争力的重要载体,是城市的‘软实力’”的占82%
科学发展观的核心是以人为本。全心全意为人民服务是党的根本宗旨，党的一切奋斗和工作都是为了人民。要始终把实现好、维护好、发展好最广大人民的根本利益作为党和国家一切工
为了能够更加高效地实施自动化功能回归测试,对影响测试用例复用关键因素进行了深入分析,对功能测试可回归性进行了定义,并提出了一套可回归性评价方法。提出并实现了两种方
2月24日．为期40天的2014年春运工作圆满结束。今年春运呈现出航班量大幅增长，冰雪、大雾等恶劣天气高发的特点，对民航运行保障工作带来严峻的考验。春运期间，民航旅客运输量达到4
为了揭示用户的访问模式,对传统的基于聚类技术构建用户概貌方法进行了研究,同时引入语义事务分析的观点,提出一种基于潜在语义模型构建用户概貌的方法。通过语义分析中的奇
为了延长无线网络的生存时间,避免簇内过早的出现盲节点,提出了一种利用蚁群算法优化的DSR协议。在划分簇和选择簇头的研究过程中,动态追踪无线网络中节点的变化情况,分权衡
针对RP（rapid prototyping）企业信息软件系统开发中存在的系统异构性,结合RP企业内的工艺流程特点,利用商业流程建模语言（business process execution language,BPEL）从服务注册