目标通视性检测建模与仿真

在战斗机对地攻击选择武器投放位置以及巡航导弹选择地标点时,必须验证其选择位置的合理性,因此通视性检测是战斗机对地攻击规划的关键技术之一。提出了一种目标通视性检测的建模方法,分析了地形遮蔽盲区构成因素,给出了数字地图处理方法,建立了地形遮蔽盲区计算模型及发现目标概率模型,实现了目标的通视性检测,并进行了仿真验证。该模型为战斗机对地攻击选择武器投放位置和验证导弹地标点选择合理性提高了方法。     

武器装备需求问题框架及特性分析

针对武器装备需求内涵模糊的问题,建立武器装备需求问题框架并分析需求的相关本质特性.提取武器装备需求的关键影响要素,提出武器装备需求问题框架--包括需求关键影响要素、影响要素属性、影响要素之间的关系;采用高阶逻辑的规则,分析了武器装备需求及需求映像的特性,包括武器装备需求充分性、前提合理性、实现可行性、必要性和层次性,以及武器装备需求映像充分性、必要性和指导性.以假定的一个城市导弹防御系统的需求研究为例检验了方法的可行性和有效性.     

计算机控制抛光中基于等面积增长螺旋线的加工路径

目前计算机控制抛光工艺中使用的阿基米德螺旋线路径,存在加工工件中心区域时工件转速过快的缺点.为了克服该缺点,分析了螺旋线路径加工的特点,分析表明工件的瞬时转速取决于加工点的驻留时间密度和螺旋线的面积增长速率.据此,提出了一种新的螺旋线作为抛光路径,该螺旋线的面积增长速率恒定,因此也称为等面积增长螺旋线.利用该螺旋线路径,加工转速趋于恒定,可降低加工中心区域的转速,从而降低对机床运动性能的要求,降低设备成本和加工成本.实验结果证实,阿基米德螺旋线路径加工中心区域容易产生过加工问题,加工精度较低;等面积增长螺旋线路径加工可避免中心区域过加工问题,获得较高的加工精度.     

大圆航线导航与控制律设计

随着无人机(UAV)应用范围的扩大,要求无人机能精确跟踪预定航线.预定的飞行任务可以有两种规划方式,一是近似在当地切平面上的直线或曲线;二是飞行距离较长时在地球表面的大圆航线.第二种规划相对复杂,研究较少,因此,介绍了某型无人机的动力学模型,提出了一种全新的大圆航线导航解算算法,设计了大圆导航控制律,此外,还分析了常值风及突风干扰对导航的影响.经计算机仿真验证和部分的实际飞行试验结果表明:与预定航线的距离偏差较小,航迹精度较高,新算法及设计较好地满足了实际大圆航线飞行要求.     

一阶非线性脉冲边值问题解的存在性

研究一阶非线性脉冲周期边值问题,应用微分不等式和Schaefer不动点定理,得到了脉冲边值问题解存在的充分性判据,并给出了相应的Green函数。     

军转干部自主择业制度研究

自主择业制度是我国军队转业干部安置方式的一项重大改革 ,本文阐述了自主择业制度的意义、主要政策、实施中存在的主要问题及对策     

论中国教育现代化中的依附性问题

按照依附理论,从历史发展的过程及社会结构的角度来看,中国教育现代化有很强的依附性特征。基于此,中国教育在其现代化过程中,必须在利用依附发展特性的基础上,摆脱、超越对西方发达国家教育的依附;中国教育现代化必须处理好与经济发展、政治民主、法制建设之间的关系,以此促进自己的现代化进程。     

原始变量守恒形式控制方程的时间准确性分析

基于压力、速度和温度的原始变量为自变量的守恒形式的控制方程可应用于定常流动问题,但是在求解非定常问题,例如某一典型激波管问题时,激波后温度出现过冲现象,即使通过细化网格、提高空间格式精度或者换用其他通量格式仍不能消除,这表明误差可能来自该方法本身。采用一维Euler方程对该方法进行数值分析。分析结果表明,数值误差来自时间项。通过构造相应的双时间步方程,虚拟时间项采用原始变量,而物理时间项采用守恒变量,并在两个相邻物理时间步内作为定常问题求解,可以收敛到相应的守恒形式,消除上述误差,得到准确的非定常数值解。     

基于路径规划的无人机飞行冲突解脱技术

在无人机与有人机共用空域时,随时可能发生飞行冲突,应当有一种可靠的冲突解脱技术,保证无人机的空域运行安全。为此,构建了基于正三角形栅格法的空域运行环境,改进了以往十字栅格环境规划动态路径的缺陷;提出了基于空间分割的改进蚁群算法,提高了算法的寻优性能与路径规划能力。最后结合ADS-B系统的工作原理,在利用卡尔曼滤波对ADS-B信息进行修正的基础上,设计了无人机冲突感知的技术方案,并用实时的路径重规划技术实现飞行冲突的解脱。最终的仿真实验验证了飞行冲突解脱技术方案的有效性,可为未来无人机的空域运行技术提供一定的理论参考。     

New inequalities for finite and infinite group problems from approximate lifting

In this paper, we derive new families of facet‐defining inequalities for the finite group problem and extreme inequalities for the infinite group problem using approximate lifting. The new valid inequalities for the finite group problem include two‐ and three‐slope facet‐defining inequalities as well as the first family of four‐slope facet‐defining inequalities. The new valid inequalities for the infinite group problem include families of two‐ and three‐slope extreme inequalities. These new inequalities not only illustrate the diversity of strong inequalities for the finite and infinite group problems, but also provide a large variety of new cutting planes for solving integer and mixed‐integer programming problems. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008