全面素质教育的哲学思考

重视素质教育，既符合人才成长和培养的内在规律，又符合目前我国教育现状和经济化发展对人才素质的需要。从马克思主义哲学的多个原理角度阐述了素质教育的必要性和方法论。     

Multi-signal flow graphs: a novel approach for system testabilityanalysis and fault diagnosis

In this paper, we present a comprehensive methodology for a formal, but intuitive, cause-effect dependency modeling using multi-signal directed graphs that correspond closely to hierarchical system schematics and develop diagnostic strategies to isolate faults in the shortest possible time without making the unrealistic single fault assumption. A key feature of our methodology is that our models lend naturally to real-world necessities, such as system integration and hierarchical troubleshooting     

计算气动弹性在飞行器设计中的研究与应用

近年来,计算气动弹性(CAE)开始作为一个正式术语出现于一些研究文献中,用来描述耦合高精度的计算流体动力学(CFD)与计算结构动力学(CSD)分析气动弹性问题的方法。本文阐述了CAE方法的基本概念、计算流程及其耦合方法,着重分析了CAE求解计算需要解决的关键问题,介绍了CAE方法在飞行器设计中研究应用的发展状况,并展望了其未来的发展方向。     

A blackboard architecture of the microwave generic controller forthe DSN antenna subsystem

This paper presents a Hayes-Roth blackboard architecture for the Microwave Generic Controller (UGC) for the Antenna Microwave Subsystem in the NASA Deep Space Network. A formal specification of the current UGC and the new blackboard architecture is also given using the Higher-Order Logic (HOL) Proof System. HOL makes it possible to provide a straightforward, unambiguous and consistent specification of the UGC. The UGC is responsible for monitoring and controlling the switches and rain blowers for the Antenna Microwave Subsystem. The new blackboard architecture for the UGC introduces a collection of parallel processes called knowledge sources. Because of the parallel nature of the blackboard and the ability to retrieve the most current information quickly, there is a gain in efficiency. In addition, the blackboard architecture of the UGC is extensible, which is in keeping with the design philosophy of the UGC     

Formal verification and legacy redesign

Sustaining weapons system hardware and software represents a significant and ever-increasing portion of total system cost. Hardware components are becoming obsolete much sooner while weapons system lifetimes are increasing, We must identify more cost-effective solutions to engineering and reengineering these subsystems. Verifying and validating weapons systems are two of the most costly parts of either engineering process. Traditionally, hardware validation and verification is done by simulation and testing, In the past few years, math- and logic-based formal methods tools have begun to scale up to and be applied successfully to real-world problems. Incorporating formal verification methods into engineering and reengineering processes will cost-effectively and significantly improve the level of trust and the quality of our weapons systems. Formal methods are especially well suited for redesigning current weapon systems which have become unsupportable due to component obsolescence because they help minimize the astronomical costs of rigorously reverifying the reengineered components. We believe that formal methods are an important tool for effective engineering of future weapon systems     

桨扇气动设计问题

本文综述了桨扇气动计算方法的发展,讨论了桨扇的气动设计过程和超临界叶型设计问题,并提出了发展桨扇应注意之点。      

Aircraft flight control system design under state and controlbounds

Sophisticated control configurations are needed to meet the mission and pilotage requirements for advanced aircraft. The required vehicle performance during low altitude, low speed and high angle of attack flight, all-weather, day and night operations must be achieved, and new control technologies should be developed. This work presents a systematic control design philosophy for flight control systems when the state variables and control inputs are bounded by the prespecified constraints. The design procedure uses the dynamic programming concept. The fundamental idea involves minimization of nonquadratic functionals. A new representation of constraints is proposed using the smooth functions. The advantages of the synthesis approach are presented. To illustrate the design methodology the longitudinal control configuration for the F-18 fighter is synthesized     

风洞 MDOE 的形式实验设计方法研究

MDOE 风洞实验方法能够用相对于传统实验方法更少的吹风次数，获得更高精准度的数据。为了解决现有基于参数模型的 MDOE 方法获取较强非线性气动规律能力的不足，需要发展基于非参数模型的 MDOE 方法。本文对基于非参数模型的 MDOE 的形式实验设计方法进行研究。通过“虚拟”风洞实验的方法，对两种常用的“空间填充设计”———拉丁超立方设计和均匀设计应用于风洞实验的适用性进行对比，并在此基础上发展了几种对均匀设计的优化改进方法，可以进一步提高样本点设计质量，使其满足风洞实验的要求。研究表明：均匀设计较拉丁超立方设计更为稳健、均匀，更适合基于非参数模型的风洞 MDOE 方法；在均匀设计方法基础上，根据风洞实验的特点发展了优化方法，包括边界点补充、样本点密度调整和重复点设计，能够将已有的“先验信息”应用于实验设计中；所发展的形式实验设计方法所需的测量点要少于 OFAT 方法的测量点（如示例中所用的测量点数仅为 OFAT方法的66．7％），且能够充分和准确地对较剧烈的非线性变化规律进行采样。本文对风洞 MDOE 的形式实验设计方法的研究结果，为后续发展基于非参数模型的风洞 MDOE 方法奠定了基础。     

齿轮轮齿接触分析的分解算法

提出了齿轮轮齿接触分析算法——分解算法。传统的轮齿接触分析方法求啮合点时需要求解含5个非线性方程的方程组，求解性差；齿面接触和边缘接触的数学模型不同，需要分别进行求解，求解过程复杂。轮齿接触分析算法——分解算法，提出了瞬时共轭啮合线的概念，可有效分离传动误差，得到啮合点、瞬时接触线，求啮合点时非线性方程的个数由5个减少为2个。分解算法建立的数学模型也适用于边缘接触分析，算法简单、有效、适应性强。以一对弧齿锥齿轮为例, 对比分析了传统方法和分解算法, 结果表明: 齿面部分的印痕是一致的，传动误差幅值相差0.3″；边缘接触部分的印痕存在少许差异。      

基于模型的飞机系统架构设计综述

从飞机系统架构设计的必要性、系统架构的建模和分析过程、支持架构建模分析的MBSE方法论、架构建模语言、架构建模工具、面向全机系统架构的协同设计和联合建模仿真等角度出发,对飞机系统架构设计相关的基础内容进行了全方位的综述,并提出了初步的飞机系统架构设计思想及其落实途径。     

民用飞机驾驶舱设计变革

民用飞机驾驶舱设计历经了数代的发展,从原始简单衍变至复杂集成,继而往简约智能化方向发展。同时驾驶舱设计理念也在不断进步,从"以功能为中心"的设计理念衍变为"以人为中心"的设计理念,但不同制造商对此理念的理解存在差异,体现在对使用者"驾驶员"角色的定位差异明显。从该设计理念出发,提出了基于驾驶舱运行场景的正向设计方法,通过充分识别运行场景并提取和转化设计需求,设计出人机匹配度高的驾驶舱。随着各种新技术的成熟应用,"以人为中心"设计理念为牵引,利用基于驾驶舱运行场景的驾驶舱正向设计方法,将引领新一代民用飞机驾驶舱设计的变革,并展望了民机驾驶舱在人机交互方式、驾驶舱布置和布局、驾驶舱视景和驾驶舱综合环境等方面的发展趋势。     

适用于并行工程的基于约束的CAPP模型

 提出一种在计算机集成环境下编制工艺现程的方法,以“约束”的概念体现工艺学原则和实际生产环境信息。零件的被加工表面信息直接从集成数据库中获取。通过工艺数据库得到各被加工表面的各种可能的加工活动信息。对以这些加工活动为元素的集合施加位置关系约束,采用一定算法得到零件的多个可行工艺规程。该ＣＡＰＰ方法可在产品设计由粗到细的各个阶段实现,适于并行工程环境。     

基于赋时可重构Petri网的可重构制造系统建模

系统建模是可重构制造系统生产管理控制技术的基础。分析了可重构制造系统的建模需求,提出基于赋时可重构Petri网的可重构制造系统建模的方法。该建模方法是先建立可重构制造系统当前系统的赋时可重构Petri网模型,再通过修改其建模元素得到可重构制造系统重构后系统的赋时可重构Petri网模型。实例研究表明基于赋时可重构Petri网的可重构制造系统建模方法能够满足可重构制造系统的建模需求,因此它是可重构制造系统的正确的形式化表示。     

Computational approach for investigation of thrust and acoustic performances of present-day nozzles

A computational viewpoint on the problems of design and numerical simulation for the nozzles of modern aircraft turbofan engines is presented. Modern concepts of noise-suppressing nozzles for civil aircraft are reviewed. Examples of application of CFD (computational fluid dynamics) methods to the analysis of nozzle flow structure and assessment of nozzle thrust characteristics are given. Errors of turbulence models in simulation of jets are analyzed. The authors’ experience in simulation of noise-suppressing nozzles for supersonic civil aircrafts is demonstrated. Insufficient accuracy of acoustic analogies for this class of tasks is shown, but a possible area of acoustic analogies application is noted. The essential elements of computational aeroacoustics (CAA) approach and numerical methods characteristic of CAA are reviewed. Numerical methodology for the simulation of nozzle acoustic performance is described in detail, including methods for simulation of near and far field of a nozzle, for generation of input perturbations and for the processing the far-field noise. Results of verification and methodical analysis of this acoustic methodology are presented.     

一种基于AADL的航空电子系统仿真和验证技术

飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke结构。最后对系统模型进行模型仿真和特性验证,验证所构建的系统架构和设计逻辑是否符合系统设计特性需求。     

一种涡轴发动机转速抗扰控制器设计及应用

主要研究了涡轴发动机控制问题.自抗扰控制(ADRC)是近年来新兴的控制方法,在不改变原有发动机串级比例积分微分(PID)控制结构的基础上,提出并构建了一种串级PID+扭矩ADRC补偿的控制结构,该结构充分利用了ADRC控制强的干扰补偿能力.最后,在直升机/发动机综合模型仿真环境下,通过模拟直升机大幅急速升降操作,验证了该算法具有比较理想的抗扰控制效果,能够较好地抑制直升机操控过程中大的扭矩扰动对涡轴发动机造成的不利影响.      

符合民机适航标准的形式化方法研究

描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求模型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。     

基于MBSE的副翼及其操纵系统研发技术及应用

飞机的设计研发是一项涉及多学科领域、多目标、多约束的复杂系统工程过程,系统耦合紧密、参与人员众多、设计信息庞杂,以文档为中心的需求管理等传统研发方法突显出一定的困难,亟需探索新的飞机设计研发方法。以副翼及其操纵系统为研究对象,对基于模型的系统工程(Model Based System Engineering,以下简称MBSE)方法进行了探索研究:采用达索MBSE方法论-MMS(Modeling Methodology for Systems,以下简称MMS),从使命、服务、功能和组件不同视角对副翼及其操纵系统研发的各个方面进行解析,进而完整定义系统;利用达索3D Experience平台,通过RFLP系统工程架构,进行了副翼及其操纵系统的需求开发、功能分析及逻辑架构设计,完成了需求、功能、逻辑架构、系统仿真、物理设计等模型的关联追溯,实现了以达索MBSE方法论为核心的研发技术的有效应用。     

蒸汽动力分布式集成智能故障决策支持系统

船舶蒸汽动力故障决策支持系统是一个复杂的系统决策问题。文章借鉴RODOS系统（核事故应急决策支持系统）的思想,将分布式系统结构、系统集成思想以及智能运作机制引入到决策支持系统之中,提出船舶蒸汽动力系统分布式集成智能故障决策支持系统的理论框架和结构。系统可充分利用分布式集成智能理论的自主性、反应性和自觉性,对蒸汽动力系统故障时的处置决策提供有效支持。