Modelling the Provenance of Data in Autonomous Systems

Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be demonstrably rigorous for the result to be deemed reliable. A provenance system supports applications in recording adequate documentation about process executions to answer queries regarding provenance, and provides functionality to perform those queries. Several provenance systems are being developed, but all focus on systems in which the components are textitreactive, for example Web Services that act on the basis of a request, job submission system, etc. This limitation means that questions regarding the motives of autonomous actors, or textitagents, in such systems remain unanswerable in the general case. Such questions include: who was ultimately responsible for a given effect, what was their reason for initiating the process and does the effect of a process match what was intended to occur by those initiating the process? In this paper, we address this limitation by integrating two solutions: a generic, re-usable framework for representing the provenance of data in service-oriented architectures and a model for describing the goal-oriented delegation and engagement of agents in multi-agent systems. Using these solutions, we present algorithms to answer common questions regarding responsibility and success of a process and evaluate the approach with a simulated healthcare example.

Modelling and Administration of Contract-Based Systems

Mirroring the paper versions exchanged between businesses today, electronic contracts offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on agent behaviour that are designed to ensure business objectives are met. However, where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all; computer-parsable electronic contracts may allow such verification to be automated. In this paper, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, etc. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace example.

Mathematical analysis of maximum power generated by photovoltaic systems and fitting curves for standard test conditions

The rural electrification is characterized by geographical dispersion of the population, low consumption, high investment by consumers and high cost. Moreover, solar radiation constitutes an inexhaustible source of energy and in its conversion into electricity photovoltaic panels are used. In this study, equations were adjusted to field conditions presented by the manufacturer for current and power of small photovoltaic systems. The mathematical analysis was performed on the photovoltaic rural system I- 100 from ISOFOTON, with power 300 Wp, located at the Experimental Farm Lageado of FCA/UNESP. For the development of such equations, the circuitry of photovoltaic cells has been studied to apply iterative numerical methods for the determination of electrical parameters and possible errors in the appropriate equations in the literature to reality. Therefore, a simulation of a photovoltaic panel was proposed through mathematical equations that were adjusted according to the data of local radiation. The results have presented equations that provide real answers to the user and may assist in the design of these systems, once calculated that the maximum power limit ensures a supply of energy generated. This real sizing helps establishing the possible applications of solar energy to the rural producer and informing the real possibilities of generating electricity from the sun.

Detection and Identification of Abnormalities in Customer Consumptions in Power Distribution Systems

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Variable-Structure Control Design of Switched Systems With an Application to a DC-DC Power Converter

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Multinodal Load Forecasting in Power Electric Systems using a Neural Network with Radial Basis Function

In this paper we present the results of the use of a methodology for multinodal load forecasting through an artificial neural network-type Multilayer Perceptron, making use of radial basis functions as activation function and the Backpropagation algorithm, as an algorithm to train the network. This methodology allows you to make the prediction at various points in power system, considering different types of consumers (residential, commercial, industrial) of the electric grid, is applied to the problem short-term electric load forecasting (24 hours ahead). We use a database (Centralised Dataset - CDS) provided by the Electricity Commission de New Zealand to this work.

Robust fault diagnosis in power distribution systems based on fuzzy ARTMAP neural network-aided evidence theory

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Primary power distribution systems planning taking into account reliability, operation and expansion costs

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Effects of Self-Etching Adhesive Systems Used in the Dental Modelling Technique on the Cohesive Strength of Composite Resin

This study evaluated the cohesive strength of composite using self-etching adhesive systems (SE) in the lubrication of instruments between layers of composite. The specimens were made by using a Teflon (R) device. SE were used at the interface to lubricate the instruments: Group 1(G1) - control group, no lubricant was used; Group 2(G2) -Futurabond (R) M; Group 3(G3) - Optibond (R) All-In-One; Group 4(G4) - Clearfil (R) SE Bond; Group 5(G5) - Futurabond (R) NR; Group 6(G6) - Adper (R) SE Plus; Group 7(G7) - One Up Bond (R) F. Specimens were submitted to the tensile test to evaluate the cohesive strength. Data were submitted to the ANOVA and Tukey tests. ANOVA showed a value of p = 0.00. The average means (SD): G2 = 11.33(+/-3.44) a, G3 = 15.36(+/-4.06) ab, G4 = 18.9(+/-4.72) bc, G7 = 19.62(+/-4.46) bc, G5 = 21.02(+/-5.09) bc, G6 = 23.39(+/-4.17) cd, and G1 = 28.49(+/-2.89) d. All SE decreased the cohesive strength of the composite, except for Adper (R) SE Plus.

Dynamics of vibrating systems with tuned liquid column dampers and limited power supply

Tuned liquid column dampers are U-tubes filled with some liquid, acting as an active vibration damper in structures of engineering interest like buildings and bridges. We study the effect of a tuned liquid column damper in a vibrating system consisting of a cart which vibrates under driving by a source with limited power supply (non-ideal excitation). The effect of a liquid damper is studied in some dynamical regimes characterized by coexistence of both periodic and chaotic motion. (c) 2005 Elsevier Ltd. All rights reserved.

Impact dampers for controlling chaos in systems with limited power supply

We investigate numerically the dynamical behavior of a non-ideal mechanical system consisting of a vibrating cart containing a particle which can oscillate back and forth colliding with walls carved in the cart. This system represents an impact damper for controlling high-amplitude vibrations and chaotic motion. The motion of the cart is induced by an in-board non-ideal motor driving an unbalanced rotor. We study the phase space of the cart and the bouncing particle, in particular the intertwined smooth and fractal basin boundary structure. The control of the chaotic motion of the cart due to the particle impacts is also investigated. Our numerical results suggests that impact dampers of small masses are effective to suppress chaos, but they also increase the final-state sensitivity of the system in its phase space. (C) 2004 Elsevier Ltd. All rights reserved.

Evaluation of economic impact of external eauivalent models used in reactive OPF studies for interconnected systems

Reactive-optimisation procedures are responsible for the minimisation of online power losses in interconnected systems. These procedures are performed separately at each control centre and involve external network representations. If total losses can be minimised by the implementation of calculated local control actions, the entire system benefits economically, but such control actions generally result in a certain degree of inaccuracy, owing to errors in the modelling of the external system. Since these errors are inevitable, they must at least be maintained within tolerable limits by external-modelling approaches. Care must be taken to avoid unrealistic loss minimisation, as the local-control actions adopted can lead the system to points of operation which will be less economical for the interconnected system as a whole. The evaluation of the economic impact of the external modelling during reactive-optimisation procedures in interconnected systems, in terms of both the amount of losses and constraint violations, becomes important in this context. In the paper, an analytical approach is proposed for such an evaluation. Case studies using data from the Brazilian South-Southeast system (810 buses) have been carried out to compare two different external-modelling approaches, both derived from the equivalent-optimal-power-flow (EOPF) model. Results obtained show that, depending on the external-model representation adopted, the loss representation can be flawed. Results also suggest some modelling features that should be adopted in the EOPF model to enhance the economy of the overall system.

Power flow in distribution networks with earth return

The problems of wave propagation and power flow in the distribution network composed of an overhead wire parallel to the surface of the ground have not been satisfactorily solved. While a complete solution of the actual problem is impossible, as it is explained in the famous Carson's paper (1926), the solution of the problem, where the actual earth is replaced by a plane homogenous semi-infinite solid, is of considerable interest. In this paper, a power flow algorithm in distribution networks with earth return, based on backward-forward technique, is discussed. In this novel use of the technique, the ground is explicitly represented. In addition, an iterative method for determining impedance for modelling ground effect in the extended power flow algorithm is suggested. Results obtained from single-wire and three-wire studies using IEEE test networks are presented and discussed. (C) 2003 Elsevier Ltd. All rights reserved.

The gradually truncated Levy flight for systems with power-law distributions

Power-law distributions have been observed in various economical and physical systems. Levy flights have infinite variance which discourage a physical approach. We introduce a class of stochastic processes, the gradually truncated Levy flight in which large steps of a Levy flight are gradually eliminated. It has finite variance and the system can be analyzed in a closed form. We applied the present method to explain the distribution of a particular economical index. The present method can be applied to describe time series in a variety of fields, i.e. turbulent flow, anomalous diffusion, polymers, etc. (C) 1999 Elsevier B.V. B.V. All rights reserved.

Towards an intelligent graphical interface for linear programming modelling

The increase of computing power of the microcomputers has stimulated the building of direct manipulation interfaces that allow graphical representation of Linear Programming (LP) models. This work discusses the components of such a graphical interface as the basis for a system to assist users in the process of formulating LP problems. In essence, this work proposes a methodology which considers the modelling task as divided into three stages which are specification of the Data Model, the Conceptual Model and the LP Model. The necessity for using Artificial Intelligence techniques in the problem conceptualisation and to help the model formulation task is illustrated.