DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

基于PETRI网的防空指控系统的建模及分析

防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务。PETR I网是一种描述和分析异步并发现象的一种有效的模型工具。以PETR I网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换。从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的。     

分布式系统仿真技术研究及其实现

以舰炮武器系统全数字仿真为例 ,讨论了分布式仿真系统的设计过程 ,提出了仿真系统的体系结构、网络通信方案、多任务并发控制等分布式仿真中关键问题的解决方法     

Novell网络环境下分布式文件系统的设计与实现

在局部网络环境下实现分布式文件系统和远程过程调用是实现高层分布式软件的基础。本文在分析Netware层次结构的基础上,给出了一个在网络层上的分布式文件系统和远程过程调用的设计与实现,详细讨论了该系统的功能、用户界面和实现中的技术问题,包括可靠性和并发控制等必须解决的问题。本文的工作是为在Novell网上实现分布式数据库而设计的。     

关于智能化的军事决策

本文提出了一个智能指挥与控制系统的简要模型 ,依据这个模型分析了专家系统技术在军事决策过程中的应用 ,并分析了分布式专家系统技术在C3 I中应用的前景和意义。最后简要介绍了一个以模型中的重要环节———态势估计任务为背景的分布式多智能主体知识表示框架DESW系统     

分布式C^3I系统中的协同

分布式C3I系统作为典型的决策群,为完成赋予系统的特定任务,决策成员间必须密切协同.本文讨论了协同的含义,提出了共享模型的概念,描述了分布式C3I系统的三种特性及其相应组织结构的三种模型,给出了一个CPN简化综合模型,并在结论中指出了今后研究方向.     

多主体系统建模方法探索

本文提出结合组织学理论研究多主体系统（ Ｍ Ａ Ｓｓ）建模的一种方法。文章从宏观到微观，在整体组织、个体和并发行为等不同抽象层次上论述了分析与设计多主体系统的建模方法，并详细介绍了用于多主体系统设计的系统组织模型、主体概念模型和分布式协作求解模型三个抽象模型的主要研究内容。     

分布式防空C^3I模型间信息交互研究

分布式防空C3I每个子系统都由若干台计算机组成，每台计算机完成一个或多个子模型的功能，它们之间通过网上信息交互，共同完成分布式防空C3I的分布式交互仿真．本文主要对分布式防空C3I系统中模型间信息交互进行了研究，分析了子模型的输入信息和输出信息，研究了信息有效交互的途径和提高信息交互速度的方法．     

分布式装备保障体系任务分配模型

针对信息化条件下装备保障体系分布式保障指挥与控制形式的特点、保障单元自主智能等特性及面向作战任务的装备保障任务分配要求,构建了基于多Agent的分布式装备保障体系任务分配框架,提出了以任务成功率为中心的分布式装备保障任务分配模型。根据分布式保障任务分配的市场机制特性和模型求解的特点,设计了分布式拍卖求解算法,通过保障单元个体目标的最大化来获得装备保障体系任务分配的理想收益。最后,通过案例仿真验证了模型与算法的合理性与有效性。     

分布式导弹发射控制系统设计模型

分布式导弹发射控制系统是以多微机结构处理导弹发射控制过程的一种控制系统,是当代导弹武器发射控制系统所广泛采用的一种先进技术。通过对某类常规战术导弹实施分布式发射控制模型设计的分析,探讨了分布式微机结构在军事控制领域的应用前景     

坦克嵌入式训练系统信息采集与处理技术

以坦克嵌入式训练为对象,分析了训练中信息采集与处理任务的功能及特点,并结合某新型坦克的技术特点,提出了信息采集与处理任务的需求,建立了分布式附加结构的信息采集处理模型。模型采用模块化和总线互联结构,由功能独立的主控单元和采集单元构成,保证了实车信息采集与处理的实时性和可靠性。     

一个分布式并行设计集成框架系统的研究与开发

复杂产品的设计日益复杂 ,推向市场的时间日益缩短 ,并行设计技术得到广泛应用。文中实现了一个支持复杂产品多领域并行设计的集成框架YC bridge。该集成框架的开发采用符合CORBA规范的Client/Server中间件 ,实现了基于设计体模型的设计数据管理、基于语义模型的工具封装和基于扩展网络图模型的设计过程管理。YC bridge已在实际设计工作中得到较好的应用     

以对象Petri网为基础的C3I仿真系统的设计和实现

Petri网是描述具有分布、并发、异步特征的系统的有效工具.提出了对象Petri网(OPN)的概念,并对基于OPN的C3I仿真系统结构、设计及实现,作了较为详细的探讨.     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。     

基于分布对象的高性能异步回调模型

分布对象技术是分布异构环境下软件开发和系统集成的良好解决方案 ,然而在高性能分布计算领域 (如分布事务处理、分布交互仿真和分布并行计算 ) ,传统调用模型在异步特性方面的不足限制了分布对象技术在该领域的应用。因此 ,文章介绍一个新的基于分布对象的异步回调模型 ,着重探讨了该模型的定义、关键实现技术、优化策略和性能测试。     

An approximate planning model for distributed computing networks

We develop an approximate planning model for a distributed computing network in which a control system oversees the assignment of information flows and tasks to a pool of shared computers, and describe several optimization applications using the model. We assume that the computers are multithreaded, and have differing architectures leading to varying and inconsistent processing rates. The model is based on a discrete‐time, continuous flow model developed by Graves [Oper Res 34 (1986), 522–533] which provides the steady‐state moments of production and work‐in‐queue quantities. We make several extensions to Graves' model to represent distributed computing networks. First, we approximately model control rules that are nonlinear functions of the work‐in‐queue at multiple stations through a linearization approach. Second, we introduce an additional noise term on production and show its use in modeling the discretization of jobs. Third, we model groups of heterogeneous computers as aggregate, “virtual computing cells” that process multiple tasks simultaneously, using a judiciously selected control rule. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

基于Petri网的指挥控制系统仿真

指挥控制系统是一个具有分布、并发、异步等特性的复杂系统,Petri网是描述具有此类特征系统的有效工具.提出了基于Petri网的指挥控制系统仿真平台的具体设计方案.介绍了仿真平台的实现方法和程序的设计思路,实现了对普通Petri网、X1系统的建模,进行了功能和结构上的分析,并对分析结果的现实意义作了进一步的讨论.     

一种新的分布事务处理模型和算法

分布事务处理是分布式数据库管理系统设计中的一项关键技术。为保证分布事务的原子性,对基本分布事务处理模型和加工协议进行改进,提出了一种新的分布事务处理机制,并给出了其在分布式工程数据库管理系统dEDBMS中的实现方法。