3 resultados para SMT - Solvers

em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bound-constrained minimization is a subject of active research. To assess the performance of existent solvers, numerical evaluations and comparisons are carried on. Arbitrary decisions that may have a crucial effect on the conclusions of numerical experiments are highlighted in the present work. As a result, a detailed evaluation based on performance profiles is applied to the comparison of bound-constrained minimization solvers. Extensive numerical results are presented and analyzed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents the development of a mathematical model to optimize the management and operation of the Brazilian hydrothermal system. The system consists of a large set of individual hydropower plants and a set of aggregated thermal plants. The energy generated in the system is interconnected by a transmission network so it can be transmitted to centers of consumption throughout the country. The optimization model offered is capable of handling different types of constraints, such as interbasin water transfers, water supply for various purposes, and environmental requirements. Its overall objective is to produce energy to meet the country's demand at a minimum cost. Called HIDROTERM, the model integrates a database with basic hydrological and technical information to run the optimization model, and provides an interface to manage the input and output data. The optimization model uses the General Algebraic Modeling System (GAMS) package and can invoke different linear as well as nonlinear programming solvers. The optimization model was applied to the Brazilian hydrothermal system, one of the largest in the world. The system is divided into four subsystems with 127 active hydropower plants. Preliminary results under different scenarios of inflow, demand, and installed capacity demonstrate the efficiency and utility of the model. From this and other case studies in Brazil, the results indicate that the methodology developed is suitable to different applications, such as planning operation, capacity expansion, and operational rule studies, and trade-off analysis among multiple water users. DOI: 10.1061/(ASCE)WR.1943-5452.0000149. (C) 2012 American Society of Civil Engineers.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Objective: To evaluate the histomorphometry and expression of Ki-67 and c-kit in ovarian follicles of pinealectomized or melatonin-treated pinealectomized rats. Study design: Forty adult rats were randomly divided into four groups of 10 animals: Group I – control; Group II – sham-pinealectomized; Group III – pinealectomized (Px), and Group IV – Px treated with melatonin (10 mg/night, per animal). After two months’ treatment, on the night of proestrous, the animals were placed in metabolic cages for night urine collection and subsequent measurement of 6-sulfatoxymelatonin (6-SMT). The rats were anesthetized, blood samples were taken for estrogen and progesterone determinations, and they were then euthanized. The ovaries were dissected out for further histological and immunohistochemical analyses. Data were first submitted to analysis of variance (ANOVA) complemented with the Tukey–Kramer test for multiple comparisons (P < 0.05). Results: The urinary levels of 6-SMT and serum progesterone were lower in the Px group (GIII). Exogenous melatonin treatment restored both blood melatonin and 6-SMT urinary levels. The histomorphometric data in Group III revealed a significant increase of degenerating antral and nonantral follicles with regard to the other groups. In addition no corpora lutea were observed in this group. No significant differences were noticed regarding the number of corpora lutea among the other groups (I, II and IV), but the number of cells and the thickness of the theca interna of Px animals (Group III) were higher than in the other groups. Conversely, the density of progesterone receptors (fmol/g) in the ovaries of Group III was significantly lower than in the other groups. Conclusion: Our data indicate that melatonin exerts a role on the maintenance of a proper follicular function, and is thus important for ovulation and progesterone production.