随机时序逻辑的模糊时间扩展方法

基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑(FSQTL)。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析。     

异构分布式系统混合型实时容错调度算法

基/副版本技术是实现实时分布式系统容错的一个重要手段。提出了一种异构分布式混合型容错模型,该模型与传统的异构分布式实时调度模型相比同时考虑了周期和非周期调度任务。在此基础上给出3种容错调度算法:以可调度性为目的SSA算法、以可靠性为目的RSA算法、以负载均衡性为目的BSA算法。算法能够在异构系统中同时调度具有周期和非周期容错需求的实时任务,且能够保证在异构系统中某节点机失效情况下,实时任务仍然能在截止时间内完成。最后从可调度性、可靠性代价、负载均衡性、周期与非周期任务数及任务周期与粒度J个方面对算法进行了分析。模拟实验结果显示算法各有优缺点,所以在选择调度算法时应该根据异构系统的特点来选择。     

在线自适应测试系统的设计与实现

针对目前计算机自适应测试系统在远程网络测试中存在的局限性,提出了基于XML的在线自适应测试系统模型.通过题目自反应理论建立计算机自适应测试模型,并提出了一种约束试卷生成的参数模型,利用增量学习算法设计了组卷策略,解决了远程网络自适应测试系统中计算量大、易造成网络交互阻塞瓶颈等技术问题.最后给出了系统的设计模型,并描述了该系统的实现过程.     

组件树理论和方法研究综述

组件树方法是数学形态学理论及方法的进一步发展，它利用一系列阈值截集产生连通分量，构造其上的层次关系。利用组件树方法发展出的一系列高效的图像处理算法，非常适合图像底层特征的快速提取，在广大的领域，尤其是医学图像处理领域，得到了广泛的应用。对组件树方法的发展和现状进行了系统的回顾，概述了现存的组件树建树算法以及基于组件树的图像处理算法。对组件树在多值（彩色）图像相关领域、树的快速构建、并行化处理算法方面的研究进行了展望。     

基于UML的面向方面的实时系统建模方法

利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明了这种建模方法。     

信息物理系统实时任务WCET的研究

信息物理系统（CPS）是最近几年才出现的一个新的交叉领域的研究概念,它被普遍认为是计算机信息处理技术史上的下一次革命,将会改变人与现实物理世界之间的交互方式,具有广泛的应用前景。简要介绍了CPS的概念、一些新的特性。研究了CPS实时性方面的最坏执行时间（WCET）分析的组成部分、获取方法和计算算法,并比较了几种算法的优劣,列举了这一领域一些研究进展,讨论了WCET分析这一领域中存在的问题,给出了将来的研究方向。     

多级实时数据库的安全性策略

实时数据库根本目标就是使满足截止时间的事物数量为最大,因而,管理和支持优先考虑时间的事务处理是非常重要的。然而,随着实时计算的迅速发展,安全成了许多实时应用另一个必须考虑的问题。因此,在多级实时数据库系统中,提出一种结合实时性和安全性的方法是非常必要的。本文陈述了实时系统设计者应该考虑的实时性和安全性,描述了一种规范语言允许设计者在适当的级别设定数据库的重要属性以支持部分安全并探讨了一种自适应方法以达此目的。     

基于面向方面的实时系统建模方法

分布式实时系统的实时特性可以利用面向方面软件设计方法来建模，把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术，不同的时间子方面分别利用随机实时时序逻辑（SQTL）和模糊时间Petri网（FTN）来表示，并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统，实现系统的实时特性。     

Web QoS及其保证方法

Internet的服务模式正由传统的数据通信与信息浏览向电子交易与服务转变、仅靠网络QoS机制并不能完全解决端到端的QoS控制问题。Web服务器系统作为核心设施，必须同样具备建立和支持QoS的机制与策略，对不同的用户或HTTP请求提供区分服务和性能保证。文中综述了Web QoS的发展情况、研究现状以及保证方法（包括请求分类机制的划分方法、Web服务供应商的Web系统解决方案以及无线网络的保证方法），并分析了进一步的研究方向.