基于项目管理视角的飞机客户化实践

飞机客户化是指对航空公司等客户订购的飞机产品进行构型选择和定义的过程,这需要对飞机客户化的范围和内容、定义载体、工作计划、人员职责、最终交付物、以及潜在的构型变更和风险等进行规划和管控,通过高效的业务流和优良的组织体系进行保障,以提高客户飞机的交付效率,降低延误和计划外成本的风险。因而高效率的客户化过程管控对制造商和客户都非常重要,其可以按照买卖双方约定的交付计划,有节奏的对设计、更改、生产、取证、供应链和库存进行合理安排,确保买卖双方按期保质履行商务合约。通过对飞机客户化要素的分析并结合项目管理的理论和经验,有针对性地论述了国产飞机制造商客户化项目管理的一些实践,以期为促进我国商用飞机产业成功发展提供一些建议。     

数控加工仿真程序设计

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

高精度模型下Halo轨道设计研究

针对未来地月L2点Halo轨道空间站长期停泊任务,研究了高精度模型下Halo轨道设计方法。首先,详细推导了圆型限制性三体问题(Circular Restricted Three Body Problem,CR3BP)质心会合坐标系与高精度模型地心J2000坐标系之间的转换关系,并在此基础上,将CR3BP下的闭合Halo轨道转换到地心J2000坐标系得到了高精度模型下Halo轨道迭代初值。其次,采用序列二次规划(Sequence Quadratic Program,SQP)构造多层迭代格式,在高精度模型下对初值进行逐层修正。最后,通过仿真测试,验证了该方法的可行性与有效性。该研究结果可为未来平动点任务标称轨道设计方案的制定提供参考。     

基于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机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

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

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

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

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

C语言程序开发与维护工具NHCTOOL

NHCTOOL是作者设计并实现的一个C语言程序开发与维护工具,包括:1.全局变量索引;2.用户自定义函数索引;3.函数调用关系视图;4.源程序文本规格化;5.字符串检索等功能。本文主要介绍实现上述功能的算法。