Java虚拟机解释执行机制研究

以广泛使用的Java虚拟机实现—HotSpot JVM为研究对象,探讨了Java虚拟机解释执行的一般原理和内在机制.目的在于揭示Java程序在虚拟机上的执行过程,激发广大计算机研究人员和从业者对底层技术的研究兴趣,从而更好地掌握计算机技术和使用计算机工具.     

基于UM-PRS的多Agent解释器设计

针对单个Agent不能应对复杂任务需求的问题,通过在UM-PRS平台上设计一种改进的BDI(Belief Desire Intention)模型Agent解释器,即对解释器数据存储结构进行优化,并添加一个用来支持多Agent之间通信协作的通信模块,使原来的单个Agent具有了与其它一个或多个Agent合作高效完成复杂任务的能力,并通过仿真验证了改进的BDI模型Agent解释器的有效性。     

基于VoiceXML的交互式语音应答(IVR)系统的设计与实现

交互式语音应答系统是呼叫中心的重要部分，控制整个业务流程。VoiceXML语言是XML语言在语音方面的应用。文章设计了一个基于VoiceXML技术的语音应答系统，并给出了核心部分的具体实现。     

JavaScript语言解释器的设计与实现

论文介绍了作者自行设计并实现的JavaScript语言解释器,提出并实现了一种扩展的、基于对象的算符优先算法。     

Java.一种基于ARM7的嵌入式Java虚拟机性能优化技术研究

分析了Java字节码的解释执行和基于解释执行的Direct Threaded Interpreter性能优化技术.以Direct Threaded Interpreter为基础,提出并实现了一种针对ARM7平台的嵌入式Java虚拟机解释器性能优化方案.对嵌入式Java虚拟机的参考实现、Direct Threaded Interpreter优化方案和新优化方案在ARM7平台上的性能比较表明,所提出的方案优于前两者.     

ESpin*：基于SPIN的Eclipse模型检测环境

信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin,通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器,构造了一个高效、易扩充的Promela编辑器。编辑器除了支持Promela的全部语法规则外,还提供了包括实时语法反馈、关键字高亮、大纲视图、代码折叠、代码提示、代码补全在内的多种功能,提高了复杂模型的建模效率。ESpin还为用户提供了多种运行模式和特有的向导、配置界面,简化了SPIN的操作过程。     

基于SPIN的网络认证协议高效模型检测

为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。     

可配置的数控G代码解释器的设计与实现

数控系统所支持的G代码一般是固定的.为了更好地支持数控系统G代码及其参数的扩展,基于可配置的思想设计和实现了数控解释器.通过分析数控程序的特点和解释器的工作过程定义了配置信息.设计了基于索引的位运算方法使得检查过程独立于具体的G代码.通过修改配置信息即可完成对扩展G代码和参数的获取和检查,这减少了扩展时的工作量,增强了系统的开放性和可扩展性.实现中将解释器分为词法语法分析模块和功能实现模块,模块化使解释器结构清晰,提高了代码的可重用性.     

面向开放式工业机器人解释器的开发

提出了一种面向开放式工业机器人解释器的开发方法。利用该方法在Visual Studio 2005集成开发环境下,针对工业机器人应用平台,并提出—种基于正则表达式、XML技术关键技术,融合解释器模式和职责链模式的设计模式编程思想,使得所设计的解释器系统具有功能命令可扩充性,代码可维护性,系统开发周期短,解释效率高的特点,通过仿真实例证明可以很好地解释工业机器人运动程序,适用于机器人控制系统平台的开发,为解释器的开发提供了一种参考。