基于Petri网的密码协议分析

在Federico提出的一种密码协议进程语言的基础上,建立了便于进行密码协议分析的简化Petri网模型,给出了协议满足秘密性的充要条件,并以NS公钥协议为例,用Petri网模型,结合归纳方法和串空间分析方法从密钥、新鲜数和协议主体三个方面的秘密性分析了该协议的秘密性,简化了协议秘密性的分析。     

海上风机过渡段塔筒精确安装与精准调平工艺探讨

在海上风电场风机基础施工过程中,过渡段塔筒安装及调平是重点和难点。在海上复杂、恶劣的施工条件下,要实现过渡段塔筒的精确安装与精准调平具有相当大的难度,目前国内海上风机过渡段塔筒的安装技术还未成熟。文章以上海东海风电场5 MW大容量样机为例,通过研究过渡段塔筒加工制作过程、安装工序、调平工艺以及施工过程中预防变形所采取的措施等,结合工程实际,解决了在海上进行风机过渡段塔筒精确安装与精准调平的问题。     

RFID系统安全概述

随着射频识别（Radio Frequency Identification,RFID）技术的广泛应用,它的信息安全问题被人们越来越重视.而研究安全的最佳方式就是知道如何攻击,因此如今很多黑客在安全部门和电信公司工作.本文研究了RFID安全的主要威胁.首先,明确了信息和位置隐私的重要性.其次,详细描述了RFID系统几种常见攻击手段和解决方案.最后,指出RFID今后的安全研究热点.     

多属性决策中权重确定的主客观赋权法

研究了多属性决策中属性指标权重问题的确定，提出了一种主客观赋权法，该方法是通过一个数学规划模型自动求解属性的权重，使确定的权重同时反映主观程度和客观程度．     

结合改进扩散和双边滤波的低剂量CT重建

针对低剂量计算机断层扫描(CT)重建图像时出现明显条形伪影的现象,提出一种结合非局部均值模糊扩散和扩展邻域双边滤波的中值先验(MP)重建算法。首先,使用基于非局部均值模糊扩散方法对中值先验分布的最大后验(MAP)重建算法进行改进,以减少重建图像中的噪声;然后,采用基于扩展邻域的双边滤波方法对重建图像进行处理,以保持图像的边缘和细节信息,进一步提高重建图像的信噪比。采用Shepp-Logan模型和胸腔模型来验证算法的有效性,实验结果表明,与滤波反投影(FBP)、中值根先验(MRP)、非局部均值模糊扩散的MP重建(NLMMP)算法和非局部均值双边滤波的MP重建(NLMBFMP)算法相比,所提新算法的归一化均方距离和均方绝对误差最小,且信噪比最高,分别为10.20 dB和15.51 dB。该重建算法可以在对重建图像进行降噪的同时保持了图像的边缘和细节信息,改善了低剂量CT图像质量退化的问题,获得高信噪比和高质量的重建图像。     

农机产品人性化设计的人机工程学原则及设计改良

随着全球农业经济的发展,全球农机企业激烈竞争。而在农机产品革新与高速发展的今天,农民们对农机产品也提出了更高的要求。同时农机产品的人性化理念的深入,对提高农机产品设计及加强农机企业的竞争力起着重要的作用。本文将从人机工程学的角度对农机产品的人性化设计进行重点分析和论证并提出了部分可行性设计改良建议。     

铅厂RCC重力坝时程动力分析与动力可靠度分析

根据标准反应谱生成的人工地震波,对具有复杂岩基的铅厂RCC重力坝典型坝段在设计烈度下进行时程动力分析.在时程动力分析的基础上,采用响应面法构建节点的功能函数,解决了在动力分析中弹性抗拉和抗压的功能函数不能显式表达的困难.再应用JC法得到坝体动力点可靠指标以及特征部位代表节点的抗拉、抗压可靠指标时程过程.结果表明,整个坝体的抗压可靠指标均比较高,且在整个历程中均满足规范要求;坝顶、坝址的抗拉可靠指标均满足要求;在地震发生7 s以后,坝踵抗拉可靠指标出现负值,且随着拉应力的增加将继续减小.     

基于电容器投切法的牵引供电系统谐波阻抗测试分析

针对牵引供电系统供电拓扑结构复杂、系统等效阻抗难以精确计算等特点,提出基于电容器投切法的谐波阻抗测试方法。并联电容器开关闭合的过程可以等效为一个谐波源向系统注入谐波电流,基于此建立了阻抗测试系统用于处理拓扑结构特殊的牵引供电系统,该阻抗测试系统由27.5 kV/380 V的变压器、电容器、开关和负载阻抗组成。考虑到现场测量中存在背景谐波、噪声等干扰,利用波动量法和小波分层算法对采集信号进行处理。基于Simulink仿真平台搭建牵引供电系统阻抗测量模型,仿真及误差分析结果验证了所提方法能有效地测量牵引供电系统的谐波阻抗。     

基于超声衰减的纸浆浓度测量技术的研究

采用超声衰减技术研究了稀释纸浆悬浮液中纸纤维质量浓度的测量方法,讨论了稀释纸浆悬浮液中超声的衰减机理.设计了超声衰减实验装置和电子测量系统并进行了纸浆质量浓度测量的实验.实验的超声频率范围为0.86～2.75 MHz,测量的纸浆质量浓度为0～3%.实验结果表明,稀释纸浆悬浮液中,由于单散射机制的作用,对于一个确定的超声频率,超声衰减值与纸浆质量浓度存在正比关系.     

小功率逆变电源的功率因数校正电路

提出了一种适用小功率逆变电源的新型功率因数校正电路拓扑方案,分析了其基本工作原理及参数设计要求。进行了仿真实验来验证方案的可行性和有效性。