On Compositional Modelling

Many solutions to AI problems require the task to be represented in one of a multitude of rigorous mathematical formalisms. The construction of such mathematical models forms a difficult problem which is often left to the user of the problem solver. This void between problem solvers and the problems is studied by the eclectic field of automated modelling. Within this field, compositional modelling, a knowledge-based methodology for system modelling, has established itself as a leading approach. In general, a compositional modeller organises knowledge in a structure of composable fragments that relate to particular system components or processes. Its embedded inference mechanism chooses the appropriate fragments with respect to a given problem, instantiates and assembles them into a consistent system model. Many different types of compositional modeller exist, however, with significant differences in their knowledge representation and approach to inference. This paper examines compositional modelling. It presents a general framework for building and analysing compositional modellers. Based on this framework, a number of influential compositional modellers are examined and compared. The paper also identifies the strengths and weaknesses of compositional modelling and discusses some typical applications.

Modelling the effect of the physical and chemical characteristics of the materials used as casing layers on the production parameters of Agaricus bisporus

The aim of this research was to show the mathematical data obtained through the correlations found between the physical and chemical characteristics of casing layers and the final mushrooms' properties. For this purpose, 8 casing layers were used: soil, soil + peat moss, soil + black peat, soil + composted pine bark, soil + coconut fibre pith, soil + wood fibre, soil + composted vine shoots and, finally, the casing of La Rioja subjected to the ruffling practice. The conclusion that interplays in the fructification process with only the physical and chemical characteristics of casing are complicated was drawn. The mathematical data obtained in earliness could be explained in non-ruffled cultivation. The variability observed for the mushroom weight and the mushroom diameter variables could be explained in both ruffled and non-ruffled cultivations. Finally, the properties of the final quality of mushrooms were established by regression analysis.

A contribution for thermoeconomic modelling: A methodology proposal

This work presents a thermoeconomic optimization methodology for the analysis and design of energy systems. This methodology involves economic aspects related to the exergy conception, in order to develop a tool to assist the equipment selection, operation mode choice as well as to optimize the thermal plants design. It also presents the concepts related to exergy in a general scope and in thermoeconomics which combines the thermal sciences principles (thermodynamics, heat transfer, and fluid mechanics) and the economic engineering in order to rationalize energy systems investment decisions, development and operation. Even in this paper, it develops a thermoeconomic methodology through the use of a simple mathematical model, involving thermodynamics parameters and costs evaluation, also defining the objective function as the exergetic production cost. The optimization problem evaluation is developed for two energy systems. First is applied to a steam compression refrigeration system and then to a cogeneration system using backpressure steam turbine. (C) 2010 Elsevier Ltd. All rights reserved.

Modelling the lethargic crab disease.

The lethargic crab disease (LCD) is an emergent infirmity that has decimated native populations of the mangrove land crab (Ucides cordatus, Decapoda: Ocypodidae) along the Brazilian coast. Several potential etiological agents have been linked with LCD, but only in 2005 was it proved that it is caused by an ascomycete fungus. This is the first attempt to develop a mathematical model to describe the epidemiological dynamics of LCD. The model presents four possible scenarios, namely, the trivial equilibrium, the disease-free equilibrium, endemic equilibrium, and limit cycles arising from a Hopf bifurcation. The threshold values depend on the basic reproductive number of crabs and fungi, and on the infection rate. These scenarios depend on both the biological assumptions and the temporal evolution of the disease. Numerical simulations corroborate the analytical results and illustrate the different temporal dynamics of the crab and fungus populations.

Modelling the dynamics of dengue real epidemics

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

Modelling and optimization of the cephalosporin C production bioprocess in a fed-batch bioreactor with invert sugar as substrate

Cephalosporin C production process optimization was studied based on four experiments carried out in an agitated and aerated tank fermenter operated as a fed-batch reactor. The microorganism Cephalosporium acremonium ATCC 48272 (C-10) was cultivated in a synthetic medium containing glucose as major carbon and energy source. The additional medium contained a hydrolyzed sucrose solution as the main carbon and energy source and it was added after the glucose depletion. By manipulating the supplementary feed rate, it was possible to increase antibiotic production. A mathematical model to represent the fed-batch production process was developed. It was observed that the model was applicable under different operation conditions, showing that optimization studies can be made based on this model. (C) 1999 Elsevier B.V. Ltd. All rights reserved.

A neural network-based preset generation tool for a steel tandem cold mill

This paper traces the development of a software tool, based oil a combination of artificial neural networks (ANN) and a few process equations. aiming to serve as a backup operation instrument in the reference generation for real-time controllers of a steel tandem cold mill By emulating the mathematical model responsible for generating presets under normal operational conditions, the system works as ail option to maintain plant operation in the event of a failure in the processing unit that executes the mathematical model. The system, built from the production data collected over six years of plant operation, steered to the replacement of the former backup operation mode (based oil a lookup table). which degraded both product quality and plant productivity. The study showed that ANN are appropriated tools for the intended purpose and that by this instrument it is possible to achieve nearly the totality of the presets needed by this land of process. The text characterizes the problem, relates the investigated options to solve it. justifies the choice of the ANN approach, describes the methodology and system implementation and, finally, shows and discusses the attained results. (C) 2009 Elsevier Ltd. All rights reserved

Modelling of fatigue crack growth following overloads

In variable-amplitude loading there are interaction effects between the loading history and the crack propagation rate. The most important of these effects is the retardation in the crack propagation, which may raise the life of the cracked structureconsiderably. The main objective of this research is to analyse and quantify the retardation of crack propagation in a thin plate of the high-resistance aluminium alloy 2024-T3, comparing the results obtained from the mathematical models proposed to account for the retardation effect. The specimens were tested under high-low loading sequences, for different crack sizes and overload ratios. A simplified model was developed, based on crack closure theory, that could represent the crack behaviour during retardation very well. © 1991.

Modelling of the influence of the layer pollution thickness in high voltage polluted insulators

An experimental model and a mathematical model with the introduction of a ramp in the channel of Obenaus model are presented. The aim is to present a better reproduction of the real layer pollution deposited on the HV insulators. This better reproduction is obtained from two types of thickness variation: the introduction of a ramp (soft variation) and the introduction of a step (sudden variation). The computational simulations and the experimental data suggest that the introduction of the ramp is the better reproduction of the layer pollution. The ramp approximates to the real layer pollution more than the step.

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.

A theoretical and experimental analysis of cold-formed steel shapes subjected to bending - Channel and simple lipped channel

Cold-formed steel shapes have been widely employed in steel construction, where they frequently offer a lower cost solution than do traditional laminated shapes. A classic application of cold-formed steel shapes is purlins in the roof panel of industrial buildings, connected to the roof panel by means of screws. The combined effect of these two elements has been the subject of investigations in some countries. Design criteria were included in the AISI Code in 1991 and 1996. This paper presents and discusses the results obtained from bending tests carried out on shapes commonly used in Brazil, i.e., the channel and the simple lipped channel, Tests were carried out on double shapes with 4.5 and 6.0 meter spans, which were subjected to concentrated loads and braced against each other on the supports and at intermediary points in three different load situations. The panel shape was also analyzed experimentally, simulating the action of wind by means of a vacuum box designed specifically for this purpose. The test results were then compared to those obtained through the theoretical analysis, enabling us to extract important information upon which to base proposed design criteria for the new Brazilian code.

An overview of the microstructures present in high-speed steel - Carbides crystallography

The aim of the work was to prepare an overview about the microstructures present in high-speed steel, focused on the crystallography of the carbides. High-speed steels are currently obtained by casting, powder metallurgy and more recently spray forming. High-speed steels have a high hardness resulting from a microstructure, which consists of a steel matrix (martensite and ferrite), in which embedded carbides of different crystal structure, chemical composition, morphology and size, exist. These carbides are commonly named MxC, where M represents one or more metallic atoms. These carbides can be identified by X-ray diffraction considering M as a unique metallic atom. In this work, it is discussed, in basis of the first principles of physics crystallography, the validation of this identification when it is considered that other atoms in the structure are substitutional. Further, it is discussed some requirements for data acquisition that allows the Rietveld refinement to be applied on carbide crystallography and phase amount determination.

Distributed generation modelling for unbalanced three-phase power flow calculations in smart grids

Distributed Generators (DG) are generally modeled as PQ or PV buses in power flow studies. But in order to integrate DG units into the distribution systems and control the reactive power injection it is necessary to know the operation mode and the type of connection to the system. This paper presents a single-phase and a three-phase mathematical model to integrate DG in power flow calculations in distribution systems, especially suited for Smart Grid calculations. If the DG is in PV mode, each step of the power flow algorithm calculates the reactive power injection from the DG to the system to keep the voltage in the bus in a predefined level, if the DG is in PQ mode, the power injection is considered as a negative load. The method is tested on two well known test system, presenting single-phase results on 85 bus system, and three-phase results in the IEEE 34 bus test system. © 2011 IEEE.

Predicting Delta Ferrite Content in Stainless Steel Castings

The distribution of delta ferrite fraction was measured with the magnetic method in specimens of different stainless steel compositions cast by the investment casting (lost wax) process. Ferrite fraction measurements published in the literature for stainless steel cast samples were added to the present work data, enabling an extensive analysis about practical methods to calculate delta ferrite fractions in stainless steel castings. Nineteen different versions of practical methods were formed using Schaeffler, DeLong, and Siewert diagrams and the nickel and chromium equivalent indexes suggested by several authors. These methods were evaluated by a detailed statistical analysis, showing that the Siewert diagram, including its equivalent indexes and iso-ferrite lines, gives the lowest relative errors between calculated and measured delta ferrite fractions. Although originally created for stainless steel welds, this diagram gives relative errors lower than those for the current ASTM standard method (800/A 800M-01), developed to predict ferrite fractions in stainless steel castings. Practical methods originated from a combination of different chromium/nickel equivalent indexes and the iso-ferrite lines from Schaeffler diagram give the lowest relative errors when compared with combinations using other iso-ferrite line diagrams. For the samples cast in the present work, an increase in cooling rate from 0.78 to 2.7 K/s caused a decrease in the delta ferrite fraction, but a statistical hypothesis test revealed that this effect is significant in only 50% of the samples that have ferrite in their microstructures.