分布式实时UNIX调度策略自动测试系统模型

提出基于分布式实时ＵＮＩＸ系统的调度策略自动测试系统的形式化模型,并研究了该系统核心部分的算法,给出了该自动测试系统模型的软件结构图,结果表明研究的ＵＮＩＸ实时调度策略全自动测试系统模型具有一定的通用性,根据该模型很容易设计出各种软件自动测试系统。     

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

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

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

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

UNIX系统下实现线程包管理的软实时调度

采用高频率优先调度算法，在Solaris UNIX环境下，对系统提供的线程库在用户级基础上引入实时调度管理，使用户线程函数的调度和操作可以具有软实时特性．     

一种分布式实时事务调度新策略研究

针对目前分布式系统中存在的问题,详细分析了分布式系统和并发控制协议对实时事务调度策略的影响,鉴于目前真正的分布式实时事务调度策略尚处于探索发展阶段,现提出一种分布式最少剩余时间优先的调度策略,通过实践结果证明,该调度策略比传统调度策略更适用于分布式实时数据库环境中。     

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

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

露天矿卡车自动化实时调度系统及调度模型

研制了包括中央调度系统,卡车车位监测系统、智能化卡车工况监测系统．通讯系统的硬件系统和调度优化决策软件系统在内的露天矿卡车自动化实时调度系统,采用专家系统方法建立了调度决策模型,使中央调度系统能及时做出调度决策,下达调度指令,实时指挥生产。     

实时车辆调度系统

车辆调度的传统算法都是在固定不变的网络节点中进行优化，这种静态的算法并不能满足实时环境的需要。在实际环境中，各节点的需求是不断变化的，将这种变化的不确定性的需求转化为静态需求为企业运作提供了便利，但却不能在时间上赢得竞争优势。作者在分析了传统的车辆调度方法的基础上，提出了实时车辆调度系统，探讨了实时车辆调度系统的模型结构及其实现的关键技术，为建立实时车辆调度模型提供了基础。     

实时网络通信在分布式监控系统中的实现

探讨在实时多任务系统ＡＭＸ环境下，由多台工业微机构成局域网络，开发分布式监控系统时如何实现网络的实时通信。提出了需解决的问题及实现方法，该方法同样适合于其它分布式监控系统。     

UNIX系统中的进程调度管理

UNIX操作系统发展至今，在她的功能不断增强的同时她所特有的风格也保存了下来，特别是她的代码简洁的风格一直传为佳话。本文着重分析UNIX系统中的进程调度管理程序（基于UNIX版本6的源代码）。     

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

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

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

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

一种实现NGOSS分布式自动化测试的方法

为了测试复杂的新一代运营软件和系统(NGOSS),对NGOSS的体系架构和现有的分布式自动化测试方法进行了研究。针对NGOSS的特点,综合现有的分布式自动化测试方法理论,提出了一种适用于NGOSS的分布式自动化测试方法(DATS),该方法主要利用开源的软件测试自动化框架/执行引擎(STAF/STAX)实现测试用例与测试框架的分离,自动分发并执行测试用例,监控运行过程以及自动收集测试结果和日志,最后由测试代理机发送结果和日志到控制中心,显示给开发和测试人员。该方法解决了测试工具的跨平台性差、可扩展性低、软件缺陷追踪难及日志管理复杂等问题。通过原型系统验证了该方法的有效性。     

SCO UNIX系统下Oracle数据库的自动备份

论述了数据库系统备份的重要性，井详细讨论了SCO UNIX下0racle数据库系统自动备份的几种实现方法。     

UNIX SVR4.2网络链路流机制的实时化改造

对UNIX SVR4.2网络链路流机制的实时性能进行了分析,找出了流驱动机制对于实时通信的支持的不足之处,针对这些不足之处对其进行了实时化改造并给出了新的算法.结果表明,改造方案具有可行性,能有效地满足实时通信需要,从技术上为进一步改造UNIX系统提供了参考.     

空中交通管制自动排序系统研究

提高空中交通管理效率的客观需求促进了自动化空管系统的研发,空管自动化系统主要包括航空器轨迹合成系统和实时排序计划系统两个部分。文中主要讨论实时系统中排序模块的算法及其程序模拟实现问题。该算法主要针对进近空域内进场航空器排序的问题进行处理。在一定假设条件下,大量航空器的进场行为可以抽象成数学模型,而排序过程可以被定义为一个求最优值的函数。最后通过计算机程序验证该模型。     

基于磁盘阵列的多队列实时I/O调度算法

研究磁盘阵列的Ｉ／Ｏ调度问题．给出了建立在实时操作系统上的系统调度模型;在分析磁盘的Ｉ／Ｏ调度算法的基础上,提出一种适合磁盘阵列的多队列实时调度算法．该算法为每个磁盘指定了一个请求队列,并根据请求之间的依赖关系确定可并行执行的任务组．测试结果证明,新算法具有很好的性能     

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

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