不同润湿表面液体沸腾的分子动力学模拟

采用分子动力学方法研究纳米尺度下液氩在过热基板上的沸腾过程。通过调节固液间相互作用的方式改变壁面润湿性，模拟并分析了壁面润湿性对沸腾过程中能量传递和液体运动情况的影响。结果表明：不同润湿性表面均会发生固液分离的现象，但是固体表面附近吸附的氩原子数密度随润湿性增强而增大；润湿性较强时，液体的能量上升快，热通量高，液体内部温度梯度大，发生固液分离时间早，系统中氩的温度和能量低，上升过程中液氩密度、厚度变化小；润湿性较弱时，液体的能量上升慢，热通量小，液体内部温度梯度小，发生固液分离时间延后，系统中氩的温度、能量更高，上升过程中液氩密度、厚度变化较大。下部气体压力整体上大于上部气体压力，发生固液分离时润湿性越强的表面上液体上下压差越大，首次上升过程能达到的高度越高，所需时间越短。     

全生命周期软件过程风险管理模型研究

首先从软件过程的角度重新定义了过程风险的基本概念;然后结合CMMI和软件的生命周期分别从软件过程、生命周期和风险管理构建了三维结构的软件项目风险管理模型,提出了基于CMMI的全生命周期的过程风险策划、识别、评估和监控全过程模型;最后建立了软件研制风险管理系统,该系统在实际应用中取得了较好的效果。     

基于无线宽带的林业监控网络架构设计

针对林业监控网络信息化、智能化的发展要求以及当前已有网络应用业务单一、接入重组能力低等不足,开展了一种无线宽带网络架构设计;文章基于近些年快速发展并广泛应用的SPTN有线传输网络,以满足林业监控未来多样化的应用需求为基础,从监控网的功能应用和系统组成出发,构建由自组网和接入网组成的双层无线宽带网络架构,开展了组网规划和组网架构设计,并对无线宽带网络应用中涉及的抗干扰、安全保密、防雷等使用性问题进行了分析说明;通过对双层网络各节点的通信性能进行计算和评估,对网络方案部署应用的可行性进行了验证,满足林业监控网络大范围部署、高数据传输、快网络重组的应用需求,对后续林业监控信息化网络建设提供了有益参考。     

基于网络数字化管理的气体绝缘金属封闭开关设备出厂试验数据系统

GIS是电力系统中的重要组成设备之一,它是保护电力系统运行安全和控制电力系统电路的重要设备,在GIS设备出厂前,需要对GIS设备进行多项试验,目前出厂检验试验数据以报告或以零散试验数据保存在电脑上,原始数据检索很困难。本文通过使用计算机技术、数据库技术和网络技术,实现了GIS出厂试验的网络化和数字化管理。     

通用可组合符号化分析群组密钥协商协议

Canetti and Herzog have already proposed universally composable symbolic analysis (UCSA) to analyze mutual authentication and key exchange protocols. However, they do not analyze group key exchange protocol. Therefore, this paper explores an approach to analyze group key exchange protocols, which realize automation and guarantee the soundness of cryptography. Considered that there exist many kinds of group key exchange protocols and the participants’ number of each protocol is arbitrary. So this paper takes the case of Burmester-Desmedt (BD) protocol with three participants against passive adversary (3-BD-Passive). In a nutshell, our works lay the root for analyzing group key exchange protocols automatically without sacrificing soundness of cryptography.     

基于漏磁原理的非接触式电磁阀检测技术应用研究

电磁阀是重要的控制部件,应用于各类航天飞行器。根据电磁阀阀芯动作特性,结合目前漏磁检测的一些研究,提出了一种基于漏磁原理的非接触式电磁阀检测方法,对飞行器的电磁阀极性进行测试,并设计了电磁阀极性检测系统.在此基础上对检测系统应用进行研究,验证漏磁检测技术应用到航天器极性测试中的可行性和准确性。结果表明:基于漏磁原理的非接触式检测技术应用于电磁阀动作检测,与控制指令相比,检测结果准确可靠。     

付油计量装置在线检定

付油计量装置中的流量计检定合格,不代表付油计量装置合格,因此付油计量装置的准确与否无法确定,经常发生计量纠纷.如何评定在线付油计量装置的实际计量特性、准确度等已成为亟待解决的一个课题.[第一段]     

计算可靠且高效的群组密钥协商协议符号化分析方法

符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率.     

基于ARM的高压开关智能报警装置开发

本文开发了一种基于ARM的智能报警装置,该装置主要采集高压开关回路中的开关量报警信号,如气室压力低、电机过热等,通过信号调理和光耦隔离技术,对接入信号进行采集和处理;采用ARM系列低功耗微处理器作为主控芯片,控制就地显示灯屏声光报警,同时输出开关量信号,上送给主控室继电保护系统,供用户控制和状态采集使用,用户可及时地发现、排除故障,防止故障进一步扩大,有效降低维修成本。     

最小二乘法在工作测力仪二次曲线回归中的应用

工作测力仪包括百分表式测力仪、管形测力计和机械式拉力表，液压千斤顶在对其进行检定的过程中，只对其示值检定点进行检定。但是，在实际工作中经常会用到检定点以外的力值。然而由于这些点没有经过检定．因而在使用过程中常因该点的力值超差而对工作造成影响。因此需要对工作测力仪进行曲线拟合，目的就是通过拟合之后，使所求拟合值更接近真值。