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协议以及以太网的方法,实现了异构型网络通信、智能化控制家电等功能。     

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

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

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

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.     

计算机科学与技术产学研结合应用型本科人才培养模式的探索与实践

面对计算机及信息技术的飞速发展,如何转变传统的教育模式和教学方法,以适应社会不断增长的需求,是应用型本科高校普遍关心的问题。本文从产学研结合的动因、产学研结合人才培养模式、产学研合作的具体形式等方面进行了探索和实践,取得了较好的效果。     

利用SHELL编程实现UNIX系统下气象资料传输与处理

本文对UNIX环境下SHELL脚本语言进行了简要介绍,并举例说明了如何利用SHELL脚本语言实现UNIX/Linux系统下气象资料传输与处理。     

Emotional agent based on rough set

To improve the ability of agent for handling emotions, a new architecture for emotion agent is presented, based on the traditional BDI agent model and the rough set theory. By a new emotional reasoning algorithm based on rough set, the architecture performs emotion reasoning and implements the emotion treatment. An emotional agent grid based on this architecture has been realized, experiment results show that it is efficient to transact simple emotions by emotional agents.