一种高性能的医学专家系统开发工具KBGML语言

介绍ＫＢＧＭＬ语言的设计思想，它包括ＫＢＧＭＬ各语句功能和格式的设计，特别是知识处理语句的设计，ＫＢＧＭＬ的解释系统的结构和工作原理的设计以及应用实例等。ＫＢＧＭＬ语言以知识处理为核心，具有第四代语言的特征，它有很强的知识处理能力，能自动构造和管理知识库。它具有较高的软件设计水平，能满足不同水平用户的需要，它还具有自然性、灵活性和领域通用性。ＫＢＧＭＬ语言是知识工程、语言编译和数据库管理等技术的集成体，它是一个在理论上和实用上很有研究价值的课题。     

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

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

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

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

SPR生物传感器在生命科学及在航天医学中的应用

表面等离子体共振生物传感器在分析生物分子相互作用方面，具有灵敏度高、实时在线、简单快捷和抗干扰能力强等优点，被广泛应用于临床检验、药物筛选等研究领域；因其能满足空间特殊环境下的使用要求，在航天医学领域具有广阔的应用前景．本文综述了表面等离子体共振生物传感器的原理、特点、在生命科学研究中的应用及在航天医学中的应用前景．     

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

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

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

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

Effects of Mach numbers on Magnus induced surface pressure

Experimental and numerical methods were used to investigate the Magnus phenomena over a spinning projectile. The pressure force acting on the surface of a spinning projectile was measured for various cases by employing a relatively novel experimental technique. A set of miniature pressure sensors along with a data acquisition board, battery and storage memory were placed inside a spinning model and the surface pressure were obtained through a remotely controlled system. Circumferential pressures of the model for both rotational and static conditions were obtained at two different free stream Mach numbers of 0.4 and 0.8 and at different angles of attack. The results showed the ability of this new test method to measure the very small Magnus force via surface pressures over the projectile. The results provide a deep insight into the flow structure and illustrate changes in the cross-flow separation locations as a result of rotation. Similar results were obtained by the numerical simulations and were compared with the experimental data.     

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.     

A surface parametric control and global optimization method for axial flow compressor blades

An aerodynamic optimization method for axial flow compressor blades available for engineering is developed in this paper. Bezier surface is adopted as parameterization method to control the suction surface of the blades, which brings the following advantages:(A) significantly reducing design variables;(B) easy to ensure the mechanical strength of rotating blades;(C) better physical understanding;(D) easy to achieve smooth surface. The Improved Artificial Bee Colony(IABC) algorithm, which significantly increases the convergence speed and global optimization ability, is adopted to find the optimal result. A new engineering optimization tool is constructed by combining the surface parametric control method, the IABC algorithm, with a verified Computational Fluid Dynamics(CFD) simulation method, and it has been successfully applied in the aerodynamic optimization for a single-row transonic rotor(Rotor 37) and a single-stage transonic axialflow compressor(Stage 35). With the constraint that the relative change in the flow rate is less than0.5% and the total pressure ratio does not decrease, within the acceptable time in engineering, the adiabatic efficiency of Rotor 37 at design point increases by 1.02%, while its surge margin 0.84%,and the adiabatic efficiency of Stage 35 0.54%, while its surge margin 1.11% after optimization, to verify the effectiveness and potential in engineering of this new tool for optimization of axial compressor blade.     

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

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