内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

装备保障能力评估指标选择方法研究

针对当前装备保障能力评估指标选择方法存在主观性较大、评估精度低、评估结果一致性差等问题,提出了3种装备保障能力评估指标确定方法。依据面向能力的思路,通过对能力、性能与特性关系的分析提出了指标确定方法;基于本体论与文本挖掘技术,对装备保障能力相关文本的特征进行表示和提取,最后定义合适的文本挖掘泛化规则提炼出评估指标和权重;利用FP-Growth关联规则和模糊贝叶斯网络建立混合模型获取评估指标及权重,最后通过案例验证各方法的客观性、有效性和一致性。     

谈入世后国防教育的观念与行为

入世后的国防教育,如何更好地与国际接轨?回答这个问题,需要从分析国防教育的观念与行为入手。 强化规则的强制作用。WTO目前有143个成员国或地区,基本原则有72项,具体规则条款则有成百上千。WTO的所有成员,都必须遵守这些规则条款。在这里,规则的强制性取代了人们认知程度的差异,同样也起到了规范人们行为取     

移动代理的分布式系统监控模型研究与实现

提出将一种移动Agent与专家系统技术相结合的分布式网络故障诊断系统模型,该模型能够提高故障诊断效率,缩短系统响应时间,降低诊断时网络流量.提高诊断的智能性与容错性,克服了传统集中式故障诊断的诸多缺点.     

建立有效监督约束机制加强预任军官队伍管理

当前,对预备役部队预任军官的管理普遍存在管不着、管不住等问题。对此,军地双方应共同努力,依照国家有关法律法规,尽快建立健全一套科学规范、操作性强、实用有效的监督约束机制,为搞好预备役部队全面建设奠定组织和制度基础。 一、建立履职督察制度 预任军官都是地方党委、     

非奇异快速终端滑模及动态面控制的轨迹跟踪制导律

针对飞行器跟踪预设轨迹的问题,提出非奇异快速终端滑模和角度约束的轨迹跟踪制导律。通过引入虚拟目标点,提出参考轨迹曲率半径的期望视线角约束条件,建立带有视线角约束并考虑自动驾驶仪动态特性的轨迹跟踪数学模型。为了保证在有限时间内跟踪预设轨迹并避免出现奇异问题,采用快速非奇异终端滑模和动态面控制方法进行制导律设计。推导出视线角误差和轨迹跟踪误差之间的数学关系,并利用Lyapunov稳定性准则证明轨迹跟踪误差最终有界任意小。与弹道成型轨迹跟踪制导律进行仿真对比,仿真结果表明所提出的制导律具有良好的跟踪性能及鲁棒性。     

规则波浪中船舶操纵响应遭遇频率频散概念与机制

采用船舶单自由度横摇运动方程,以及纵摇与垂荡耦合摇荡运动方程,数值模拟了规则波浪中船舶操纵响应不规则摇荡运动现象。假定波浪中船舶遭遇频率具有谐波分量形式,定义了遭遇频率常量、强度和散射频率,提出了船舶遭遇频率频散概念,推导了遭遇频率的频散关系,分析得到了航速和浪向角度变化引起的两种频散机制。散射机制表明:顶浪航行时航速散射效率最高,正横浪航行时航向角散射效率最高。     

基于规则库的陆军作战指挥活动仿真建模

为了更好地满足联合作战方案实验论证对陆军作战行动的要求，提出了一种基于规则库的陆军作战指挥活动仿真模型构建方法。这种模型将作战行动中的各种指挥行为和行动行为规则化入库，以行为规则调用的方式组织构建，该方法只要对实体（指挥实体、执行实体）和规则库进行组织和维护，就可以构建出能够满足各种作战样式下作战方案实验论证的陆军作战指挥活动仿真模型，避免了依托人工智能、神经网络等理论进行模型构建带来的不确定因素。     

基于协方差矩阵估计的稳健Capon波束形成算法

常规Capon波束形成器性能对模型误差或失配非常敏感,尤其是当期望信号包含在训练数据中,导向矢量失配将引起性能急剧下降。为解决这一问题,提出了一种采用干扰噪声协方差矩阵和导向矢量联合估计的稳健波束形成算法。该方法通过对Capon空间谱在非目标信号的方位区域内的积分,实现对干扰噪声协方差矩阵的估计,解决数据协方差矩阵包含有目标信号时引起信号自相消问题;其次为了克服导向矢量失配的影响,通过最大化输出功率,并增加二次型约束防止估计的导向矢量接近于干扰导向矢量,实现对导向矢量的估计。仿真实验表明:该算法能获得近似最优的输出信干噪比,与现有算法相比稳健性更强。