实时双头镜像磁盘容错模型的设计及分析

为双头镜像磁盘系统建立错误模型,在该模型的基础上描述了双头镜像磁盘系统的容错调度算法．提出一个实时双头镜像磁盘系统的实时容错模型,并对容错性能进行了详细分析,推导出系统在完成一个实时Ｉ／Ｏ任务时的失败概率．该容错模型的建立将使实时双头镜像磁盘系统具有更强的健壮性．     

双头磁盘系统的实时调度算法

对双头磁盘系统模型和调度算法进行实时化扩展,设计了三种实时调度算法,最早截止期优选（ＥＤＦ）算法,可满足的最早截止期优点（Ｆ－ＥＤＦ）算法和忽视超期限请求（ＩＧＭ－ＥＤＦ）算法,由于这三种算法充分考虑了Ｉ／Ｏ请求的截止期限,使双头磁盘系统能满足更多的实时Ｉ／Ｏ请求,实时调度算法的性能模拟实验表明,实时调度算法比非实时算法能更好满足实时Ｉ／Ｏ请求的期限要求,三种实时调度算法中,ＩＧＭ－ＥＤＦ的性能最     

双头磁盘系统的实时调度算法

对双头磁盘系统模型和调度算法进行实时化扩展,设计了三种实时调度算法：最早截止期优先（ＥＤＦ）算法,可满足的最早截止期优先（Ｆ－ＥＤＦ）算法和忽视超期限请求（ＩＧＭ－ＥＤＦ）算法．由于这三种算法充分考虑了Ｉ／Ｏ请求的截止期限,使双头磁盘系统能满足更多的实时Ｉ／Ｏ请求．实时调度算法的性能模拟实验表明：实时调度算法比非实时算法能更好地满足实时Ｉ／Ｏ请求的期限要求．三种实时调度算法中,ＩＧＭ－ＥＤＦ的性能最好,它很适用于硬实时应用;Ｆ－ＥＤＦ算法的性能次之,它最适合于软实时应用．     

磁盘免疫系统设计与实现

公共环境中计算机数据保护是一个非常棘手的问题. 为有效保护硬盘数据免遭病毒感染、恶意破坏、误删除,给出一种基于WDM过滤驱动程序的磁盘免疫系统的设计与实现. 经过测试该系统可有效保护硬盘数据,对磁盘I/O性能无太大影响.     

分布式系统的实时容错任务调度算法设计

提出一种分布式实时容错调度算法,并研究了该算法的时间复杂度,这种容错调度算法称为“副版本后调度（ＢＫＣＬ）算法”,该实时容错调度算法可以同时调度具有容错需求的实时任务和无容错需求的实时任务,所产生的调度可保证在分布式系统中一个节点机失效的情况下,具有容错需求的实时任务仍然可在截止时限内完成。     

UNIX实时I／O调度策略调试器的设计

分析了在实现ＵＮＩＸ的实时Ｉ／Ｏ调度策略时遇到的难点，阐述了一种在ＵＮＩＸ核心外进行调试的方法，并设计了用于在ＵＮＩＸ核心外调试实时Ｉ／Ｏ策略的调试器。在这种调试器的帮助下，很容易设计实现ＵＮＩＸ的多种实时Ｉ／Ｏ调度策略。     

分布式系统的实时容错任务调度算法设计

提出一种分布式实时容错调度算法,并研究了该算法的时间复杂度．这种容错调度算法称为“副版本后调度（ＢＫＣＬ）算法”,该实时容错调度算法可以同时调度具有容错需求的实时任务和无容错需求的实时任务,所产生的调度可保证在分布式系统中一个节点机失效的情况下,具有容错需求的实时任务仍然可在截止时限内完成．     

异构分布式实时系统中容错调度模型的研究

研究了基于异构分布式系统的实时容错调度算法,同构分布式系统中的处理机完全相同,而在异构分布式系统中各个处理机均不相同,各个处理有不同的处理能力和不同的健壮性。提出了可靠性成本概念,建立了一个基于异构分布式系统实时容错调度模型。基于该模型,设计了一种实时容错调度算法,算法在不增加系统硬件成本的情况下,提高了实时分布式系统的可靠性。     

UNIX 实时 I/O 调度策略调试器的设计

分析了在实现ＵＮＩＸ的实时Ｉ／Ｏ调度策略时遇到的难点,阐述了一种在ＵＮＩＸ核心外进行调试的方法,并设计了用于在ＵＮＩＸ核心外调试实时Ｉ／Ｏ策略的调试器．在这种调试器的帮助下,很容易设计实现ＵＮＩＸ的多种实时Ｉ／Ｏ调度策略．     

一个块同步并行（BSP）的改进I／O代价模型

提出了一个改进的BSP的I／O代价模型,不但易于实现,而且利用该模型能减少I／O,通信及同步时间,显著地提高BSP程序的运行效率,给出了在这两种模型下实现并行排序算法的时间代价比较。     

分布式系统中一种基于EDF的实时容错调度算法及其分析

将任务分配算法与处理器调度算法相结合，提出了分布式系统调度的一般方法。给出当处理器调度算法为EDF，且容错采用主／副版本技术时任务集所需最小处理器个数的计算公式。给出满足以上条件的任务分配算法（针对任务集动态产生的情况）和任务集所需最小处理器个数算法。模拟结果显示：算法是有效的，且表明任务集所需处理器数与任务资源利用率有关。     

基于VB的实时控制系统软件设计

以温度控制系统为例，介绍了如何利用Visual Basic构建PID控制器，并利用DLL技术实现输出输入接口的操作。     

文件实时监控反病毒技术的研究

本文简要介绍了当前主流的病毒技术和反病毒技术,详细分析了在Microsoft Windows操作系统的WDM驱动模型架构之下以文件系统过滤器驱动为核心的文件实时监控反病毒技术,最后提出了此项技术存在的问题,改进的方案和发展前景。     

基于I／O传送的PCI总线控制器的设计

随着微处理机性能的迅速提高以及多媒体技术和高速网络的不断发展，人们对微机系统的I/O带宽提出了越来越高的要求，原有的标准总线如ISA、EISA和MC已逐渐不能胜任现代技术的要求。在这种情况下，PCI总线便应运而生，并迅速成为微机中的主流标准总线。现有的PCI总线控制器的实现方法有：采用专用芯片和可编程逻辑芯片。笔者在对PCI系统结构粗略介绍的基础上，用一块Lattice1032E可编程逻辑芯片设计出一个基于I/O传送的PCI总线控制器。仿真分析表明，该设计是成功的。     

高性能实时交互式远程教育环境服务器的设计与实现

针对传统远程教育环境实时交互性不足的缺陷,提出一种基于Windows Sockets的高性能实时交互式远程教育环境服务器的设计方法,该服务器能同时为多个网络虚拟教室提供实时交互式的网络教育服务,每个网络教室能在教师主控、分组讨论和自由讨论等3种模式间动态切换,四级权限管理机制能有效地维护教学活动正常进行,实现了即使以一台普通的PC机作为服务器,也能向校园局域网内用户和Internet用户提供网上教学直播、网络实时音视频答疑、数据协同和讨论等较大规模的实时交互式教育活动环境.     

一种容错RSA签名方案的设计与分析

结合门限密码体制、可验证的秘密共享和密钥拆分技术,提出了一种容错的RSA数字签名方案。该方案具有结构简单、安全性强等特点。在该方案中,即使实施数字签名的服务器组中有部分服务器被人侵者成功控制或出现系统部件故障,系统用户仍可以获得正确的数字签名,并能够根据服务器组的工作状态自适应签名策略,从而提高了系统效率,降低了系统通信量,具有很强的安全性和灵活性。     

基于以太网的实时发布者/订阅者模型研究与实现

通过分析分布式网络控制系统通信的特点,在研究发布者／订阅者（Publisher/Subscriber）模型的基础上引入了控制参数和附加服务,以形成改进型嵌入式实时Publisher/Subscriber模型,这使得Subscribr具有主动询问、Publisher具有响应询问的功能,满足了工业控制实时性和可靠性的要求。用给出的实时Publisher/Subscriber模型研究了分布式网络控制系统中设备间异步、点对多点实时通信的方案。讨论了模型设计和执行原理,设计了基于32位嵌入式微处理器的实验模型。测试结果表明,该模型满足变电站自动化系统中点对多点实时通信的要求。     

基于T-S模糊模型的观测器和动态输出反馈容错控制器设计

针对具有执行器故障和传感器故障的非线性系统,提出了一种基于T-S模型的观测器设计和动态输出反馈控制器设计方法。首先,将非线性系统转化为T-S模型,以此模型作为设计模型,利用扩展传感器故障为辅助状态向量的方式,将系统扩展为增维的T-S描述系统;然后,针对增维的T-S描述系统,设计模糊自适应观测器以达到对非线性系统的状态、执行器和传感器故障同时估计的目的;最后,基于观测器对传感器和执行器故障的估计,设计了一种动态输出反馈容错控制器以达到容错控制的目的,其中以线性矩阵不等式的方式给出了观测器和容错控制器存在的充分性条件。通过实例仿真验证了该文设计方法的有效性。     

基于IBIS模型的高速数字I／O缓冲器的瞬态行为建模

引入了一种基于最新版本的IBIS模型给出的信息构造高速数字I／O缓冲器的瞬态行为模型的方法，阐述了从IBIS建模数据中得到这种瞬时状态转换行为模型的过程，同时获得了建模所需要的充分条件，与相应的晶体管级模型相比，该方法在获得了更高仿真精度的同时，提高了具有大量同步开关器件芯片互连的仿真速度，最后，为了验证模型的有效性，给出了该模型和晶体管级模型（SPICE模型）模拟结果的比较。