Combining multiple knowledge bases

Combining knowledge present in multiple knowledge base systems into a single knowledge base is discussed. A knowledge based system can be considered an extension of a deductive database in that it permits function symbols as part of the theory. Alternative knowledge bases that deal with the same subject matter are considered. The authors define the concept of combining knowledge present in a set of knowledge bases and present algorithms to maximally combine them so that the combination is consistent with respect to the integrity constraints associated with the knowledge bases. For this, the authors define the concept of maximality and prove that the algorithms presented combine the knowledge bases to generate a maximal theory. The authors also discuss the relationships between combining multiple knowledge bases and the view update problem     

A mixed finite element model for the elastic contact problem

The static elastic contact problem is approached using Lagrange multipliers, leading to a mixed finite element problem. A non-linear friction law is introduced explicitly and the non-local character of the friction phenomena is implicitly assumed. In order to avoid stress oscillations near singular points, a perturbed Lagrangian functional is considered. The algorithms herein proposed do not impose nodal dependencies over the contact surfaces, allowing for the independent discretization of both bodies. The method is able to model simultaneous contact over different regions of any geometrical shape. Computer code, examples and results presented here are restricted to axisymmetrical and bidimensional cases.     

A psychological study of advanced manufacturing technology: the concept of coupling

The role played by technology as a discrete independent variable in shaping the design of work is explored. The concept of coupling is developed and an empirical study of work with advanced manufacturing technology (AMT), using measurement scales derived from this concept, is outlined. Results indicate that operators of tightly coupled AMT perceive stronger supervisory influence on their working methods and show signs of lower intrinsic job satisfaction and poorer mental health than operators of more loosely coupled AMT. Implications for job redesign are discussed.     

Some Aspects of Binding GKS to C++

Aspects of a prototype binding of GKS to the C++ programming language are presented. The binding makes use of classes and derived classes to define GKS concepts such as segments and workstations. Operator overloading is used for some GKS Functions.     

Magnetic anisotropy of Co-Cr thin films as a function of substrate temperature during deposition

A sequence of Co78Cr22films, 500 nm in thickness, was prepared by deposition on glass in a modified Varian D.C. magnetron S-gun sputtering system. The substrate temperature during deposition, Ts, was fixed at various values with an upper limit of 300°C. Specimens were examined by VSM, TM, FMR and TEM. Msrises significantly with increasing Ts, peaking at 200°C at 370 emu/cm³. The effective volume-averaged anisotropy drops for Ts>110°C from +1.6 KOe to progressively negative values (-4.3 KOe at 300°C). From FMR we find indications of the presence, in addition to the transition and bulk layers, of a highly negative anisotropy constituent (sim-11.5KOe anisotropy field). This resonance appears at Tsvalues of 150°C and above. TEM plane and cross-section views taken on a Ts= 150°C specimen show islands composed of tilted columns within the bulk. For vertical recording, specimens prepared at Tsvalues between 50 and 100°C are recommended. On the other hand, for longitudinal recording applications, films prepared at Tsvalues above 250°C would seem to be appropriate.     

亚洲电力改革:孰是孰非?

电力市场化是全球电力工业都在热烈讨论和积极探索的热点课题 ,在中国电力市场化改革的今天 ,尤其具有重要的理论和实践意义。 2 0 0 2年 5月 1 3日至 1 8日 ,由清华港大深圳电力系统研究所主办的“电力市场新进展高级研讨会”在深圳清华大学研究院举行。在研讨会上 ,与会专家分别就电力市场研究和实践中的若干问题发表了演讲。本刊将主要内容摘录、汇编成文 ,奉献给大家 ,以便广大读者对电力市场的研究动态有比较全面的了解。在此 ,衷心感谢参加“电力市场新进展研讨会”的各位专家给予的大力支持和帮助 ,特别感谢香港大学 /浙江大学文福拴博士、香港大学严正博士在本文的摘编过程中提供的技术指导和具体帮助。