MDBS中2LSR调度正确性的方法研究

为了提高多数据库环境下事务处理的并发度,选择放松可串行化标准作为可行的解决途径.以二级可串行化(2LSR)作为新的串行化标准,对保证调度正确性的两种典型方法进行了比较分析,总结了基于视图的方法的优越性;针对基于视图的方法,提出了一种优化的设计实施方案.     

对象式程序的正确性验证方法研究

介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题．     

多库系统失败恢复的研究

本文分析由成员自治和数据库共亨引起的多库系统失败恢复的特殊问世，提出一种失败恢复方法，这种方法利用全局日志和场地恢复期间的屏蔽技术，以较小代价和较少限制保证全局数据库的一致性。     

MDBS模式集成中完整性约束的处理

通过对多数据库系统模式集成中不同类型完整性约束的分析，提出并了用于处理完整性约束的若干规则，这些规则不仅可以应用于模式集成，而且还可适用于模式变换、视图派生等模式重构中，用一个实例解释了如何在实际应用中使用这些规则。     

MDBS模式集成中完整性约束的处理

通过对多数据库系统(MDBS)模式集成中不同类型完整性约束的分析,提出并讨论了用于处理完整性约束的若干规则.这些规则不仅可以应用于模式集成,而且还可适用于模式变换、视图派生等模式重构中.用一个实例解释了如何在实际应用中使用这些规则.     

Excel中实现数据正确性的方法

Excel软件在统计、财务应用等领域使用非常广泛，这些领域的数据量很庞大，计算较复杂，如何保证数据的正确性是很重要的。本文介绍了Excel中几种实现数据正确性的实用、简单的方法。     

MDBS中基于模式映射树的查询分解和优化

提出了一种多数据库系统的模式映射方法，并对水平映射、垂直映射、混合映射、相关映射和局部映射给出了一种统一的形式化描述．使用模式映射树存储和表达用于查询分解的全局模式以及全局模式到输出模式及局部模式的映射信息，使用查询树来表示多数据库查询的内部结构．通过合并全局查询树与模式映射树，给出了将全局查询转化为中间查询的全局查询分解方法．利用模式映射信息中的相关映射性质，给出了多数据库查询中全局连接的优化处理策略．     

硬实时任务在多处理机上的动态调度研究

在硬实时任务集能够在多处理机上进行静态调度的基础上,从理论上研究了相同硬实时任务集在多处理机上能够进行动态调度的条件,并给出了动态调度规则,为硬实时任务的动态调度问题提供了一种新的解决途径。     

实时数据库系统的面向对象数据模型及调度策略研究

分析了实时数据库系统中的数据和事务的特性。提出了一种实时面向对象的数据模型,它充分考虑了实时数据库系统对数据和事务的逻辑及时间一致性的要求。依据这种数据模型,可以设计出各种合适的并发控制协议及事务调度策略,以提高实时数据库系统的性能。     

短时间序列仿真模型正确性确认方法的研究

针对短时间序列的特殊性，根据仿真模型的现代确认技术，用置信区间的方法作为定量的统计决策。并给出了应用实例。     

基于调度优先权的海上多物资应急调度方法

针对海上突发事件多物资应急调度存在优先权的问题,考虑到应急反应基地的运力无法满足将应急物资一次性运往事故点的要求,构建了有限运力下,满足各种应急物资应急限制期的前提下,使应急物资运输总时间最短的多物资调度模型,并给出了求解方法,最后通过算例仿真验证模型的有效性。     

液压机控制系统的多任务可调度性研究

针对嵌入式控制系统,通过液压机控制系统的设计与仿真,提出了控制与调度协同设计方法。首先,分析液压机控制系统功能和性能需求,研究了实时系统的选择和控制任务划分对嵌入式控制系统性能的影响;接着分析固定优先级算法、单调速率算法、最短时间限优先算法及抖动控制;最后,采用Matllab/Simulink和Truetime工具箱,通过调整任务划分、模型及调度算法等,对液压机控制系统的多任务进行仿真验证。仿真结果表明：可以获得最优的调度算法、任务划分及减小的输出抖动,这证明了控制与调度协同设计方法是有效的。     

半导体制造AMHS中悬挂式小车多因素调度方法

为提高半导体制造系统的整体性能,提出了一种考虑多因素的悬挂式小车（overhead hoist transporter,OHT）调度方法. 从工作站、晶圆批、搬运系统三方面分析了搬运距离、晶圆批优先级、工作站特性、OHT利用率、等待时间5个关键因素. 以成本最小作为调度目标,基于这5个因素构造了混合多因素调度模型,同时引用二分图匹配方法构建了调度模型的求解算法. 最后进行了仿真实验设计和分析,结果表明该方法是有效、可行的.      

作业调度问题的合作求解方法研究

作业调度问题是一类典型的困难组合优化问题，基于知识的多智能主体系统为解决此类问题提供了一种新的思路，在生产作业管理中引入多智能主体技术，可以很方便地用智能主体及多智能主体系统描述制造系统及其组成要素的行为与运动机制，作业调度通过智能主体之间及多智能主体系统的合作加以实现，达到预定的运行目标和状态，构造了单个智能主体的结构，对作业调度问题中存在的三种主要冲突类型与基于知识的协商消除冲突的方法及其步骤进行了探讨，提出了基于知识的多智能主体合作求解方法。     

多顺序时段批量批次车辆调度方法研究

多顺序时段批量批次的车辆调度问题就是通过对车辆进行有计划、科学、准确的调度以达到降低物流成本的目的;首先,针对多顺序时段内变化的速度,采用线性最小二乘拟合方法将变化的速度量化;其次,在加入时间窗约束、容量约束的基础之上构建了多顺序时段批量批次货物运输的车辆调度的数学模型;最后,针对基本蚁群算法进行相关改进,并进行了案例仿真分析。     

一种多原则机械系统预防性维护调度方法的研究

预防性维护对机械系统的安全性,高效性,可靠性运行操作是非常重要。预防性维护调度的基本原则是:系统的成本原则,可靠性原则,这两调度原则被认为目标相互矛盾。通过改进强度帕累托进化算法来寻找最佳的折衷解决方案,根据模糊集理论找到最佳折衷方案的帕累托最优解,并对多原则预防性维护调度方法的概念和数学模型进行了解释,用一个案例说明新方法的实际应用。     

一种多原则机械系统预防性维护调度方法的研究

预防性维护对机械系统的安全性,高效性,可靠性运行操作是非常重要。预防性维护调度的基本原则是:系统的成本原则,可靠性原则,这两调度原则被认为目标相互矛盾。通过改进强度帕累托进化算法来寻找最佳的折衷解决方案,根据模糊集理论找到最佳折衷方案的帕累托最优解,并对多原则预防性维护调度方法的概念和数学模型进行了解释,用一个案例说明新方法的实际应用。     

电力调度自动化实时数据库管理系统的设哥

本文针对调度自动化系统相对于传统事务型应用的特殊性,对实时数据库系统进行分析,介绍了基于面向对象的程序设计方法,以此为基础设计了一个实时数据库系统,实现了实时数据库的涉及问题：实时数据库的总体结构设计、实时数据的存储和实时任务处理。并进一步设计了数据备份和内存数据库等功能模块的实时数据库管理系统的体系结构。     

面向代理的车间动态调度方法

针对车间动态调度缺乏有效方法的现状.建立了车间动态调度的数学模型.将车间组元定义为多个独立的代理(Agent),并将蚁群在觅食过程中通过释放信息素的方式进行交流与合作的行为,应用到Agent之间的协商与通信中,建立了Agent之间的协作模型,形成了基于多代理协商的动态调度方法.仿真试验对比表明.基于多代理协商的车间动态调度方法优于基于遗传算法的动态调度方法.     

面向资源调度的矩阵规范化方法研究

 资源调度是计算机支持的协同工作领域的重要问题,其中,决策矩阵规范化问题又是大部分资源调度要涉及的基础问题。文章首先介绍三种矩阵规范化处理方法,然后将其作用于同一个资源调度中的决策矩阵实例,最后将各种方法的处理时间和结果进行比较,给出最佳的结果矩阵建议。