A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

万里晴空霹雳声——机载空地武器的发展

即使将普通炸弹从高空投掷下来,至少也能滑翔10公里。如果在低空由战斗机做特殊机动动作,可使抛出的普通炸弹获得同样射程。但这样的射程不足以对付拥有现代化近程防空系统的地面目标。要使空地武器获得更远的射程只能赋予其更好的空气动力外形或安装某种动力装置,或是二者相结合。以下的讨论主要涉及那些射程超过10公里但又不安装涡轮发动机的炸弹或导弹。安装涡轮发动机的导弹射程一般都超过100公里,目前将其划归巡航导弹一类。     

美军为什么裁减B-1B

美国《每日防务》2002年4月4日报道：美空军为了最终满足它保持157架轰炸机的军力结构,已向国会提交了一份关于空军今年减少其207架轰炸机现役编队的修订计划。     

基于节点映射的武器装备需求生成方法

针对目前武器装备需求分析过程中,作战任务域向装备功能域映射方法可操作性不强的问题,研究了基于＂作战节点＂向＂系统节点＂映射的武器装备需求分析方法。该方法通过分析确定作战节点和系统节点,完成作战节点向系统节点映射、作战节点连接线向系统接口映射,最终得到装备系统需要的功能子系统及功能,较好地解决了需求映射过程中的随意性问题。     

船舶横甩吸引域的数值研究

建立了某型船在船体水动力和螺旋桨推力和自动舵作用下考虑波浪激励力和二阶定常漂移力时的非线性艏摇运动微分方程模型 ,以船速、船波偏角和自动舵参数为变参数 ,运用数值积分和胞映射分析相结合的方法 ,研究了随浪中船舶的横甩吸引域 .     

基于nRF24E1芯片的红外线矩阵坐标式自动报靶装置

红外线矩阵坐标式自动报靶装置由靶子和显示器组成,靶子部分由红外线矩阵光电坐标靶、坐标传感器、单片机控制的嵌入式多频道无线收发模块 nRF24E1组成。红外线矩阵是由两排互相垂直的红外光速正交形成,它是靶子的坐标定位区域。nRF24E1芯片进行输入信号的处理和无线收发。显示器由点阵式液晶显示器及显示控制电路组成,在屏幕上呈现胸环靶图案及显示弹着点位置。靶面分辨率为5mm,报靶速度大于1200发/秒。适用于步枪、手枪等轻武器。     

弱拓扑下集值最优化问题的通有稳定性

用函数的上图象之间的Hausdoff距离定义最优化问题目标函数间的距离。在此弱拓扑下研究定义在紧距离空间上具有普遍意义的最优化问题的稳定性;指出在Baire分类意义下大多数这类问题的解是通有稳定的。     

非线性超晶格中波的传播

通过二维实映射研究了非线性Kronig-Penney超晶格中波的传播。数值计算得到非线性系数不同、以及透射波幅不同时的映射图。结果表明,非线性系数对波传播有明显的调制作用,而透射波幅对非线性系数的有效性有明显的改变。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。