基于循环子空间理论的线性系统测试矩阵优化

研究了线性定常系统在循环指数大于1(即其约当标准形不同的约当块有重根)的情况下测试矩阵的优化方法.以循环子空间相关定理的证明为基础,根据根向量链的相关特性,得到了测试向量的线性和与系统观测性的直接关系,给出了在保证系统可观测性的同时,使得测试代价最小的测试矩阵优化方法.算例表明,提出的方法简单直观,对配置测试向量具有良好的工程价值.     

一类反向混合单调算子方程组解的存在惟一性

运用锥与半序理论和非对称迭代方法,讨论半序Banach空间一类反向混合单调算子方程组解的存在惟一性,并给出了迭代序列收敛于解的误差估计,同时推广讨论了非反向混合单调算子方程组解的存在惟一性.所得结果改进和推广了混合单调算子方程某些已知的结果.     

光顺样条函数的再生核表示与计算

光顺样条是散乱数据拟合的理想函数,是噪声数据最优平滑的重要工具。因此,光顺样条的数学表示和计算的研究具有重要的意义。本文在一般的线性微分算子和线性泛函的情况下讨论光顺样条函数的构造和计算,通过构造一个适当的再生核Hilbert空间,使得所讨论的微分算子光顺样条成为该空间中的最小范数问题,再利用投影理论建立了光顺样条函数的再生核表示方法,并得到了插值偏差表达式。作为特例,还给出了奇次多项式光顺样条函数新的简洁的计算方法。     

某型PD雷达直接中频正交采样的研究

在PD雷达系统中,通常采用模拟方法进行正交双通道采样,但是其性能较差。分析了在PD雷达系统中,当多普勒频率不为零的回波信号通过幅相不平衡的正交双通道时,所产生的镜像频率对系统改善因子的影响,并通过相应的仿真研究加以说明。通过采用直接中频正交采样,系统检测性能得到提升,并通过某型雷达实际参数进行了仿真论证。     

矩阵论在研究微波元器件中的应用

采用酉矩阵的性质 ,证明微波无耗器件S参数的一个重要性质———幺正性。     

加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

论高技术武器装备的作用与局限

1．高技术武器装备使空战的作用突出，并可能作为一个单独的战役为尔后的地面作战奠定胜利的基础     

“军事经济人”假设与军事经济学基础

文章从军事经济活动的微观主体对象出发,运用“军事经济人”假设,对军事经济研究提出了新的观点。运用效用最大化理论,从物质和非物质两个方面来分析军事经济微观主体的行为,指出“军事经济人”与一般“经济人”的异同点,界定了“军事经济人”的特性,并概要地论述了“军事经济人”与军事经济学基础理论的内在逻辑关系。     

压缩空气弹射内弹道影响因素作用规律研究

针对某直筒式压缩空气弹射装置工作过程中存在诸多因素影响其内弹道特性的问题,为有效改善内弹道特性,提升装置整体弹射性能,对这些因素作用于内弹道特性的规律进行研究必不可少。选择以控制阀直径、发射筒径及初始温度3个因素作为分析重点展开研究。在计算流体动力学软件FLUENT中建立压缩空气弹射装置简化模型,通过网格无关性验证,选择了网格数合适的网格模型;设置合理参数,运用动网格技术进行计算仿真,得出不同控制阀直径,筒径及初始温度情况下弹射装置内弹道特性的不同变化规律。由于研究对象为直筒式弹射装置,针对该型压缩空气弹射器的研究较少,研究结果可为压缩空气弹射过程内弹道的深入研究提供理论参考。     

考虑主观思维区间性的效能量化模糊评估方法

针对武器装备在效能量化评估时,用一个数值量化定性指标和权重的不足,基于模糊综合评判理论、Vague理论和区间数算法,提出了一种考虑主观思维区间性的效能量化模糊评估方法。该方法定义定性指标和权重值为一个弹性区间,充分体现了专家对主观性事物认识的不确定性。模糊计算的效能值为一个区间,为确定评估对象的效能等级,引入Vague理论中相似度概念,能够直观判断其效能等级。通过与传统模糊方法和考虑定性指标区间性的模糊方法对比,验证了该方法的有效性和可信性。