一种基于规则的OWL-S本体语法一致性维护方法

OWL-S本体语法一致性维护是语义Web服务维护工程中需要重点研究的问题.提出一个一致性维护框架指导知识工程师进行OWL-S本体语法一致性维护,定义并抽象出OWL-S本体基本变化,提出变化关联矩阵分析基本变化间的依赖关系,基于关联矩阵提出额外变化序列生成算法分析基本变化对全局的影响,并分析了算法时间复杂性.对OWL-S本体语法一致性规则进行了形式化定义,使机器能够自动检测这些规则,辅助知识工程师完成OWL-S本体语法一致性维护工作.     

优化财力资源配置加速推进战斗力生成模式转变

优化财力资源配置,引导科学技术进步和军事训练创新,是实现战斗力生成模式根本转变的重要推动力。对于财务部门而言,科学编制预算、确定合理的投向投量,是推进战斗生成模式根本转变的重要途径;加快结构调整,大力搞好统筹协调,是推进战斗力生成模式根本转变的现实要求;强化军民结合,在全社会范围内优化配置财力资源,是推进战斗力生成模式根本转变的必由之路。     

集值拟终下鞅的收敛性与Riesz分解

本文在X^＊可分的条件下证明了集值拟终下鞅在弱收敛意义下的收敛定理,同时给出了如下集值拟终下鞅的Riesz分解定理：设{Fn,n≥1}包含Lc（X）为集值拟终下鞅,且满足（i）E｜｜Fτ｜｜I（τ〈∞）〈∞,偏dτ∈T,（ii）{｜｜Fn｜｜,n≥1}一致可积,则以下两条等价：（1）{Fn,n≥1}可Riesz分解; （2）Vn≥1,Fn关于E（F｜Bn）（n≥1）位似,其中Fn→w F。     

水下武器作战研制仿真系统中的想定生成研究

针对武器系统研制仿真中对对抗条件下的武器作战效能进行评估的需求,分析了研制仿真的目标与想定生成的关系,设计了一种基于条件-行为判断的脚本的作战想定系统,并通过想定索引表确定了实体、环境、状态的对应关系,实现了模块化的校本设计模式.该脚本简便易用,具有良好的通用性和可扩展性,并在水下武器作战对抗分布交互仿真系统中得到了成功的应用.     

模糊神经网络集成在液压故障诊断中的应用

阐述了神经网络集成的基本概念及其在液压故障诊断中应用时的个体网络生成方法和结论结合方法.根据液压系统的工作特点,采用Gauss随机函数作为个体网络的训练样本的随机采集函数,使个体神经网络的输出集中于各工作阶段的主要故障,并保持了个体网络之间的差异性,增强了网络集成的泛化能力.     

一种新的Gabor小波支持向量机人脸识别算法

提出了一种新的基于Gabor小波特征重组的支持向量机人脸识别方法。该方法首先计算5个尺度和8个方向的Gabor小波变换结果,再把不同人脸中的同一尺度和方向的变换结果进行特征重组,得到40个新特征矩阵,分别利用PCA方法降维去噪,最后构造40个支持向量机分类器并采用选票决策机制决定识别结果。实验结果表明,该方法不仅拓宽了主元分析法中累积方差贡献率可选范围,并在一定程度上解决了核参数选择难的问题,同时取得了理想识别效果。     

着眼战斗力生成模式转变提升军事软实力

随着新军事变革的不断深入,军事软实力在战斗力生成模式转变中发挥着越来越重要的作用。必须深刻理解战斗力生成模式转变与军事软实力在信息化战斗力生成中的科学内涵,准确把握军事软实力的重要作用,积极探索加强军事软实力建设的途径和方法,切实转变战斗力的生成模式,有效增强部队战斗力。     

如何缩短国防生从大学生到合格军官的成长过程

党的十七大报告明确指出:要加紧培养大批高素质新型军事人才,切实转变战斗力生成模式。随着我军人才战略工程的不断推进,依托普通高等学校培养国防生,已经成为军队生长干部来源的重要渠道。因此,科学分     

复杂平面区域的三角网格生成算法

为生成复杂平面区域的有限元网格,提出了基于网格细化的三角网格生成算法.该算法首先采用耳尖移除法对区域边界做三角划分,得到粗略的初始网格.提出Delaunay优化平分方法,根据网格密度细化初始网格,该网格细化方法结合最长边平分技术与Delaunay边交换技术,可有效提高内点生成与单元细分的质量.实验表明,基于Delaunay 优化平分的三角网格生成算法可对任意平面域进行网格剖分,生成符合有限元计算要求的高质量三角网格.     

Rodrigues参数与四元数间的关系分析

介绍了Rodrigues参数,从投影的角度,详细阐述了四元数与经典Rodrigues参数及改进型Rodrigues参数的关系,推导了Rodrigues参数微分方程以及与姿态阵的关系,建立了等效旋转时避免奇异值出现的方法.以典型圆锥运动为背景,对以Rodrigues参数描述的导弹捷联姿态算法和以四元数描述的姿态算法在计算量和计算精度上做了详细的比较.