WAP安全协议在移动终端中的研究与实现

分析WAP1.2与2 .0安全协议的差异,指出了WAP2 .0中的SSL/TLS协议具备的极大优势。在此基础上结合当前移动终端的特点,给出了一个完整的SSL/TLS客户端协议分析实现方案。     

嵌入式实时软件模型开发环境研究

为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境.其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码.通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证.     

大型变压器低压绕组直流电阻快速测量方法

介绍有铁芯的直流电路过渡过程,阐述助磁法测量直流电阻原理和剩磁对测量过程的影响。针对现有助磁法测量低压绕组直流电阻的不足,提出一种新的测量方法,即用助磁法初次测量完毕后铁芯中存在剩磁,进行第2次测量时不改变高压侧电流流向,只改变低压侧电流流向,可使铁芯剩磁得到充分利用。该方法只需2步就可完成三相绕组直流电阻测试工作,测量次数少、测量时间短,且避免了测量过程中出现的"两快一慢"现象。通过理论分析和变压器现场试验验证了该方法可行、准确,对现场实际工作具有一定意义。