狭长受限空间油气爆炸关键现象研究

以汽油油气混合物为研究对象,在狭长密闭管道中进行了油气爆炸实验,通过压阻式传感器测试爆炸过程中的压强信号,得到狭长受限空间中油气爆炸的基本参数。通过对实验结果的对比分析,发现狭长受限空间内的油气爆炸可以分为4个阶段：平滑加速阶段、湍流发展阶段、振荡激化阶段和余波阶段;一定强度的湍流流场可抑制链化学反应速度和火焰传播速度;振荡激化阶段发生在管道末端。为狭长密闭空间内油气爆炸的预防和抑爆技术研究提供了参考。     

国防科技事业的杰出领导者——深切怀念老领导张爱萍同志

1975年以后,张爱萍担任过国防科委主任、国务院副总理、中央军委副秘书长、国务委员兼国防部长等职,组织领导国防尖端武器的研制和生产。他在主抓第一颗返回式卫星、洲际导弹、潜地导弹、地球同步卫星的工作中,亲临一线指挥,制定规章制度,关心科技人员,为中国国防科技事业的发展做出了重要贡献,深受广大科技工作者的尊敬和爱戴。     

论岛屿应急救援体系的构建

为全面提高海南省岛屿应急救援能力,有效防范和应对灾害事故和突发事件,保护人民生命财产安全,提出建立岛屿应急救援体系的思路,构建岛屿应急救援专业队伍和多种形式消防队伍有效联动的综合性应急救援力量体系。     

任职教育中实施模拟演练的研究与实践

模拟演练是突出岗位任职教育特点的手段和方法。对开展模拟演练进行思考,提出应把握的三个问题,并进行思考总结。     

一种灵巧的多假目标干扰技术研究

相干假目标的产生是欺骗干扰的关键技术,针对现代雷达技术对干扰技术提出的更高要求,首先介绍了间歇转发干扰技术,然后从信号频谱分析入手,提出了利用频谱调制的办法产生大量相干假目标,并给出了结构框图及干扰信号形式.在此基础上,把间歇采样与频谱调制组合使用产生了一种新的干扰技术.通过仿真试验,并与间歇采样转发干扰技术比较,验证了新技术的可行性和优越性.     

YHFT-DX高性能DSP中Cache失效流水设计

YHFT-DX是国防科技大学自主研制的一款高性能DSP.以提升YHFI-DX的 Cache 性能为目标,研究了降低 Cache 失效延迟的优化策略,设计并实现了一种针对高频高性能DSP的一级数据Cache优化策略--失效流水.与传统优化策略相比,该策略将连续访问Cache的失效请求并进行流水化处理,使多个Cache失效延迟重叠,从而达到降低平均Cache失效代价的目的.将该策略应用到YHFT-DX芯片的一级数据Cache控制器的设计与优化中,使访问Cache失效引起的流水线停顿从8拍降为2拍,显著提升了系统性能.     

Dynamic inventory management with cash flow constraints

In this article, we consider a classic dynamic inventory control problem of a self‐financing retailer who periodically replenishes its stock from a supplier and sells it to the market. The replenishment decisions of the retailer are constrained by cash flow, which is updated periodically following purchasing and sales in each period. Excess demand in each period is lost when insufficient inventory is in stock. The retailer's objective is to maximize its expected terminal wealth at the end of the planning horizon. We characterize the optimal inventory control policy and present a simple algorithm for computing the optimal policies for each period. Conditions are identified under which the optimal control policies are identical across periods. We also present comparative statics results on the optimal control policy. © 2008 Wiley Periodicals, Inc. Naval Research Logistics 2008     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

基于MADM的雷达辐射源威胁等级评定

雷达被喻为战场的千里眼,在现代战争中扮演着重要角色.随着军队信息化程度的不断提高,目标威胁程度判断也成为亟待解决的瓶颈问题.如何快速、高效和准确地判断出众多雷达的威胁程度,对于电子对抗行动乃至整个作战行动具有十分重要的意义.研究了对敌防空压制行动中,基于多属性决策(Multiple Attribute Decision Making,MADM)的雷达辐射源威胁等级评定方法,建立了数学模型,最后的实例说明了模型的实用性.