定性过程推理的物资保障能力定性模型的建立

面对物资保障仿真领域中解决复杂、不确定问题存在困难,提出运用定性仿真的新思路研究,由定性过程理论和定性推理相结合提出定性过程推理的概念,分析了影响物资保障能力的因素,应用定性过程推理的方法抽象出物资保障能力定性模型,用符号定向图形象地表示该模型.并假设初始条件进行了推理论证,对推理结果的准确性和改进方式进行了分析,对下一步工作做了展望.     

战役物资供应链定性仿真研究

运用定性建模与仿真的方法研究战役物资供应链的整体供应能力,能从整体性角度出发,全局遍历战役物资供应链的不利影响因素。简要介绍了SDG(Signed Directed Graph)定性仿真工具的结构和功能;建立了战役物资供应链整体功能定性仿真模型;根据案例描述,把定量描述转化成定性值,设置定性仿真初始值,进行定性仿真实验。仿真结果为:影响战役物资供应链整体供应能力的主要不利因素为"敌火力打击我战役供应指挥机构",可找到其产生的推理路径,改变定性初始值的设置,控制不利影响因素出现的次数。     

定性仿真在弹药补充能力概念建模中的应用

就目前装备保障仿真中遇到的难题,引入定性仿真的研究思路,选取一个简单实例(弹药补充能力)进行概念的定性分析,进而建立基于定性过程理论的定性模型并对该模型进行了扩展,最后对所作研究进行了总结,并提出下一步的研究方向。     

舰炮武器系统的适装性评估模型研究

针对舰炮武器系统适装性评估问题,提出了一种基于层次分析法的适装性评估模型。该模型选取火炮、跟踪传感器、火控设备的适装性作为模糊变量来评估舰炮武器系统的适装性,结合三个变量的具体评估准则,基于层次分析法给出了适装性的具体计算方法。应用实例表明,该模型实现了舰炮武器系统适装性的量化评估,可操作性强,可为选型决策提供有力支撑。     

基于粗糙集理论的定性推理结果的约束

从分析定性推理结果存在的问题出发,提出定性约束的必要性.总结了几种现有的定性约束,提出一种新的定性约束-粗糙定性约束,利用粗糙集属性约简算法对定性推理结果进行约简.简要介绍了粗糙定性推理软件的总体设计思路流程和功能模块划分.以物资供应保障过程定性推理结果为例,对所得推理结果进行粗糙定性约束,得到重要推理结果,为物资供应保障决策提供参考意见.     

多对象授课质量评估定性修正技术的研究与应用

从评估工作中普遍存在的对定性评估信息利用不够充分的问题入手,提出了多对象授课质量评估的定性修正技术,介绍了该项数据处理技术在评估和考核中的运用情况,并进一步讨论了它的适应性。     

战争设计工程中从定量到定性反思的方法

定性定量相结合是战争设计工程的技术基础,为了探讨定性定量相结合中的如何从定量到定性进行反思,提出了定量评价干预策略的一致性检验方法;研究了从定量到定性反思的实现方法。最后以一个实例说明了整个从定量到定性进行反思的过程,并证实该反思方法是有效可行的。     

模糊推理方法在无人机编队目标分配中的应用

本文主要针对无人机编队作战中的目标分配问题进行了研究,利用模糊推理理论对定性条件进行了分析,并建立了定性条件的优选决策矩阵,将各个定性条件下的优选决策矩阵进行了合成,给出了不同目标定性条件重要度的相对隶属度关系,最后给出了基于模糊推理的无人机编队作战中目标分配方法的数学模型,并进行了求解。给出的算例验证了模型的可行性和有效性。     

面向机动威胁单目标定性微分对策的航路重规划

航迹规划是飞行器规划系统的一个重要子任务.针对具有主动性而非纯粹动态的敌方威胁类型,以单目标定性微分对策解决航路的动态重规划问题.在假设对静态威胁的参考航迹和安全走廊已预规划确定基础上,构建了基于单目标定性微分对策面向主动威胁安全走廊内飞行器航路对策的数学模型,并对航路的单目标定性微分对策系统进行了求解.     

基于SDG的物资供应动态过程定性模型的建立

针对物资供应过程仿真中仿真信息不明确、不完整、比较模糊而又难于定量化描述的问题,引入定性仿真中符号定向图(SDG)法,定性分析了通用物资供应的过程.首先,提取物资供应过程中各定性环节要素,对其建立定性关系方程和定性模型(SDG模型图),然后,根据方程和模型仿真结果给出具体环节因素的取值标准.通过实例验证得出了用定性建模的方法研究物资供应动态过程更加简明实际的结论.     

关于半鞅的可料表示性

利用鞅空间H1的泛函表示定理、泛函分析中的Hahn-Banach定理、半鞅向量随机积分的Girsanov定理,获得了半鞅可料表示性的特征。由于使用的是半鞅的向量随机积分,它推广了经典的结论。     

平面B—样条曲线的拐点定理

利用插入节点的算法,本文研究了Ｂ—样条曲线的形状,得到了Ｂ—样条曲线拐点的一个定理。该定理描述了当控制多边形只有一个拐向点时Ｂ—样条曲线的拐点、尖点和二重点的关系。此项研究对于工程应用中的ＣＡＤ有较实际的指导作用。     

一类具有脉冲效应的害虫综合管理模型的分析

基于害虫综合管理（IPM）策略,研究一类具有脉冲效应和非线性发生率的害虫染病的生态一流行病模型,分别在不同的固定时刻喷洒农药、释放染病害虫及天敌。利用Floquet乘子理论、脉冲微分比较定理,证明了易感类害虫灭绝周期解的全局渐近稳定性,给出了系统持续生存的充分条件。     

非平稳高斯序列最大值的几乎处处中心极限定理

在较弱的条件下,研究了一类非平稳高斯序列的几乎处处中心极限定理.设{Xa,n≥1}为一非平稳高斯序列,记其协方差为rij=Cov(Xi,Xj).假设该序列满足如下条件:对充分大的n,若存在0<α<1当|i-j|>nα时,rijlog|j-i|(l0glog|j-i|)1+ε一致有界.在这一条件下,通过利用概率极限理论,...     

信号的直接采样理论

经典的采样定理建立了带限信号与其均匀采样值之间的联系。本文对采样定律作了三点补充 :1)给出在定理条件不满足时 ,由均匀采样值恢复的信号与原信号的误差表达式 ;2 )用简洁的方法分析了带通信号的均匀采样问题 ,得到了采样率应满足的条件 ;3)研究了一种特殊的非均匀采样情况 ,给出了采样率的可取范围以及由非均匀采样重构原信号的公式。这些都是对经典采样定理的丰富和深化。     

Loeb 空间上的拟鞅提升及分解定理

本文通过非标准随机分析方法得到了标准拟鞅提升定理,并构造了非标准拟鞅的分解定理,然后再通过下推方法得到了标准拟鞅的一个分解定理。     

静磁场Dirichlet问题Galerkin法和牛顿法

作者在［１］,［２］中给出了静磁场Ｄｉｒｉｃｈｌｅｔ问题和Ｎｅｕｍａｎｎ问题广义解的存在与唯一性。本文从理论上给出静磁场Ｄｉｒｉｃｈｌｅｔ问题的一种Ｇａｌｅｒｋｉｎ近似解法,并给出了在各向同性或无电流区情形下的误差估计和牛顿选代序列。     

遗传算法处理导弹一体化优化中隐式约束问题探讨

在详细分析模式定理及典型遗传算法运行机理基础上,针对"隐式约束"问题,创造性地对其进行了适应性改造,并证明了其收敛性。仿真算例及工程实践问题表明,该方法有极强的全局寻优及高速收敛能力,是值得推荐使用的有效方法之一。     

度量空间的非标准特征(I)

本文首先引进度量空间非标准包的定义,然后将讨论非标准包的许多性质。在此基础上,用非标准方法来刻划度量空间中的各种紧性。最后应用这些结果,将证明ＡｒｚｅｌａＡｓｃｏｌｉ定理,并在较弱的条件下,得到Ｂａｎａｃｈ不动点定理。     

测度论中几个定理的重新论证

从环的等价定义出发 ,利用级数收敛性及分解性定理证明了R 是环 ,而且是完备的σ 环。进而重新论证了测度扩张性定理的存在性、唯一性及完备性。避免了教材中原证明的复杂过程 ,从而使读者更容易掌握