鲁棒H∞次优控制问题

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

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

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

关于Chidume公开问题的推广

在q(≥2)一致光滑Banach空间中得到了LipschitzΦ-强增生算子的Ishikawa迭代序列的强收敛定理。     

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

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

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

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

Banach空间中极大单调映像零点具有误差项的杂交投影算法

在Banach空间中,采用杂交投影的方法构造了带误差项的极大单调映像零点的迭代算法,利用Lyapunov泛函和杂交投影的性质,证明了该算法的强收敛性.     

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

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

图形计算巧妙选“法”举例

在初中解几何计算题时,借助于一些辅助方法,可起到搭桥引线,化难为易的作用.其常见的辅助方法有:割补法、平移法、旋转法、坐标法、对称法、放缩法、反证法等.下面通过几个例题简单加以说明.     

条件随机变量与条件数据融合

本文讨论基于条件事件代数系统上的条件随机变量的表示问题,并给出了在多个信息源提供的不同类型的条件数据时之统一表示方法,以及利用条件随机变量分布函数性质,对所得数据进行关联等。     

极大代数及其在离散事件动态系统中的应用

在人类社会活动中,有许多活动属于离散事件或离散事件动态系统。在极大代数意义下,这类系统可用线性系统的理论和方法建立数学模型、求解状态方程,讨论可控性、可观性,以及实现系统运行的优化设计。