Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Effects of rainfall on water quality in six sequentially disposed fishponds with continuous water flow

O estudo foi efetuado durante o período de chuva (dezembro-fevereiro) em seis viveiros de produção semi-intensiva de peixes, a fim de avaliar o efeito da chuva na qualidade da água de viveiros que apresentam fluxo contínuo de água, a qual é passada de um viveiro para outro sem tratamento prévio. Foram amostrados oito pontos de coleta nas saídas dos viveiros. O viveiro P1 (próximo à nascente) apresentou as menores concentrações físicas e químicas da água e as maiores no viveiro P4 (considerado um ponto crítico recebendo material alóctone proveniente de outros viveiros e do escoamento do setor de criação de rãs). A disposição seqüencial dos viveiros estudados promoveu aumento nas concentrações dos nutrientes, clorofila-a e condutividade. As chuvas características desta época do ano aumentaram o fluxo de água nos viveiros e conseqüentemente, carreando material particulado e dissolvido de um viveiro para outro e, promovendo um aumento das variáveis limnológicas em direção do P3 ao P6. Os resultados sugerem que a chuva no período de estudo afetou positivamente a qualidade da água dos viveiros estudados, porém, como os sistemas analisados estão dispostos em distribuição seqüencial e escoamento constante da água de viveiros e tanques paralelos sem tratamento prévio, cuidados devem ser averiguados para que o aumento do fluxo de água provocado pelas chuvas não tenha efeito adverso nos viveiros estudados.

Continuous infusion of ketamine in hypovolemic dogs anesthetized with desflurane

Objective: To evaluate the cardiorespiratory effects of continuous infusion of ketamine in hypovolemic dogs anesthetized with desflurane.Design: A prospective experimental study.Animals: Twelve mixed breed dogs allocated into 2 groups: saline (n=6) and ketamine (n=6).Interventions: After obtaining baseline measurements (time [T] 0) in awake dogs, hypovolemia was induced by the removal of 40 mL of blood/kg over 30 minutes. Anesthesia was induced and maintained with desflurane (1.5 minimal alveolar concentration) and 30 minutes later (T75) a continuous intravenous (IV) infusion of saline or ketamine (100 mu g/kg/min) was initiated. Cardiorespiratory evaluations were obtained 15 minutes after hemorrhage (T45), 30 minutes after desflurane anesthesia, and immediately before initiating the infusion (T75), and 5 (T80), 15 (T90), 30 (T105) and 45 (T120) minutes after beginning the infusion.Measurements and main results: Hypovolemia (T45) reduced the arterial blood pressures (systolic arterial pressure, diastolic arterial pressure [DAP] and mean arterial pressure [MAP]), cardiac (CI) and systolic (SI) indexes, and mean pulmonary arterial pressure (PAP) in both groups. After 30 minutes of desflurane anesthesia (T75), an additional decrease of MAP in both groups was observed, heart rate was higher than T0 at T75, T80, T90 and T105 in saline-treated dogs only, and the CI was higher in the ketamine group than in the saline group at T75. Five minutes after starting the infusion (T80), respiratory rate (RR) was lower and the end-tidal CO(2) (ETCO(2)) was higher compared with values at T45 in ketamine-treated dogs. Mean values of ETCO(2) were higher in ketamine than in saline dogs between T75 and T120. The systemic vascular resistance index (SVRI) was decreased between T80 and T120 in ketamine when compared with T45.Conclusions: Continuous IV infusion of ketamine in hypovolemic dogs anesthetized with desflurane induced an increase in ETCO(2), but other cardiorespiratory alterations did not differ from those observed when the same concentration of desflurane was used as the sole anesthetic agent. However, this study did not evaluate the effectiveness of ketamine infusion in reducing desflurane dose requirements in hypovolemic dogs or the cardiorespiratory effects of ketamine-desflurane balanced anesthesia.

Comparative validation using quantitative real-time PCR (qPCR) and conventional PCR of bovine semen centrifuged in continuous density gradient

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

Microbiology quality in continuous water flow fish ponds

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

Sward canopy structure and performance of beef heifers under supplementation in Brachiaria brizantha cv. Marandu pastures maintained with three grazing intensities in a continuous stocking system

The objective of this study was to assess the sward canopy structure of Brachiaria brizantha cv. Marandu pastures maintained in three grazing intensities under continuous stocking system during the rainy season, along with the behavior and performance of grazing beef heifers supplemented with mineral salt or an energy/protein supplement. Three levels of forage allowance were assessed: 2.0, 2.5 and 3.0 kg of forage/kg of live weight, combined with two supplements (ad libitum mineral salt, and an energy/protein supplement at 0.3% of live weight/day, supplied daily). The experiment was designed as a randomized block study with two replications. The supplements did not influence the variables related to the canopy structure. Canopy height was greater at higher forage allowances during the late summer and early fall. Similarly, the stem mass was greater in pastures with higher forage allowances. Animals fed protein supplement spent less time grazing than animals supplemented with mineral salt. Stocking rate was higher in pastures with lower forage allowance levels, which increased the live weight gain per grazing area. Daily weight gain did not vary according to the forage allowance levels. The use of an energy/protein supplement did not affect the stocking rate; however, it increased individual live weight gain and live weight gain per grazing area compared with mineral salt supplementation. The use of energy/protein supplements is an efficient alternative to enhance animal performance and production under grazing systems during the rainy season

Dogs can detect scat samples more efficiently than humans: an experiment in a continuous Atlantic Forest remnant

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

Canopy characteristics and behavior of Nellore heifers in Brachiaria brizantha pastures under different grazing heights at a continuous stocking rate

The objective of this study was to evaluate the Brachiaria brizantha cv. Marandu canopy structure maintained at different grazing heights under a continuous stocking rate and with a dietary supplementation strategy for the animals during the rainy season. This study also intended to observe the relationships of these variables with the grazing behaviors of the heifers. The effects of three canopy heights (15, 25 and 35 cm) were evaluated in association with three types of supplements: one mineral and two protein/energy supplements, the first with a high rumen degradable protein and energy and the others with a low ratio. Both the protein/energy supplements were provided at 0.3% of body weight/day. The experimental design was completely randomized, with two replications and repeated measures, and took place during the period from January to April 2008. The supplementation strategies did not affect any variable related to the canopy structure. Total and green herbage masses and the ratio of green/dead material increased with canopy height. The leaf/stem ratio was higher in the lowest canopy height: 15 cm. Changes in the canopy structure caused variations in the grazing behavior of the animals. Animals maintained in the 15-cm-tall pasture grazed for a longer time, increasing the time for each meal, but the number of meals was lower than that of the animals grazing within the 35-cm-tall pasture. The grazing time of animals receiving the energy/protein supplement was lower only in the period of the day during which it was supplied. Canopy structure is affected by sward height, and changes animal behavior. Supplementation does not affect the canopy structure of the pastures with similar heights.

Sistemas de automação e supervisão do laboratório de avaliação dos processos de medição de vazão e BSW

During a petroleum well production process, It is common the slmultaneous oil and water production, in proportion that can vary from 0% up to values close to 100% of water. Moreover, the production flows can vary a lot, depending on the charaeteristies of eaeh reservoir. Thus being, the meters used in field for the flow and BSW (water in the oil) measurement must work well in wide bands of operation. For the evaluation of the operation of these meters, in the different operation conditions, a Laboratory will be built in UFRN, that has for objective to evaluate in an automatic way the processes of flow and BSW petroleum measurement, considering different operation conditions. The good acting of these meters is fundamental for the accuracy of the measures of the volumes of production liquid and rude of petroleum. For the measurement of this production, the petroleum companies use meters that should indicate the values with tha largast possible accuracy and to respect a series of conditions and minimum requirements, estabelished by the united Entrance ANP/INMETRO 19106/2000. The laboratory of Evafuation of the Processes of Measurement of Flow and BSW to be built will possess an oil tank basically, a tank of water, besides a mixer, a tank auditor, a tank for separation and a tank of residues for discard of fluids, fundamental for the evaluation of the flow metars and BSW. The whole process will be automated through the use of a Programmable Logicat Controller (CLP) and of a supervisory system.This laboratory besides allowing the evaluation of flow meters and BSW used by petroleum companies, it will make possible the development of researches related to the automation. Besides, it will be a collaborating element to the development of the Computer Engineering and Automation Department, that it will propitiate the evolution of the faculty and discente, qualifying them for a job market in continuous growth. The present work describes the project of automation of the laboratory that will be built at of UFRN. The system will be automated using a Programmable Logical Controller and a supervisory system. The programming of PLC and the screens of the supervisory system were developed in this work

Otimização topológica de estruturas termoelásticas tridimensionais

This work presents an optimization technique based on structural topology optimization methods, TOM, designed to solve problems of thermoelasticity 3D. The presented approach is based on the adjoint method of sensitivity analysis unified design and is intended to loosely coupled thermomechanical problems. The technique makes use of analytical expressions of sensitivities, enabling a reduction in the computational cost through the use of a coupled field adjoint equation, defined in terms the of temperature and displacement fields. The TOM used is based on the material aproach. Thus, to make the domain is composed of a continuous distribution of material, enabling the use of classical models in nonlinear programming optimization problem, the microstructure is considered as a porous medium and its constitutive equation is a function only of the homogenized relative density of the material. In this approach, the actual properties of materials with intermediate densities are penalized based on an artificial microstructure model based on the SIMP (Solid Isotropic Material with Penalty). To circumvent problems chessboard and reduce dependence on layout in relation to the final optimal initial mesh, caused by problems of numerical instability, restrictions on components of the gradient of relative densities were applied. The optimization problem is solved by applying the augmented Lagrangian method, the solution being obtained by applying the finite element method of Galerkin, the process of approximation using the finite element Tetra4. This element has the ability to interpolate both the relative density and the displacement components and temperature. As for the definition of the problem, the heat load is assumed in steady state, i.e., the effects of conduction and convection of heat does not vary with time. The mechanical load is assumed static and distributed

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)

Continuous ethanol production in a nonconventional five-stage system operating with yeast cell recycling at elevated temperatures

Three ranges of increasing temperatures (35-43, 37-45, 39-47degreesC) were sequentially applied to a five-stage system continuously operated with cell recycling so that differences of 2degreesC (between one reactor to the next) and 8degreesC (between the first reactor at the highest temperature and the fifth at the lowest temperature) were kept among the reactors for each temperature range. The entire system was fed through the first reactor. The lowest values of biomass and viability were obtained for reactor R-3 located in the middle of the system. The highest yield of biomass was obtained in the effluent when the system was operated at 35-43degreesC. This nonconventional system was set up to simulate the local fluctuations in temperature and nutrient concentrations that occur in different regions of the medium in an industrial bioreactor for fuel ethanol production mainly in tropical climates. Minimized cell death and continuous sugar utilization were observed at temperatures normally considered too high for Saccharomyces cerevisiae fermentations.

Um método eficiente para resolução do problema de Despacho Ótimo de Reativos com controle discreto do TAP dos transformadores

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