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.     

短周期超晶格AlP／GaP能带结构的转变及其带间的光跃迁

介绍了间接跃迁的半导体ＡｌＰ与ＧａＰ形成的超晶格，由于零折叠效应，实现了能带由间接带隙向直接带隙的转变，从而增加了带间的光跃迁几率，并推导了该几率的表达式。     

CIMS环境中的数据模式转换

本文在分析CIMS环境中数据模式冲关类型的基础上，提出一种互连数据库系统模式结构，论述了在异构数据库集成中解决模式冲突的基本方法．在这种方法体系中，不需要建立整个企业的全局数据模式，各局部DBA以简单的方式定义应用所需的模式变换，系统根据这种定义自动完成各种转换，使用户看到的模式和数据结果与应用要求的一致．     

CRC计算方法的研究

本文丛面地介绍了ＣＲＣ的基本原理和计算方法，并给出了编程实例。     

Testing of multi-output circuits by means of signature analyzer

Let a circuit havem outputs,m>1. There are two ways to test this circuit by means of a signature analyzer: use a single input analyzer for each output or use anm-input analyzer to test all outputs simultaneously. The main goal of this letter is to demonstrate that for fault output sequences with small multiplicity of errors and long length the second approach is more effective.     

反应堆材料热物性数据库管理系统

衡量一个数据库的质量，不以要看其所包含的数据还应考虑数据库管理系统的使用功能。为了更有效地实施ＩＡＥＡ的ＣＲＰ（ＣｏｏｒｄｉｎａｔｅｄＲｅｓｅａｒｃｈＰｒｏｇｒａｍｍｅ）中有关建立反应堆材料热物性数据库的计划，并考虑到能使所收集的数据方便地为用户服务和进行广泛的国际交流，为此设计并编制了该数据库的软件管理系统ＴＰＳＹＳ。这个系统可在ＩＢＭ－ＰＣ（３８６，４８６）等兼容机上运行，采用人机对话、菜单提示、全屏幕操作。其主要功能有：数据库维护、数据检索、与大型计算程序ＭＡＴ－ＰＲＯ接口和与国际上现有的数据库ＴＨＥＲＳＹＳＴ接口。     

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

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

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.