基于SPI演算的移动自主网络安全路由协议分析

安全协议是许多分布式系统安全的基础,也是MANET网络的基础,确保MANET路由协议的安全运行是极为重要的。对于MANET的特点,设计一个可靠的安全路由协议是必须的,也是一个艰巨的任务,但大多数的安全路由协议都是通过模拟结果来进行解释的,缺乏严格形式化分析来确保其安全属性。在传统的安全属性中,加密协议已经被形式化分析许多年了,然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP(secureroutingprotocol)协议模型用SPI演算做出形式化分析,在论文提出的攻击者进程模型下,可以推导出SRP产生一定的脆弱性。     

含碳耐火材料防氧化涂料的实验研究

根据武钢钢包渣线含碳耐火材料实际烘烤条件下的氧化状况,结合国内外有关防氧化涂料的研究结果,分析了钢包渣线含碳耐火材料防氧化涂料的性能要求和防氧化机理.结合国内原材料供应状况,进行了防氧化涂料的配方设计和实验研究,在实验室实验条件下取得了防氧化效率72.56 %的优良效果.     

船舶冷库单片机变频控制节能装置

根据世界能源现状,针对制冷循环的特点和船舶冷库制冷环境的特殊性,本文设计了一套通过单片机实现变频式能量调节的节能装置,并通过实验证明了将其应用于实际生产中的可行性.     

东芝两片机图像通道同检原理及调整方法

本以TA7680AP为例，介绍彩色电视机中频通道集成电路双差分同步检波和双差分同步鉴相的工作原理、作用，并详细介绍了外接的视频检波回路和AFT移相网络的调整方法和技巧。     

PMP随身看及其扩展应用

PVP介绍去年,爱好音乐的电脑迷都会被APPLE的ipod(图1)吸引,首先是为它流畅雅致的外观所打动,其次是惊叹它的海量存储,内置的1.8英寸硬盘,令其可以存放超过1000首歌曲,足以令你在漫长的旅途中从容打发时光,游弋在音乐的海洋,这是一款常常卖断货的产品,也是一款经典之作:里程碑式的的MP3机,为后人和其它品牌树立了典范。尽管它并不是第一个在MP3中装置硬盘的产品,因为此前至少"创新"已有同类,但,ipod是APPLE所为,这就是唯一的理由。     

协调EDTA洗炉工艺的改进及应用评价

锅炉受热面上存留锈垢等沉积物，将给机组的安全经济运行带来危害。因此，基建炉或运行一定时间的锅炉应进行化学清洗。介绍了协调EDTA洗炉工艺及其改进内容和应用成果。     

颗粒耐磨相对复合合金耐磨性影响的试验研究

介绍了复合合金技术在中速磨煤机中的应用，针对不同耐磨相碳化钨颗粒的配比，进行了复合合金耐磨性的研究，得出颗粒配比与耐磨性的关系曲线，研究结果对进一步提高磨煤机辊套的耐磨性，延长中速磨煤机的使用寿命具有重要意义。     

Win32下异步通信的一种实现方法

本文探讨了如何利用NetBios实现在32位操作系统下的异步通信的原理和方法，给出两种实现途径：一是调用中断例程，二是使用异步事件句柄。我们在人机接口和嵌入程序中，利用该原理和方法成功地实现了异步通信。     

用 EXCEL 编制手算结构的锅炉热力计算程序

作者在尝试利用ＥＸＣＥＬ电子表格软件来实施锅炉热力计算的计算机程序的基础上，介绍了计算机程序的结构形式和一些主要特点。并以上海锅炉厂一台“４００ｔ／ｈ再热煤粉炉”为计算实例进行了验证计算。     

对空气式静电放电的研究

为改善空气放电模拟方法,用静电放电模拟测试装置研究了IEC标准规定的空气式静电放电的放电特性。通过手动方式使充电后的放电电极快速靠近电流靶获得空气静电放电事件,放电电压具有2~20 kV较宽范围的电压电平和正负电压极性。利用Agilent数字存储示波器测量了空气静电放电放电电流的上升时间、峰值以及耦合到自制的金属半圆环上的峰-峰值电压,并记录了放电电流和耦合电压的波形。通过分析和比较测量结果研究了测量参数随放电电平的变化趋势。空气放电电流的特性与静电放电抗扰度试验标准IEC 61000-4-2对接触式放电的规定类似,耦合电压与放电电压之间没有直接的相关性。实验表明在一定电压范围、电极速度可控时可能获得空气放电的重复性。