一类基于模型的仿射代数不变量

3D目标的标识别已逐渐成为计算机视觉领域的热点问题.在研究了传统的基于几何不变量和基于3D/2D约束关系两种识别方法的基础上,提出了1类新的空间几何结构模型,并计算出了这类模型3D仿射不变量和其对应的2D仿射不变量之间的约束关系.利用这种关系,可以在目标的姿态和摄像机的参数均未知的情况下,有效利用单幅图像来识别3D目标.     

不变矩方法研究

不变矩方法是一种比较经典的特征提取方法.自1962年Hu提出代数不变矩以来,已被成功应用于很多领域.首先介绍了不变矩的基本理论以及Hu提出的七个不变矩,并对不变矩的物理含义进行了分析.利用Matlab编程后,对给定目标图像旋转、缩放后图像的不变矩进行了计算,给出了计算结果,并与原图像的不变矩进行了比较,分析了不变矩方法的特点.最后介绍了一种适用范围更广的极半径不变矩,与Hu不变矩进行了比较.     

基于PEPA的防空通信系统抗毁特性分析

通信系统的抗毁性能是分析作战系统能力的一项重要指标。本文分析了防空通信系统的组织结构和对抗特点,利用性能评价过程代数（PEPA）描述了防空通信系统的状态演化,提出了基于PEPA的防空通信系统抗毁特性分析方法。通过具体案例,对通信系统的组织结构、抗击软硬杀伤的能力进行建模和仿真验证。实验结果表明,PEPA方法适用于防空通信系统的建模与分析,能够实现对防空通信系统的结构进行对抗过程的建模;通信系统的不同要素对抗毁性能的影响不同,可以采取有效策略以提高防空通信系统的抗毁能力。     

异构数据源集成系统中能力对象集成模型及代数

异构数据源集成系统中,参与集成各数据源的查询处理能力有自身特殊的限制,导致中介器支持的查询类型变得复杂。提出一种便于异构数据源集成的公共能力对象数据模型———COIM对象模型,在此基础上,进而定义数据源能力对象代数,给出基于局部数据源的能力对象构造集成系统中介器能力对象的方法。由于可以通过计算得到中介器能力对象,用户能够提前预知中介器支持的查询类型,从而直接构造可以执行的查询,减少查询提交的盲目性;同时中介器本身也可像数据源一样参与其它中介器的集成,集成方式变得更为灵活。     

一元二次方程根的判别式的应用

一元二次方程根的判别式在初中代数数学中仅占两学时,但其重要性却不容忽视,它主要用于判断一元二次方程根的情况,除此之外,对解一元二次方程以及在今后外理其它有关问题时都非常有用,掌握判别式Δ=b\ 2-4ab的应用非常重要,能解决许多问题,现举例说明.……     

鲁棒H∞次优控制问题

证明了鲁棒H∞次优控制问题可以归结为两个代数黎卡提不等式的解.利用不等式形式上的特点,还研究H∞/H2混合次优控制问题,并给出了应用实例以说明本结果的有效性.     

D-近次正常算子与不变子空间

研究D-近次正常算子类的代数与拓扑结构,在一定条件下证明其不变子空间的存在性．     

防空信息防御作战系统安全分析与效能评估

介绍了防空信息防御系统安全分析方法与流程.分析了防空信息防御作战的效能评估指标,由于诸指标主观性很强,普通的方法难以取得好的效果,而神经网络以其良好的非线性处理能力,为解决此问题提供了一个好的方法.对应用代数算法神经网络解决防空信息防御作战效能评估的方法问题进行了探讨.给出了代数算法及评估模型.并通过实例证明了方法的可行性,最后与一般的BP神经网络方法进行了对比,体现了该方法的先进性.     

指挥信息系统涌现行为分析方法

针对指挥信息系统需求分析中,缺乏涌现行为有效分析方法的问题,提出了一种静态和动态相结合的涌现行为分析方法。该方法基于涌现行为的分层描述思想,在系统交互层,对涌现行为进行静态分析,采用本体推理和查询技术分析涌现行为的概念一致性;在体系展现层,对涌现行为进行动态分析,利用进程代数进程项的迹的仿真实现涌现行为的可执行仿真分析。     

基于PEPA的防空指控系统优化设计研究

信息化战争对防空指控系统设计提出了更高的要求。针对防空指控系统复杂性,结合自身内部效能和外部作战环境影响,将定性定量分析相结合,使用过程代数方法定量评价防空指控系统的设计效果,进而指引防空指控系统的优化设计方向,提出了规范的防空指控系统设计方法。案例分析表明,该方法能够从定性定量相结合的角度对防空指控系统进行设计和说明,过程明确简洁、结论真实可信。