核电站中椭圆柱形屏蔽体辐射衰减率的仿真研究

为了预测核电站中椭圆柱形屏蔽体的辐射衰减率，该文用数值解析法对放射线源到评价点的放射线所穿透椭圆柱形屏蔽物体的交点进行了研究。首先用空间解析法建立了椭圆柱形物体的数学模型。然后解曲面方程求出交点。在判断放射线是否穿透此椭圆柱体时，该文又提出了椭圆柱形屏蔽体的假想外接长方体的建模方法，将曲面方程联立解的复杂计算简化为一次代数方程的简单计算，大幅度地缩短了计算时间。     

浅论油液质量对机械设备运转的影响

通过分析润滑油、液压油的质量对设备运转的影响，提出了使用润滑油、液压油的几点建议。     

FluNet: A hybrid internet simulator for fast queue regimes

Motivated by the scale and complexity of simulating large-scale networks, recent research has focused on hybrid fluid/packet simulators, where fluid models are combined with packet models in order to reduce simulation complexity as well as to track dynamics of end-sources accurately. However, these simulators still need to track the queuing dynamics of network routers, leading to considerable simulation complexity in a large-scale network model. In this paper, we propose a new hybrid simulator – FluNet – where queueing dynamics are not tracked, but instead, an equivalent rate-based model is used. The FluNet simulator is predicated on a fast-queueing regime at bottleneck routers, where the queue length fluctuates on a faster time-scale than end systems. This allows us to simulate large-scale systems, where the simulation “time step-size” is governed only by the time-scale of the end-systems, and not by that of the intermediate routers; whereas a queue-tracking based fluid simulator would require decreasingly smaller step-sizes as the system scale size increases. We validate our model using a ns-2 based implementation. Our results indicate a good match between packet systems and the associated FluNet system.     

Building a user model implicitly from a cooperative advisory dialog

This paper reviews existing methods for building user models to support adaptive, interactive systems, identifies sigificant problems with these approaches, and describes a new method for implicitly acquiring user models from an ongoing user-system dialog. Existing explicit user model acquisition methods, such as user edited models or model building dialogs put additional burden on the user and introduce artificial model acquisition dialogs. Hand coding stereotypes, another explicit acquisition method, is a tedious and error-prone process. On the other hand, implicit acquisition techniques such as computing presuppositions or entailments either draw too few inferences to be generally useful, or too many to be trusted.In contrast, this paper describes GUMAC, a General User Model Acquisition Component that uses heuristic rules to make default inferences about users' beliefs from their interaction with an advisory expert system. These rules are based on features of human action and conversation that constrain people's behavior and establish expectations about their knowledge. The application of these rules is illustrated with two examples of extended dialogs between users and an investment advisory system. During the course of these conversations, GUMAC is able to acquire an extensive model of the users' beliefs about the aspects of the domain considered in the dialog. These models, in turn, provide the sort of information needed by an explanation generator to tailor explanations the advisory system gives to its users.     

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

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

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.