抽取式安全壳氢气浓度分析设备的研究

安全壳氢气浓度分析对核电站的安全有着非常重要的作用。针对核电站事故后的安全壳大气设计工况,研究设计了一种抽取式的氢气浓度分析设备。它使用具备防爆性能和承受高辐射能力的材料及零部件,以及核电1E级控制器,采用干法取样技术及样气回流技术,对样气进行处理、分析,并将分析后的尾气回流至安全壳内。独创性地设计了一种湿度补偿模型,对分析得到的结果进行湿度补偿,很好地修正了干法取样带来的大幅度误差,保障了分析精度。本研究成果已在核电站长期在线运行验证,取得了良好效果。     

异构分布式系统混合型实时容错调度算法

基/副版本技术是实现实时分布式系统容错的一个重要手段。提出了一种异构分布式混合型容错模型,该模型与传统的异构分布式实时调度模型相比同时考虑了周期和非周期调度任务。在此基础上给出3种容错调度算法:以可调度性为目的SSA算法、以可靠性为目的RSA算法、以负载均衡性为目的BSA算法。算法能够在异构系统中同时调度具有周期和非周期容错需求的实时任务,且能够保证在异构系统中某节点机失效情况下,实时任务仍然能在截止时间内完成。最后从可调度性、可靠性代价、负载均衡性、周期与非周期任务数及任务周期与粒度J个方面对算法进行了分析。模拟实验结果显示算法各有优缺点,所以在选择调度算法时应该根据异构系统的特点来选择。     

UML状态图在并行环境的应用研究

标准UML(unified model language)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性.针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的...     

一种基于负载均衡异构分布式系统的改进容错调度算法*

基于基/副版本技术提出了一种具有容错功能的静态进程调度算法。给出了一个新的设计模型,并在该模型上提出HDAL算法。此前类似负载均衡容错调度算法都是通过排序来解决故障发生前后的负载均衡调度问题。该算法与以往算法不同之处就是在不依赖排序情况下,通过引进控制进程来解决负载均衡调度问题,并且该算法的负载均衡性在一定程度上具有了可控性。最后通过模拟实验得到以下有意义的结论：在业务繁忙的异构系统中,HDAL算法比以往算法资源利用率高,负载均衡性更好,并且在调度速度上优势明显。     

搬迁工程应优先做好的若干重要事项——广纸实施异地搬迁带来的启示

广州造纸集团有限公司是华南地区最大的新闻纸生产商．有着70多年的辉煌历史,曾连续3年进入世界造纸150强。新世纪以来．由于多种原因,广纸在发展速度上有所减缓．其中一个主要因素就是受到原有厂区地域及环境容量的限制。     

基于面向方面和UML的实时系统建模研究

利用面向方面的编程思想,在实时系统设计的需求分析阶段分离系统的功能性核心关注点和非功能性横切关注点,并着重对系统的非功能性等横切性关注点进行分析.通过扩展UML对实时系统时间切面建模,讨论了时间方面织入过程,利用AspectJ对建模的结果进行简单的编码实现.通过实际ATM自动提款机的实际例子说明如何在实时系统开发中运用这些技术进行系统建模和实现,充分显示了这些技术对实时系统进行分析建模的优越性.     

异构分布式负载均衡容错算法研究

基于基/副版本技术提出一种异构分布式容错调度模型,并在该模型上提出HDL算法。该算法克服了以前算法在故障发生前后负载均衡性不稳定问题,并在一定程序上实现均衡可控性,同时在模拟实验中给出一种基于协方差反映负载均衡性的方法。实验结果证明,该算法的负载均衡性在故障发生前后是稳定的。     

基于通信序列进程的UML序列图形式化方法

UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的系统进行形式化验证。为此,根据UML2.0语义文档及组合碎片包概念,基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则,实现了UML序列图的形式化,为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法。最后通过ATM实例说明UML序列图这一过程的正确性。     

城市“退二进三”战略对我国纸业的影响及企业转型发展之路

“退二进三”不仅仅是区域用地和产业调整的概念,已是我国整体经济结构调整的代名词,它事关经济发展问题,也涉及重要的民生问题;它的加快实施,深层次地揭示了我国造纸业的发展中重要的制约因素,加速了造纸业的转型发展。