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

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

空间查询语言GSQL及其解释器的研究与设计

空间查询语言是空间数据库与应用软件的接口,但由于传统的SQL不支持空间数据类型而对空间查询语句无能为力.本文在OpenGIS SQL的基础上,对空间查询语言GSQL进行研究,并对其解释器进行详细的研究和设计.     

工业机器人解释器语义分析研究

介绍了语义分析的发展现状。针对目前解释器语义分析效率较低的问题,并结合工业机器人控制系统的特点,研究了利用语法分析栈来实现工业机器人解释器语义分析的方法,并实现了工业机器人编程语言IRL的语义分析。基于该方法的解释器在Visual Studio2005平台上用C＋＋实现,生成的目标代码运行于WinCE嵌入式系统。实验结果证明了该方法的正确性和高效性。     

空间查询语言GSQL的研究与实现

针对关系数据库操纵语言SQL不能处理复杂的空间数据类型的问题,在SQL基本原理的基础上,结合OGIS(开放式地理信息系统)协会提出的空间数据模型,提出了空间查询语言GSQL,并设计了查询解释器,实现了对空间数据的各种空间分析运算,并能够对空间和属性数据进行联合查询。     

WMLScript解释器的原理与实现

阐述了WMLScript解释器在原理、体系结构及实现WMLScript解释器所要解决的关键技术。     

基于软件芯片的快速原型制造系统软件设计方法

本文把软件芯片的概念引入快速原型制造（RPM）系统的软件设计之中,根据RPM系统软件结构的特点,对其进行了软件芯片划分,并论述了每个软件芯片的功能。以数控语言解释器软件芯片为例,详细地介绍了RPM系统软件芯片的研制过程。研究了如何用软件芯片构造RPM系统软件。     

表达式求值在通用数据模拟器设计中的应用

针对某空间飞行器子系统的地面测试中所使用的数据模拟器的数据量可变性、数据类的可变性和公式系数的可变性,以及传统的编程解决方案设计、维护量大的问题,通过对算符优先算法的改进,递归下降语法分析器的扩展及其两者结合,给出了一个集成语法分析与表达式求值的新的表达式求值算法。以此为基础设计了一个多赋值表达式解释器,将此解释器嵌入到数据模拟器设计中,同时结合数据库技术,实现了通用的数据模拟器软件的设计,并成功应用到飞行器子系统的地面测试中。     

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

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

Java智能卡内存调度机制研究与分析

以提高JCVM解释器的执行效率为出发点,以减少解释器工作时对外部存储器的访问次数为目标,提出一种基于双缓冲区的内存调度机制,并给出算法实现的关键片段。分析这种机制存在的不足;与传统方式相比,减少了对内存的访问次数,提高了指令解释执行的连续性程度,提高了解释器执行的效率,简化了系统结构设计的复杂性。     

综合知识表示模型MAS的属性文法推理机制

根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论。