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

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

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

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

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

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

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

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

基于Wiener过程退化模型的高压阀寿命预测

高压阀泄漏量的退化机理复杂,退化具有动态、周期性、非线性等特征,对高可靠、长寿命的高压阀准确进行寿命预测是一个难点。本研究开展高压阀的模拟试验,获取高压阀泄漏量退化过程的数据,基于Wiener过程对高压阀建立寿命预测模型,根据可靠性函数和剩余寿命的概率密度函数对高压阀的剩余寿命进行评估。结果表明基于Wiener过程的泄漏量的退化模型对高压阀寿命预测与实际试验测量的寿命值的误差均在10%以内。与ARIMA模型预测的高压阀寿命对比,基于Wiener过程的泄漏量的退化模型对高压阀的寿命预测更稳定、误差更小,证明了Wiener过程退化模型在预测高压阀寿命工作中的有效性和准确性。     

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

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协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率.     

付油计量装置在线检定

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

JOUX三方密钥协商协议的形式化验证方法研究

Security analysis of cryptographic protocols has been widely studied for many years. As far as we know, we have not found any methods to effectively analyze group key exchange protocols for the three parties yet, which did not sacrifice the soundness of cryptography. Recently, Canetti and Herzog have proposed Universally Composable Symbolic Analysis (UCSA) of two-party mutual authentication and key exchange protocol which is based on the symmetric encryption schemes. This scheme can analyze the protocols automatically and guarantee the soundness of cryptography. Therefore, we discuss group key exchange protocol which is based on Joux Tripartite Diffie-Hellman (JTDH) using UCSA. Our contribution is analyzing group key exchange protocol effectively without damaging the soundness of cryptography.