加强城市园林建设势在必行

银川市作为宁夏的政治、经济、文化、旅游中心,理应建设成为经济繁荣、环境优美、生活舒适、生态健全的现代化城市。在西部大开发中,城市园林建设是“小而富,小而美,小而强”的一个重要组成部分;城市园林建设又是改善城市生态环境的一个重要支柱;城市园林建设是加强中心城市建设,提升城市建设品位,改善投资环境的重要内容,也是招商引资,吸引人才提供一个优良的生活环境。     

雷达业务与技术勤务管理系统(RDMS)

智能化和工具化是RDMS的主要设计思想和技术特色,体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

基于深浅知识的混合诊断模型

针对大型电子设备的诊断问题,提出一种基于深、浅知识的混合诊断模型,给出了诊断知识的组织模型,论述了混合诊断模型的建立,并给出了完整的推理控制算法。基于这种模型,研制了ＰＬＴＳ平台罗经自动测试系统．     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

基于主观贝叶斯方法的装备故障概率分析

由于造成武器装备故障的环境因素以及装备自身结构特征的不同，导致装备发生故障的不确定性。本文讨论了基于主观贝叶斯方法的装备故障概率分析方法，旨在事先预测武器装备在执行任务过程中的故障概率，为合理制定装备保障方案提供辅助决策依据。     

伪线性卡尔曼滤波的观测器轨迹优化算法

单站被动式跟踪存在强非线性和弱可观测性,即便观测器的运动满足可观测性条件,滤波仍然可能发散.针对此问题,使用伪线性卡尔曼滤波器,应用费希尔信息量、罗美达下限等方法对轨迹进行优化,该优化方案避免了对目标与观测器的径距信息的近似.仿真表明:该方法与传统方法比较,计算量较小,优化得到的轨迹简单,滤波精度得到改善.最后给出了在一定条件下,观测器的"最优"运动规则.     

国际海上武装冲突法形成的标志——1856年《巴黎海战宣言》

国际海上武装冲突法是国际法中国际武装冲突法的一个子法,是指以条约和习惯的形式,规范海军兵力合法使用武力,以及在海域发生的武装冲突中冲突方之间、冲突方与非冲突方之间权利义务关系的原则、规则及制度的总体.     

基于集值统计法确定掩护重点目标问题

确定掩护重点是地面防空作战的一个重点和难点问题.利用集值统计分析采集的数据更适合指挥员确定掩护重点的思维方式,用区间数对数据进行处理能较好地降低主观误差.通过对被掩护目标的价值度的求取,为确定被掩护目标重要性顺序和兵力分配提供了依据.算法推理严密,模型简单实用,易于编程实现,为确定掩护重点目标提供了一种很好的算法.     

粗糙集理论的电子设备诊断规则提取

为了解决现有诊断规则提取方法中的不一致性问题,得到具有良好适应能力和最大匹配能力的诊断决策规则,结合电子设备故障征兆特点,提出一种基于粗糙集的电子设备故障诊断规则提取方法.该方法先对原始数据进行预处理,形成决策表,用粗糙集进行属性约简和值约简,最后提取诊断决策规则,并对诊断规则进行评价.通过实例分析表明,该方法能提取出具有一定泛化能力的诊断规则,在故障诊断中能够提高诊断决策规则的匹配效率.