嵌入式操作系统SolCS中优先级反转问题研究

研发一个嵌入式实时操作系统时需要解决很多任务与共享资源之间的关系问题.介绍了优先级反转问题的理论模型,详细分析和比较了解决优先级反转问题的常规方案--优先级继承协议和优先级天花板协议.重点针对一个自主研发的嵌入式实时操作系统SolCS,提出了一种新的优先级反转问题解决方案并应用于其中,获得一个强实时能力的嵌入式操作系统.     

SSL协议分析及实现

目的:该文主要讨论SSL协议的组成和工作过程,应用SSL实现Internet上的安全。方法:先了解SSL协议的体系结构,并通过SSL通信过程和握手协议的工作过程完全了解SSL协议的工作过程。结果SSL协议是在TCP/IP套接层的安全协议,SSL协议很好的解决了Internet上信息的安全传输,弥补了TCP/IP协议的不足,使得我们在网络上传输数据得到安全保障。结论:该文通过对SSL协议的分析及实现过程的讨论,使得我们对SSL实现Internet上的安全有一个全面的了解,并提出其不足之处并加以完善。     

自动抄表系统中终端无线通信系统设计

通过对远程自动抄表系统的应用环境、系统功能的分析,设计了用于远程自动抄表系统的终端无线网络拓扑结构以及通信规约。根据此规约,并基于TI公司的MSP430系列单片机和短距离射频芯片CC1100,实现了远程自动抄表系统终端无线通信路由协议以及维护软件模块。此套协议具有网络拓扑清晰、易安装维护、方便故障排查等特点。     

SafetyManager系列PLC在西气东输二线输气管道中的应用

介绍了西气东输二线输气管道中使用的SafetyManager系列ESD系统应用的情况,详述了SafetyManager系列ESD系统在西气东输二线管道系统的运行环境、支持的通信协议、系统通讯连接的方法,列出了西气东输二线管道站场的ESD系统相关功能和紧急切断逻辑,分析了SafetyManager系列ESD系统各方面的优点与不足,给出了SafetyManager系列ESD系统在西气东输运行维护中的注意事项和易发故障等,提高了西气东输的自动化控制技术水平和管理水平.     

公平的非否认密码协议及其形式分析与应用

在安全数据通信中,数据发送和接收的非否认性是一个极为重要的问题.近年来,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而,可信第三方的可靠性和安全性是系统性能的瓶颈.提出了一个公平的双方不可否认的密码协议——NCP(non-repudiation cryptographic protocol).这个协议解决了可信第三方的性能瓶颈问题,是一个更为有效的、安全的密码协议.用信任逻辑对其进行了形式分析,最后探讨了它在电子邮件中的应用.     

基于信息素扩散模型蚁群算法的无线传感网路由研究

为了快速适应无线传感器网络拓扑的动态变化和节点能量的有限性,本文采用信息素扩散模型,提出一种基于蚁群算法的路由协议.由实际和虚拟两种信息素共同指引路由包和数据包进行偏向性路径搜索.进一步,根据数据包传输情况,对信息素采取奖惩机制,从而为路由优化提供支持.基于TOSSIM平台的仿真表明,该协议在保证数据可靠传输的同时,有...     

A functional programming approach to the specification and verification of concurrent systems

Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language. Thus the correctness of concurrent systems can be reduced to the correctness of functional programs. In this paper such correctness is proved formally in the-calculus extended with recursion equations for functional programs. The-calculus is chosen since it allows the definition of properties by least fixed points (induction) as well as by greatest fixed points (coinduction), and since greatest fixed points are useful for formalising properties, such as fairness, of infinitely proceeding programs. Moreover, non-deterministic processes are represented as incompletely specified deterministic processes, that is, as properties of stream transformers. This method is illustrated by proving the correctness of the alternating bit protocol.     

网络数据包捕获工具的开发与实现

捕获网络数据包可以用来检测并分析网络面临的安全性威胁,网络数据包的捕获广泛应用于IP网络性能测量、流量分析、用户计费、网络入侵检测、网络协议分析及口令拦截等多种场合.介绍了以太网数据包的捕获机制,并在此基础上采用Linux的Lipcap和Socket两种方法,讨论了网络数据包捕获工具的开发过程,同时给出TCP/IP首部的提取方法,以便对捕获的数据作进一步的分析与处理.     

动态非线性智能体网络的渐近一致协议

提出了由一般非线性方程描述的多个智能体组成的网络达成渐近一致的概念,以及多动态智能体网络的渐近一致协议问题,介绍了表征网络信息流的图论知识,讨论了在一定的网络信息流拓扑结构情况下,使用非线性控制理论得出的多动态智能体网络最终达成渐近一致的协议的形式、计算方法及其存在条件。运用该一致协议对多无人机系统进行编队控制,其仿真结果表明了该一致协议的应用领域和有效性。     

基于CAN总线的电动护理床控制系统研究

针对目前用于残疾人与老年人护理的电动护理床扩展性差的现状,采用功能强大的微处理器AT90CAN128,提出基于CAN总线的电动护理床控制系统的设计方案,具有很强的扩展性。重点从护理床控制节点设计方面介绍了系统的运作机理,硬件方面给出了原理框图,并对需要注意的问题给予说明;软件方面给出了基本流程图,详细介绍了自定的CAN总线协议,记录了实验的结论,并对软件开发中的关键问题作了具体的探讨。