多处理机系统的高效实时容错调度算法

在容错调度算法副版本后调度算法的基础上,提出一种高效实时容错调度算法。对于具有容错需求的实时任务而言,由实进容错调度算法所产生的调度可保证在多处理机实时系统中一个处理机失效时,实时任务仍然可在截止时限内完成。在ＥＢＫＣＬ算法中,如何两个实时任务的基版本分配在不同的处理机Ｐｉ和Ｐｊ上,且这两个实时任务的副版本被调度到同一个处理机Ｐ’上,则两个副版本之间允许有时间上的重叠。     

分布式实时消息通信的设计与实现

讨论了ＵＮＩＸ原有的消息队列机制基础上设计和实现分布式实时消息通信机制的方法。该机制提供透明的消息通信接口,支持带时间期限约束的实时消息请求。用户在系统调用的参数中可以给定消息请求的时间期限,对于多个远程消息请求,系统能按紧迫程度排队,以保证实时性。系统还可以定时检测消息请求的期限,对能否在期限内完成进行预测并反馈给相应进程。     

移动卫星通信信令系统的综合研究及优化设计

研究了ＩｎｍａｒｓａｔＭ、Ｍ４、Ｃ２、Ｃ３移动卫星通信系统及其信令结构,按照系统定义描述,归纳了系统的所有事件、状态、行为,并按照状态机模型实现信令处理流程,改变了常规的流程图算法设计,使得所设计系统具有更易扩充、修改维护和更具有强壮性．由于这四个系统所包含的模块、处理方法等具有很大的相似性,都可以按照状态机模型运行,因此提出将各种不同的系统综合成一个统一系统的设想,按照不同系统的相似模块进行合并统一,最后以实时多任务操作系统进行设计．实际测试表明,这种设计方法使软件结构规范统一,系统扩充修改方便,系统分析员和编程员可以分开,系统维护容易,因此大大减少了整个系统的软件设计费用,具有很大的灵活性和经济效益．     

实时应用的可预测性研究和分析

阐述了实时应用的可预测性概念,以及实时应用的静态特性和动态特性,并从静态可预测性和动态可预测性两个方面分析支持可预测性的主要策略．     

基于实时推理的工业聚酯粘度智能控制系统

针对某工业聚酯粘度控制问题,研究了建立基于专家知识和实时推理的专家智能控制系统,它能有效地对 粘度进行识别及控制,现场的在线运行结果令人满意。     

配电室计算机实时监测系统

介绍了一种配电室计算机监测系统.该系统采用单片机系统构成用户终端,负责对某个配电室的电压、电流、有功、无功等电参量进行数据采集.处理结果可在本地显示,也可通过RS-232 串行口定时将所测的电参量传输到上位机,供管理者了解各配电室的运行状况,这种分布式结构的实时监测系统允许用户根据实际发展需要分布投资实施.系统的软件开发采用了结构化程序设计方法,便于系统扩展和维护.     

利用实时散斑照相测定弯曲仪杨氏弹性模量

本文介绍了利用激光实时散斑照相技术测量弯曲仪横梁杨氏弹性模量的实验原理、装置和操作方法,该法还适用于物体微小位移和形变的研究.     

工业过程实时调度数据库系统的实现

实时调度数据库系统是实现工业过程实时调度与管理一体化的核心。本文针对我国某大型制药厂计算机综合制造系统,对实时调度数据库系统的软件结构以及实现中的若干关键问题进行了探讨。该系统已在生产调度与管理中得到了成功应用。     

优先级倒置问题的集成资源管理技术

提出一种集成的实时资源管理和实时服务器技术,它对进程间通信和同步机制进行有效地管理;同时在两种技术的基础之上,构造了一个比较高效的优先级倒置问题的控制算法,克服了传统的用优先级继承方法来解决优先级倒置问题在最坏情况下延迟很大,而用优先级冲顶方法会引起低优先级进程阻塞的缺点。通过这种机制,既可以使系统避免多重优先级倒置现象的发生,又可以使系统的行为具有可分析性和可预测性。     

实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并,大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。