Using adaptive automata in a multi-paradigm programming environment

In this paper the architecture of an experimental multiparadigmatic programming environment is sketched, showing how its parts combine together with application modules in order to perform the integration of program modules written in different programming languages and paradigms. Adaptive automata are special self-modifying formal state machines used as a design and implementation tool in the representation of complex systems. Adaptive automata have been proven to have the same formal power as Turing Machines. Therefore, at least in theory, arbitrarily complex systems may be modeled with adaptive automata. The present work briefly introduces such formal tool and presents case studies showing how to use them in two very different situations: the first one, in the name management module of a multi-paradigmatic and multi-language programming environment, and the second one, in an application program implementing an adaptive automaton that accepts a context-sensitive language.

Three-Dimensional Semiautomatic Road Extraction From a High-Resolution Aerial Image by Dynamic-Programming Optimization in the Object Space

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

Binary integer programming formulations for scheduling in market-driven foundries

This paper describes the development and solution of binary integer formulations for production scheduling problems in market-driven foundries. This industrial sector is comprised of small and mid-sized companies with little or no automation, working with diversified production, involving several different metal alloy specifications in small tailor-made product lots. The characteristics and constraints involved in a typical production environment at these industries challenge the formulation of mathematical programming models that can be computationally solved when considering real applications. However, despite the interest on the part of these industries in counting on effective methods for production scheduling, there are few studies available on the subject. The computational tests prove the robustness and feasibility of proposed models in situations analogous to those found in production scheduling at the analyzed industrial sector. (C) 2010 Elsevier Ltd. All rights reserved.

Allocation of protective devices in distribution circuits using nonlinear programming models and genetic algorithms

The optimized allocation of protective devices in strategic points of the circuit improves the quality of the energy supply and the system reliability index. This paper presents a nonlinear integer programming (NLIP) model with binary variables, to deal with the problem of protective device allocation in the main feeder and all branches of an overhead distribution circuit, to improve the reliability index and to provide customers with service of high quality and reliability. The constraints considered in the problem take into account technical and economical limitations, such as coordination problems of serial protective devices, available equipment, the importance of the feeder and the circuit topology. The use of genetic algorithms (GAs) is proposed to solve this problem, using a binary representation that does (1) or does not (0) show allocation of protective devices (reclosers, sectionalizers and fuses) in predefined points of the circuit. Results are presented for a real circuit (134 busses), with the possibility of protective device allocation in 29 points. Also the ability of the algorithm in finding good solutions while improving significantly the indicators of reliability is shown. (C) 2003 Elsevier B.V. All rights reserved.

Interior point algorithm for linear programming used in transmission network synthesis

This article presents a well-known interior point method (IPM) used to solve problems of linear programming that appear as sub-problems in the solution of the long-term transmission network expansion planning problem. The linear programming problem appears when the transportation model is used, and when there is the intention to solve the planning problem using a constructive heuristic algorithm (CHA), ora branch-and-bound algorithm. This paper shows the application of the IPM in a CHA. A good performance of the IPM was obtained, and then it can be used as tool inside algorithm, used to solve the planning problem. Illustrative tests are shown, using electrical systems known in the specialized literature. (C) 2005 Elsevier B.V. All rights reserved.

Evaluation of alveolar socket response to Angelus MTA and experimental light-cure MTA

Objective. The aim of this study was to evaluate the rat alveolar socket response to implanted polyethylene tubes filled with a light-cured MTA or Angelus MTA.Study design. Fifty-seven Wistar rats received an implant filled with one of the materials in the dental socket of the right central incisor. After 30, 60, and 90 days, animals were killed, and the right hemimaxillas were removed and processed to be analyzed on light microscopy. After embedding in paraffin, 6-mu m-thick sections were obtained and stained with hematoxylin and eosin. Qualitative and quantitative analyses of the reaction were performed.Results. It was observed that the light-cured MTA presented a similar response compared with Angelus MTA, characterized by the reduction of the chronic inflammatory response and organization of the alveolar bone close to the materials, especially at the 90th day of observation.Conclusions. It was concluded that both materials were well accepted by the alveolar tissue of rats, with the formation of mineralized tissue close to the materials. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2010;110:e93-e97)

Comparison of Biomaterial Implants in the Dental Socket: Histological Analysis in Dogs

Background:Bone graft procedures have been used commonly in buco-maxillo-facial surgery. For this reason, many researchers have evaluated the bone substitutes.Purpose:The present study evaluated soft and hard tissue reactions to two different hydroxyapatites HAs (synthetic HA and natural HA) and bioactive glass implanted into the sockets immediately after extraction.Materials and Methods:First and third upper and lower premolars, on both sides, were extracted from six female dogs. The alveolar sockets were randomly assigned to four groups: Group 1 - control (unfilled), Group 2 - filled with synthetic hydroxyapatite, Group 3 - filled with bovine bone mineral (natural HA), and Group 4 - filled with bioactive glass. The animals were euthanized at 4 weeks (n = 2), 8 weeks (n = 2), and 28 weeks (n = 2) after extraction. The mandible and maxilla of each animal were removed for histological analysis to determine soft tissue reactions, newly formed bone, bone characteristics, and presence or absence of implanted materials.Results:Most particles of synthetic hydroxyapatite had bone formation on their surface, although some particles showed a layer of fibrous connective tissue. The bovine bone mineral group exhibited particles partially replaced with bone formation. The bioactive glass group showed particles with a thin layer of calcified tissue, but was absent in some specimens, suggesting complete resorption.Conclusion:All biomaterials had similar behavior. Bovine bone mineral, compared to synthetic hydroxyapatite and bioactive glass, showed a larger number of particles covered with osseous tissue. All biomaterials interfered with the socket repair process.

Determination of the optimal quantity of crop residues for energy in sugarcane crop management using linear programming in variety selection and planting strategy

The aim of this work was to present organizational models for optimizing the reduction of crop residue generated by the sugarcane culture. The first model consisted of the selection of varieties of sugarcane to be planted meeting the mill requirements and, at the same time, to minimize the quantity of residue produced. The second model discussed the use of residue to produce energy. This is related to the selection of variety and quantity to be planted, in order to meet the requirements of the mill, to reduce the quantity of residue, and to maximize as much as possible the energy production. The use of linear programming was proposed. The two models presented similar results in this study, and both may be used to define the varieties and areas to be cultivated. (C) 2001 Published by Elsevier B.V. Ltd.

Multiobjective 0-1 integer programming for the use of sugarcane residual biomass in energy cogeneration

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

Heterogeneity correction in the construction of optimized planning in radiotherapy using linear programming

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

Optimization Strategies Based on Sequential Quadratic Programming Applied for a Fermentation Process for Butanol Production

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