嵌入式LwIP协议栈内存泄露问题研究

为研究复杂软件系统中的内存泄露问题,首先从嵌入式协议栈LwIP使用过程中的一种网络传输性能下降现象出发,基于协议栈控制块内存管理参数,确定了协议栈内存泄露是导致设备长期运行出现该现象的直接原因;然后,结合协议栈源码详细分析了内存泄露的原因和机理,提供了一种解决此类问题的方法,并从编程接口的角度给出了避免出现内存泄露问题的使用原则,对LwIP协议栈的正确使用具有一定的指导意义。     

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

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

深层次贯彻落实科学发展观应把握的问题

深层次贯彻落实科学发展观,应坚持思想引领、以人为本、统筹兼顾、安全和谐的原则,在更新发展理念、明晰发展思路、聚焦发展动力、提高官兵能力素质、促进全面协调可持续发展和健康发展上下功夫,见成效。     

略论安全军事物流

文章分析了安全军事物流产生的背景和重视军事物流安全的意义,探讨了安全军事物流的内涵及其理论与技术基础。     

生化恐怖威胁与防化科研面临的挑战

继东京地铁沙林事件以后,美国炭疽事件又一次将生化恐怖威胁这一不容忽视的问题摆在世界各国面前,试从生化恐怖活动的历史情况分析生化恐怖活动的特点,并讨论在潜在的生化恐怖威胁面前,防化科研面临哪些挑战,有哪些研究领域可以深入和拓展。     

汽车轮胎的正确使用

汽车轮胎如同脚上的鞋子,它既是车辆使用过程巾的大件消耗品,又是涉及行车安全的主要部件。鞋子如有不适．轻则磨脚起泡,重则崴脚摔倒。而汽车轮胎一旦磨损爆裂而引发车祸,后果则是不堪设想。从车辆使用费用看,轮胎消费已占车辆磨损费的四分之一。     

消毒副产物与饮用水安全

论述了几种消毒副产物的生成途径,其中重点介绍了目前用于控制饮用水消毒副产物的方法与各自的特点,指出了今后在这一领域的发展方向,并结合国内外饮用水处理的现状,对如何保障饮用水安全提出了合理化的建议。     

高频链路自动化（下）

ALE是HF通信的重要环节、网络化的基础。本文分别介绍2G－ALE、AQC－ALE和3G－ALE的链路建立协议、信息协议、信号结构、调制解调波形、ALE控制与管理功能、探测与信道选择。经分析比较可察觉HF链路的建立自动化程度越来越高。     

IP安全协议

本文介绍了IP安全协议,描述了加密机制原理和IPSP密封保密有效负载格式。     

着眼全局 筹谋未来 精心编制好国防科技工业中长期科技发展规划

最近,国防科工委召开了国防科技工业中长期科技发展规划领导小组第二次(扩大)会议,会议总结了国防科技工业中长期科技发展规划工作开展两个月以来的情况,对科技发展规划各专题组提出的重大科技工程设想进行了讨论和审议,进一步明确了制定规划的工作思路、目标和要求。会议开得很成功,为下一步的工作指明了方向。