AltaRica 3.0模型到Promela模型转换与验证方法研究

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。     

物联网技术在工业自动化中的应用与研究

物联网技术在现今实际应用中是极为普遍的,所谓物联网技术就是以互联网为载体来进行物与物之间信息交换的过程,以及通过互联网将任何物体与物体联系在一起的一种网络,也就是说,物联网实际上就是物物相连的互联网.     

基于传感器技术的工业设备诊断系统的设计

随着物联网技术的不断发展,传感器技术得到了不断的完善,已经开始逐步运用到社会的各个方面,但是在工业设备操作现场方面的应用还不算完善。基于对传感器技术的研究,本文设计一种工业设备诊断系统。该系统通过传感器技术可以实时对工业现场设备参数进行检测和查询。由无线传感器网络将采集的信息传递到数据库服务器,最后由上位机进行相应的诊断处理。这样可以减少设备故障带来的危害和损失。     

μC/OS-II+LPC213x嵌入式开发平台的中断过程分析与优化方法

从ARM7中断处理机制入手,分析了ARM7+μC/OS-Ⅱ平台下的中断处理过程,提出了一套基于中断优先级的ARM中断优化方法。试验证明,此方法在不更改操作系统代码的情况下可以实现中断嵌套功能,有效提高了系统的实时性能,在工程应用中具有一定的实用价值。     

一种家庭异构网络系统终端设计

针对目前家庭通信网络日益复杂化和多样化问题,提出了一种新型的基于Wire-lessHART和PLC的无线自组织网络系统智能终端结构。通过兼容电力线通信、WirelessHART协议以及以太网的方法,实现了异构型网络通信、智能化控制家电等功能。     

Comparison of multiple linear regression and artificial neural network in developing the objective functions of the orthopaedic screws

Optimizing the orthopaedic screws can greatly improve their biomechanical performances. However, a methodical design optimization approach requires a long time to search the best design. Thus, the surrogate objective functions of the orthopaedic screws should be accurately developed. To our knowledge, there is no study to evaluate the strengths and limitations of the surrogate methods in developing the objective functions of the orthopaedic screws. Three-dimensional finite element models for both the tibial locking screws and the spinal pedicle screws were constructed and analyzed. Then, the learning data were prepared according to the arrangement of the Taguchi orthogonal array, and the verification data were selected with use of a randomized selection. Finally, the surrogate objective functions were developed by using either the multiple linear regression or the artificial neural network. The applicability and accuracy of those surrogate methods were evaluated and discussed. The multiple linear regression method could successfully construct the objective function of the tibial locking screws, but it failed to develop the objective function of the spinal pedicle screws. The artificial neural network method showed a greater capacity of prediction in developing the objective functions for the tibial locking screws and the spinal pedicle screws than the multiple linear regression method. The artificial neural network method may be a useful option for developing the objective functions of the orthopaedic screws with a greater structural complexity. The surrogate objective functions of the orthopaedic screws could effectively decrease the time and effort required for the design optimization process.     

对pSFLASH扰动公钥密码的一个实际攻击

通过对SFLASH的中心映射进行扰动,最近Wang等人提出了一个新的多变量公钥系统pSFLASH.pSFLASH的设计者认为,扰动后的中心映射可以破坏SFLASH公钥潜在的数学结构,从而抵抗针对SFLASH的差分代数攻击[2-3].然而对于以(T-1,U-1,β,γ)为私钥的任一pSFLASH实例,一定存在一个可逆仿射...     

基于ZigBee技术的远端通信站监控系统及其实现

提出了一种基于ZigBee技术的远端通信站环境监控系统设计方案。包括系统结构、Zigbee通信接口、单片微处理器、温度采集等模块的软硬件设计。此方案设计的监测系统已在某远端无人小型频谱监测站使用。     

三对角对称矩阵逆特征问题

In this paper, four inverse eigenproblems with giventhree eigenvalues and corresponding eigenvectors are considered, somenecessary and sufficient conditions under which there exists a uniquesolution for these problems are given. Furthermore some numerical algorithmsand some numerical experiments are given.     

基于Web的企业信息管理系统安全方案

分析了传统企业信息管理系统存在的安全问题,应用SSL协议、网络型人侵检测系统、虚拟专用网等技术,提出了一种新的企业信息管理系统安全设计方案。理论分析和实验结果表明,新方案是保证企业信息管理系统安全运行的一种有效方案。