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

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

浅谈面向对象程序设计技术

面向对象程序设计(Object-Oriented Programming,OOP)在现代程序设计思想中占有很重要的地位。在这篇论文中,首先阐述什么是面向对象程序设计,然后逐步讨论面向对象程序设计的主要思想,列举该技术的优点并指出其存在的问题,最后讨论面向对象程序设计技术的发展趋势。     

实时数据库事务的主—从并发控制方法

提出了一种针对实时数据库的主－从并发控制策略：从并发控制解决同类事务间的读写冲突，主并发控制解决不同类事务类间的读写冲突。     

并发系统性质描述的一种形式化方法

给出并系统性质的一种形式化描述方法－时态逻辑方法，其时间模型是离散和和线性的。     

实时数据库在移动通信网中的并发控制研究

针对传统的关系型数据库管理系统无法满足具有事务限时响应的实时性应用的问题,以及为了提供移动通信网本地位置寄存器HLR中的高可靠和高可用的访问服务,提出了一种实时数据库与商用数据库相结合的实现模式,用以提供大容量大事务处理能力和电信级高实时性响应的服务;分析了系统基于事务响应时间限制优先级要求的并发控制原理及利用主动触发机制解决数据竞争的实现方式。     

基于UNIX多线程的数据处理模型的研究与应用

从多线程的概念出发,探讨了Unix环境下多线程的基本理论。提出了基于多线程技术的数据处理模型,并通过重庆电信计费审核系统,给出了在IBMAIX环境下该模型的应用实例。     

基于Petri网的光学专家系统体系结构设计的研究

用Petri网本身表示知识,Petri网的标识来表示光学专家系统的内存工作区,达到以Petri网为工具描述整个专家系统的体系结构的目的,也使得Petri的并发运行过程可以规范刻画光学专家系统的并行推理过程.使得透镜组的设计可以规范化,将丰富的镜头人工设计经验应用在人工智能专家系统上.通过Petri网知识分析论证能否保证该人工智能专家系统的鲁棒性.     

用户并发访问过程的系统负载分析模型

构建了用户并发访问过程的系统负载分析模型.首先建立用户与应用的对应关系及访问权限矩阵,作为原始数据模型;然后按每个用户并发访问应用的次数建立访问频度矩阵.在访问频度矩阵中增加负载因子,生成系统负载矩阵,即分析模型,并分别以用户和应用为主线进行了相应的量化分析,最后用实例验证了模型的有效性.     

实现并发控制的主要方法之～锁

数据库技术是一门综合性的软件技术，是使用计算机进行各种信息管理的必备知识。数据库技术所研究的问题就是如何科学地组织和存储数据，如何高效地获取和处理数据，是当代计算机科学的重要组成部分。     

基于Flash-ASP的协同虚拟实验室研究

详细介绍了基于Flash-ASP的协同虚拟实验室的设计思想和实现方式,以及利用事物处理实现并发控制的技术细节,实践表明该方案是行之有效的,所形成的协同虚拟实验室不仅具备计算机支持的协同工作的特点,而且表现力丰富,交互能力较强.