国际放射防护委员会的剂量系数的可靠性

在评价公众成员摄入放射性核素的辐射危害时，需估算每单位摄入量所致的剂量。摄入放射性素后器官或民受到的剂量是受到的剂量是通过生物学模型和剂量学模型来确定的，因此剂量也必须根据模型来确定。文中初步探讨了国际放射防护委员会给出的剂量系数的可靠性问题。文中首先说明了估算剂量系数的概念和方法，然后分析了剂量系数估算中，采用胃肠道模型，呼吸道模型，系统生物动力学模型和剂量学模型所遇到的不确定度的各种主要来源。     

Adaptive control of siso plants with unmodelled dynamics

In this paper we pursue a twofold aim. First we want to simplify the complexity of the classical Monopoli's scheme, the so-called ‘Augmented error signal control scheme’. Then we also wish to cope with the realistic situation in which the presence of unmodelled dynamics has to be taken into account. This latter problem has been faced in the literature by suitably modifying the adaptation mechanism in order to avoid undesired phenomena as well as to obtain an attractive stability region for the state trajectories starting from any point in a predefined initial condition set. In our case the necessity of introducing any sort of modification in the adaptation mechanism is completely avoided, but we still obtain asymptotic stability of the output error signal.     

用不稳定试井资料研究油藏储集层流动系统模式：以准东油区为例

从不稳定试井Ｈｏｒｎｅｒ曲线形态分类入手，结合油藏动态特征对油藏储集层流动系统进行分类，并初步确定出各类流动系统的特征参数及其相应的开采特点。根据不稳定试井Ｈｏｒｎｅｒ曲线形态，可以把相应的储集层流动系统划分为三大类（孔隙流动系统、双重介质流动系统、裂缝流动系统）五个亚类。特别提出了双重介质孔缝串并流动系统组合模式。这无论对新区开发方案的编制，还是老区开发政策的制定都具有重要的借鉴参考价值。     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

相似理论在真空灭弧室研究和设计中的应用

本文应用相似理论得出,真空灭弧室中电弧运动速度与电流强度成线性关系的相似准则,和极限开断电流与触头直径、开距间的经验公式。认为用小电流模型来研究大电流真空灭弧室是可行的。     

齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

Directional features in online handwriting recognition

The selection of valuable features is crucial in pattern recognition. In this paper we deal with the issue that part of features originate from directional instead of common linear data. Both for directional and linear data a theory for a statistical modeling exists. However, none of these theories gives an integrated solution to problems, where linear and directional variables are to be combined in a single, multivariate probability density function. We describe a general approach for a unified statistical modeling, given the constraint that variances of the circular variables are small. The method is practically evaluated in the context of our online handwriting recognition system frog on hand and the so-called tangent slope angle feature. Recognition results are compared with two alternative modeling approaches. The proposed solution gives significant improvements in recognition accuracy, computational speed and memory requirements.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Hazardous waste management problem: The case for incineration

We define the hazardous waste management problem as the combined decisions of selecting the disposal method, siting the disposal plants and deciding on the waste flow structure. The hazardous waste management problem has additional requirements depending on the selected disposal method. In this paper we focus on incineration, for which the main additional requirement is to satisfy the air pollution standards imposed by the governmental restrictions. We propose a cost-based mathematical model in which the satisfaction of air pollution standards is also incorporated. We used the Gaussian Plume equation in measuring the air pollution concentrations at population centers. A large-scale implementation of the proposed model within Turkey is provided.     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.