基于非精确计算的实时任务检查点设置策略

实时系统要求每个任务必须在其截止时间内产生逻辑正确的结果,然而,由于故障的存在使得系统无法保证所有任务都能满足这一条件,因此,适当降低实时任务的精确度以及提供优化有效的容错方法变得至关重要．文章基于非精确计算理论提出了一种检查点设置策略IC—CPS,该策略面向多任务的实时系统,可以提供容错能力和确定性实时保证．数值测试证明IC—CPS不仅提高了系统的容错能力,扩大了检查点策略的应用范围,使得实时任务能够在按时完成的前提下容忍更多的错误,而且还降低了系统因为设置检查点所产生的开销．     

多处理器实时系统中的非精确轮转式调度算法

目的研究基于多处理器实时系统中具有截止期和容错需求任务的非精确轮转式调度算法,使强实时系统在发生故障的情况下,任务也能在其截止期内完成,不至产生灾难性后果.方法将非精确计算模型引入到轮转式调度算法中.结果仿真实例表明,非精确轮转式调度算法具有更低的任务拒绝率,同时能更为有效地利用系统资源.结论该算法扩展了轮转式调度算法的允许调度定理,使得主/副版本任务在执行时间上可以重叠,提高了任务的可调度性,使整个系统负载均衡,并减少了系统搜索时间.     

数据相关性分析的非精确算法

提出了一种行之有效的数据相关性分析的非精确算法，对该算法在运行效率及可行性上进行了详细分析，并在数据相关性分析非精确算法讨论的基础上，提出了一种对相邻循环进行并行性开发的一种新程序转换技术，从而解决了相邻循环程序之间可并行执行程序段的转换问题，在多ＣＰＵ高性能计算机的硬件环境下，为设计出高效率的，适合于并行处理环境的软件系统了一种有效的算法。     

多处理器实时系统容错ICDM调度算法

目的提出一种针对多处理器实时系统中具有时间、资源和容错需求任务的调度算法来满足硬实时系统实时性及可靠性要求．使硬实时系统在发生故障的情况下，任务也能在其截止期内完成，不致产生灾难性后果．方法将非精确计算模型引入到Distance Myopic算法中，通过非精确计算模型与Distance Myopic算法的有效结合，提出ICDM算法．结果任务分为主副两个版本，每个任务都由两部分组成：强制执行部分和选择执行部分；当任务强制执行部分不能达到截止期时．通过调用MOPT算法减小前序任务选择部分的执行时间，使其满足截止期要求．ICDM算法使任务在保证结果可接受的情况下，在其截止期内完成，提高了任务的可调度性．结论通过引入非精确计算模型，使算法的可调度性增强了，也提高了硬实时系统的实时性及可靠性．     

非精确光滑化Levenberg-Marquardt算法的局部收敛性

非精确Levenberg-Marquardt(L-M)算法是求解非光滑约束方程组的重要算法之一。在将非光滑约束方程组等价转化成无约束方程的基础上,该文针对一种新的非精确光滑化L-M算法,在局部误差界条件下,得到此算法具有超线性或二次收敛性质。     

普适计算中一种基于蚁群算法的服务调度模型

针对普适计算环境下对服务调度的高可靠要求，研究人员已提出不少服务调度模型，但都不具有很好的适应性．在现有的服务调度模型基础上，提出了一种新的基于信任的自适应服务调度模型，该模型先基于信任进行首次考核筛选，选出可靠的节点，然后基于蚁群算法进行任务调度．通过计算分析和仿真，验证了该模型的适应性．     

非精确修正牛顿法

牛顿法是求解非线性方程组的经典的高阶算法。当xk远离解x^*时，实际上不必花费庞大的工作量以求解大型线性方程组(牛顿方程组)，F’（xk)sk=-F(xk)的精确解。类似地,F‘(xk)也可以被某些简便的近似值所替代。因此，本文讨论非精确修正牛顿法，在自然合理的条件下，依次证明非精确牛顿法和非精确修正牛顿法的线性收敛性。     

虚拟漫游中的非精确碰撞检测

碰撞检测是虚拟漫游中的关键技术.介绍了一种基于计算体元可达到性的非精确碰撞检测算法,该算法具有高效、快速、可在预处理阶段完成的优点,但需要占用大量的物理内存空间以保存预处理阶段得到的体元可到达性信息.为了节省所需占用的内存空间,对几种改进的非精确碰撞检测算法进行了探讨.     

普适计算中一种基于蚁群算法的服务调度模型

针对普适计算环境下对服务调度的高可靠要求,研究人员已提出不少服务调度模型,但都不具有很好的适应性.在现有的服务调度模型基础上,提出了一种新的基于信任的自适应服务调度模型.该模型先基于信任进行首次考核筛选,选出可靠的节点,然后基于蚁群算法进行任务调度.通过计算分析和仿真,验证了该模型的适应性.     

一种基于移动计算的非阻塞协同检查点算法

传统分布式网络中协同检查点算法有许多优点,但移动计算环境有很多新问题,如缺少可靠存储、低无线网络带宽、高移动性、断开连接和能量限制等,使得协同检查点算法不能很好地适用于移动计算环境.为此提出一种适合移动计算环境的非阻塞的协同检查点算法,算法中检查点的发起和同步由移动支持站完成,只需记录部分中途消息就能实现一致可恢复.算...     

基于云模型的网格任务调度遗传算法研究

针对网格环境动态多变性的特点,为了克服传统遗传算法易陷入局部最优的缺陷,提出了一种基于云模型的网格任务调度遗传算法。该算法由正态云模型的Y条件云发生器实现交叉操作,由基本云发生器实现变异操作,对调度模型进行优化求解,并在任务调度中对初始种群的产生、选择、变异和交叉操作进行了改进,通过实验分析,表明了该算法的可靠性、有效性和实用性。     

带有路径和运输方式选择的供应链排序算法研究

主要研究了在供应链中具有单台机器的单个制造商、多个客户的生产和运输的集成排序问题。以生产排序和运输的总费用达到最小作为目标函数。其中生产排序费用是用工件送达时间的函数表示,发送费用是由固定费用和可变费用组成,可变费用与路径和运输方式的选择有关。对该问题的两类特殊情形给出了基于动态规划的多项式时间算法。     

公交调度模型及算法

建立了公交调度模型 ,给出了用遗传算法求解该模型的程序框图。用实际的运营数据对提出的模型及算法进行了验证。结果显示 ,提出的公交调度模型及其求解算法是可行的和有效的     

基于多层次融合的语句相似度计算模型

句子相似度的计算在自然语言处理的各个领域都占有很重要的地位,且在主观题自动批改技术中,句子间相似度的计算是一个关键的问题.本文提出一种基于多层次融合的语句相似度计算模型,在对句子的词形、词序、词义三个层次进行相似度计算的基础上,融合这三个层次,从而使句子相似度计算更加准确,并通过实验验证了此方法的有效性.     

输入排队中调度算法的研究

基于输入排队策略的路由器具有良好的可扩展性,但需要一个有效的调度算法的支持,才能保证吞吐率和延迟等性能。文章对一些典型的输入排队调度算法进行了分析,为输入排队调度算法的进一步研究提出了新的思路和方向。     

基于DAG图的任务调度算法

描述了一种基于有向非循环图（ＤＡＧ）的任务调度算法,该算法将整个计算任务分解成为一个ＤＡＧ图,根据ＤＡＧ图计算出每个子任务的最早开始时间,然后根据每个子任务的最早开始时间和处理机的数量进行调度。该算法可以实现子任务集在ＤＡＧ图限制下的最优调度。     

基于改进的随机公交调度问题的数学模型

以公交车调度问题为依据,应用随机优化理论和非线性规划理论等,分析了河北省石家庄市公交车调度及公交车辆的排班情况,研究此过程中实际情况和理论上的最优方案的差异及改进的可行性.由于公交车调度中实际环境的随机因素很多,在非线性规划理论的基础上加入随机分析理论,提出随机非线性规划模型,客观上弥补了非线性规划理论客观性较差的缺陷,从而更好的避免了传统排班模型的弊端,其建立考虑了乘客和公交公司的双重利益,并且在它们之间寻求一个平衡点.     

基于分组排序的随机性地面等待模型

地面等待是空中交通短期流量管理的主要方法.针对日益增长的空中交通需求带来的严重航班延误,提出了基于分组的随机性地面等待算法.首先该算法考虑连续航程航班的排序合理性,提出分组排序的思想;其次考虑了机场的降落和起飞相互影响;并且考虑了对续航影响、延误时间和延误耗损的不同重视程度,引入3个权值定义可变优先级;此外考虑了天气等因素的动态特性,在排序时引入随机性变量.利用实际的飞行计划数据,进行了多次仿真实验,证明了算法的灵活性和实用性,具有较好的参考价值.     

基于累计按期完工概率增量的一个排序算法

讨论工件加工时间为随机变量的单机静态列表排序极大化期望按期完工工件数问题。对于单机排序加工时间为独立同分布随机变量问题1／Xi-F／E∑Uj以及EXi≥EXjD di≤dj时，该文给出了预期按期完工工件和预期误工工件的最优划分算法。对于一般问题，对给定的置信度，该文采用倒序算法逐个剔除累计按期完工概率增量最大工件，完成预期按期完工工件集与预期误工工件集的划分，并以此为依据给出排序，最后通过搜索最优置信系数得出排序结果。