离散数学中与量词有关的推理规则

清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件,而这些条件在许多离散数学教科书中叙述得相当含糊.与某些教科书中存在量词消去规则只能用于无自由变元的公式不同,按照本文给出的条件,存在量词消去规则也可以用于有自由变元的公式,因而增强了系统的推理能力.引进了解释之间和赋值之间关于公式集的等价性,从而证明了系统是可靠的,即一个证明中的结论是其前提的逻辑推论.     

基于模糊逻辑的预测再入制导方法

在研究再入飞行器预测制导基础上,针对实时性要求,提出了一种基于模糊逻辑系统的模糊预测制导方法.首先研究分析了再入飞行器落点纵程与飞行高度、弹道倾角三者之间的联系;设计了以再入飞行器落点偏差和飞行高度为输入,弹道倾角角速度为输出的模糊逻辑系统;并在此基础上根据专家经验制定模糊规则,设计模糊预测制导算法.该方法避免了一般预测制导在形成弹道倾角修正指令时所需要的大量迭代运算,有效减小了预测制导指令的解算时间,为再入飞行器在再入过程中全程使用预测制导提供了可能.仿真结果表明:该方法实时性好,落点精度高,抗干扰能力强,且具有一定的工程实用价值.      

基于逻辑网络的客户服务管理

分析了客户服务管理(CSM)的概念和功能,提出了一种抽象网络的层次性表示方法:逻辑网络,并对其结构、属性、计算以及CSM管理模型进行了研究.给出了CSM系统的原型实现:底层采用公共对象请求代理体系结构(CORBA)作为支撑环境,利用分布对象技术实现客户服务管理管理信息库CSM-MIB的表示、管理、更新和访问;上层通过定义、创建和维护等方法,使客户可对物理网络进行重组,实现具有分层结构的"逻辑网络",从而实现客户服务的约定、指派、性能监视和报告等管理功能.      

基于CO2测量数据的大气辐射传输模型LBLRTM优化

根据TIMED/SABER 2002—2018年的CO₂观测数据,分析CO₂浓度的变化特征.依据变化特征给出了CO₂浓度随时间、高度、纬度变化的月平均拟合公式,利用非线性最小二乘拟合法,对不同高度和不同纬度的CO₂浓度数据分别进行拟合,生成相应的拟合参数.然后,将所有拟合参数汇总并生成拟合参数文件,结合拟合公式构建全球CO₂浓度经验计算模块,并将该模块应用到大气辐射传输模型LBLRTM中,对该模型进行优化.将优化前与优化后的LBLRTM模型模拟结果分别与TIMED/SABER观测数据进行比较发现,优化前的LBLRTM模型模拟结果与观测值的均方根误差为15.4%,而优化后的LBLRTM模型模拟结果与观测值的均方根误差由15.4%下降至8.91%.结果表明该优化方法可以提高LBLRTM模型在红外波段的辐射模拟精度.      

非单调语义网络中继承的信任理论

描述了一种新的具有例外的多继承语义网络推理方法--继承的信任理论,这是一种很具有吸引力的可废止继承方法.它应用于非循环语义网络的继承的分析,能够产生适合于继承直觉的非多义性结论.文中还讨论了Etherington的基于缺省逻辑的继承理论,提出了继承信任理论和继承信任缺省逻辑.给出了继承信任逻辑的性质,并且证明了构造继承信任缺省逻辑理论的唯一扩张是递推过程.信任理论的扩张能够快速求解.这种快速推理算法可以应用于专家系统推理.     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

基于FPGA的移动通信衰落信道的建模与实现

介绍了一种基于现场可编程逻辑阵列器件(FPGA)的中频移动通信衰落信道模拟系统设计方案,它可以模拟在地面环境下的移动通信传播特性.该系统可以在实验室条件下评估移动通信终端的性能.利用FPGA作为数字信号处理平台来实现可调的衰落带宽以及多径延时.介绍了一个模拟最多三个不同传播路径的典型多径效应模型,通过增加相同的单元数目可以实现更多路径的模拟.该通道衰落模拟系统专为速度达到120km/h以及多径时延达到9μs的移动单元设计.     

一种高精度温度控制的复合方法及其应用

介绍了一种用于高精度温度控制的复合方法及其在恒温槽上的成功应用.该方法集Fuzzy逻辑和专家式智能PID(比例、积分、微分)控制于一体,充分运用了专家的人工调节经验和PID控制的定量调节特性,较好地满足了高精度控温中的高精度与快速性要求.采用了简单新颖的PID参数在线修正和温度变化预报方法,易于实现.用于恒温槽时控制精度优于0.01℃.实践证明该方法在高精度控温中具有良好的控制效果.      

引入位置参数的三参数Weibull过程及 其点估计方法

为解决Weibull过程在零时刻时强度函数值为零或无穷、工程上拟合不好的问题,引入位置参数对Weibull过程进行了修正.综合运用迭代拟合法、相关系数法以及极大似然法,给出了三参数Weibull过程强度参数、形状参数以及位置参数的点估计方法.并给出了有关可靠性特征量的估计.实例验证表明了该方法能够满足工程上可修系统用Weibull过程进行拟合的需求.      

基于谓词逻辑的飞机线束工装图版设计

针对飞机线束工装图版设计效率低、出错率高的问题,研究了各设计阶段的核心内容和谓词逻辑,提出了具备无向图和多叉树双重特征的干枝树(TBT)模型,取代了传统的无向无环图建模方法。基于模拟布线的统计结果,利用大体积优先(LVF)策略实现了1阶主干的辅助决策。基于谓词逻辑,设计了高阶主干推理、基本构型推理和最优空间推理方法,实现了高阶主干的自动决策、线束构型的自动设计和布局空间的自动优化。搭建了线束智能工艺辅助设计系统,并开展了12组实物实验,对于边数大于200的超大型图纸,能够在30 s内完成自动设计过程,设计总时长不超过30 min,未出现1阶主干选择不合理和边长度错误的问题。实验结果表明,所提方法大幅度提高了设计效率和可靠性。      

智能化战术任务管理系统研究

从感知、评价、决策的认知过程研究了现代军机战术任务管理系统的结构、组成和功能,重点研究了态势评估和任务规划两个关键子系统.建立了基于贝叶斯网络和模糊逻辑推理的态势评估算法及威胁评估模型,采用贝叶斯网络对威胁级别进行了评估,运用模糊逻辑对各威胁源的相对重要性进行了推理,实现了对威胁源威胁级别和相对重要性的连续动态评估.研究了基于动态A^*算法的战术飞机飞行路径在线实时规划问题,实现了态势评估与路径规划两子系统之间的集成.研究结果表明了该系统方案和算法的有效性,任务规划系统能够自适应战场态势的变化.     

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

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

探空火箭定时定点入轨的一种制导控制规律

针对特定探测天体,给出了特殊用途的探空火箭与其实现空间交会的时刻与地点的计算方法.根据特定天体的运行轨道,发射前算出标称交会飞行轨道,装订在箭载计算机内.火箭发射后,利用箭载惯性导航系统确定自身当前的位置与速度,比对标称飞行轨道参数得出飞行偏差,通过控制火箭推力偏斜调整飞行轨道,使探空火箭在交会时刻到达交会点,并在交会时刻相对与惯性空间的速度为0.定义了研究所用的各种坐标系,建立了火箭飞行动力学方程.研究了标称飞行轨道最优交会点选取,交会时间与发射时间计算等问题.给出了发射后动力飞行段的制导控制规律,核心思想是将控制信号分解为时间控制、当地水平面上的海拔高度控制、南北控制与东西控制,通过设置偏置量减小关机后轨道摄动因素引起的漂移.利用计算机数值仿真验证了这种制导控制规律的可行性.     

收敛无穷计算及其应用

经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为.     

过失速机动的模糊逻辑建模仿真

对模糊逻辑建模方法进行了深入的研究,讨论了非定常气动力的模糊逻辑建模与参数辨识方法,针对其在飞机非定常气动力建模与辨识中的应用提出新的思路,使之更具有实用性,并应用于实际算例的计算分析中.利用振荡三角翼的试验数据建立了非定常气动力的两种模糊逻辑模型:一种采用减缩频率进行建模,另一种考虑时间历程对非定常气动力的影响.结果表明,所建立模糊逻辑模型的计算结果与实验数据结果符合较好.采用这两种不同的模糊逻辑模型对飞机的眼镜蛇机动进行了模拟、仿真,检验了模型的实用性.      

归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

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

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