情系军工履天职——武昌造船厂集团有限公司军工文化建设纪实

<正>同江邻,同海亲,江海铸就我军工人;追求卓越,塑品牌,走向世界展雄风;巨鲸震海,迎潮立,神舟飞天举世惊;言行一致,讲诚信,科学发展永创新;啊,武船人,啊,军工人;强军报国是我们的天职,和谐的武船,咳,与时俱进。这首由武船员工集体作词、国家一级作曲家印青谱曲,同时由亚洲交响乐团演奏、解放军合唱团演唱的《军工人》之歌,每天清晨都会迎着朝霞在长江之滨、黄鹤楼畔雄浑嘹亮的响起。而这里就是我国内陆以造船为主的大型现代化综合性企业和重要军工生产企业——武昌     

脉冲切换系统有限时间稳定性分析与控制

提出了一种脉冲切换系统有限时间稳定性分析与控制的方法.通过微分方程组求解出脉冲切换系统的解,确定切换规则;利用平均逗留时间方法获取脉冲切换系统有限时间有界的充分条件,检验系统是否符合稳定性条件;以充分条件为基础设计有限时间保性能控制器,计算脉冲切换系统的有限时间保性能控制界,通过代数矩阵不等式验证全部充分必要条件的有效...     

基于随机有限集的传感器网络多目标跟踪

利用有限集统计理论对声学W SN下的多目标跟踪进行了研究。首先利用F ISST理论对声学W SN下的多目标跟踪进行建模,然后利用粒子滤波对随机集最优贝叶斯滤波进行近似,提出了一种新的多目标跟踪方法。在粒子滤波执行过程中,为了有效地平衡计算量和跟踪精度,根据目标数目自适应地调整每一时刻的粒子数目。仿真结果表明在监视区域同时出现目标较少的情况下,算法能够及时发现目标的出现和消失,正确估计目标状态和数目。     

一种面向无人侦察机的通信受限干扰源跟踪方法

复杂战场环境中无人侦察机对干扰源的跟踪面临着信号干扰能量强、干扰源数量多、信道容量受限制、通信信道被攻击等难点。为提升无人侦察机对干扰源的跟踪能力,提出了一种从测向直接到跟踪的两段式干扰源跟踪方法。首先,对干扰源的动态、无人侦察机集群的观测模型和信道模型进行建模;其次,阐述了基于集贝叶斯滤波器的从测向直接到跟踪的两段式干扰源跟踪方法,通过规避定位过程,减少跟踪误差;再次,对通信受限信道模型进行了建模,并将其引入到所提出的方法中,实现了对通信受限时干扰源跟踪的一体化表征及求解;最后,采用仿真实验验证了所提方法的可行性与优越性。研究可为无人侦察机对干扰源的跟踪提供新思路。     

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

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

车载综合电力系统动态重构及其功率流控制

随着陆战平台全电化技术的加速发展,战斗平台大功率用电负载不断增加,电能需求急剧上升,且不同负载驱动特性迥异,对车载综合电力系统的供电性能与负载适应性提出了苛刻要求。针对上述问题,探讨了一种车载综合电力系统动态重构方法,利用系统内部各装置、部件组合重构,构建出适应不同应用环境的多种工作模式;在此基础上,设计了工作模式层次化状态集,提出了基于有限状态机的工作模式转换与功率流动态控制方法,将其应用于工程实践。装车试验结果表明:系统模式转换灵活,冗余度高,动态重构能力强,负载适应性好,可为高适应性车载综合电力系统研究提供参考。     

有限体积法在滑动电接触问题中的应用

为了对滑动电接触问题中枢轨接触面的物理现象进行深入分析,建立了二维导轨式电磁发射装置的数值计算模型。采用有限体积法的全隐格式对电磁扩散方程进行离散,得到了考虑速度趋肤效应时的磁感应强度及电流密度分布云图,并将计算结果与现有文献中采用有限差分法得到的结果进行对比。结果表明:两种方法所得到的磁感应强度与电流密度的分布趋势及数值基本一致,验证了所编写的有限体积法程序的正确性。     

拖缆系统回转运动仿真计算

用三因次拖缆系统动力平衡运动方程式 ,在时间和空间上作中心差分数值离散平衡方程式 ,编制了拖缆回转运动计算程序 .在拖缆尾端自由边界条件中 ,将尾绳阻力作为自由尾端点的张力 ,改善了因自由尾端张力为零引起的差分方程奇异性 ,使仿真计算更加稳定 .将阵形坐标值转换到拖点运动坐标系中 ,便于拖船观察回转机动中阵形的变化 .仿真计算了两个拖曳阵试验模型 ,仿真结果与试验比较吻合较好 .对实尺寸拖曳线列阵进行了仿真计算 ,讨论了拖点速度和回转半径对阵形影响     

零温时空到有限温度时空的普遍坐标变换

提出零温时空到任意的有限温度时空的普遍坐标变换,并指出该坐标变换是导致稳态时空Hawking辐射的充分必要条件.证明坐标变换的虚时频率与辐射温度的关系,认为坐标变换的虚时周期性是产生Hawking辐射的根本原因.     

基于截断函数的有限时间滑模控制方法

针对一类二阶不确定非线性系统的鲁棒控制问题,提出一种基于截断函数的有限时间滑模控制算法。该算法具有以下特点:系统状态可在期望的有限时刻收敛为零;受控系统对外部扰动和参数不确定性具有全局鲁棒特性;系统状态的动态响应可解析预测;通过选择不同的截断函数可以实现对控制器性能的调节。仿真结果验证了所提算法的有效性。