用于建立机械制造系统模型的扩展着色Petri网

着色Petri网是描述和分析并行系统的有力工具,近年来在机械制造系统中得到了广泛的应用。由于机械制造系统的自身特点,在表示着色Petri网结构的关联矩阵中含有许多零元素,从而导致着色Petri网占据数据空间大的缺陷,难以对复杂机械制造系统的规划设计与生产调度进行分析研究。 本文基于着色Petri网的基本原理,提出一种适用于建立机械制造系统模型的扩展着色Petri网理论,用于解决着色Petri网占据数据空间大的问题,为Petri网理论在机械制造系统建模方面的广泛应用提供理论基础。最后给出实例,说明减少数据空间的结果。     

彩色三维激光快速成型技术的研究

目前逆向工程采用线结构激光和一个彩色面阵CCD摄像机构成三维彩色扫描系统,彩色CCD摄像机分两次对被测物体成像,首先摄取物体的彩色图片,然后加用滤光片再摄取激光光平面上的三维信息.最后将两次获取的信息重叠,便可得到三维彩色信息.提出了激光光平面方程式三维测量方法,建立了相应的数学模型.研制成一套适用于彩色逆向工程流程,并进行了实验研究,给出了实验结果.     

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

Multi-level virtual prototyping of electromechanical actuation system for more electric aircraft

Electromechanical actuators (EMAs) are becoming increasingly attractive in the field of more electric aircraft because of their outstanding benefits, which include reduced fuel burn and maintenance cost, enhanced system flexibility, and improved management of fault detection and isolation. However, electromechanical actuation raises specific issues when being used for safety-critical aerospace applications like flight controls: huge reflected inertia to load, jamming-type failure, and increase of backlash with service due to wear and local dissipation of heat losses for thermal balance. This study proposes an incremental approach for virtual prototyping of EMAs. It is driven by a model-based system engineering process in order to enable simulation-aided design. Best practices supported by Bond graph formalism are suggested to develop a model’s structure efficiently and to make the model ready for use (or extension) by addressing the above mentioned issues. Physical effects are progressively introduced, and the realism of lumped-parameter models is increased step-by-step. In particular, multi-level component models are architected to ensure continuity between engineering activities. The models are implemented in the AMESim simulation environment, and simulation responses are given to illustrate how they can be used for preliminary sizing, control design, thermal balance verification, and faults to failure analysis. The proposed best practices intend to provide engineers with fast, reusable, and efficient means to assess performance virtually and enhance maturity, performance, and robustness.     

飞机零部件基准选择与应用

随着飞机性能的不断提高,飞机制造协调准确度的要求也越来越严格,国外先进的航空制造企业得益于厂所合一的生产方式,在产品设计阶段考虑生产过程,来合理定义飞机零部件尺寸公差要求,保证飞机的装配品质和产品质量.对飞机零部件基准选择方法介绍和研究,并应用到某机型飞机外翼翼盒典型零部件基准选择中去,从功能要求出发制定基准,说明了飞机零部件基准传递偏差方式和基准一致性原则.主要思想和技术要点是要从产品的功能要求出发,考虑生产过程来制定零部件设计基准,保证产品在生产过程中基准的统一,从而保证尺寸的设计满足生产的功能性要求.提出的方法可以应用到飞机零部件的尺寸设计中,通过合理的制定基准来提高飞机的装配品质,在一定程度上降低生产成本和提高生产效率.     

基于模型的系统工程概述

由于航空领域涉及的系统日益高度复杂,为更好推进基于模型的系统工程(Model Based System Engineering,MBSE)研发体系,通过从当前遇到的问题、推行基于模型的系统工程的必要性、优势、未来的挑战等方面进行了较为详细地阐述.基于模型的系统工程研发体系具有知识表示的无二义、系统设计的一体化、沟通交流的高效率等优势,是未来发展的大趋势.     

坐标测量机的验收检测标准及校准规范的再探讨

发现GB/T 16857 eqv ISO 10360《产品几何量技术规范(GPS)坐标测量机的验收检测和复检检测》及JJF 1064—2004《坐标测量机校准规范》存在的不足。提出在GB/T 16857 eqv ISO 10360系列标准中增补测量软件包的质量要求和测试标准的建议。以实现对测量软件质量的评价,达到测量机性能的全面验收检测。     

基于模型的载人航天器研制方法研究与实践

载人航天器具有系统规模大、技术难度高、单件小批量、无法通过多次飞行持续完善设计、可靠性要求高等特点。当前载人航天器研制中仍存在着参数化和模型化程度不高、基于模型的系统综合仿真验证不足、研制各环节缺乏数字化集成等问题，传统基于文本的系统工程方法已无法满足研制需求，亟需采用基于模型的系统工程方法。本文针对载人航天器的研制现状和应用需求，提出了面向载人航天器全生命周期的模型体系，定义了需求模型、功能模型、产品模型、工程模型、制造模型、实做模型等六类模型，提出了基于模型的研制流程，包含系统设计闭环验证、产品设计闭环验证、实做产品闭环验证3个验证环节，并深入探索了各研制环节中不同模型间的传递与关联关系。以某型号载人航天器为应用基础，系统地验证了提出的方法。     

WL10型近红外反射式光电传感器的研制

依据光学电子学的相关原理，针对烟草行业自动生产过程中对传感器的需要，研制了ＷＬ１０型近红外反射光电传感器，并成功地应用于烟草行业的生产线上。