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

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

高频链路自动化（下）

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

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

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

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

美印核协议风波的深层原因

美国的全球战略与印度的大国梦想从根本上是不相容的;美国要求印度将核合作与停止核试验挂钩根本不可能;印度国内强烈的反对呼声提醒美国:在核不扩散问题上的实用主义和双重标准根本行不通。     

美国要为印度操练舰载机飞行员

2005年6月28日,美国国防部长拉姆斯菲尔德与印度国防部长普拉纳布·穆克杰在华盛顿签署两国间为期10年的军事合作协议,协议要求加强美印在武器研制、导弹防御和人员交流方面的合作。印度媒体披露,在协议中,美方承诺为印方培训航母舰载机飞行员,印度海军正希望让下一代航母舰载机更多参与大兵团作战,如果得到经验丰富的美国海军支持,可谓是如虎添翼。培训以高级攻击为主据印度《Bharat R ak-shak》传媒集团称,印度国防部会同海军已草拟了一个初步培训方案。印度将先通过印美双方在“9.11”反恐战争中建立的“情报交换走廊”(Infor-m ation …     

基于RTP MPEG-4视频流传输的研究

视频传输是当前国内外研究的重要课题,尤其就对传输过程中Qos的控制,在当前网络质量不高的情况下进行视频传输具有重要的作用.研究了RTP、RTCP等多媒体实时传输技术的原理,具体阐述和讨论了RTP的实时传输MPEG-4技术以及RTCP的传输控制技术,探讨了RTP/RTCP在战术互联网中MPEG-4视频实时传输中的实现.     

美海军将组建世界第一支水下无人舰队

在美俄首脑会议举行期间,美国国务卿赖斯与俄罗斯国防部长伊万诺夫2月24日在斯洛伐克首都布拉迪斯拉发签署了《关于加强控制便携式防空武器系统合作协议》,以防止肩扛式导弹落入怖分子或犯罪分子手中,进而威胁国际航空安全。     

不签收民事调解书也能申请强制执行

2004年8月,何某与李某因运费发生纠纷诉至法院,经法院调解,双方达成调解协议：1．被告李某在2004年底前付清拖欠的运费2．6万元;2．诉讼费由被告李某承担。李某在调解协议上签字后离开法院。当法院向李某传送民事调解书时,李某屡次不告知法院其准确的送达地址,造成民事调解书未向其送达,到了给付时间也不履行民事调解书应给付的义务。原告何某遂向法院申请强制执行,     

一类新型碳纳米复合材料：Sc2@C84@SWCNTs的构筑及结构确定

Peapods是指将富勒烯(Fullerene)或内嵌富勒烯(Endohedral Fullerene)填充进单壁碳纳米管(single Wall Nanotube,SWNT)而成的一类新型碳材料。对Peapods的制备、结构、性质及其应用做了较详细的介绍与评述,并制备了Sc2@C84@SWCNTs的豆荚结构。