热处理非晶态Ni-P合金镀层的晶化过程

运用电沉积的方法在45钢基体上制备Ni-P合金镀层,使用差示扫描量热法(DSC)和热重法(TG)分析非晶态NiP合金镀层在20℃/min加热速率下的热效应和质量变化。在300℃和400℃分别对镀层进行0,15,30,45,60,75min的热处理,采用扫描电镜(SEM)、能谱仪(EDS)、X射线衍射仪(XRD)、显微硬度计对镀层进行表征。结果表明:Ni-P合金镀层在加热过程中的放热峰出现在284.8℃处,镀层的质量和元素组成稳定;晶化过程经历了非晶态、亚稳态NiP和Ni5P2、稳定态Ni3P的转变;经过热处理后,镀层的显微硬度显著提高,最大值达1036.56HV,约为镀态的2倍;热处理态镀层的耐NaCl溶液腐蚀性能比镀态有所下降,但两者都比45钢基体好。     

基于自证明公钥和零知识证明的身份认证协议

在分析几种典型零知识身份认证协议的基础上,利用Girault自证明公钥原理、结合椭圆曲线公钥密码的优点提出一种基于自证明公钥和零知识证明的身份认证协议,并为协议增加了密钥协商功能。分析表明该方案具有较高的安全性,与同类方案相比,该方案对存储空间、网络通信量和计算开销的要求较低,有较高的效率。     

贝叶斯目标跟踪方法的研究

针对贝叶斯滤波过程中存在的目标跟踪问题,提出几种典型的贝叶斯滤波方法,如EKF,UKF,PF和UPF等,基于这些方法所构建的框架,对它们进行性能测试和比较,并在非线性环境下,讨论这些方法的特点,仿真实验结果表明,在非线性非高斯环境下,UPF方法的性能是最优的。     

航空全双工交换式以太网探究

针对传统航空总线不能满足下一代航空电子系统对高速和实时性数据通信的要求,提出航空全双工交换式以太网（AFDX）。描述AFDX通信网络的特点、结构、通信机制和协议栈,并给出AFDX终端系统和网络交换机的设计思路,阐明硬件结构和软件流程,对AFDX通信网络的研究具有一定的参考和推广价值。     

公钥加密算法Rabin-OAEP安全性证明

针对Rabin-OAEP算法在自适应选择密文攻击下是否安全,采用Adversary和Simulator进行的合理交互,论证“分解大整数N=pq是困难的（其中P,q为2个大素数）,则Rabin-OAEP算法在自适应选择密文攻击下是安全的”的逆否命题,结果证明了Rabin—OAEP算法的安全性。     

分布式故障诊断在SNMP中的模拟与应用

分析传统网络管理集中式及分层次体系结构的缺陷,提出分布式网络管理的体系结构,把用于大规模集成电路故障诊断的系统级故障诊断算法ADSD应用到计算机网络故障诊断中。为了验证计算机网络分布式故障诊断的可行性,在NS中嵌入ADSD算法,模拟整个算法的执行,对算法的执行效率如诊断延时、报文流量进行分析。在此基础上对原算法进行改进,以减小算法对正常网络应用的影响。通过对SNMP的模拟实验,验证在网络管理中引入分布式故障诊断的可行性。     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

基于Hibernate框架的数据持久化应用开发

随着J2EE开发平台的流行,应用程序一般都需要解决业务对象的持久化.本文通过对南昌市房改信息管理系统数据持久层设计的阐述,探讨了利用Hibernate技术实现数据持久化访问的优缺点,并总结了一些开发方面的建议.     

14位模数转换器MAX 1324的误差分析

在数据采集系统中,模数转换器(ADC)的误差对系统性能的影响是至关重要的.本文主要以MAX1324为例,从直流特性、误差源、温度效应及交流特性等方面,详细讨论了ADC误差对系统性能的影响,并提出了部分校正措施.