检索结果-南通市图书馆

维普期刊数据库

管壳式换热器管程流动传热特性及其影响因素研究进展

在线全文

学校读者我要写书评

暂无评论

应用化工 2022年第S1期51卷 229-232,237页

作者：殷小明陈艺宋友立上海市特种设备监督检验技术研究院上海200062

管壳式换热器作为典型的压力容器,因其结构简单、承压能力强、耐高温及稳定性好被广泛应用于化工、能源、冶金及食品行业。随着工业的快速发展及生产力的提高,对管壳式换热器的换热量及换热效率要求也越来越高,研究管壳式换热器流动传... 详细信息

管壳式换热器作为典型的压力容器,因其结构简单、承压能力强、耐高温及稳定性好被广泛应用于化工、能源、冶金及食品行业。随着工业的快速发展及生产力的提高,对管壳式换热器的换热量及换热效率要求也越来越高,研究管壳式换热器流动传热特性及其影响因素对提升其换热效率十分重要。管壳式换热器流体介质经过换热管内的通道称为管程,对管壳式换热器管程的流动传热机理研究进行综述,总结其流动传热机理,分析影响管壳式换热器管程流动传热因素,为其强化流动换热提供理论依据及研究方向。

关键词：换热器压力容器管程机理综述

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

管程:操作系统的一个结构概念

计算机工程与应用 1979年第1期 50-59页

作者： C.A.R.Hoare ,仲萃豪 ,张龙腊

引言操作系统的主要目的是使许多程序共享一台计算机资源,而且这些程序对其资源的需求情况是不可予知的。所以操作系统设计者的主要任务是为各类资源建立一种资源分配(或调度)算法。为简化任务,应对各类资源建立单独的调度程序。每个... 详细信息

引言操作系统的主要目的是使许多程序共享一台计算机资源,而且这些程序对其资源的需求情况是不可予知的。所以操作系统设计者的主要任务是为各类资源建立一种资源分配(或调度)算法。为简化任务,应对各类资源建立单独的调度程序。每个调度程序将包括一定数量的局部管理数据,以及希望获得和释放该资源

关键词：程序管程操作系统计算机系统序列资源进程

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

管程正确性的证明

计算机研究与发展 1979年第5期 61-67页

作者： John H.Howard 陈华瑛

1.引言管程是为在多道程序系统中定义共享的抽象对象以及对它们的存取进行调度而设计的一种结构。*** 最近写的文章提供了管程的精确定义,并给出了几个管程用法的例子。Hoare 认为数据抽象和不变式这两种方法对大多数例子看来都是处理... 详细信息

1.引言管程是为在多道程序系统中定义共享的抽象对象以及对它们的存取进行调度而设计的一种结构。*** 最近写的文章提供了管程的精确定义,并给出了几个管程用法的例子。Hoare 认为数据抽象和不变式这两种方法对大多数例子看来都是处理不了的。本文是对 Hoare 挑战的回答。本文描述了管程的一些重要性质的表示方法,并用Hoare 的公理系统来证明这些性质,还把这些方法应用于 Hoare 文章中举的几个例子,表明这些方法的实用性。本文提出的两种方法是:利用“历史”变量来描述一个管程及使用它的进程过去所执行的操作序列;以及对管程的 Wait 和 Signal 操作的性质公理化,以便能用关于管程的形式断言来表达其调度性质。

关键词：管程定义证明规则历史变量进程队列长度不变式

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

管程的验证和Hoare系统的不完全性

计算机学报 1981年第3期 161-173页

作者：周巢尘中国科学院计算技术研究所

本文讨论管程(Monitor)的验证技术。指出了Howard的证明规则是不一致的,并证明了不存在验证管程的一致和完全的正规Hoare系统。Ciarke证明了,对于功能很强的语句——递归过程,Hoare系统是不完全的;本文的结果表明Hoare系统对并发现象中... 详细信息

本文讨论管程(Monitor)的验证技术。指出了Howard的证明规则是不一致的,并证明了不存在验证管程的一致和完全的正规Hoare系统。Ciarke证明了,对于功能很强的语句——递归过程,Hoare系统是不完全的;本文的结果表明Hoare系统对并发现象中复杂的控制转移结构也是不完全的。

关键词：管程 Hoare系统控制转移不完全性并发程序验证技术 urgent 公理化同步机制计算机学报

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

空气预热器管程流场分析与结构优化

石油化工设备技术 2018年第3期39卷 1-7页

作者：胡珺周政薄德臣张英中国石油化工股份有限公司抚顺石油化工研究院辽宁抚顺113000 中国石油化工股份有限公司中原油田分公司河南濮阳457162

利用FLUENT软件,对中国石化某分公司空气预热器的管程流场和管束流量进行了详细的模拟分析,并对转向室及导流板的结构进行优化设计.结果表明:对于空气预热器管程,空气在同一管段和转向室内流动十分不均匀,虽然转向室内设置了导流板,但... 详细信息

利用FLUENT软件,对中国石化某分公司空气预热器的管程流场和管束流量进行了详细的模拟分析,并对转向室及导流板的结构进行优化设计.结果表明:对于空气预热器管程,空气在同一管段和转向室内流动十分不均匀,虽然转向室内设置了导流板,但是受气体流动惯性力作用,流动仍然不均匀,局部区域出现了涡流.通过改变转向室尺寸、导流板的位置和偏转角度,改善流体在转向室的流场分布等结构优化改造后,流体在空气预热器转向室分布的均匀程度明显提高,从而减少了涡流和振动的产生,提高了空气预热温度.

关键词：空气预热器管程管束转向室流场结构优化

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

管程的两点改进

微电子学与计算机 1988年第6期 9-13页

作者：赵电国西北电讯工程学院

管程是并发程序设计中的一个重要概念,本文从两个方面对其进一步加以发展:第一,允许多个进程同时进入管程(但不是关键区);第二,采用新的同步机制,进程不是先进关键区再判断同步条件,而是先判断同步条件再进入关键区。称改进后的管程为... 详细信息

管程是并发程序设计中的一个重要概念,本文从两个方面对其进一步加以发展:第一,允许多个进程同时进入管程(但不是关键区);第二,采用新的同步机制,进程不是先进关键区再判断同步条件,而是先判断同步条件再进入关键区。称改进后的管程为多门管程.和传统管程相比,多门管程并发程度高,结构、风格良好,执行时间及占用空间少,且容易实现.

关键词：管程关键区进程信号量概念 OP 思维形式同步条件