改进的并发控制策略在CSCW中的应用

计算机支持协同工作(CSCW)操作主要是交互控制、过程控制和并发控制,其中并发控制是至关重要的,因为多个用户共同对共享对象进行并发操作难免会产生冲突,因此从操作对象破坏性和优先级进行考虑,文章给出了一种能够解决冲突的算法,详细描述了该算法的基本思想,设计了并发控制的模型和程序,提出了一种破坏性优先级并发控制策略,实验证明该方法是有效的。     

分布对象中间件并发模型研究

并发模型对于分布对象中间件具有十分重要的意义．分析了自主研发的分布对象中间件产品中的两级并发模型：通讯级并发和请求级并发．然后讨论了并发模型的模式和使用．     

基于LOTOS对象模型的并发形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。     

并发面向对象语言运行支撑系统

探讨如何为并发面向对象语言提供松散耦合分布式环境下的运行支撑环境．介绍我们为并发面向对象语言ＡＣ＋＋设计实现的分布式运行支撑系统ＤＲＴＳ．着重讨论了ＤＲＴＳ的设计思想和一些重要的实现技术．     

CSCW系统中并发控制方法简述

CSCW是网络环境下一种新的协同工作方式.如何有效地解决该领域中多用户对共享对象的并发操作产生的冲突问题,成为CSCW系统的关键技术和难点.首先简要分析CSCW系统的并发控制问题产生的原因,然后对几种典型的并发控制方法的改进策略进行评述.     

反应式系统的并发模型（II）：程序语言模型

文［１］提出了反应式系统的一种抽象并发计算模型;本文在此基础上给出反应式系统并发描述的程序语言模型,重点阐述和剖析基于共享变量模型的两种语言－转换图和文本语言,分别给出它们的语法及进程间通讯机制的描述,并建立抽象计算模型结构到这两种语言结构上的映射。     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

一个并发约束程序设计语言的定义与实现

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.     

一个多线程面向对象的程序设计模型

基于并发对象提出了一种新的多线程面向对象处理模型ＭＣＯＯＭ。该模型改进了传统面向对象的进程思想和多线程模型中对象体所导致的瓶颈现象,提出了将控制分散于各方法体中的机制,从而提高系统性能,另外还对并发控制作了详细讨论。     

一种实时数据库系统的多版本两段锁的并发控制协议

详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类,主要包括：实时数据对象可分为映像对象、导出对象和不变对象;实时事务按功能分类可分为数据接收事务、数据处理事务和控制事务;数据接收事务和控制事务是硬实时事务,是不能等待和阻塞的．然后,根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了实时数据库系统的多版本两段锁及多版本带夭折两段锁协议,且证明了两者都是冲突可串行化的．前者对于只读事务是没有延迟的,对于硬实时事务的延迟也很小;后者对硬实时事务不产生任何延迟,这两个协议都能较好地保证实时事务和实时数据的定时限制．     

The inheritance of PN-COOPN

An appropriate combination of COOP and Petri nets is required in order to profit from the strength of both methods. This paper gives an overview of our ongoing research on PN-COOPN, which is a paradigm and development environment for concurrent object-oriented programming based on Petri nets. We describe the object model and programming notation and emphasis the inheritance part for PN-COOPN. Supported by the Foundation of National 863 Project. Zhang Qian, born in 1973, Ph. D     

协同绘图并发控制算法的研究

协同绘图是计算机支持的协同工作(CSCW)的重要研究方向,协同绘图编辑系统支持不同地域的设计人员通过网络同步进行浏览、编辑和修改等各种绘图的操作。协同绘图最核心的问题就是对于绘图的操作意愿和并发控制算法。本文在基于复制结构的并发控制策略分析的基础上,提出了并发访问控制策略模型,并给出了一个有效的适合绘图对象并发控制算法,在实际应用中表现出较好的协作性能。     

并行设计中可制造性分析的研究

总结了可制造性分析的目标、内容和方法,采用面向对象技术,提出了用于可制造性分析的面向对象零件特征模型,在ＭＤＴ软件基础上,建立了用于零件并行设计可制造性分析的原型系统。描述了特征建模、特征识别、工艺设计以及智能评价等相关技术和策略。     

并行工程研究与应用

对并行工程进行了概述，介绍了并行工程的含义，论述了并行工程特点及实施过程，分析了实施并行工程的主要因素，在此基础上提出了新的并行工程定义。将并行工程基本原理应用于科学仪器共用网络体系结构建立和设计中，说明了并行工程的应用过程和应用技巧。论述了应用并行工程实施科学仪器共用网络建设的特点和设计过程。     

多用户远程协同工作系统一致性与并发控制模型

一致性与并发控制是计算机支持多用户远程协同系统要解决的关键问题之一。本文给出一种支持该系统工作一致性与并发控制模型，以适应协同工作环境下对实时性的要求。     

并行工程计划问题的模糊网络分析方法

基于网络流模型,本文提出了确定模糊网络关键路线的参数线性规划方法,并给出了反映决策者偏好信息的模糊网络关键路线和工程模糊完工期的隶属函数形式,从而得到了模糊网络关键路线性质的更全面结果。最后,针对模糊环境下的并行工程计划问题,给出了模糊网络的分析方法。     

专家系统中基于模糊对象匹配的研究

提出并研究一种新的知识表达模型"模糊对象".它突破传统的精确模型,是一条将模糊理论和面向对象技术应用于专家系统的途径.详细分析了该模糊对象模型的意义、知识表达结构以及它在模糊专家系统中的推理机制.并应用格贴近度和综合函数γ-operator两种方法计算模糊对象与规则中各种模糊对象模式之间的匹配程度.实验表明,该方法能显著地提高信息的准确性和有效性.最后探讨了用基于模糊专家系统外壳FuzzyCLIPS实现这一方法的可行性.     

A communication-aware scheduling algorithm for heterogeneous systems

Previous work mostly employs an ideal system model that assumes fully connected processors and concurrent communication, which leads to inaccurate and inefficient schedule results. In this paper, a new scheduling model which integrates the communication awareness was proposed. Then, a novel scheduling algorithm based on list heuristic was put forward for the new model, which can produce optimal schedule by serializing the communications edges. Experimental results show that the accuracy and efficiency of the new model and algorithm are significantly improved.     

面向并行工程的产品设计综合评价及决策

依据动态规划原理和模糊理论,建立了面向并行工程的产品设计多级模糊决策模型,对决策过程中各设计方案的模糊评价作了分析讨论,为产品并行设计的决策提供了理论依据,增加了并行设计的可操作性．利用所提出的方法,可有效地解决产品并行设计的决策问题．     

分布式并发软件生命周期模型研究

针对软件开发原有生命周期模型主要针对传统的顺序集中式开发、已无法适应新的开发需要的问题,提出了针对分布式并发软件开发的菱形软件生命周期模型．分析了传统软件生命周期的缺点,给出了新的生命周期模型定义,以及模型组件的相互关系,分析了模型组件间的有效关系和无效关系,探讨了新模型如何弥补传统软件生命周期模型的不足．该模型定义清晰,使用简单,便于分析分布式并发软件的开发过程．