Recent activities in the field of Nuclear Operational Management and Nuclear Safety Engineering

Recent activities in the field of Nuclear Operational Management and Nuclear Safety Engineering, the studies related to risk analysis methodology, design, and operational management, physical phenomena, and emergency preparedness and nuclear security, have been progressed. Especially, ‘risk analysis methodology’ and ‘design and operational management’ are the main categories of the field, in which more than half of published articles on Journal of Nuclear Science and Technology are related to these categories.     

核电厂运行安全指标

本文着重介绍了 IAEA 所制定的核电厂运行安全指标,同时也介绍了美国所制定的类似指标。这些指标为定量地评估和比较各国核电厂运行安全提供了可靠的依据。     

柳钢混铁炉炉衬结构及运行管理的技改实践

针对混铁炉使用过程中出现的各种侵蚀状况，设计采用砖砌十浇注复合炉衬结构，特别对前墙拐角和后墙中段等侵蚀快的关键部位作了有针对性的技术改进；在运行管理上，制定推行全新的工艺操作规程，取得了显著的使用效果。     

A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.     

超高速电流反馈集成运放电路与特性

介绍了超高速电流反馈集成运放电路结构，基本特性以及与电压反馈集成运放在性能上的差异。     

A methodology for investigating effects of cell size on operational flexibility in flexible manufacturing systems

There are two aspects to cell formation in flexible manufacturing systems, cell sizing or deciding on the optimum number of machines to be allocated to each cell, and then allocation of specific machines to each cell. Although the latter problem has been investigated extensively there is a paucity of published work on the former. This paper discusses the effects of cell sizing on operational flexibility.Operational flexibility is that aspect of flexibility that enables manufacturing systems to respond with speed and efficiency to changes in the manufacturing environment while maintaining an effective level of control.     

PCF的信息系统模型

带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的．