基于SIPN的PLC通用编程器

针对PLC编程器的缺陷,建立PLC通用编程器抽象模型,采用中间格式代码和配置文件链接生成可下载的PLC程序。利用信号解释Petri网对控制系统模型进行规格并将其转换成中间格式代码。抽象出不同机型PLC系统的特性信息,生成统一模式的XML类型配置文件。根据机型选择,通过PLC通用处理器提取相应配置文件,与中间格式代码链接,重组代码并生成与机型适配的可执行程序。     

基于AR规则的全路径测试数据自动生成方法

基于全路径的研究现正处于起步阶段,提出了一种全新的NRPS算法（不重复路径搜索算法）和AR规则来对程序的源文件进行静态分析,生成有向无负权图,进而得到不重复路径集;并结合粒子群优化算法最终生成最优测试用例。实验表明,该方法具有可行性。     

基于循环矢量构造的精确修复MDS编码

为解决分布式存储系统节点精确修复的问题,构造了一类最小存储再生编码,该编码属于最大距离可分(MDS)删除码. 利用循环矢量构造生成矩阵,将冗余数据与系统数据混合存储,编码过程中所有的运算都属于伽罗华2域. 采用该编码的存储系统,在发生单节点故障时,精确修复的最小带宽为理论最小值,在系统正常工作时,能为单用户提供最大理论值的可用带宽. 与最小存储再生码和最小带宽再生码相比,编码矩阵简单,解码计算量较小,能提供较高的可用带宽.     

高维度满速率的宏分集空时编码方案

为了适应宏分集传输中高天线数的要求,提出一种高维度满速率的空时编码方案. 这种高维度编码可以达到满速率传输,且其最大似然译码复杂度可控,只需对(发射天线数/2)个实数符号联合最大似然译码. 对该编码的等效信道相关矩阵进行分析后得出结论：等效信道右奇异矩阵为常数矩阵. 提出一种具有单符号线性译码复杂度的无反馈要求的预处理传输机制,使译码复杂度大大降低. 仿真结果表明,相比于最小译码复杂度编码以及其他宏分集传输方案,如循环延迟分集,高维度满速率编码方案的性能有一定提升.     

《普通混凝土长期性能和耐久性能试验方法标准》GB/T50082-2009简介

国家标准<普通混凝土长期性能和耐久性能试验方法标准)GB/T50082-2009已发布,自2010年7月1日起实施,原GBJ82-85同时废止.介绍本标准修订背景与修订概况.同时阐述本次修订中增加和完善的若干重要试验方法,包括抗冻试验法,渗水高度法,抗氯离子渗透试验方法等.     

国产轧制H型钢梁整体稳定几何控制条件

编程计算了国产轧制H型钢梁的整体稳定系数 ,得出保证其整体稳定性的受压翼缘自由长度与其宽度之比的限值 (整体稳定几何控制条件 )。结论可作为工程设计参考 ,也可作为现行国家标准《钢结构设计规范》(GB5 0 0 1 7- 2 0 0 3)的补充     

基于仿真的32位RISC微处理器的功能验证方法

提出了一种基于仿真(slmulation-hased)的32位RISC微处理器的功能验证方法，以伪随机生成和针对流水线模型生成激励向量方式相结合为主的验证环境的建立，提高了功能验证的自动化程度和效率；同时采用代码覆盖率来分析和指出功能验证中的遗漏之处，从而提高了整个验证环境的完备性．另外，通过FPGA硬件验证的结果以及32位RISC微处理器流片的测试结果，可以证明本文所提出的功能验证方法的有效性和完备性．     

一种提高数字水印鲁棒性的算法研究

鲁棒性是数字水印的重要指标之一,本文提出将分组码,卷积码编码的数字水印应用于数字版权保护中,利用编码纠正水印误码来降低检测误码率,提高水印受到攻击的鲁棒性。实验结果表明,数字水印图像对具有高斯白噪声的攻击具有很强的鲁棒性。     

Unsteady two-dimensional multiphysical simulation of a pressure tube model expanded to contact with the outer concentric tube

For the blind calculation of the International Collaborative Standard Problem (ICSP) experiment on heavy water reactor moderator subcooling requirements, the COMSOL Multiphysics code is used to simulate plastic deformation of a pressure tube (PT) as a result of the interaction of stress and temperature. It is shown that the thermal stress model of COMSOL is compatible to simulate the multiple heat transfers (including the radiation heat transfer and heat conduction) and stress strain in the simplified two-dimensional problem. The benchmark test result for radiation heat transfer is in good agreement with the analytical solution for the concentric configuration of PT and calandria tube (CT). Since the original strain model of COMSOL only considers an elastic deformation with thermal expansion coefficient, the PT/CT contact cannot be predicted in the ICSP. Therefore, the plastic deformation model by the Shewfelt and Godin, widely used in the fuel channel analysis of CANadian Deuterium Uranium (CANDU) reactor, is implemented to the strain equation of COMSOL. The heat-up of PT, the strain rate, and the contact time of the PT/CT are calculated with the boundary conditions (BCs) given for blind calculation of the ICSP experiment.

The result shows a sudden expansion of the inner concentric PT within a few milliseconds. This unsteady simulation should be helpful for the conceptual design of experiment as well as for the understanding of multiphysics inside the fuel channels of the CANDU reactor.     

无线公钥体系在无线数据业务中的应用

为了适应无线网络认证和加密的需要,对无线公钥体系进行了研究。介绍了WPKI的功能及构成,分析了其各部分在确保移动数据在无线网络上安全运行的作用,并对其各部分的运作过程进行了详细论述。介绍了WPKI技术在移动电子商务及保密信息传输中的应用现状,分析了WPKI技术未来的发展趋势,给出了WPKI技术在实现和应用面临的一些问题。