基于本体的一体化辅助决策平台模型检索模式

随着决策模型种类和复杂度的不断增加,模型的描述和检索成为一体化辅助决策的重要问题。基于目录分类、关键字等的模型描述方法缺乏语义信息,因此无法较好地满足用户的检索请求。利用描述逻辑对模型进行形式化说明,在此基础上研究平台模型的检索方法,提出模型语义层的检索模式,并且对检索模式的有效性和应用性进行了分析。     

一类线性规划模型的求解方法

应用矩阵理论知识得到了一类特殊的线性规划模型的相关定理,给出了一种简便求解方法,讨论了求解方法的推广问题.     

基于概率神经网络的高校科研能力评价

科研能力是评价高校综合实力的重要指标,高校的科研能力水平将会在一定程度上影响到高校所在地方甚至国家的科研水平.因此,不断提升学校科研能力水平,成为高校自我提高和发展、增强综合实力的重要措施之一.如何对高校科研能力进行科学地评价,成为一个亟待解决的问题.本文将高等院校科研能力评价体系作为研究对象,通过相关文献的查阅,从众多研究中,选取影响高校科研能力的11个典型指标,构建了基于PNN的高校科研能力评价模型及算法.并通过仿真实验验证模型及评价方法的可行性和有效性,为高校科研能力有效评价提供参考依据.     

基于Petri网的案例推理研究

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统的案例库的知识表示。     

基于模糊事件的入侵检测模型

对模糊入侵事件进行了描述，分析了模糊入侵事件间的相似性，提出了基于模糊ECA规则的入侵检测知识表示方法，并阐述了模糊ECA规则的分析过程，以解决入侵行为的不确定性。     

基于事例推理的装备软件成本估算研究

采用基于事例推理的估算方法可以很好地解决传统经验函数估算软件成本时的局限性。讨论了装备软件成本估算和基于事例推理研究的特点，从总体上描述了基于事例推理装备软件成本估算系统结构和实现流程，阐述了主要的研究内容，包括影响软件成本因素、系统的事例表示方法以及相似度的基本算法及事例的改写，并通过实例验证了事例推理在装备软件成本估算实践中的具体应用。     

某火控系统故障隔离中的信息采集与诊断推理

复杂装备火控系统的故障具有关联性和耦合性,故障隔离需要信息采集为诊断推理提供数据支持,并在诊断推理过程中对信息采集进行控制。基于火控系统工作原理分析了故障隔离的信息需求和信号类型,给出信息采集系统的具体形式;采用分层故障网络和框架结构进行诊断知识表示,并通过信息采集来获取测试信息,以保证诊断推理过程的有效进行;设计了故障诊断的推理控制策略,并对于实际应用的诊断推理过程进行了描述。     

应召反潜条件下浮标阵型规划研究

以圆形阵和直线阵为例,在充分考虑目标态势的基础上,建立了应召反潜条件下的浮标阵型布放模型。给出了一种搜潜概率计算方法,并基于此对建立的阵型模型进行了仿真验证。仿真结果表明,所建立的阵型模型是合理的。     

一类三角结构非线性系统状态参考反演变结构控制

针对一类三角结构非匹配不确定性非线性系统,结合参考状态、反演设计和变结构控制方法,研究了其在非匹配不确定性和未知干扰下的跟踪控制问题,提出了状态参考反演变结构控制策略,设计的状态参考反演变结构控制器实现鲁棒输出跟踪,闭环系统在有限时间进入滑动模态.仿真算例证实了理论研究成果的正确性和可行性.     

关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献