基于客户／服务器体系的工程数据库管理系统

提出了一种基于客户／服务器结构的工程数据库管理系统。客户／服务器结构的总体思想是将所有共享数据放在共享的服务器数据库上，所有客户的临时数据放在客户方由客户独占，客户通过局域网（ＬＡＮ）向服务器申请所要的数据，服务器通过ＣｈｅｃｋＩｎ和ＣｈｅｃｋＯｕｔ机制向客户提供数据服务，并确保数据的一致性和完整性。文章讨论了如何在客户和服务器之间合理分配负荷，描述了客户／服务器体系的多级存贮结构和客户与服务器之间的数据通信．重点探讨了客户／服务器结构下的缓冲管理问题。系统的开发环境是ＳｕｎＯＳ，ＴＣＰ／ＩＰ协议，系统用Ｃ语言开发。     

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

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

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

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

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

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

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

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

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

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

基于实体-属性框架的领域知识库构建

知识库是进行各种自然语言处理任务不可或缺的一项基础性的资源。而目前知识库的构建还是一个难点问题,尤其是以自动方式构建复杂的领域性知识库系统的研究还处于探索阶段。本文提出一种基于实体-属性框架的领域知识库自动构建方法,致力于利用航空百科辞典的信息自动获取术语之间的上下位关系及部分实体属性关系,其中,基于多策略的上下位关系术语对提取融合了后缀子串匹配、模板自动构建、实质提取三种方法,分别考虑了辞典中反映上下位关系的不同信息。其中模板自动构建方法,在无需人工标注语料的情况下获得了比较好的效果。属性提取部分采用了以人工标注语料为前提的模板匹配方法。实验表明,本文系统对术语上下位关系抽取的F值达到76.01%,对各个属性的抽取也达到了75%以上。     

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)研发体系,通过从当前遇到的问题、推行基于模型的系统工程的必要性、优势、未来的挑战等方面进行了较为详细地阐述.基于模型的系统工程研发体系具有知识表示的无二义、系统设计的一体化、沟通交流的高效率等优势,是未来发展的大趋势.