基于STEP-NC标准的数控技术发展现状及趋势

分析ISO6983目前存在的缺点,通过对ISO6983与STEP-NC标准的比较,引出STEP-NC的概念,并简述STEP-NC的数据模型。主要对STEP-NC研究现状的几个方面进行了较为详细的分析:对于STEP-NC数控程序的生成,并给出生成流程图;对STEP-NC文件进行解释,即STEP-NC解释器极其功能;对STEP-NC控制器的研究状况及内容;以及基于STEP-NC标准的NURBS曲面插补等。最后总结了STEP-NC数控加工方式具有优异的开放性、智能性、网络化特征,基于STEP-NC标准的数控系统必将成为开放式数控系统的主要发展趋势,对于提高我国数控水平乃至全面提高自动化制造水平具有重要意义。     

两级微机控制配料系统的实现

利用上、下两级计算机,构成新型微机自动配料系统.该系统具有自动数据采集、控制过程动态显示、配方优化、管理咨询等功能.     

工业机器人解释器的研究

提出了一种基于XML、UML建模和设计模式理论的开放式机器人解释器的实现方法。解释器读取XML语法文件,对机器人指令程序进行词法、语法分析,通过修改XML中的语法规则和UML模型图,可以方便的扩充和修改机器人语言指令。该解释器在VS.NET平台上用C#实现,结果证明了该解释器的正确性和高效性。     

STEP-NC程序解释器的设计与实现

在对STEP-NC与G/M代码进行比较的基础上,详细地阐述了STEP-NC程序结构、特征以及其在CNC系统中应用和地位.深入探讨了STEP-NC程序解释器功能、数据存储结构及其算法,并用流程图详细地描述了整个程序解释的过程.     

PLC开发平台的研究及实现

针对目前PLC开发平台的缺陷和不足,基于面向对象的设计思想,开发了一套全新的PLC梯形图编辑软件.介绍软件的几大功能模块,详细论述梯形图文件的存盘和读取,梯形图语言向指令表的转化并最终生成目标代码的过程,以及模拟仿真的实现.软件采用巧妙的类管理机制和灵活的扫描算法,成功实现图形语言向文本语言的转化,由于指令语言比较接近机器语言,通过解释器对指令的解释生成控制系统所能识别的代码,可以实现程序在控制系统上的运行.本软件作为一个编写PLC程序的通用开发平台,功能强大、操作简单.     

基于Web的数控加工中走刀轨迹验证实例

介绍一种基于Web的走刀轨迹验证实例，详细说明实例生成中解释器的构造原理及其实现方法，采用Java Applet语言完成程序编译，该实例为虚拟数控加工环境的网络化制造提供依据。     

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

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

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

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

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

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

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

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