Web服务降级替换的一致性问题及量化研究

在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。     

RFID系统安全分析

无线射频识别（RFID）技术与条形码技术等识别技术相比,具有防水防磁、读取距离远、存储数据多、数据可加密等优点,目前已做广泛应用于交通、物流、医疗、食品安全等领域。但作为物联网重要的感知设备因其缺乏有效的安全机制影响到物联网的应用与推广。本文从物理安全、通信安全和信息安全三个角度分析RFID系统安全问题及其解决方法。     

基于TRIZ理论的叶片仿生设计与有限元力学分析

改善风力机叶片气动性能,提高叶片刚度、稳定性,已成为大型风力机叶片设计迫切需要解决的问题。生物体独特的外部形状、功能、结构、材料的完美统一,高超的环境适应能力,也为风力机仿生设计提供了不竭灵感。仿生过程是一个分析综合创新的过程,运用TRIZ产品进化理论对风力机叶片技术所处发展阶段进行研究,有助于更清楚地了解风力机叶片的发展趋势和创新的必要性,使研究工作更具系统性和规律性。应用TRIZ产品进化理论,对风力机叶片技术的相关专利数据进行统计并绘制曲线图,通过与标准曲线的区段比较找出风力机叶片所处的发展阶段和接下来的发展趋势与对策。将鱼鳍作为仿生对象进行建模与力学分析,得到仿生模型的力学指标。     

基于Packet Tracer环境下的网络课程考核平台构建

借助仿真软件进行教学是目前许多院校在讲授网络课程时普遍采用的一种教学方式,Packet Tracer就是众多仿真软件中的一种,因其图符化的操作界面及配置上的高仿真性被普遍采用。然而从整个教育环节来看,除了常规的教师的教平台、学生的学平台,还需要有对于知识掌握程度进行测试的考核平台,而PacketTracer在此方面则存在一些不足。本文在探讨网络课程考核平台功能需求的基础上,提出如何利用其已有功能进行二次开发的系统架构方案以及该考核平台实现的多项核心技术。     

距离法求语言特征主成分

语言特征成分的数量决定了成分对语言特征的影响度.作者把影响度视作距离,建立了一个数学模型,通过距离判断来求取语言特征主成分.     

多电子元件及芯片组布局的热分析

针对电子线路板上多电子元件及芯片组的不同布局所产生的热场分布问题,分析了分布元件的热产生、热传导、对流和辐射过程,采用有限元理论分析方法和ANSYS软件,对线路板上多芯片组件的热场分布进行仿真.结果表明:电子元件的不同布局将导致线路板热点的温度存在差别,在有限空间内合理布置元件可明显降低设备的热失效率.     

发电机轴承中白色组织剥落现象的探讨

利用宏观观察、显微分析以及SEM方法,分析了发电机轴承白色组织剥落的特征,采用在RX吸热式气氛中淬火和真空炉中淬火等不同热处理方式进行了试验验证,分析和推测了白色组织剥落机理,并提出了遏制白色组织剥落的措施。     

基于PLC的火电厂调速液力耦合系统设计

针对火电厂的调速型液力耦合器,介绍了基于西门子S7-200PLC的控制系统,包括测控对象分析、系统硬件组成和控制程序设计等。运用PID算法调节水泵转速,控制系统提高了整机运行的可靠性和经济性。     

Python语言整数运算实现机制分析与性能评估

Puthon是最流行的脚本语言之一,但性能较慢.以整数运算为例,通过实验对比评估了Python与C语言性能差异,从虚拟机源代码层面分析了性能差异产生的原因.在性能优化方面,归纳了几种常用的方法,并基于其中一种进行了对比测试,取得了较好效果.     

动态矩阵控制在MSP430温控系统中的实现

把近年来工业中广泛应用的动态矩阵控制方法应用于电加热炉为对象的单片机温度控制系统中,该温度控制系统采用MSP430作为CPU,使用DMC作为控制策略完成温度控制,其控制效果与常规的数字PID算法进行比较。结果表明：使用DMC算法的系统响应速度和动态性能明显优于常规数字PID。其控温精度高,鲁棒性强,因此进一步推广该算法...