国家级实时数据库的研究与构建

我国大型企业,特别是国家级石油化工企业的组织和生产管理模式,是个多级树状结构:总公司、分公司、石化工厂,各级企业应该配备与该企业级别相适应的实时数据库。目前国内在实时数据库的市场上以工厂级实时数据库为主,它们难以描述多级企业的实时数据,难以构建我国多级企业的实时数据库。文章提出国家级实时数据库的概念、定义和类型,分析了国家级实时数据库的数据构成和实时性能;使用操作原语描述国家级实时数据库的实时数据及其结构、国家级实时数据库中实时数据检索的原理和方式,国家级实时数据库中实时数据的更新,提出国家级实时数据库的构建的要点;探讨开发国家级实时数据库的技术关键与可行性研究,包括网络的利用与数据通信等方面,关键是上级数据库对下级数据库的访问,即下级数据库对上级数据库的开放,因此必须要解决实时数据库开放标准的问题。文中提出的操作原语不仅可以描述实时数据库,还可以进一步作为高层开放接口标准。我们呼吁国内实时数据库开发商共同讨论并建立适用于我国国家级企业的实时数据库的规范和标准。     

组态软件中实时数据库系统的调度设计

实时数据库系统(RTDBS)是组态软件的核心部分,也是组态软件设计的难点,实时数据库系统的设计包括实时数据库的设计和事务调度系统的设计.本文介绍了实时数据库的特点、功能实现及实时数据库系统调度的关键性问题.     

实时构件合成的语义研究

实时构件合成是实时应用系统中软件合成的基础,是实现软件复用思想的软件生产活动,其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开,规约为实时构件合成中的分析理论。     

一种固定优先级实时调度算法的可行性测定

实时调度算法是实时系统的关键技术,验证实时调度算法的可行性是保证实时系统性能的必要手段。不同实时调度算法可行性测定方法不同。在简单实时模型上,针对固定优先级实时调度算法给出通过任务最坏响应时间来测定调度算法可行性的方法,分析了影响任务最坏响应时间的各种因素,修正了响应时间方程,将该方法运用在复杂实时模型中。     

一种固定优先级实时调度算法的可行性测定

实时调度算法是实时系统的关键技术,验证实时调度算法的可行性是保证实时系统性能的必要手段.不同实时调度算法可行性测定方法不同.在简单实时模型上,针对固定优先级实时调度算法给出通过任务最坏响应时间来测定调度算法可行性的方法,分析了影响任务最坏响应时间的各种因素,修正了响应时间方程,将该方法运用在复杂实时模型中.     

嵌入式控制状态转移的确定性实时语义

嵌入式控制是在实时事件驱动下物理系统状态转移的执行过程,采用超致密时间(SDT)标签表示事件的实时性,描述一种自然表达时间的实时状态转移语义模型;证明事件实时标签是时间值上的偏序函数,实时事件的状态转移顺序与对应的非实时过程一样;针对状态转移轨迹中的实时约束条件,把非实时过程上的操作扩展到实时过程,得到确定性的操作执行顺序.一个控制横毛织机编织运动的实例表明了语义表达的有效性.     

嵌入式控制状态转移的确定性实时语义义

嵌入式控制是在实时事件驱动下物理系统状态转移的执行过程, 采用超致密时间(SDT) 标签表示事件的实时性, 描述一种自然表达时间的实时状态转移语义模型; 证明事件实时标签是时间值上的偏序函数, 实时事件的状态转移顺序与对应的非实时过程一样; 针对状态转移轨迹中的实时约束条件, 把非实时过程上的操作扩展到实时过程, 得到确定性的操作执行顺序. 一个控制横毛织机编织运动的实例表明了语义表达的有效性.     

嵌入式Linux的中断处理与实时调度的实现机制

论述了实时嵌入式Liunx的实时机制，详细讨论了实现实时的两种方法:一种是硬件和软件相结合的中断机制，一种是实时调度机制和各种实时算法。     

实时数据库事务的研究与实现

根据设计的实时数据库操作类型,对实时事务进行了分类,时间性是实时事务重要属性,提供了实时事务的时间性、原子性、并发性以及优先级分配的策略,对实时事务进行有效的调度。     

实时课堂教学在气象远程教学中的应用

实时课堂是网络会议的一种形式。本文主要介绍了实时课堂及气象远程教学的特点、实时课堂的主要功能及其应用改进。实时课堂的应用推进了气象远程教育组织和实时教学,充分利用实时课堂各种功能,可有效适应气象远程教学特点,提高面授与远程教学结合。     

试论计算机实时数据库质量评估模型的设计

实时数据库是以实时数据为存储对象的数据库平台软件,而对计算机实时数据库质量评估模型的设计是保证计算机数据库系统良好快速运行的关键技术。本文通过对计算机实时数据库的特点介绍及对其的质量要求,介绍了实时数据库质量评估模型的设计原理及对其的构造设计和层次设计方法,来对计算机实时数据库系统进行较好的质量监控。     

分布式实时应用的两个重要问题

可预测性分布式实时ＩＰＣ是分布式实时应用的两个重要问题,本文探讨了可预测性的概念,提出了分布式实时ＩＰＣ的抽象模型,并分析影响分布式实时ＩＰＣ的主要因素,为设计分布式实时应用作一定的探讨。     

实时反射内存网络在试飞实时监控系统中的应用

围绕试飞实时监控系统的结构和现代飞机试飞和航空武器试验的特点,为满足实时监控时更高的实时性、可靠性要求,文章给出了基于实时反射内存网络的实时网络解决方案,并对实时反射内存网络与传统计算机网络进行了对比分析,通过试飞试验验证,证明是一种成熟、有效的试飞实时监控系统的体系结构。     

实时离散事件系统的动态反馈控制

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题.基于一定语言的实时可控性的概念,证明了对给定实时离散事件系统G,存在完备监控器φ使L(φ/Gr)=K的充分必要条件是K是闭及实时可控的,并得到了有关实时监控问题解存在的充要条件.     

反射式实时构件的实现

反射式实时构件的实现,是对基于反射的实时构件模型规约描述机制的进一步研究与实践,其实现过程中涉及到两个关键问题,即实时构件模型到实时构件实现体的转换,以及实时构件实现体反射动态性的体现。本文主要围绕这两个关键问题,给出反射式实时构件的实现方法。     

为测控软件优选操作系统平台

测控软件的实时性决定了其对系统效率的特殊要求,要满足测控软件强实时、高可靠的需求,必须优选操作系统平台,Digital UNIX操作系统扩充了UNIX的实时功能,为实时应用提供了一个理想的实时环境,是实时应用的优选平台。     

实时容错调度算法的自动模拟系统模型与设计

实时容错技术是实时系统中的关键技术之一,而实时容错调度算法则是实时容错研究领域中需要重点研究的问题。传统的实时容错调度算法的性能模拟是通过手工完成的,如果采用自动模拟方法,可以提高模拟实验的效率和准确性。首先给出一个实时容错调度算法的自动模拟系统模型,该模型定义了自动模拟系统中的关键参数。然后,提出了实时容错调度自动模拟算法。最后,研究了该自动模拟系统的软件结构。文章研究的自动模拟系统具重要的指导     

Linux系统实时性能增强方法的研究

标准Linux系统采用非抢占式内核,中断服务例程在执行过程中处于屏蔽状态,实时任务响应因为中断屏蔽可能被延时,实时任务响应具有不确定性,因此标准Linux系统不具有硬实时特性,其实时性能是软实时特性.增强标准Linux系统的实时性能,使其具有硬实时特性,是当前实时操作系统研究领域的一个热点.论文研究了影响Linux实时性能的因素,分析目前流行的增强标准Linux实时性能的方法,比较了相应实时Linux产品的优缺点,引出了基于资源的新型实时操作系统的模型.     

一种基于Minix的实时化方案的设计

通用操作系统实时化主要是针对Linux、Unix系统的实时化,是实时操作系统开发的一个重要途径,以微内核结构的Unix系统Minix为基础,对其进行了整体的实时架构,主要包括中断处理和进程调度机制的实时化设计,并对设计的合理性进行了测试.     

Linux下实时数据库系统设计

实时数据库是数据库领域中的一项新技术，是实时技术跟数据库技术相结合的产物。在Linux系统平台下进行以内存作为数据存储介质的实时数据库系统的设计，给出了实时数据库的系统结构．探讨了实时数据内存锁定的Linux实现。