一种快速推理技术在发射决策系统中的应用

发射决策系统是在测试发射段对运载火箭进行故障诊断的专家系统,发射决策系统的推理技术需要适应运载火箭测试项目繁多,测试数据量庞大、更新快速,可供诊断的时间有限等特点.快速推理技术分为事实匹配和规则匹配2个环节,借鉴Rete匹配算法的设计思想,提出了事实匹配网络结构,提出规则和黑板的向量表示方法,定义向量与运算实现规则匹配,构建规则匹配网络完成规则匹配.在某型号运载火箭发射决策系统中的应用结果表明,快速推理法推理速度快,推理结果准确,程序实现占用系统资源少,满足实时性要求.      

纵向过载环境下变质量欧拉梁动特性分析方法

过载是火箭的真实环境.考虑纵向过载环境,根据Hamilton变分原理,得到了欧拉梁变系数横向自由振动微分方程,证明了该变系数系统存在满足刚度和质量正交条件的本征解,揭示了纵向过载环境下欧拉梁本征函数的非对称性.用本征向量叠加方法和改进欧拉中点直接积分算法求解了该变系数系统的动态响应,二者结果的一致性说明该理论推导的正确性和方法的可行性.     

基于可拓规则推理的故障诊断方法

针对产生式规则推理方法存在的推理效率低、知识获取困难以及难以用于多故障诊断等问题,研究基于可拓规则推理的故障诊断方法。首先将基元理论和产生式规则相结合,得到可拓规则的基元表示;然后给出可拓规则匹配度计算公式,并提出按前件基元类型和属性数据类型不同对可拓规则进行分层匹配,对所有匹配成功的可拓规则,提出先删减再排序的冲突消解策略,在算法分析中讨论可拓规则推理的时间复杂度;最后通过应用案例说明可拓规则表示、匹配、推理和冲突消解的全过程,结果表明该方法适用于机载设备的多故障诊断。      

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.     

航天器热故障诊断专家系统推理机的设计

航天器在飞行过程中,经常发生各种故障,因此需要充分进行地面模拟试验.在航天器地面热试验的故障分析过程中,除了形成了可供故障诊断用的规则以外,还得到了许多具体的事例.后者很难用规则来准确地描述,但却是人类专家最珍贵的经验,必须加以利用.据此提出了基于事例推理和基于规则推理的混合推理机制,给出了具体的流程图,并就两种推理给出了相应的冲突消解策略.     

大型无人机电源系统故障诊断专家系统

在以PXI总线和虚拟仪器技术为核心的测试系统平台基础上,针对大型无人机机载电源系统及典型配电结构,通过故障模式分析和故障树设计等手段,设计了适用于大型无人机机载电源系统的故障诊断专家系统来推理故障原因、定位故障位置和提出解决措施.在该系统中,建立了基于规则的正向推理专家知识库并引入置信度因子来解决故障的非精确推理问题.通过某型无人机电源系统的试验验证,本系统可有效提高测试的智能化程度,满足无人机机载系统的维修性、保障性要求.     

基于RBR与CBR的维修大纲专家系统

根据飞机维修大纲研制的需要,依据最新的维修指导小组思想和类似机型的维修大纲经验,提出了基于规则推理(RBR)和案例推理(CBR)相结合的民机维修大纲制订方法.构建了民机维修大纲专家系统的总体框架,并对该系统中的关键技术问题——案例的表示和组织、案例的检索、集成推理技术和案例的修正与存储进行了详细分析和研究.案例的检索分两步进行:首先从案例库中找出与新机型尽可能相似的机型,然后,从类似机型中进一步匹配出最相似的项目.集成推理采用RBR和CBR分开推理,再比较结果做出决策.最后,采用面向对象的程序设计方法对该专家系统编程,并以某航空公司飞机验证了RBR和CBR相结合的维修大纲制订方法的有效性.      

大型机场滑行道航空器交通流特性仿真

滑行道是连接跑道和停机坪的纽带,是大型机场航空器场面运行的关键资源。随着场面航空器数量的不断增加,航空器在滑行道区域涌现出特有的交通流特性。基于滑行道航空器运行规则,结合元胞传输模型（CTM）,建立宏观的滑行道航空器交通流元胞传输模型,在NetLogo系统动力学仿真平台的基础上,以中国某大型机场滑行道航空器运行为例对模型进行验证,推理滑行道交通流基本参数之间的关系和相变特征。研究表明,滑行道交通流在自由流、同步流和阻塞流3种相态中演变,其中在同步流相态中,随着密度增加,流量从0.15降至0.10架次/min,速度从20降至7.64 m/s,说明流量和速度参数对于密度的变化十分敏感。当离场率与进场率的比例从0.2降至0.15时,3种相态下的临界流量从0.15、0.10降至0.13、0.05架次/min;临界速度在自由流不变,同步流和阻塞流中依次从7.64、1.07降至0.88、0.25 m/s;临界密度在自由流由0.50降至0.46架次/km,而在同步流阻塞流中依次从0.88、6.21增加至3.77、13.17架次/km。本研究揭示滑行道交通流拥堵演变机理,为制定科学合理的滑行道管理控制策略提供理论基础。      

太阳光对卫星投射角的计算

本文给出了太阳光与卫星的三个几何轴之间的夹角的普遍公式.这些公式可以用于各种卫星的初步设计中.文中还讨论了这些公式的应用,并给出了三个数值例子.     

通用故障诊断专家系统开发工具

介绍一个基于可靠性分析方法的非实时故障诊断专家系统(FDES)的通用开发工具(FDEST),可用于建立各类武器装备和民用产品的故障诊断专家系统,具有很强的推理能力和良好的开放性.文中论述FDEST的逻辑结构、系统功能;基于可靠性分析方法——故障树分析(FTA)的故障诊断推理方法:正、反向动态推理逻辑,支持Bayes(概率)、Mycin(置信度)和Fuzzy(模糊)三种不精确推理算法和四种不同的故障逻辑关系;面向对象与规则相结合、具有很强表达能力的综合知识表达方式,支持多媒体的动态诊断推理解释机制和故障处理方法(文本、图像、语音和视频);应用面向对象技术的软件设计与实现:对象的划分(FDEST对象、知识对象和FDES对象)、对象通讯关系及系统接口等系统的关键技术.      

三层壳体计算的刚度等效方法

针对三层壳体计算复杂的问题,提出了一种较简单的计算三层壳体的方法——刚度等效法.该方法可以充分利用通用板壳理论的研究成果,直接使用通用板壳理论的公式.使用刚度等效法计算三层壳体可以减少计算工作量,并保留较高的计算精度.分析了通用板壳理论中的公式特点,根据刚度等效原理,给出了三层板的刚度等效计算过程,推导出了三层板的等效弹性模量和等效厚度的计算公式.在算例中,直接把三层板的等效弹性模量和等效厚度代入通用板壳理论的公式,计算出了弹性基础上三层圆柱壳体的位移.通过数值计算对刚度等效方法进行了验证.刚度等效方法可以用于其它多层薄壁壳体的计算.      

集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

一种无奇异的求解Lambert变轨的普适变量法

传统的普适变量法求解Lambert转移轨道的变轨点速度时,在两位置矢量夹角为180°处出现奇异,且用牛顿迭代法求解普适变量会丢失部分重要的解.通过公式变换消除奇异项而推导出一种无奇异的速度求解公式;且根据转移轨道的圈数对普适变量的取值范围进行分段,在每个区间用人工免疫算法AIA(Artificial Immune Algorithm)搜索普适变量正确解,解出所有Lambert转移轨道并从中选择最优转移轨道.仿真算例表明:这种改进的普适变量法能有效避免传统普适变量法的奇异性,而且能求得所有的Lambert转移轨道并得到燃料消耗最优的转移轨道.     

具有变点的不确定竞争失效退化系统的可靠性建模

针对具有变点的竞争失效退化系统的可靠性进行了建模，系统同时遭受连续内部磨损退化和外部冲击，内部磨损退化由一个不确定过程表示，外部冲击过程是一个更新回报过程，即外部冲击到达的时间间隔和每次冲击的损坏量都是随机变量。外部环境条件的变化导致随机次数的冲击后损坏量服从的分布发生变化，通过运用不确定理论和机会理论，分别推导出系统在3种不同冲击模式下的确信可靠度公式，并通过数值算例验证了模型的正确性和有效性。      

毫米波准光开放腔测试系统误差分析

给出用于毫米波频段精确测量介质片复介电常数的准光开放腔系统的误差分析,说明了近似理论引起的误差和被测量提取不准引起的误差。推导了相关的公式,给出了分析的数值结果和测量结果。     

冻结轨道的一阶解

将 Brouwer早期研究所获得的一阶解变换为适用于小偏心率轨道的结果 ,根据这个结果可以清楚地看出冻结轨道就是精确的圆轨道 ,冻结的特性及其机理也可以清楚地显示出来。此外还进一步采用 Hill变量将冻结轨道的一阶解表示成一种非常简单的形式。     

相位量化对相控阵天线峰值副瓣电平影响的研究

对相控阵天线扫描时由于相位量化的影响引起的峰值副瓣电平的恶化进行了分析;推导了峰值副瓣电平恶化的估算公式。计算机模拟结果表明,理论分析与仿真结果一致性较好。     

基于JUnit和元模型的模型存储测试设计与实现

在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过分析不同数量级的测试用例对执行效率的影响以及不同测试覆盖准则和相应的JUnit测试代码规模之间的关系,为测试元模型的设计与存储提供了实践指导,并表明JUnit框架可以用于基于元模型的测试.提出了一个基于JUnit和元模型的自动测试框架——JMetamodel,可以用于模型存储以及模型转换的测试.      

多种失效模式履带车辆扭力轴可靠性稳健设计

履带车辆扭力轴通常存在多种失效模式,因此对其进行灵敏度设计分析时需要充分考虑不同失效模式的影响。提出一种多失效模式机械零件可靠性灵敏度分析的数值方法,运用随机摄动理论和四阶矩技术,求得各个失效模式状态函数的前四阶矩和可靠性指标,有效解决了结构随机变量参数分布未知时,不同失效模式下构件可靠度的计算问题。根据机械零件发生一种失效模式即整体失效的具体特点,研究含相关性的不同失效模式机械零件的可靠度计算方法。结合灵敏度分析的梯度算法,推导出关于随机变量均值和方差的灵敏度计算公式,进而根据灵敏度的分析结果,提出多种失效模式下多目标优化的可靠性稳健设计模型。数值算例表明,本文方法可以高效迅速地估计多失效模式下机械构件的可靠性灵敏度。最后还对其进行了可靠性稳健优化设计研究。      

航空综合体对地攻击作战效能评估方法

航空综合体作战效能评估是武器装备和战略发展研究的重要内容.讨论了航空综合体机载空对地导弹的可攻击区及航空综合体的首攻概率.建立了在一次出击中航空综合体单机在对地攻击阶段作战效能和机群对地攻击作战效能的数学模型.给出了在一次出击中航空综合体在攻击阶段对目标的平均杀伤概率和航空综合体被击毁概率的计算方法,航空综合体在一次出击中单机平均杀伤目标的数目和机群平均被击毁概率的计算方法.在效能指标中反映出与对地攻击靶场效能、对国土防空系统突防效能以及对要地防空系统突防效能的关系.为评定航空综合体多步骤作战行动的作战效能奠定了基础.