多库中并发控制的研究和实现

多库是一组分布在多个结点上自制的数据库系统的集合,每个局部数据库系统可能使用不同的并发控制协议。自制和异构为保证多库系统的全局可串性带来了困难。本文首先描述了多库中全局可串性问题,然后介绍了并发控制服务CCS系统的特点及系统的逻辑流程,最后讨论了系统中各个接口对象的设计及实现。     

两级交互式多模型算法

在混合估计中,交互式多模型滤波器(IMM--Interacting Multiple Model)以其优越的性能而受到广泛的研究.由于马尔可夫参数的限定,交互式多模型在模型数较多时会出现精度下降,从而限制了它在高维参数空间建模的有效性.利用模型集的概念,首次提出了双马氏过程的模型切换假设,从而构造出一种两级交互式多模型滤波器.通过辨识系统噪声的多个统计参数比较了两级交互式多模型滤波器与常规交互式多模型滤波器.结果表明:对于大信噪比信源(即小的量测噪声),两级交互式多模型滤波器与常规交互式多模型滤波器性能基本相当;而对于小信噪比信源(即大的量测噪声),两级交互式多模型滤波器明显优于常规交互式多模型滤波器.     

基于资源预报的两级并发控制

本文提出了一种新的基于资源预报的并发控制机制，该机制充分考虑了实时事务的功能替代性，将并发控制分为替代级控制和事务级控制，允许多个替代并发执行。每个替代代表一条执行路径，只要其中一个替代成功则该实时事务可以提交；一个替代夭折，不表示该事务夭折，甚至并发执行的所有替代夭折，也不一定表示该实时事务夭折，该事务有可能会从另外的替代重启，这就大大提高了实时事务的成功率，降低了由于硬实时事务超过截止期对系统带来损失的可能性。     

利用并发控制库和NetBIOS实现工控机并发控制系统数据 …

本文以Ｍｏｄｅｌ５４０并发控制系统为例,介绍了并发控制系统如何利用控制库和ＮｅｔＢＩＯＳ,来实现服务器和客户处理器之间的数据通信。     

IDSS中的多库集成模型及其实现

在分析决策支持系统与专家系统相结合的多种结构框架的基础地在智能型决策支持系统（ＩＤＳＳ）中多库集成的结构模型，并给出了多库控制与协调机制，信息表示，人－机交互接口等实现方法。     

用SQL实现工作流的并发控制

工作流技术在信息系统的应用中，并发控制机制的设计是经常要面临的问题。给出一种基于将工作流中数据和任务分离的工作流并发控制机制，在保证工作流正确性的前提下，引入“数据约束”和“任务约束”的概念来提高工作流的工作性能和降低工作流设计的复杂性，并用数据库中SQL语言强有力的约束控制加以实现。     

对象库的并发控制

本文提出了适于工程设计环境的并发控制技术－－动态确认并发控制模式。与传统商业应用相比,该环境中的事务持续时间一般很长,因此它需要新的并发控制技术。动态确认是乐观的并发控制模式,避免了对数据长时间的上锁。它产生的操作是“关于数据库可串行化的”,即认为只要产生相同结果,则该调度就和从同一初始数据库状态开始执行的事务串行操作等价。显然,这个串行化标准是弱于通用串行化标准的。     

利用并发控制库和NetBIOS实现工控机并发控制系统数据通信的方法

本文以 Ｍｏｄｅｌ ５４０并发控制系统为例,介绍了并发控制系统如何利用并发控制库和 ＮｅｔＢＩＯＳ,来 实现服务器和客户处理器之间的数据通信     

两级微机控制配料系统的实现

利用上、下两级计算机,构成新型微机自动配料系统.该系统具有自动数据采集、控制过程动态显示、配方优化、管理咨询等功能.     

用Transputer网络实现进程并发计算模型

<正> 一、引言一般地,对新的计算机系统结构的研究都以一定的计算模型为基础。如以一阶谓词演算为计算模型的并行逻辑结构,基于作用型计算模型的归约结构,基于状态转换的数据流结构等等。进程并发计算模型是对传统的冯·诺依曼计算模型的改进,以便充分实现并行性的开发。英国INMOS公司及其牛津大学的合作者们以进程并发模型为基础,不但设计出能对该模型进行逻辑描述的新的程序设计语言occam,而且设计并生产了能高效执行occam代码的Transputer处理机芯片。这种芯片构成的Transputer网格能最终从     

人机控制系统中操纵者两级控制模型

本文应用模糊理论和人工智能技术,提出和建立了一种操纵者两级控制模型,该模型由上层协调级和下层运行控制级组成,分别用于描述人的监控、协调及其它智能性活动和人的控制行为(技能性活动)。     

用PLC实现加氯串级比值控制

以水厂后加氯自动控制系统为例,介绍了由PLC、流量计和余氯检测仪等构成的串级和比值系统的控制原理及系统运行步骤,表明了系统具有良好的控制品质。     

用PLC实现加氯串级比值控制

以水厂后加氯自动控制系统为例 ,介绍了由PLC、流量计和余氯检测仪等构成的串级和比值系统的控制原理及系统运行步骤 ,表明了系统具有良好的控制品质     

城市交通两级加权神经网络控制系统设计与实现

城市交通系统是一个非常复杂的、非线性系统,很难建立精确的数学模型,本文针对单交叉路口红绿灯控制问题,基于改进的BP神经网络算法,提出并设计了两级加权神经网络控制器,进行实时控制.仿真结果表明,本文方法优于传统控制方法.     

多段电阻炉两级计算机控制系统关键技术的实现

简要介绍了两级计算机炉温控制系统的组成，介绍了在多段热处理电阻炉中采用AD595热电偶放大器的使用经验，介绍了所实现的智能变速PID算法及其前馈解耦控制方案，总结了PLC与PC上下位机通信的实现。该系统在实际应用中获得了良好的效果。     

两级存储虚拟化模型

通过分析比较带内和带外存储虚拟化的优缺点,提出融合两种方式的新的存储虚拟化模型.该模型分别在块级和文件系统级两层都实现存储虚拟化.     

主副本法多副本分布式并发控制的实现

讨论分布式数据库中的并发控制问题，结合相关的理论，设计了一个多副本的并发控制模型。运用分布式并发控制的主副本算法，使用MTS／COM＋技术，对并发控制机制进行了研究和基本实现。最终在客户端实现了针对分布式数据库多副本的读取和更新操作，达到更新一致性，具有较高的执行效率。     

并发PROLOG的实现模型

由于日本选择PROLOG作为第五代计算机核心语言,近年来对PROLOG并行化的研究越来越受重视。本文介绍并发PROLOG的基本思想并讨论其实现技术。     

用积分法处理分布式数据库中的多副本并发控制问题

在分布式系统中,采用的并发控制(CC)方法对事务处理系统的性能有着重要影响。介绍了主要的并发控制方法、加锁模型和两阶段锁(2PL)协议,提出了基于锁机制且遵守2PL协议的悲观控制方法--积分法。该方法既能减少网络中数据的传送量,又具有很好的并发性,可以很好地处理多副本并发控制问题。实验结果证明,该积分法可以比其他方法取得更好的性能。