基于深层知识规则的液体火箭发动机故障诊断

本文从深层知识的表示方法之一——符号有向图出发，提出一种基于规则的故障诊断方法。该方法首先建立液体火箭发动机系统的符号有向图，然后根据各个故障根源得出系统的子符号有向图，最后根据这些子图导出故障诊断规则，用这些规则去诊断系统故障。该方法具有较好的解释性和诊断的快速性。     

符号运算在PID控制极点配置中的应用

利用符号运算,针对代数方程组求解的解析解功能和数值解功能,提出了1种对1阶被控对象和2阶被控对象模型进行PI控制器和PID控制器极点配置的设计方法,给出了相应控制器结构参数的解析解,并在算例中进行了数值仿真验证。     

飞行器复合材料结构设计、制造与分析技术的发展

近40年来,先进复合材料在飞机结构上的应用不断发展,先进复合材料结构的研制成功和扩大应用,需要设计、材料和制造各方面的协同努力,可以用"设计是主导、材料是基础、制造是关键"来描述三者的作用和相互关系.开发复合材料设计、材料、工艺新技术已成为新一代飞机研制中的一项关键技术.     

复杂电磁环境下雷达探测能力的定量描述

在概述雷达面临的复杂电磁环境的基础上,分析了复杂电磁环境对雷达主要探测能力的影响,提出了复杂电磁环境下雷达探测能力的构成要素,即电磁环境感知能力、电磁环境应对能力和电磁环境对抗能力;给出了复杂电磁环境下雷达探测能力的评估原则,即战术指标定量评估原则、比对原则和通用性原则;构建了复杂电磁环境下雷达探测能力的定量评估指标体系,共三大类15项指标;最后对指标适用性进行了分析并给出了结论.     

基于描述函数法的速率限制环节特性研究

针对电传操纵系统中速率限制环节的非线性特点,建立了简化的速率限制环节模型,在时域内对其动态特性进行了仿真.运用描述函数法分别建立了正弦输入/三角输出描述函数模型和闭环描述函数模型,对比研究了两种不同模型的频率特性.对速率限制环节由未饱和状态发展至完全饱和状态的频率特性进行了分析.     

基于描述逻辑DL_(RBAC)的RBAC形式化模型

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.     

交换环上高层序与赋值对的相容性

本文的主要目的是把域上高层序与赋值对的相容性推广到含单位元的交换环上来。本文提出了交换环上高层序与赋值对相容的概念,由此得到高层序与赋值对相容的四个等价条件。本文的关键是藉助于赋值环的凸性来刻划高层序与赋值对的相容性。本文的方法是通过取序的特殊化以及整环的商域,使环的情形下的问题转化到域的情形来解决。     

基于业务描述的军事信息系统需求分析

军事需求为军事信息系统开发明确了目标,是系统开发的起点。要开发出满足军事活动需求的信息系统,就必须深化需求分析研究。文中分析了深化需求分析研究的必要性、阐述了业务活动描述在需求分析中的重要作用,提出了基于业务描述的军事信息系统需求分析的思路和具体实施过程,并给出了相应的应用案例。     

军用飞机红外辐射特性测量综述

系统的描述了军用飞机红外辐射特性测量时的测量参数、测量工具、测量方法、数据处理方法以及测量结果的不确定度评定方法等。     

基于Agent的航空维修信息管理框架

介绍了基于航空维修信息的特点,应用Agent技术,建立了航空维修信息管理框架,提出了一种新型航空维修信息描述范式,给出了模块建模步骤,较好地解决了维修信息复杂多变的管理问题。