基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁

形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于 Promela 语言,将 P ．Maggi 和 R ．Sisto 提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam 协议为例,运用 Spin 工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。     

生物转化植物纤维产酒精的研究进展

植物纤维是潜在的可再生资源，利用微生物对其进行降解、转化以实现工业化低成本生产，已成为研究的热点。从生物方法角度对植物纤维为原料产酒精的3个阶段：原料预处理、纤维素酶糖化和发酵进行全面的阐述，包括微生物及其作用机理和处理工艺等方面的内容。     

用Z—80单板机控制步进电机

步进电机在数字控制系统中作为数/模转换器应用甚广。本文将以三相步进电机为例,介绍用Z—80单板机对步进电机进行速度和位置控制的接口电路及其编程方法。利用Z—80单板机的并行输入/输出接口PIO和少量外围电路,即可实现对步进电机的控制。控制装置的电原理图如图1所示。     

丙烯酸乙酯合成反应产物的GC／MS分析

本文叙述了丙烯酸乙酯合成产物的ＧＣ／ＭＳ分析．从分析结果看出，本应在酯化反应前除去的ＣＨ３Ｃｌ３仍有较大的含量，这也许是导致丙烯酸乙酯被氯代的原因。     

芳纶帘线——轻型载重子午线轮胎理想的胎体骨架材料

采用芳纶帘线替代普通聚酯帘线进行轻型载重子午线轮胎的生产，并将两种化胎性能进行了对比。结果表明，采用芳纶帘线生产的轮胎静负荷性能、耐外性能、强度性能及高速性能等均可达到普通聚酯帘线轮胎的水,轮胎的刚性、转向能动性和驾驶性能提高，而且还可提高生产效率，同时减小了轮胎质量，节约了成本。     

多晶硅生产中氢气消耗分析及优化

在多晶硅生产过程中,氢气是最为主要的原料之一,氢气的总体消耗量与多晶硅生产成本有着紧密相连的关系.下文主要针对多晶硅生产过程中氢气消耗点进行全方位多层次的分析、探讨,进而提出诸多可行的优化措施,保证能够有效降低氢气在多晶硅生产中的消耗量,最终确保多晶硅生产成本有所降低.     

“互联网＋”新形势下医疗教育类APP应用于诊断学教学的探索与分析

从国家战略层面出发,李克强总理提出“互联网＋”概念,教育领域应当大力推行各类互联网学习方式。目前手机APP在校园生活中的使用频率越来越高,日益成为高校学生生活的必需品之一。文章以120名临床专业学生为样本,将医疗教育类APP应用于诊断学教学过程中。实验证明在教学过程中,有目的地选择使用手机医疗教育类APP,对学生诊断学学习有明显帮助。     

Activated flux tungsten inert gas welding of 8 mm-thick AISI 304 austenitic stainless steel

AISI 304 stainless steel plates were welded with activated flux tungsten inert gas(A-TIG) method by utilizing self-developed activated flux. It is indicated from the experimental results that for 8 mm-thick AISI 304 stainless steel plate, weld joint of full penetration and one-side welding with good weld appearance can be obtained in a single pass without groove preparation by utilizing A-TIG welding. Moreover, activated flux powders do not cause significant effect on the microstructure of TIG weld and the mechanical properties of A-TIG weld joints are also superior to those of C-TIG(conventional TIG) welding.     

海流能水轮机模拟研究

为了实现海流能发电的实际工况模拟,分析了直流电动机与水轮机的运行机理,探讨了二者的功率及转矩特性,设计了控制直流电机的电流转速双闭环控制策略,并利用Matlab/Simulink搭建了水轮机模拟仿真系统,完成了固定流速、缓慢增速和随机流速3种典型工况下的系统仿真实验。实验结果表明,电流转速双闭环的直流电动机控制系统可准确模拟水轮机的主轴转矩,适用于实验室条件下对海流能发电机的测试。     

基于IGBT全桥式逆变焊机主电路的设计与仿真

设计了一种以FB-ZVS-PWM的IGBT全桥逆变的工作方式为逆变电源主电路拓扑结构的逆变焊机主电路,其结构由输入整流滤波电路、逆变器和输出整流电路3部分构成。分析了主电路的工作原理,设置了元器件的参数,并在此基础之上进行了MATLAB仿真实验。在理论基础之上,设计了原型机,并进行实验。仿真实验结果和原型机实验结果均证明了所提出的电路设计的合理性和可行性。