双级染料激光放大器泵浦能量分配的数值研究

用染料激光放大器的横向稳态泵浦理论，对不同的入射光能量选择不同的增益计算方法，研究了双级染料放大器的泵浦能量分配比例、泵浦光总能量和信号光能量大小对激光增益的影响。计算结果表明，对于其他参数确定的放大系统，存在着最佳的泵浦能量分配比例，可获得最大增益输出。通过自编程序的计算，可方便地找出特定系统泵浦能量分配比例的最佳值。     

Parallel feedforward class-AB control circuits for low-voltage bipolar rail-to-rail output stages of operational amplifiers

A new family of class-AB control circuits for bipolar rail-to-rail output stages of operational amplifiers is presented. Step by step, we report the development of five simple class-AB control circuits showing the advantages of using parallel feedforward. The circuits have been designed in such a way that temperature, supply voltage and process parameters have little influence. To test the output stages, one of them has been implemented in a very simple two-stage operational amplifier on a semi-custom chip. Measurements show a bandwidth of 2.5 MHz, a gain of 40 dB, a quiescent current of 23µA and a maximum output current of 250µA. Simulation results of three other simple operational amplifiers with the new class-AB control circuits are shown, which have a higher gain and maximum output current.     

核电厂运行安全指标

本文着重介绍了 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的信息系统模型

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