Abstract
In this paper a model to derive reinforcement strategies driven by an economic criterion is presented. This model is based on a Fuzzy Optimal Power Flow formulation which assumes that loads are characterized by membership functions in the scope of the Fuzzy Set Theory. Therefore, subjective information or incompletely defined data can be included in the planning studies making it possible to characterize in a more adequate way the system behavior regarding the uncertainties of the future. Some risk concepts are also presented and integrated in this planning framework. The planner can thus identify the least costly reinforcement strategy in order to meet to desired risk index target so that a reduction of the system exposure towards the future is obtained.

Abstract
In this paper an improved DC Fuzzy Optimal Power Flow - FOPF - model for planning purposes formulated as a multi-parametric programming problem is briefly presented. This model uses Fuzzy Set Theory concepts to represent information about loads expressed in a subjective way by experts or integrating a certain degree of uncertainty about the future. The proposed algorithm has an heuristic nature so that it is important to evaluate the quality of the derived membership functions. A sampling procedure will be used to build membership functions to be compared with the ones obtained using the FOPF algorithm. In the paper results obtained for two networks based on the IEEE 24 and 30 bus test systems will be presented and discussed.

Abstract

Abstract
We study assertion objects that constitute a particular class of symbolic objects. Symbolic objects constitute a data analysis driven formalism, which can be compared to propositional calculus, but which is oriented toward the duality intension (characteristic properties) versus extension (set of all individuals verifying a given set of properties). The set of assertion objects is endowed with a partial order and a quasi-order. We focus on the property of completeness, which precisely expresses the duality intension-extension. The order structure of complete assertion objects is studied, using notions of lattice theory and Galois connection, and extending Wille's work to multiple-valued data. Two results are then obtained for particular cases.

Abstract
Interactors are components in the description of an interactive system that encapsulate a state, the events that manipulate the state, and the means by which the state is made perceivable to users of the system (the presentation). This paper concerns the relationship between the models of interactors that are being developed, at York and Pisa, in the context of Esprit Basic Research Action 7040 (Amodeus-2). The models differ in their expression of the three components of an interactor, and after relating the models to the informal notion of interactor we describe the context in which the view of interaction afforded by each model is appropriate. © 1994 ACM.

Abstract
This paper investigates the use of mixed-signal test support ICs to extend a digital, board level test infrastructure to the analog section of a mixed-signal board. The architecture of a prototype test support IC is described and its application to the test of an infrared emitter-receiver board is discussed.