引入权重因子的证据合成方法

D-S理论是一种有效的不确定性推理方法,但在证据完全冲突或冲突较大时,D-S证据合成公式失效.Yager等学者对此作了改进,但是改进后合成公式又存在着新的问题.考虑到证据在合成过程中的重要程度不同,将权重因子引入到合成公式中,通过权重因子的作用和冲突概率的重新分配,提出了引入权重因子的D-S证据合成方法,新的合成公式提高了证据合成的可靠性和合理性,可得到更为理想的合成结果.     

海战场的规划识别研究

规划识别可分为锁眼型(keyhole)和意图型(intention),又可划分为个体的和群体的两种类型,对于敌舰艇编队的规划识别则属于意图型的和群体类型的.舰船及其编队指控系统在战场指挥决策过程中,根据多传感器信息融合系统提供的实时数据与信息进行态势评估,除了敌我识别、目标身份识别、威胁估计外,还涉及对敌舰及其编队的意图型、群体型的规划识别问题.初步探讨舰艇编队(即多自主体系统Multi-Agent System,MAS)规划识别特点、MAS规划识别规划结构框架和基于时态描述逻辑的动作推理的若干问题.     

基于Demster-Shafer证据融合的战场态势判断模型

战场态势是指挥员制定作战计划、实施作战部署的主要依据,长期以来战场态势主要依靠指挥员和参谋人员的作战经验来判断,判断结果的可信性与适时性难以得到保证.在战场态势问题分解的基础上,针对各子问题相关信息"模糊性"大的特点,通过隶属函数进行处理,并采用Demster-Shafer证据融合模型融合决定性相关信息,实现战场态势的快速准确推理.最后,在这一模型的基础上利用计算机仿真进行了态势图景推理示例.     

连续动态贝叶斯网络实现多传感器融合跟踪

利用多传感器数据进行目标跟踪,关键是怎样将多传感器的数据合理应用来对系统的状态做出最佳估计。提出应用连续动态贝叶斯网络的方法,结合卡尔曼滤波器模型,实现用多传感器数据进行目标跟踪的方法,并对算法进行了推导和验证。仿真结果证明了提出的多传感器数据互相修正融合滤波方法具有良好的滤波效果,并能够弥补传感器数据缺失和抑制脉冲噪声。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

态势估计中的二维模糊空间知识处理

空间推理是态势估计中的一个重要组成部分。针对海战态势估计的要求,建立了模糊确定性下二维空间点、区域,以及几种对态势估计中常用的空间关系的数学模型和用来确定空间关系的计算方法。     

在高校数学教育中应用数学案例教学的研究与实践

案例教学法是以案例为媒介的一种启发式教学方法。案例教学在数学教学中有重要作用，它有助于丰富和加深学生对数学理论知识的理解，把握好数学案例教学方法，对于培养和锻炼学生的分析解决实际问题的能力有着积极作用。     

老妪伤后无人赡养 不孝子女被判担责

【案例】农六师某团职工丁某1949年随夫来疆,育有四子一女。丈夫过世后,二儿子及儿媳也先后病故,留下三子一女及孙女李某。2008年8月,丁某意外摔伤,孙女李某将其送往医院治疗。然而,丁某因年老体弱,最终生活不能自理。住院期间,丁某将自己积攒多年的5000元钱交由孙女保管。可是,高额医疗费用让丁某无法承担,她便找到了4个子女,希望子女们能帮助其偿还医疗费。     

C3I系统中的态势关联技术

态势关联是在态势估计前必须解决的一个问题,即要将不同时刻的态势数据进行关联,得到各个时刻态势数据中描述的目标间的关系.对时间间隔比较长的态势数据的关联,研究了一种基于模糊推理的态势关联方法,综合考虑了目标属性信息和状态信息、战场环境信息、指挥人员的态势预估计知识,通过推理得到关联的结果.     

加权模糊Petri网的推理算法研究

将加权模糊Petri网与矩阵运算相结合，提出了一种推理算法，实现知识的推理运用。该算法利用了加权模糊Petri网的并行处理能力，将复杂的推理过程采用矩阵运算实现，充分考虑了多种约束条件，具有简单、高效、易于实现等优点，适合大型复杂加权模糊Petri网的推理计算。最后以实例对算法进行了验证。