美军太空信息支援战区作战研究

为了保证太空信息能自顶向下融入到战区联合作战行动,实现太空信息支援力量与其他作战部队的跨域协同,美军建立了体系健全、功能完备的太空信息支援系统。本文梳理归纳了美军太空信息支援力量体系,针对太空信息支援战区作战的指挥与运用流程,分析了“统分结合、视情授权”的太空信息支援战区作战指挥体系,研究了“需求提出－汇总分析－分类提供”的支援作战流程,对天基侦察监视、卫星通信中继、卫星导航定位的需求管理、任务规划与资源调度的具体运用流程进行了分析,总结了美军太空信息支援战区作战指挥控制的特点。希冀本研究可为太空信息支援作战的指挥体系构建和指挥控制流程设计提供一定参考。     

提升地下战场作战能力研究

太空领域军民融合发展正在成为世界太空发展的主流形式,太空军民融合发展的程度已成为衡量一个国家太空实力的标尺,世界上主要的太空强国均在探索并完善符合本国国情的军民融合发展道路。美国的太空军民融合起步早、程度深,发展较为成熟,探寻其发展道路,启迪深化中国特色太空军民融合研究。     

空间天气对国家安全的影响研究

随着科技的发展和进步,世界各国越来越认识到空间天气的重要性,并对空间天气效应展开深入的理论和实践探索。我国也加快空间天气领域的研究进程,并取得了一定成就。本文系统介绍了空间天气的定义与发展历程,运用总体国家安全观的方法,从国土安全、军事安全、经济安全与核安全等角度分析了灾害性空间天气对国家安全的影响。在对国内外空间天气研究现状和发展趋势分析的基础上,针对灾害性空间天气的国家安全影响提出了政策性建议。     

ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

机动车辆自动识别系统

基于视觉的机动车辆自动识别方法工程量小、检测范围大、系统安装相对灵活，是一种很有前途的方法。目前已开发的商业系统大都用在日间辅助交通管理上。为改善视觉交通检测系统的实用性和增强系统的功能，本文作者对模型系统进行了深入的理论研究，提出了２．５维图像的新思路，提取车辆外形的综和特征更为准确，自适应识别方案使车型识别准确灵活，车头颜色特征的利用使识别的准确性进一步提高。实验证明，系统对光线的适应能力也明显增强，系统的稳定性得到改善，有望扩大系统的使用范围。     

空间结构的动应变控制

针对一类航天器外伸结构的结构振动问题 ,提出了一种动应变控制方法。并以一梁式外伸结构为例 ,建立了结构振动的应变动力学方程 ,以及以动应变为状态变量的闭环反馈应变控制状态方程。进行了应变控制的数值仿真。结果表明 ,方法是有效的 ,对于解决大型外伸结构的振动控制问题具有十分重要的实际意义和应用价值。     

考虑扰动引力影响的弹道助推段误差传播解析计算方法

针对地球扰动引力对弹道导弹惯性导航精度影响日益突出这一问题,研究了沿弹道扰动引力的多项式拟合方法,并基于线性系统理论和弹道摄动思想推导了用于求解扰动引力对弹道助推段状态影响的完整解析表达式。同时考虑扰动引力影响与导弹视加速度之间的耦合特性,将扰动引力引起的视加速度偏差视为扰动引力影响的附加补偿项,并进行迭代修正。仿真结果表明:扰动引力拟合残差小于3×10~(-7)m/s~2,考虑耦合项修正的弹道误差传播解析模型计算残差减小为原有方法的1/3,计算时间仅为直接采用弹道积分求差法的1/10。     

自由飘浮空间机器人准刚性分解运动轨迹控制与仿真

研究轨道空间机器人操作时,基座处于自由飘浮状态的手爪准刚性运动直角坐标轨迹的分解运动控制,重点分析了广义雅可比矩阵的计算,并进行了空间单手３—ＤＯＦ的仿真,该方法可相应推广到开链多手。     

再生核的一种新的计算法及其递推性

利用函数带积分余项的Taylor公式很自然地给出了W2m[a,b]空间的内积;基于这个内积,用Green函数得到再生核简洁的表达式,并用矩阵讨论了再生核计算的递推关系。     

基于算子空间的公式发现算法研究

在FDD提出的人工智能技术与曲线拟合技术结合的公式发现系统的基础上 ,提出了新的基于算子空间的公式发现算法 ,并在算法研究的基础上设计实现基于算子空间的可视化公式发现系统 ,该系统通过算子空间概念的引入 ,简化了算子空间的规则 ,同时引入导数规则、误差规则以及终止规则 ,丰富了知识库内容。通过以上改进 ,和BACON和FDD相比 ,公式发现的形式更广 ,复杂度更高。文章最后给出了应用实例以及公式发现的结果。