基于STEP-NC的数控车削加工仿真系统

提出了一种基于STEP-NC的数控车削加工仿真系统,该仿真系统能够验证STEP-NC数控程序、模拟实际系统运行。讨论了仿真系统的译码器、基于特征的加工数据库、实体建模以及仿真驱动等组成模块实现的关键技术和方法。介绍了仿真系统的建模工具V isua l C 和O penGL。最后指出了本文研究对于STEP-NC数控加工研究的意义。     

符号运算在工程分析中的应用

从用户的角度出发，简单介绍了国外符号运算在工程分析中的应用现况和发展趋势，旨在引起同行对这个领域的兴趣和重视。文中给出了一个符号运算的简单例子—用ＭＡＰＬＥ导出了１２自由度矩形板弯曲单元刚度矩阵的显式并将其自动转换成ＦＯＲＴＲＡＮ程序，以说明符号运算的优越性。可以看出，符号运算的程序简洁、直观，且不易出错。繁锁的公式推导和程序编制均由计算机自动完成，这不但大大提高了效率，而且也确保了公式推导和程序编制的可靠性。顺便指出，本文导出的矩形板弯曲单元比目前不少教材中采用的单元在性能上要优越。由于本文已给出了单元的插值函数的显式，故可望用该单元来替代教材中所用的单元．     

基于三角化的复杂曲面五坐标数控加工轨迹的计算方法

ＣＡＤ／ＣＡＭ系统中复杂曲面数控加工刀轨的计算能力在工业中有极其重要的作用。本文介绍一种复杂曲面五坐标加工轨迹生成及干涉处理算法，即把曲面用小三角片离散逼近，并用连通图建立所有三角片之间的拓扑关系，在此基础上生成刀轨，并进行干涉检查及刀位修正     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

基于网络编码的空间DTN LTP协议改进

随着空间通信技术与应用的不断发展,空间DTN (Delay Tolerant Network,容延迟网络)中节点之间数据传输的重要性日益明显。针对空间DTN的可靠信息传输需求,首先介绍了空间DTN的特点及信息传输协议体系,并对LTP (Licklider Transmission Protocol,立克里德传输协议) 进行了重点分析。然后针对空间DTN中LTP协议的缺点和不足,研究提出了基于网络编码的空间DTNLTP传输协议改进策略——NC-LTP协议,并通过数学仿真对算法性能进行了分析评估。仿真结果表明,相比于LTP协议,NC-LTP协议在不同信道传输时延、不同丢包率等条件下的适应性方面表现出较大的优势,因此NC-LTP协议更适用于具有高动态特性、高信道误码率、带宽受限的空间DTN环境。     

大切深数控电解铣削加工阴极设计及试验研究

难加工材料整体叶轮广泛应用于航空领域,采用传统切削加工存在刀具磨损快、加工效率低等问题。本文针对某型号复杂整体叶轮,提出大切深五轴数控电解铣削预加工方法。通过设计锥形螺旋刃阴极,分析不同旋转角下单、双螺旋刃出口流场分布,得到旋转角720°的单螺旋刃阴极出口压力和流速分布均匀。同时开展大切深数控电解铣削加工试验,结果表明:在选取的工艺参数范围内,加工平衡间隙和进给速度随着加工电压升高而增大;较低的电解液温度有利于实现小间隙加工,可显著提高加工精度;主轴转速达到1 500 r/min后对加工速度影响较小。得到大切深数控电解铣削整体叶轮加工叶片,一次最大切深可达65 mm,余量误差控制在0.5 mm范围之内,提高了整体叶轮加工效率。     

数控加工仿真程序设计

数控加工程序编制是提高数控机床使用效率的关键,直接影响产品生产的周期和效益。传统的检查方法是在数控机床上进行试初,既费时又费力。而利用计算机在屏幕上显示刀心轨迹,进行加工仿真,来验证数控加工程序的正确性,既方便又快捷。本文介绍了平面类零件数控加工仿真程序设计的具体方法。     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

单片机控制的三坐标测量装置

介绍1种用8098单片机控制的三坐标测量装置。该测量装置用客栅传感器作位移检测元件，依靠系统的控制软件能直接利用实物模型或样件自动编制数控加工程序，并配有与其它微型计算机通讯的接口。系统运行稳定，有较好的性能价格比。