马尔可夫链的模块化软件可靠性研究

针对模块化软件系统,考虑到模块自身的可靠性和模块相互转移调用对其系统重要度的影响.利用马尔可夫预测的基本原理,将马尔可夫链引入到模块化软件可靠性模型建立中,通过建立转移概率矩阵,对软件系统的可靠性进行分析并建立可靠性模型.该模型利用从软件开发过程中收集出的可靠性数据,对模块化软件进行可靠性分析,以此来研究软件系统总体的可靠性.     

转子碰摩情况下瞬时转速变化规律的仿真研究

考虑到碰摩会造成转子瞬时转速波动的实际情况,对已广泛应用的弹性模型进行了改进,建立了考虑转子瞬时转速波动的转子碰摩仿真模型。利用该模型仿真计算了不同转速下轴心轨迹和瞬时转速波形、频谱,发现在碰摩严重程度不同的情况下,转子瞬时转速有着明显的规律性变化。     

控制速度方向的弹道修正导引方法

由于制导炮弹由身管武器发射,其飞行控制能力和导引信息量有限,故基于预测落点位置偏差量来修正速度方向并在控制时间内连续分配导引指令的思想提出一种新的三维末制导方法。根据非线性弹道方程组的级数解预测弹丸落点位置,得到落点与目标的偏差,并提出两种通过此偏差解算当前速度方向修正量的方法。取剩余飞行时间为修正时间,通过将速度方向修正量分配到整个剩余导引段建立加速度修正公式,从而减小导引指令饱和的可能性。通过连续地预测落点和分配加速度指令来实时地导引飞行。仿真结果表明:该导引方法简单可行,精度高,对控制能力要求较低,且具备较好的制导效果和毁伤效果,可为该体制制导炮弹的应用提供参考依据。     

坦克嵌入式靶场射击训练命中评判模型

对坦克实车射击过程及射击误差进行了分析,在对坦克火控系统原理进行分析的基础上,建立了射击命中评判模型,并进行了试验检验,实现了坦克实车嵌入式不装实弹进行射击训练的命中点评判。     

推动军事运筹学在军事航天领域的创新发展

在总结军事运筹学在军事航天领域应用概况的基础上，分析了信息化条件下军事运筹学在此领域面临的主要挑战，提出了其创新发展方向，并对其学科建设进行了展望，提出了一些解决措施。     

径向特征下的改进三角形星图识别算法

三角形星图识别可靠性与可操作性较强,目前仍在广泛使用,但是三角形星图识别算法存在冗余匹配和误识别。通过星点的几何分布构建星点的径向特征量,依据径向特征量对星图进行初始识别,将拍摄星点的识别结果限定在数颗导航星上。在初始识别的基础上,运用三角形星图识别算法再次进行识别,使三角形星图识别更具针对性,同时提高识别的正确性。实验结果表明,采用基于径向特征的改进三角形识别算法,星图识别的准确性和针对性都得到了提高。     

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

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

C2组织指挥控制关系的形式化描述*

针对C2组织的指挥控制关系目前还缺少很好地形式化描述方法,其量化研究比较困难,从C2组织的实体及实体之间的关系出发,形式化描述C2组织指挥(纵向)关系、横向关系、资源配置关系、执行关系等四种关系,最终构建出一个指挥控制关系网,为运用复杂网络理论以及图论等方法对指挥控制关系的量化分析研究提供基础。     

早期碰摩转子径向运动信号的仿真分析

针对早期碰摩时转子振动特征与其他旋转机械常见故障(如不对中)特征相重复的问题,研究转子径向运动信号中蕴含的早期碰摩故障特征。建立了转子动力学模型并求解得到仿真转子振动信号,从中计算出转子径向运动信号(径向运动速度、径向运动加速度)并进行了分析。结果表明:发生早期碰摩时,径向运动速度、径向运动加速度信号会在碰摩点处发生瞬间剧烈波动,可用来指示碰摩部位;频谱中高频成分大大增加,大部分情况下高频代替转频成为主要成分。这些特征与正常状况有显著区别,可望用于早期碰摩故障的诊断。     

基于功能-原理-行为-结构的产品模块化设计方法

把机械产品的迭代设计分解拓扑模型与模块化设计方法相结合,提出了基于功能-原理-行为-结构的机械产品模块化设计方法.主要讨论了基于功能-原理-行为-结构的产品迭代设计分解原理;分析了设计分解过程中功能→原理←→行为→结构→功能的演进的纵向迭代过程;探讨了产品设计分解的横向动态建模方法;产品迭代设计分解过程引入模块化方法,建立了基于功能-原理-行为-结构的复杂机械系统模块化设计基本方法.