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.

Análise dos requisitos e planos de produção gerados por um sistema de planejamento fino de produção

O tema central deste trabalho é o Planejamento, Programação e Controle da Produção na indústria, com o auxílio de uma ferramenta computacional, do tipo Finite Capacity Schedule (FCS). No Brasil, essa categoria de software é denominada, genericamente, por Sistemas de Planejamento Fino de Produção ou de Capacidade Finita. Alinhado com as tendências mundiais e a vantagem de menores investimentos em hardware, o sistema escolhido é compatível com a operação em microcomputadores. Na primeira parte do trabalho, o assunto é tratado de forma geral, quando se pretende caraterizar amplamente o problema da programação da produção, as dificuldades na sua execução, as soluções existentes e suas limitações. A segunda parte do trabalho discute, detalhadamente, os métodos tradicionais de planejamento de materiais e capacidade. A revisão bibliográfica se encerra com uma apresentação dos sistemas FCS e sua classificação. A terceira parte trata da descrição, ensaios e avaliação da programação gerada por um software de Planejamento Fino de Produção determinístico, baseado na lógica de simulação computacional com regras de decisão. Embora a avaliação esteja limitada ao software utilizado, a análise ainda vai procurar identificar as diferenças fundamentais entre os resultados da programação de Capacidade Finita e a convencional, representada pelos sistemas da categoria MRPII ou Planejamento dos Recursos de Manufatura (Manufacturing Resources Planning). As lógicas dos sistemas MRPII e de Capacidade Finita são discutidas na revisão bibliográfica, enquanto que, para o software empregado no trabalho, ainda há um capítulo específico tratando da sua descrição, fundamentos, software house, hardware necessário e outras informações relevantes. Os ensaios serão implementados com o objetivo de analisar o sistema FCS como ferramenta de planejamento e de programação de produção. No caso, uma fração de um processo produtivo será modelada no sistema, através do qual serão gerados planos de produção que serão confrontados com a programação usual e com o comportamento real dos recursos envolvidos. Os ensaios serão realizados numa das unidades pertencentes a uma empresa transnacional de grande porte, que atua no ramo de pneumáticos. Por último, são apresentadas as conclusões gerais, recomendações na aplicação do sistema estudado e sugestões para futuras pesquisas relacionadas com o assunto.

Avaliação e monitoramento de políticas públicas: criação de um modelo sistêmico aplicado ao Instituto de Assistência Técnica e Extensão Rural do Rio Grande do Norte (EMATER-RN)

The nature of this thesis is interventionist and aims to create an alternative on how to control and evaluate the public policies implementation developed at the Institute for Technical Assistance and Rural Extension of Rio Grande do Norte State. The cenarium takes place in a public institution , classified as a municipality that belongs to the Rio Grande do Norte government and adopts the design science research methodology , where it generates a set of artifacts that guide the development of a computerized information system . To ensure the decisions, the literature was reviewed aiming to bring and highlight concepts that will be used as base to build the intervention. The use of an effective methodology called Iconix systems analysis , provides a software development process in a short time . As a result of many artifacts created by the methodology there is a software computer able of running on the Internet environment with G2C behavior, it is suggested as a management tool for monitoring artifacts generated by the various methods. Moreover, it reveals barriers faced in the public companies environment such as lack of infrastructure , the strength of the workforce and the executives behavior

Predictor-Corrector Primal-Dual Interior Point Method for Solving Economic Dispatch Problems: A Postoptimization Analysis

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

On relaxed LMI-based design for fuzzy controllers

Relaxed conditions for stability of nonlinear continuous-time systems given by fuzzy models axe presented. A theoretical analysis shows that the proposed method provides better or at least the same results of the methods presented in the literature. Digital simulations exemplify this fact. This result is also used for fuzzy regulators design. The nonlinear systems are represented by fuzzy models proposed by Takagi and Sugeno. The stability analysis and the design of controllers axe described by LMIs (Linear Matrix Inequalities), that can be solved efficiently using convex programming techniques.

Autologous implant of bone marrow mononuclear cells as treatment of induced equine tendinitis

Superficial digital flexor tendonitis is an important cause of lameness in horses and its incidence ranges from 13% to 30%, depending on the horse's activity. This injury can occur in yearlings and compromise its carriers by reinjury or even impossibility to return to athletic life. In spite of the long period required for tendon repair, the scar tissue presents lack of elasticity and stiffness. As current treatment strategies produce only marginal results, there has been great interest in research of therapies that influence the quality or the speed of tendon repair. Stem cell therapy has shown promising results in degenerative diseases and cases of deficient healing processes. This study aims to evaluate the influence of autologous mesenchymal bone marrow stem cells in tendon healing, comparing treated and non-treated tendons. Superficial digital flexor tendonitis lesions were induced by collagenase infiltration in both forelimbs of 6 horses, followed by autologous implant in one of the forelimbs of each animal. The horses were evaluated using clinical, ultrasonographic, histopathologic, and immunohistochemical parameters. Tendon biopsies were performed at Day 48. Results found in the treatment group, such as high inflammatory cells infiltration, extracellular matrix synthesis, reduced amount of necrosis areas, small increase in cellular proliferation (KI-67/MIB-1), and low immunoreactivity to transforming growth factor P I, suggested the acceleration of tendon repair in this group. Further studies should be conducted in order to verify the influence of this treatment on later phases of tendon repair. Overall, after analysis of the results, we can conclude that cellular therapy with the mononuclear fraction of bone marrow has accelerated tendon repair at 48 days after treatment.

A comparison of profilometer and AutoCAD software techniques in evaluation of implant angulation in vitro

Purpose: The aim of this study was to compare 2 different methods of assessment of implants at different inclinations (90 degrees and 65 degrees)-with a profilometer and AutoCAD software. Materials and Methods: Impressions (n = 5) of a metal matrix containing 2 implants, 1 at 90 degrees to the surface and 1 at 65 degrees to the surface, were obtained with square impression copings joined together with dental floss splinting covered with autopolymerizing acrylic resin, an open custom tray, and vinyl polysiloxane impression material. Measurement of the angles (in degrees) of the implant analogs were assessed by the same blinded operator with a profilometer and through analysis of digitized images by AutoCAD software. For each implant analog, 3 readings were performed with each method. The results were subjected to a nonparametric Kruskal-Wallis test, with P <= .05 considered significant. Results: For implants perpendicular to the horizontal surface of the specimen (90 degrees), there were no significant differences between the mean measurements obtained with the profilometer (90.04 degrees) and AutoCAD (89.95 degrees; P=.9142). In the analyses of the angled implants at 65 degrees in relation to the horizontal surface of the specimen, significant differences were observed (P=.0472) between the mean readings with the profilometer (65.73 degrees) and AutoCAD (66.25 degrees). Conclusions: The degrees of accuracy of implant angulation recording vary among the techniques available and may vary depending on the angle of the implant. Further investigation is needed to determine the best test conditions and the best measuring technique for determination of the angle of the implant in vitro.

Electrofluid dynamic (EFD) energy conversion in gas flows with suspended nanoparticles

This work presents simulations of the Electrofluid Dynamic energy conversion process in slender channel devices having very small particles (in both micro and nano scales) as charge carriers. Solutions are discussed for a system composed by coupled differential equations, which includes the equation for the total current along the channel, the equations for total energy and momentum of the mixture (gas and solid particles), the continuity equation and the equations for energy and momentum of a single particle. Results for suspended particles of higher diameters have been previously published in the Literature, but the simulations here presented exhibit an appreciable increase in the values for output currents.

Analysis of Tooth Enamel After Excessive Bleaching: A Study Using Scanning Electron Microscopy and Energy Dispersive X-ray Spectroscopy

This study assessed alterations on bovine enamel after excessive bleaching. Coronal portions of bovine teeth (n = 30) were sectioned and divided into three groups (n = 10 per group). The coronal parts were further cut incisocervically into two halves. While one half received no bleaching (control), the other half was subjected to either one (group 1), three (group 2), or five bleaching sessions (group 3) with 35% hydrogen peroxide. The enamel surfaces were then analyzed using scanning electron microscopy and energy dispersive x-ray spectroscopy (EDS). Fxcessive bleaching affected the surface morphology and chemistry of the bovine enamel. EDS analysis showed the highest decrease in calcium ion percentages in groups 2 and 3 when compared to their nonbleached halves. Oxygen and phosphorus percentages were comparable on both the control and bleached enamel, regardless of the number of bleaching sessions. Consecutive bleaching sessions with 35% hydrogen peroxide may lead to morphologic and specific elemental changes when performed in a short period of time. Calcium ion percentages may decrease when this bleaching agent is used for more than one session. Int J Prosthodontics 2010;23:29-32.

Mapping lightning processes using fuzzy inference system

This paper describes a novel approach for mapping lightning processes using fuzzy logic. The core regarding lightning process is to identify and to model those uncertain information on mathematical principles. In fact, the lightning process involves several nonlinear features that our current mathematical tools would not be able to model. The estimation process has been carried out using a fuzzy system based on Sugeno's architecture. Simulation results confirm that proposed approach can be efficiently used in these types of problem.

Linear relationship between potential and concentration in flow potentiometry

In potentiometric-flow systems, linear-potential responses for logarithmic concentrations can be attained for first-(or pseudo-first-) order reactions in which the monitored chemical species react with the analyte during a fixed time interval. To demonstrate this property, the determination of glycerol based on its oxidation by periodate and potentiometric monitoring of the remaining periodate was selected. Influence of reagent concentration and timing on the linearity of the analytical curve were investigated. A mathematical treatment was derived, and potentialities/limitations of the approach were outlined. The system was applied to analysis of soap and lixivia samples. The analytical curve within 200 and 2000 mg L-1 (r = 0.99975; n = 5) was described as E = 8.166 + 0.0478 (glycerol). The sample throughput was 100 h(-1), and a measurement repeatability within 0.5 mV was always observed. By applying a t-test, there was no statistical difference between the results obtained by the proposed procedure and by iodimetric titration at the 95% confidence level. (C) 2000 John Wiley & Sons, Inc. Lab Robotics and Automation 12:41-45, 2000.

Morphology of Aortic Arch in Rabbits with Atherosclerosis Treated with Resveratrol

Objective: Atherosclerosis is a chronic inflammatory condition associated with the production of oxidative species. The phenoliccompound, resveratrol, seems to have cardioprotective activities preventing the oxidation of low-density lipoproteins.In this study we investigated the effect of resveratrol on prevention of induced atheromatosis, through the morphological study of the segment of aortic arch in White New Zealand rabbits.Study design: 20 rabbits were divided into four groups which received the following diet for 60 days: control group (CT) normal ration; resveratrol group (R) normal ration and resveratrol (3 mg/kg/day); cholesterol group (CL) 1.5% of cholesterol added to the ration; group cholesterol plus resveratrol (CR) 1.5% of cholesterol added to the ration and resveratrol (3 mg/kg/day). The analysis of the atherosclerotic lesions were performed by the means of appropriate histological techniques.Results and conclusions: The animals belonging to group CL showed atherosclerotic lesions with tunica intima thickening due to the presence of foam cells, placed in several disorganized layers, and extracellular lipid droplets in subendothelial conjunctive tissue.We also observed the invasion of foam cells in the beginning of tunica media. In animals belonging to group CR there were changes in the subendothelial of tunica intima, although in a minor degree of development as for the number of foam cells layers and extracellular lipid droplets. An invasion of foam cells in tunica media was observed in this group. We haven't seen any changes in tunica adventitia in any of the studied groups. There were not evident histological changes in any of the analised tunicas for groups CT and RConclusions: This study may help demonstrate that the phenolic compound, resveratrol, works as a preventive agent in the development of atherosclerotic lesions.

Fuzzy distributed artificial intelligence systems

In this paper, we introduce a DAI approach called hereinafter Fuzzy Distributed Artificial Intelligence (FDAI). Through the use of fuzzy logic, we have been able to develop mechanisms that we feel may effectively improve current DAI systems, giving much more flexibility and providing the subsidies which a formal theory can bring. The appropriateness of the FDAI approach is explored in an important application, a fuzzy distributed traffic-light control system, where we have been able to aggregate and study several issues concerned with fuzzy and distributed artificial intelligence. We also present a number of current research directions necessary to develop the FDAI approach more fully.

Wetland projects developed in Brazil

The first studies with constructed wetlands undertaken in Brazil were the result of observations made from the Amazon flood plains. The first attempt to use this capacity to change the quality of the water, in the sense of purification performed in Brazil using constructed wetland systems, was made by Salati et al. After that, new technologies were developed in a focused attempt to increase the efficiency of the system and reduce investments. Over these 18 years, persuading the Brazilian scientific community as well as the environmental control agencies to give due attention to this kind of research has required endless efforts. Only in recent years have major institutions responsible for sewage treatment and potable water supply been concerned with this type of technology for solving real problems. These institutions are as follows: SABESP (Basic Sanitation Company of Sao Paulo State), SANEPAR (Sanitation Company of Parana State) and CESP (Electric Company of Sao Paulo State). One of the private institutions that has systematically worked in the design and projects of constructed wetlands is the Institute of Applied Ecology. This institution has enhanced and developed a water depuration system based on the purifying capacity of the soil. The wetlands with filtering soils are systems formed by overlapping layers of crushed stone, gravel and soil planted with rice. This technology has been used in sewage treatment and also in water supply systems.

Performance of constructed wetland system for public water supply

The project is being conducted in the town of Analândia, São Paulo, Brazil. The constructed wetlands system for water supply consists of a channel with floating aquatic macrophytes, HDS system (Water Decontamination with Soil - Patent PI 850.3030), chlorinating system, filtering system and distribution. The project objectives include investigating the process variables to further optimize design and operation factors, evaluating the relation of nutrients and plants development, biomass production, shoot development, nutrient cycling and total and fecal coliforms removal, comparing the treatment efficiency among the seasons of the year; and moreover to compare the average values obtained between February and June 1998 (Salati et al., 1998) with the average obtained for the same parameters between March and June 2000. Studies have been developed in order to verify during one year the drinking quality of the water for the following parameters: turbidity, color, pH, dissolved oxygen, total of dissolved solids, COD, chloride, among others, according to the Ministry of Health's Regulation 36. This system of water supply projected to treat 15 L s-1 has been in continuous operation for 2 years, it was implemented with support of the National Environment Fund (FNMA), administered by the Center of Environmental Studies (CEA-UNESP), while the technical supervision and design were performed by the Institute of Applied Ecology. The actual research project is being supported by FAPESP.