一种基于本地滞后的一致性控制技术

提出一种满足协同虚拟环境系统协同操作要求的一致性控制技术.给出协同虚拟环境系统的一致性定义,分析了传统网络虚拟环境系统所采用一致性控制方法不能用于协同虚拟环境系统的原因.对系统同步所有节点物理时钟,通过本地滞后技术进行一致性控制,当由于过大的网络传输延迟产生不一致状态时,通过时间扭曲机制进行状态修复.实验结果表明,在不同网络负载下,该技术均能支持多个用户同时对一个对象进行协同操作.     

一种基于XML的可变粒度冲突避免策略

针对协同设计过程中的数据一致性问题,分析了已有的并发冲突避免策略,结合CATIA的特殊性提出了一套可变粒度锁的冲突避免策略,设计了总体框架及核心算法.以节点间关联性作为判断依据进行节点仲裁选择,并提出节点关联集的维护算法.在协同设计平台中,利用XML实现并发控制机制,对提出的算法进行了实验,验证了用户可互斥地访问对象,并保证一致性.     

协同特征造型系统中并发控制的研究

针对目前复制式协同特征型系统大都采用并发冲突防止策略的锁机制,使得协同系统的并发度受到很大影响的现状,通过对特征造型过程中并发冲突的分析,提出一种非锁的基于特征依赖关系的并发控制机制,提高了协同设计的并发度,最后采用C＋＋编程语言结合WinSocket技术建立一个实现该并法控制机制的协同特征造型系统.     

协同虚拟环境下的自适应分区方法

协同虚拟环境是一个为多用户提供协同操作的共享虚拟空间,为了满足大量用户同时参与系统进行协同并发操作,使协同虚拟环境具有可伸缩性的特点,通常采用基于混合模式的多服务器体系结构,将虚拟环境中的所有计算负载平均分配到多个服务器中,并使服务器之间的通信量最小化。文中定义了基于系统响应特性的分区评价函数,并提出了一种自适应分区方法,将虚拟环境划分成单元格,并给出聚合度的定义,通过选择聚合度大的单元格作为区域种子,使用区域生长法对虚拟环境中的用户进行划分。实验证明,该方法具有较好的执行效率,且分区评价函数值低于其它算法,更接近于最优分区策略。     

离散时间多智能体系统的间歇二部一致性

为加强多智能体系统的协同控制,研究了离散时间多智能体系统的间歇二部一致性问题.首先,结合间歇控制,提出了可以实现二部一致性的控制协议,得到了二部一致性达到的条件;然后,利用代数图论、Lyapunov稳定性理论知识,给出了系统的收敛性分析;最后,利用数值仿真实验验证了所设计的间歇控制协议对离散时间多智能体系统稳定有效.     

基于网络技术的实时协同设计并发控制策略研究

为了解决计算机辅助协同设计中重启动频繁、死锁等问题，建立了一种实时协同设计并发控制模型。针对协同设计中数据量大、事务长、多层嵌套的特点，采用操作优先权模糊控制策略。通过图形对象全局ID和实体属性表的一致性维护，系统能够根据运行情况和用户需求自动进行操作优先权控制策略的调整。建立了并发控制机制中事务结构、事务提交、锁机制和冲突协调的联系，事务发生改变后其它站点能够实时显示、实时读取有效数据。实例证明，并发控制策略不仅让协同用户自由地操作共享资源，还能够保证具有高并发率和数据的实时一致性。     

基于HLA的复杂产品协同设计环境

为了实现复杂产品协同设计中的数据一致性、互操作性和冲突消解,建立了一种基于高层体系结构(HLA)的协同设计环境体系框架,定义了3类具有不同权限和职能的联邦成员:设计邦员、管理邦员和监测邦员.在系统框架的基础上,给出了各邦员的时间管理策略和联邦的总体时间推进过程,以及运用邦员的项目权限和所有权管理服务实现发言权控制,确保邦员接收数据的一致性和事件的时序性,避免了冲突操作的发生,并给出原型系统实现的功能和具体应用方案.     

基于HLA的复杂产品协同设计中数据一致性

通过分析复杂产品协同设计的特点和高层体系结构(high level architecture,简称HLA)在工程设计领域中的应用,构建了一种基于HLA的联邦式协同设计系统体系结构,阐述了系统中各平台的组成和功能.为确保协同设计过程中联邦成员收发数据的一致性,提出了各平台中联邦成员的时间管理策略,给出了系统整体时间推进的方法和过程.在时间管理策略的基础上,通过采用设置内部和外部事件逻辑计数器方法和基于仲裁的锁定机制,实现了系统运行过程中设计邦员动态注册的初始一致性.     

协同概念构图系统中的意义协商机制

为有效支撑协同概念构图系统,设计了意义协商机制.该机制支持学习者对协同构图过程中的认知冲突进行意义协商,在协同概念构图中既能充分保留学习者的认知冲突,又同时兼顾协同系统一致性的维护.测试结果表明,该协同控制机制能为协同概念构图系统带来良好的系统性能,有效支持协同概念构图任务的完成.     

Petri网的总线型DCS的通信机制

为了使总线型DCS(Distributed Control System)系统多设备并发通信活动保持有序性、正确性,提出基于Petri网模型对其通信协同关系进行研究.利用Petri网模型对DCS系统中上位机和下位设备在工业网络环境中的协同关系、协同机制进行形式化的描述、分析,用控制进程并发的理论观点来实现这种协同机制.实验测试表明,基于该模式实现的总线型DCS系统比Common DCS平均通讯延迟比小于97/10000,信息发送接收平均误码率低52.5%,平均故障恢复时间大约少6.6ms,体现了较高的实时性、高效性.     

基于图形对象的并发冲突与视图聚合

分析了基于图形对象的并发操作冲突与一致性管理的特点，提出了一个协同设计的并发操作冲突推理和一致性管理模型，它在并发操作发生冲突时自动进行冲突检测和产生分支，并根据冲突类型进行自动或半自动分支聚合．依据图形对象的操作语义，给出对象关联度概念以及基于此的聚合算法．     

CSCW环境下面向对象的实时协同并发控制策略

在实时计算机支持的协同工作(CSCW)环境中，并发控制是网络协同设计中保持各共享图形、数据实时一致性的关键技术，分析了在CSCW环境下影响操作优先权限的因素，运用模糊数学分析方法计算操作优先权限的分配，提出一种面向对象的实时复制结构下基于优先权限的乐观并发控制协议，并介绍了该协议在协同设计中的具体运用．     

Practical stabilization of receding-horizon control

Ｉｔｉｓｗｅｌｌｋｎｏｗｎｔｈａｔｐｒｅｄｉｃｔｉｖｅｃｏｎｔｒｏｌｍｅ ｔｈｏｄｓａｒｅｖｅｒｙｅｆｆｅｃｔｉｖｅｉｎｐｒｏｃｅｓｓｃｏｎｔｒｏｌ,ｗｈｉｃｈｈａｓａｒｏｕｓｅｄａｇｒｅａｔｄｅａｌｏｆｉｎｔｅｒｅｓｔｂｏｔｈｉｎｐｒａｃｔｉｃｅａｎｄｔｈｅｏｒｙ .Ｒｅｃｅｄｉｎｇ ｈｏｒｉｚｏｎｃｏｎｔｒｏｌｔｅｃｈｎｉｑｕｅ ,ｏｒｔｈｅｍｏｄｅｌｐｒｅｄｉｃｔｉｖｅｃｏｎｔｒｏｌｔｅｃｈｎｉｑｕｅ ,ｉｓｏｎｅｏｆｔｈｅｐｏｗｅｒｆｕｌａｐｐｒｏａｃｈｅｓｆｏｒｐｒｅｄｉｃｔｉｖｅｃｏｎｔｒｏ…     

基于时间戳的进程死锁预防策略的研究

通过分析死锁产生的条件,结合基于时间戳的事务并发控制方法,提出了在分布式系统中基于时间戳的进程死锁预防策略(即基于时间戳的对进程分配资源的动态优先级方案),利用等待-死亡策略和伤害-等待策略两种策略,来解决资源请求的冲突,以达到预防进程死锁的目的.并分别从理论和实例两方面验证了基于时间戳的动态优先级方案预防进程死锁的可行性和有效性.     

CIM环境下分布数据一致性的研究与实现

提出了基于信号量的并发控制机制和两个并发控制算法，以解决异构分布的环境下，分布关系间和分布子关系间分布数据的一致性问题，提出在ＣＩＭ条件下，分布数据一致性问题的方法。     

过程型机械系统的方案设计模型

针对锅炉、汽轮机等具有过程系统相似特征的特定机械系统,提出过程型机械系统的分类概念.借鉴过程系统的概念和理论,分析过程型机械系统的功能和结构,提出将该类机械系统的方案设计分为系统级的总体布置设计和单元级的过程部件设计2个层次,并分别在这2个层次上提出由“功能-行为-结构-知识”4元组构成的方案设计模型.通过抽象定义“广义过程部件”和“广义物料”2类对象,具体描述该方案设计模型中最为关键的物料变换逻辑,并提出一种具有普遍适用性的基于ID关联的过程型机械系统流程逻辑描述方法.应用结果表明,提出的方案设计模型合理有效.     

基于CAN总线的实时数据库设计

介绍了实时数据库构建的硬件平台,给出了实时数据库在CAN总线教学实验系统中的总体设计方案,选取Visual C＋＋作为开发工具,充分的利用了Visual C＋＋中并发多线程技术和数据库应用程序的接口ADO技术,实现了对所要监控数据的实时采集、处理和存储。并且从实时调度、实时并发控制与数据管理三方面给出了实时数据库内核的设计方法,并将此软件应用于高校教学实验系统。     

嵌入式实时数据库系统并发控制协议AC—BasedOCC—FV研究

替代和补偿是实时事务的两个基本特点,也是并发控制的主体,同时给并发控制带来了新的问题。AC—BasedOCC—FV协议把替代和补偿综合到乐观并发控制协议OCC-FV中来,对于处于接纳队列中的每个事务,尽可能地选择无冲突替代进入就绪队列,但这只是一个理想情况。如果冲突不可避免,不仅要选择一个合适替代参与并发控制,即使冲突发生时,也要确保系统始终处于一个安全状态。在冲突消解时,结合补偿的特点,对乐观并发控制协议OCC-FV进行了扩展,当事务失败后,立即调度相应补偿事务,以防止系统灾难的发生。     

基于层次分析法的公寓式住宅成本控制

针对城市化进程的快速发展和城市人口资源的高度集中所导致的城区用地紧张问题,提出了采用高层公寓式住宅解决用地短缺的方法.结果表明,运用层次分析法将设计方案中的多方面指标进行量化分析,并进行全方位综合考虑,能够在多个设计方案中选择出最优的设计方案,最优方案不仅能满足住房的安全性和适用性要求,而且能够节约成本.通过层次分析法选定的设计方案能够为设计者提供科学的设计依据,节约建设成本,从而实现成本控制及评价.