基于对象的分布式实时系统调度模型研究

为了解决分布式实时系统有关分配和调度等问题，给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型。该模型包括表示时限的绝对时间约束，表示周期属性的周期约束，表示各种前趋关系和同步要求的相对时间约束以及保证资源使用一致性的一致性约束，此外该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时的约束的不足，允许从方法和活动上描述所需的约束，降低了单一约束描述的繁杂程度，为了能够使用现有调度算法进行任务调度，讨论了约束转换的问题，给出了高层约束到底层约束的转换规则和相应的转换算法。     

限制的对象表示和计算

限制描述了对象间的一组复杂关系，现有ＯＯＰＬ中一般不支持它们的表示和计算．本文给出了一种限制的对象表示法，其思想是在引入限制的同时不引入额外的概念，保持对象模型和语言的简单性。本文还讨论了这种表示法引入的问题和解决方法．     

实时数据库概述

论述了实时数据库系统（ＲＴＤＢＳ）的基本概念,讨论了时间约束、实时事务模型、事务调度、并发控制、缓冲区管理、Ｉ／Ｏ高度等实时数据库的核心技术。     

关于RBAC模型中约束的研究综述

约束是RBAC模型中的一组强制性规则，是RBAC的重要组成。目前对约束的研究主要集中在关系约束、前提约束、数值约束、职责分离约束、势约束和时间约束等方面。时间约束是时间变化和角色许可的依赖关系的规则表示。该文就连续时间约束和周期时间约束进行了描述。约束的标准化、规范以及应用领域中提出的新的约束。都需要进一步研究。     

一个面向对象的实时Petri网模型

本文提出了一个面向对象的实时Ｐｅｔｒｉ网模型ＯＯＲＴＰＮ，它可用来表示时态知识和实时数据。     

对象的RSBO表示模型

对象的内部表示决定了对象的存储方式和访问方式,文章介绍了ＲＳＢＯ（ｒｅｆｉｎｅｄｓｙｎｃｈｒｏｎｏｕｓｂｕｆｅｒｓｏｆｏｂｊｅｃｔｓ）表示方法,是ＳＢＯ（ｓｙｎｃｈｒｏｎｏｕｓｂｕｆｅｒｓｏｆｏｂｊｅｃｔｓ）对象表示法的改进．ＲＳＢＯ表示法利用解析对象结构方式,把对象的复杂结构分解为具有相对简单结构的对象节．ＲＳＢＯ在ＳＢＯ表示法的基础上引入了指针节的机制．指针节结构是对象指针的扩展,并能同时支持在复杂对象的集合上的访问和计算．另外介绍了基于ＲＳＢＯ对象的访问方式和索引结构,传统数据库中的索引技术仍能够继续在基于ＲＳＢＯ表示机制的对象库中使用．     

实时数据及时态知识的表示

在实时专家系统中引入时间概念后，涉及时间的知识的表示成为值得注意的问题，本文在分析一些典型事例的基础上，着重探讨以下３个问题，如时间数据的有效表示；知识中时间特征的表示；推理中知识的时间一致性检验等.     

OORTPN：面向对象的实时Petri网

本文介绍了一种面向对象的实时Ｐｅｔｒｉ网ＯＯＲＴＰＮ它将Ｐｅｔｒｉ网与面向对象技术结合起来，可用来表示时态知识和实时数据，并支持实时智能系统建模，利用它可以建立大型复杂的实时专家系统。     

基于扩展有向图的产品参数化模型的研究与实现

文章提出了基于扩展有向图的产品参数化模型,将各类约束在形式上利用对象及相关概念统一起来,利用扩展的有向图表示设计对象及对象间的约束关系。对于有环的有向图,在正向约束求解的基础上,引入了反向约束求解,局部调整的机制。模型的主要思想是:求解过程中利用对象本身所具有的性质进行充分推理、判断,在此基础上进行约束的最小方程组计算。     

支持OODB高效计算的对象表示及其机制

本文针对当前ＯＯＤＢ存储技术的问题，提出了一种对象表示模式ＳＢＯＳ，通过把ＳＢＯＳ表示在运行逻辑，内存结构和外存库上同构映射，能避免在Ｉ／Ｏ时对象格式转换和重组，特别是能同时高效地支持对象的各种计算模式，支持对象结构的复杂性和非重编译性类系统的扩充，同提供了实现应用制导的对象存储结构优化的基础。     

基于规则推理的实时信息物理监控系统

基于规则的CPS监控方法在降低监控复杂度和提升监控灵活性等方面具有显著优势. 目前基于规则的CPS监控方法未考虑CPS监控场景的时间约束, 仅仅利用各种优化技术来缩短监控的响应时间. 为此, 本文基于实时规则引擎建立了一个CPS的实时监控系统RTCPMS. 该系统采用Rete网络表示监控规则, 其核心是一个新的实时推理算法Rete-TC. Rete-TC算法引入了规则截止期, 通过基于优先级的Beta节点调度方法, 使得CPS监控的时间约束尽可能地被满足. 模拟实验与智慧建筑应用案例验证了RTCPMS系统的有效性, 且实验结果表明其核心算法Rete-TC的调度成功率优于传统的规则推理算法Rete.     

一种面向主动对象的实时数据模型

针对支持复杂实时应用的实时数据库管理系统,提出了一种面向主动对象的实时数据模型AOORT,将面向对象实时性和主动性更好地集成在一起。模型由对象、关系和规则3部分组成。对象用来对带有时间特性的实体进行建模,扩展了传统对象来提供实时和主动特征;关系描述了对象之间的联系情况;规则体现了数据库的主动性,并集成了时间约束。最后以一个简单网络化控制系统中的实时数据采集和监控子系统为例,展示了AOORT模型的具体应用。     

一个面向对象的交互式图形工具箱OOIGT

在开发交互式图形应用过程中，一个主要难题是如何表示和建立代表应用模型数据及操作的图形对象并提供直接操作的交互方式，另一个难题是如何有效地表示和管理图形对象之间的关系。ＯＯＩＧＴ是作者设计和实现的一个交互式图形建造工具箱，其目的是为解决上述个有效的解，ＯＯＩＧＴ提供了一相可扩充，用于表示应用模型并集成了事件模型的图形对象集，使应用不人需定义对象，而毋须了解如何作图，且容易处理在这些对象上的交互式直     

一种个性化三维人面模型及其绘制方法

设计了一种有效支持个性化变形和实时显示的三维人面模型结构，并在此基础上给出了一种特征约束的实时连续多分辨率绘制方法。模型结构的设计充分考虑了人面特征及模型中点、边、面的邻接关系，便于变形中特征点及相关区域的移动，基于此结构的特征约束的多分辨率绘制方法建立了视点参数与模型分辨率间的直接关系，在保持模型视觉特征的同时保证了实时连续绘制的实现。     

端到端实时CORBA系统调度模型及其可调度性研究

实时CORBA系统中的基本问题是如何合理分配有限的计算资源和通信资源以保证各个实时任务的时间需求。该文以固定优先级方式调度的、周期性任务的硬实时系统为研究对象，提出了端到端实时CORBA系统调度模型，该模型综合考虑了客户端系统的处理、服务对象处理、网络传输等几大主要因素，而且可以描述服务对象间的嵌套调用关系，因而能全面描述实时CORBA系统中客户调用过程。在此基础上，该文基于非连续工作型同步协议，应用时间需求分析方法，研究并提出了该模型的可调度性分析算法。     

复杂工业过程集成建模及其实时监控与调度

采用一种新的混合标识过程／变迁网模型一变计时过程／变迁网来描述复杂工业过程。该模型通过引入过程运行标志离散标识(逻辑变量)和过程运行剩余时间连续标识(时间变量)，有效解决了多工位多工况复杂工业过程底层子过程的集成建模问题、离散事件与连续状态和过程控制与生产控制之间的耦合衔接问题，以及离散事件实时监控、连续子过程实时调度与控制等问题。给出了其实时监控、实时调度与过程控制的最佳策略求解方法。     

对象语义理论和行为约束推理

本文基于时序模型观点建立对象语义理论，将对象定义为对象操作，对象属性和对象踪迹的集合，并由此给出对象继承，对象复合等概念的语义解释。对象类型是满足一组对象约束的同类对象的集合。有两类不同的对象约束：状态约束表示对象属性之间的关联，而时序约束则表示事件操作之间的时序关联。文章最后用例子表明对象约束推理应用。     

基于CORBA的分布实时对象计算技术研究

随着网络化的日益普及,现有计算机系统面临着复杂和难以集成的问题．以ＣＯＲＢＡ为主流技术的分布对象计算技术简单有效地降低了非实时应用的复杂度和集成难度．但是,现有的ＣＯＲＢＡ规范无法支持分布实时环境,因此,有必要研究基于ＣＯＲＢＡ的分布实时对象计算技术．本文分析了现有ＣＯＲＢＡ的规范的实时特性缺陷,以作者设计的基于ＣＯＲＢＡ的分布实时对象软件ＯＲＢａｓｅ为例,介绍了基于ＣＯＲＢＡ的分布实时对象计算的     

对象语义约束检验系统的设计和实现

我们使用一阶谓词逻辑公式表示对象的语义约束，即对象结构特片和操作行为特征约束，这些逻辑公式必须保证是一致的，并且对象在其演变的历史过程中必须满足对象约束，本文介绍一个对象语义约束检验系统。     

约束与数据库新应用

约束提供一种灵活、统一,简洁的方式来表达时空对象的特性,描述对象连续的变化,表示不完整的信息和满足复杂建模的要求,约束数据库克服了现有数据库技术的不足,在众多的领域有广阔的应用前景。但现有工作主要集中在表达复杂性等理论研究上,本文以市政建设应用为例,提出了一个关系数据库的扩充框架,描述了相应的约束演算和约束查询语言,为约束数据库技术在这些领域中的应用打下了基础。