一种基于环境约束的异常程序行为模型

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。     

双以太环形网络技术研究

本文系统地阐述了双以太环形网络技术,对其核心进行了分析,可作为设备接入双以太环形网络的应用参考.     

一种改进的数据求精证明规则

提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。     

基于MVC模式的医疗设备信息管理系统的设计与开发

医疗设备信息化管理是提升医院管理水平的重要手段。随着医疗设备的增多,设备管理信息化成为医院信息化的一个新环节。为提高医疗设备管理的现代化、科学化和规范化水平,提出了医疗设备信息管理系统的设计和开发方案.较为详细地分析了基于MVC模式的医疗设备信息管理系统的设计意义、系统构架、系统分析、功能模块。在一年的应用当中,系统提供了准确、及时的设备管理信息,提高了医院医疗设备的管理水平。     

Ad hoc网络PI队列管理鲁棒性分析

鲁棒性是Adhoc网络主动队列管理PI算法的基础.目前的AQM的PI设计、优化大多基于经验和试凑,缺乏鲁棒性的理论分析.针对Adhoc网络的多跳时滞特点,根据鲁棒控制理论,分析了PI算法在时延无线网络中的鲁棒性,推导了PI控制器确定时链路容量、TCP连接数量和时延之间的关系,给出了PI控制参数确定下时延RO的变化范围.通过Matlab和NS2仿真,验证了不确定参数鲁棒稳定的范围.     

RSA公钥密码体制中安全大素数的生成

RSA算法是基于数论的公钥密码体制,是公钥密码体制中最优秀的加密算法。由于RSA算法中大素数的生成对RSA加密算法的安全性有直接的影响,其寻找大素数的实现难度大,运算时间长。文中在研究了密钥生成的一般算法的基础上．即确定性素数产生和概率性素数产生方法．给出了利用Montgomery算法优化的Miller-Rabin算法和Pocldington定理算法实现．构造了大素数的生成算法,以提高RSA算法的安全性和运行速度。     

Na3Zr2Si2PO12固态电解质研究进展

钠离子电池具有资源丰富、能量密度高等优点,使用固态电解质的固态钠电池兼具高安全性成为研究热点。固态电解质是超离子导体,是固态电池关键材料。Na₃Zr₂Si₂PO₁₂是钠超离子导体（NASICON）中最具代表性的固态电解质材料。总结了Na₃Zr₂Si₂PO₁₂材料的结构、离子传输机制及其相互关系,旨在从机理上理解Na₃Zr₂Si₂PO₁₂固态电解质中钠离子传输性能;总结了主要制备方法,指出了不同方法的优缺点;在提升离子电导率方面,对合成工艺、掺杂、界面因素进行了总结,力求归纳和探索合成高性能钠离子固态电解质的途径。     

基于可变频变压器的风电机组功率解耦控制

在海上风电正朝着单机容量大型化方向发展,传统变流器难以满足大容量功率传输的背景下,针对传统基于背靠背变流器的风电机组,提出了基于可变频变压器的风电机组拓扑及其功率解耦控制策略。发电机组的控制策略主要包括电压频率闭环、有功功率闭环及无功功率闭环。通过频率环与有功功率环并联来调节可变频变压器中直流电机的电枢电压,并通过无功功率环来调节串联变压器的输出电压幅值,从而使发电机组并网点的有功无功解耦控制。仿真结果表明提出的发电机组拓扑所需的电力电子器件功率等级小,发电机组并网电流各次谐波含量低。     

基于LabVIEW实现布氏硬度压痕的自动测量

在力学计量领域,布氏硬度对于材料性能的确定具有很重要的意义。论述了布氏硬度压痕自动测量方法,通过LabVIEW配合硬件实现了布氏硬度压痕的自动测量,该测量方法的实现为本实验室布氏硬度压痕自动测量提供了技术保障。     

一种基于逻辑框架的数字版权管理机制和实现

权利描述语言用来构造许可证,描述数字内容的使用权利.鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题,提出一种基于逻辑框架的数字版权管理语言LucScript.对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明,描述了该语言的实现方法,并对该语言的应用和使用控制过程进行了示例.该语言基于统一的具有单一稳态结构的Active-U-Datalog语义,具有比现存权限描述语言更强的表达力和灵活性.LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力.