大型焦炉计算机优化控制系统

本文介绍一个大型焦炉计算机优化控制系统，它不仅实现了燃烧系统的ＤＤＣ控制，而且完成了结焦终点的在线预报和以焦炉能耗最小为目标的优化控制。     

网带式连续烧结炉炉温及网带速度微机控制系统

本文介绍一个基于ＳＴＤ总线的单片机网带式连续烧结炉炉温及网带速度控制系统，详细叙述了系统的硬件结构和控制算法。     

CASE与MIS的开发

本文介绍ＣＡＳＥ技术的基本思想与构成，ＣＡＳＥ工具在ＭＩＳ开发中的作用，概要介绍国内流行的ＣＡＳＥ产品并对其作出评述。     

珠海拱北口岸联检大楼空调设计

介绍了珠海拱北口岸联检楼空调系统的设计特点，提出了按建筑类型、功能进行空调系统分区的设计方法，强调应根据建筑物的具体情况设置设备用房，以保障空调系统正常有效地运行。     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

硫酸生产中内喷文氏管的设计

从分析内喷文氏管喷头旋流特征入手 ,建立有关数学模型或表达式 ,提出对内喷文氏管喷头、收缩管支管内径、喷嘴与喉管距离进行设计的方法 ,并对设计中值得注意的问题进行理论和实践上的讨论。     

钢筋混凝土烟囱有井架整体爬模施工技术

本文主要 根 据三 明 钢铁 厂130m~2 烧 结机 改造 工 程 60m 和 100m 烟 囱 的施 工实 例 ,详 细介 绍 了钢 筋 混凝 土烟 囱 有井架 整 体爬 模的 施 工新 方 法,并 取 得了 良好 的 效果 。     

谈西安传统历史街区内西羊市街

介绍了西安传统历史街区内西羊市街的活力情况 ,对该街区所处的环境背景进行了分析 ,探讨了街区的民族风格 ,指出只有转变观念 ,才能规划和设计出好的作品     

Evaluation of a two-temperature control structure for a two-reactant/two-product type of reactive distillation column

Several different control structures have been proposed for reactive distillation columns. The appropriate control structure depends on the flowsheet and on the type of reactions occurring in the column. If two reactants are involved and if it is desirable to operate the process without any excess of reactant, it is necessary to manage the fresh feed streams so that the stoichiometry is exactly balanced. A composition analyzer that measures an internal composition in the column is often required. However, if two products are produced, it is possible to avoid the use of an analyzer by using two temperatures in the column to adjust the two feed streams. This type of structure was proposed by Roat et al. [Roat, S., Downs. J., Vogel, E., Doss, J., 1986. Integration of rigorous dynamic modeling and control system synthesis for distillation columns. In: Chemical Process Control—CPC III. Elsevier, Amsterdam.] for the ideal reaction A+B↔C+D in one of the earliest papers dealing with reactive distillation control.The purpose of this paper is to explore the effectiveness of this two-temperature control structure for various column designs (number of reactive stages) to quantify the impact of design on controllability. We also discuss the issues of the selection of the trays whose temperatures are to be controlled and the tuning of the two interacting temperature controllers. Disturbances in production rate and fresh feed compositions are made to examine the rangeability of this control structure. Both an ideal reaction system and the methyl acetate system are studied. One of the main conclusions is that the locations of the temperature control trays should be made such that the two temperature controllers both have direct action (an increase in temperature increases feed), which requires negative openloop process gains for both loops.