利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

线膛炮内膛图像膛线识别研究

提出了一种线膛炮内膛表面图像识别的分层次识别方案,并研究了膛线识别的算法。对于特定情况下的图像识别有一定的借鉴作用。     

尾空泡对水下航行体流体阻尼力影响数值计算分析

针对航行体尾空泡对流体阻尼力影响的问题,结合动坐标系技术和空泡多相流数值模拟方法,通过求解雷诺平均的纳维-斯托克斯方程组,进行阻尼力计算研究。试验数据对比结果表明,该方法具有较好的精度。数值计算研究表明,尾空泡会削弱航行体尾部压力的不对称性,使航行体尾部流体阻尼力减小。当尾空泡增加到一定尺寸时,流体阻尼力减小的幅度逐渐趋缓,同时尾空泡也改变了流体阻尼力随攻角的变化趋势。研究充分表明了航行体流体力设计中考虑尾空泡影响的必要性。     

城市化进程中城中村消防安全改造探究

随着经济快速发展和城市化步伐的进一步加快,城中村问题应运而生。从探求城中村产生的原因出发,分析了城中村存在的多种消防安全问题,并就如何改造城中村的消防安全隐患提出了建议,旨在有效预防和控制城中村火灾事故发生。     

导弹预警卫星调度问题分析

以美国天基红外系统的结构和功能为基准,阐述了导弹预警卫星的工作原理和作战流程.采用六元组对导弹预警卫星调度问题进行了详细分析和数学描述.这六元组分别是传感器资源集、可疑目标集、系统状态集、调度约束集、目标可用信息集、调度优化目标集.针对该问题具有实时性和不确定性的特点,提出了一种基于事件和周期相结合的调度方法,给出了一个传感器分配的泛化模型.     

航天器近距离交会斜滑制导算法

提出了满足测量视场、最小脉冲间隔、最大脉冲受限等约束的燃料最省的航天器近距离交会多脉冲斜滑制导算法.建立了近距离交会(接近和撤离)多脉冲斜滑制导算法的统一数学模型;提出了理想交会轨道距离和速率的指数函数变化关系,使得算法能够实现任意时间的近距离交会,同时满足接近操作减速和撤离过程加速的任务要求;设计了对数函数映射法进行脉冲寻优.最后通过接近段和撤离段的操作仿真算例进行验证,仿真结果表明,相比最优化方法,对数函数映射法以较小的计算量实现了较好的寻优效果;算法能够以较省的燃料消耗实现轨道面内任意方向、任意时间内满足约束的近距离交会.     

望谟县人武部拉开荒山植树造林战幕

3月8日至9日,贵州望谟县人武部召开6万亩民兵荒山植树造林开工典礼现场会,来自省、州、县的党政军有关领导及首长、各级新闻媒体和当地民兵共1300多人参加了会议。     

短稿三则

根据党中央、国务院、中央军委有关文件规定,兼任军分区(警备区)、市辖区(市)人民武装部党委第一书记的市、市辖区(市)委书记每年要向上级党委军事部门进行党管武装工作述职并形成制度。这是市场经济条件下加强党管武装、确保城市人民武装工作落实的重大举措,应在实践中加以规范和发展。一要拓宽范围。把第一书记述职制度推广到县、乡两级,县人武部党委第一书记每年应向军分区进行党管     

军工上市公司资本结构与绩效关系的实证研究

通过对军工上市公司资本结构与公司绩效关系的实证研究，发现军工上市公司存在着股权融资偏好，资本结构的选择对公司业绩会产生消极影响。对此，应该通过调整负债水平发挥债务融资的治理效应、股权适度分散实现大股东联盟治理、完善军工上市公司治理结构等方式来调整军工上市公司资本结构，提高公司绩效。