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

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

高频链路自动化（下）

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

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

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

IP安全协议

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

用于减少远程Cache访问延迟的最后一次写访问预测方法

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

工伤赔偿金额相差5万元 法院认定“私了”协议无效

民兵周强2004年5月到上海打工,在一家纸品包装企业做质检工作。不想在工作过程中受伤。经劳动部门认定为工伤。但工伤鉴定的结果还没有出来,单位要求和周强和解,并在一份协议中要求周强先去撤回工伤申请,然后再一次性给予他补偿金10．5万元．并且是分批支付。周强考虑再三,最后还是在这份协议上签了名。后来,周强的伤残鉴定结果出来了,为工伤5级,按照上海市的有关赔偿标准,周强可以得到15．8万元的伤残赔偿金。周强感觉自己受了单位的欺骗,遂向劳动仲裁部门提起了仲裁。     

基于PCI总线的多路数据总线接口设计与实现

提出了一种主处理机可以直接控制的1553B总线接口模块的设计与实现方案,并简要介绍了其硬件结构、工作过程和软件开发.利用PCI协议芯片实现PCI局部总线与军用1553B总线的桥接,采用WDM技术编写驱动程序.所设计的总线接口模块符合MIL-STD-1553B总线标准,具有结构简单、成本低廉、操作方便等特点,可用于仿真,开发1553B总线产品.     

收养女应由谁抚养？

[案例]原告刘甲与被告刘乙(7岁)法定代理人王某于1996年4月10日收养刘乙,未与刘乙生父母办理法定收养手续。1999年3月12日,刘甲与王某协议离婚,刘乙由王某抚养,刘甲负担抚养费。2005年5月,刘甲以经济困难为由,诉至法院,要求解除与刘乙的收养关系。王某不同意解除收养关系。那么     

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

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

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

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