通用绘图软件NuSlides中的面向对象的用户界面设计

本文描述在Ｕｎｉｘ环境下开发的通用绘图软件ＮｕＳｌｉｄｅ中的图形用户界面的设计思想和实际方法。其特点是基子面向对象的技术，提供多窗口、菜单驱动、选择面板、键盘输入等多种才法。该图形用户界面具有灵活性、可扩充性和易使用性。     

Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

一种自动布线方法：多级线探索法

本文介绍了一种在微机上实现的印制板自动布线方法──多级线探索法及其编程方法。这种方法是基于完备布线算法的概念，通过分析李氏算法和传统线探索法的不足之处而得到的。虽然它也是一种线探索法，但有较传统线探索法更强的探索能力，不需要结合李氏算法而能单独完成布线任务，是一种较理想的算法，通过实验获得了较为满意的效果。     

H∞-control with measurement-feedback for Pritchard-Salamon systems

In this paper we extend the finite-dimensional results for the H_∞-control problem with measurement-feedback to a large class of infinite-dimensional systems, allowing for a certain type of unboundedness in the input and output operators (the Pritchard-Salamon class). The main result of the paper relates the solvability to the suboptimal H_∞-control problem to the existence of stabilizing solutions to certain operator Riccati equations. Furthermore, a characterization of all suboptimal controllers is given.     

A semantic modeling approach for image retrieval by content

We introduce a semantic data model to capture the hierarchical, spatial, temporal, and evolutionary semantics of images in pictorial databases. This model mimics the user's conceptual view of the image content, providing the framework and guidelines for preprocessing to extract image features. Based on the model constructs, a spatial evolutionary query language (SEQL), which provides direct image object manipulation capabilities, is presented. With semantic information captured in the model, spatial evolutionary queries are answered efficiently. Using an object-oriented platform, a prototype medical-image management system was implemented at UCLA to demonstrate the feasibility of the proposed approach.     

A method of identifying latent human errors in work systems

Work system improvements are implemented in various manufacturing processes to prevent problems caused by human errors. However, they are almost always applied to problems which have already occurred. This paper examines a method of identifying latent human errors existing within the work systems beforehand. A procedure for applying failure mode and effect analysis to this identification problem was defined based on over 1000 empirical errors: a work system decomposition criterion and fundamental error modes for listing latent human errors, and then applied to three practical manufacturing processes in order to evaluate its effectiveness.     

Modeling of Diffusion in Capillary Porous Materials During the Drying Process

This paper presents a model of heterogenous diffusion in capillary porous materials during the process of drying. The governing heat and mass transfer equations have been established using the liquid as well as vapor flow. Two models have been presented. Model 1 does not consider the heat conduction while the model 2 has been established by considering the conduction. The developed models and the numerical solutions of the resulting differential equations can take into account the moisture and temperature dependent thermophysical properties of the product. All equations have been established in spherical coordinates but the programme written for the purpose of calculations can be used for other geometries also. Numerical calculations have been performed for gas concrete and tiles using model 1, while model 2 has been used for gas concrete only because of the lack of data for thermophysical properties of the tile. For gas concrete it was seen that conduction has only marginal effect on the drying process and the numerical predictions of the drying process were reasonably accurate.     

冲裁模CAD／CAM结构库之原型法

本文首先给出了一种新的2.5D 实体表示法,然后在此基础上提出了“原型”的概念。原型法的思想运用在结构库的管理中主要体现在它将模具结构与构成这种结构的零件之间的强联系变成弱联系,结构库面向的对象是一个具有整体性和可运算性的结构原型。这样的原型结构库基本上达到了通用性与开放性的要求。     

A new monitoring system for piping systems in fossil fired power plants

A CEC-funded project has been performed to tackle the problem of producing an advanced Life Monitoring System (LMS) which would calculate the creep and fatigue damage experienced by high temperature pipework components. Four areas were identified where existing Life Monitoring System technology could be improved:

1. 1. the inclusion of creep relaxation

2. 2. the inclusion of external loads on components

3. 3. a more accurate method of calculating thermal stresses due to temperature transients

4. 4. the inclusion of high cycle fatigue terms.

The creep relaxation problem was solved using stress reduction factors in an analytical in-elastic stress calculation. The stress reduction factors were produced for a number of common geometries and materials by means of non-linear finite element analysis. External loads were catered for by producing influence coefficients from in-elastic analysis of the particular piping system and using them to calculate bending moments at critical positions on the pipework from load and displacement measurements made at the convenient points at the pipework. The thermal stress problem was solved by producing a completely new solution based on Green's Function and Fast Fourier transforms. This allowed the thermal stress in a complex component to be calculated from simple non-intrusive thermocouple measurements made on the outside of the component. The high-cycle fatigue problem was dealt with precalculating the fatigue damage associated with standard transients and adding this damage to cumulative total when a transient occurred.

The site testing provided good practical experience and showed up problems which would not otherwise have been detected.     

核电材料在模拟反应堆环境中应力腐蚀破裂测试技术与性能评价

简要介绍了采用慢应变速率试验，Ｕ型弯曲和Ｃ形环试验等技术，分别对８００合金，３０４和３１６及３１６Ｔｉ不锈钢Ａ５３３Ｂ压力容器用多在模拟核反应堆环境中的应力腐蚀破裂敏感性性进行的试验研究的一些主要结果；并结合电化学测试和表面膜俄歇电子能谱分析结果进行了讨论。