Mean-square stability for discrete bilinear systems in Hilbert space

A discrete system is uniformly mean-square stable if uniform convergence is preserved between input and state correlation sequences, and if nuclearity is preserved between the input and state correlation limits. This paper supplies a contraction-free condition ensuring mean-square stability for infinite-dimensional bilinear systems evolving in a separable Hilbert space.     

Integrated distributed intelligent system for process-control system design

In process-control system design, the Computer Aided Design (CAD) techniques have evolved a new generation of design techniques. This also paves the way for implementing Computer Integrated Manufacturing Systems (CIMS). However, the key issue to accomplishing the objectives in CAD is the automation of conceptual design. This paper first introduces the fundamentals of conceptual design for process-control system design. Then, a strategy to solve the problems in conceptual design is proposed. The associated system configuration and software implementation platform for developing intelligent systems for process control system design are presented. Finally, an application case is studied.     

A new approach to the decomposition of Boolean functions by the method of <Emphasis Type="Italic">q</Emphasis>-partitions. III. Joint decomposition of a function system

The paper considers the set-theoretical approach to the joint decomposition of systems of Boolean functions of variables specified in different representation forms. The approach is based on the method of q-partitions of conjuncterms and concept of decomposition clones. Theorems on joint decomposition of a system of full and partial functions are formulated. The approach is illustrated by examples. Parts I and II of this article are published in No. 5 (2001) and No. 1 (2002). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 39–58, March–April 2007.     

A process-control and diagnostic tool based on continuous fuzzy Petri nets

The use of Petri nets and fuzzy logic in intelligent process control has caught the attention of many researchers. In this paper, a Continuous Fuzzy Petri Net (CFPN) tool which integrates the three technologies of fuzzy control, Petri nets and real-time expert systems is presented. The CFPN approach can deal with real-time continuous inferencing, for the purpose of process monitoring and diagnostics, at a high level in the presence of uncertainty. This tool has been implemented in the G2 real-time expert-system environment and is currently being used by ESSO Canada.     

MetateM: An introduction

In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.     

On stability of second-order quasi-polynomials with a single delay

In this note the stability of a second-order quasi-polynomial with a single delay is studied. Although there is a vast literature on this problem, most available solutions are limited to some particular cases. Moreover, some published results on this subject appear to contain imprecise, or even wrong, conditions. The purpose of this note is to show that by accurate application of known theories, a complete explicit characterization of stability regions can be derived in a most general case. As a byproduct of the proposed analysis, we show that in the high-order case the quasi-polynomial is delay-independent unstable whenever its delay-free version has an odd number of unstable roots (or, equivalently, a negative static gain).     

高层建筑擦窗机的选型与建筑设计要求

论述了擦窗机产品的发展现状与安装的必要性；在擦窗机产品的分类与选型考虑因素的基础上，对目前我国擦窗机的型式及其配置做了比较系统的介绍；最后还简单列举了几种擦窗机的布置方式。对高层建筑在建筑设计时就考虑擦窗机的安装型式，结构设计的承载要求等，提供了较为实用的参考。     

Nonlinear black-box modeling in system identification: a unified overview

A nonlinear black-box structure for a dynamical system is a model structure that is prepared to describe virtually any nonlinear dynamics. There has been considerable recent interest in this area, with structures based on neural networks, radial basis networks, wavelet networks and hinging hyperplanes, as well as wavelet-transform-based methods and models based on fuzzy sets and fuzzy rules. This paper describes all these approaches in a common framework, from a user's perspective. It focuses on what are the common features in the different approaches, the choices that have to be made and what considerations are relevant for a successful system-identification application of these techniques. It is pointed out that the nonlinear structures can be seen as a concatenation of a mapping form observed data to a regression vector and a nonlinear mapping from the regressor space to the output space. These mappings are discussed separately. The latter mapping is usually formed as a basis function expansion. The basis functions are typically formed from one simple scalar function, which is modified in terms of scale and location. The expansion from the scalar argument to the regressor space is achieved by a radial- or a ridge-type approach. Basic techniques for estimating the parameters in the structures are criterion minimization, as well as two-step procedures, where first the relevant basis functions are determined, using data, and then a linear least-squares step to determine the coordinates of the function approximation. A particular problem is to deal with the large number of potentially necessary parameters. This is handled by making the number of ‘used’ parameters considerably less than the number of ‘offered’ parameters, by regularization, shrinking, pruning or regressor selection.     

An exploration of expertise of knowledge workers: towards a definition of the universe of discourse for knowledge acquisition

Abstract. Knowledge systems development and use have been significantly encumbered by the difficulties of eliciting and formalizing the expertise upon which knowledge workers rely. This paper approaches the problem from an examination of the knowledge competencies of knowledge workers in order to define a universe of discourse for knowledge elicitation. It outlines two categories and several types of knowledge that could serve as the foundations for the development of a theory of expertise.     

Development of an Expert System for Selection of Dam Type on Alluvium Foundations

. A knowledge-based expert system was developed to aid in the selection of the type of dam. The dam type selector expert system (DTSA ES) was designed to determine the type of dam on the alluvium foundations. Detailed expert knowledge is required to estimate the type of dam and to develop an expert system. The DTSA ES utilizes rules of thumb used by an expert for determining the selection of the type of dam. The DTSA ES was developed using a shell program. The expert system was tested on several dam sites in order to validate the decision obtained. The use of this expert system, containing knowledge about the selection of dam type, can be helpful to students, potential owners or contractors in selecting dam types. The current prototype always needs additional parameters for more detailed analyses of new developments. However, the current DTSA ES is designed to include existing information about dam types.