我国高温气冷堆核电示范工程启动

2004年1月15日,中共中央政治局常委,国务院副总理黄菊出席由中国核工业集团公司和中国核工业建设集团公司举行的”庆祝我国核工业创建50周年大会”并发表重要讲话。     

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

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

DDBMS中的并发控制理论

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

一个战术软件测试编码一体化系统的设计与实现

战术应用软件 (以下简称战术软件 )是舰载指控系统的重要组成部分 ,是舰艇作战系统的灵魂。为了确保战术软件的质量与可靠性 ,提高战术软件的开发效率 ,必须实现战术软件测试的自动化 ,战术软件测试和编码的一体化。本文结合战术软件测试编码一体化系统 (以下简称一体化系统 )的研制 ,说明了该系统的研究意义及设计思想 ,研究方法与关键技术     

机器人力反馈依从控制器多机系统分布式程序设计的实现

本文介绍在机器人力反馈依从控制器多机系统中采用程序设计语言C 与分布式库函数相结合实现分布式程序设计的方法,论述了分布式库函数形式,支持分布式库函数设计的多机操作系统功能及其在设计过程中应予以重视的某些问题,并给出了分布式程序设计的一个简例。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

资源结构映像异步更新策略及其在JBCM中的应用

使基于构件的软件配置管理系统支持对配置资源的并发访问是一种必然要求,为此提出了一种资源结构映像异步更新策略用以实现这一目标.这种方法已由北京大学软件工程国家工程中心应用于青鸟软件配置管理系统(JBCM).     

支持多剧情并发执行的仿真克隆中间件机制研究

仿真克隆可以提高分布式离散事件仿真的效率和并行性,方便快捷地对仿真中的多种可能性进行分析、比较和评估.介绍仿真克隆的相关概念,分析HLA环境下封装式仿真克隆中间件的不足,提出并设计一种支持多剧情并发的拦截式HLA仿真克隆中间件,讨论基于该拦截式仿真克隆中间件的HLA仿真成员体系结构,并对联邦成员的时间延迟性能进行测试,测试结果表明该松耦合结构使联邦成员产生的时间延迟是有限且基本稳定的,基于拦截式仿真克隆中间件方法是可行的.     

分布式事务处理模型

本文给出了一个分布式数据库环境下的事务处理模型,该模型强调了在处理用户的事务中,场所间所需要的基本的相互作用,为描述和分析分布式并发控制方法提供了一个统一的框架。本文也是有关分布式并发控制研究的导引性文章,为后续论文奠定了基础。     

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

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