Interior point method for long-term generation scheduling of large-scale hydrothermal systems

This paper presents an interior point method for the long-term generation scheduling of large-scale hydrothermal systems. The problem is formulated as a nonlinear programming one due to the nonlinear representation of hydropower production and thermal fuel cost functions. Sparsity exploitation techniques and an heuristic procedure for computing the interior point method search directions have been developed. Numerical tests in case studies with systems of different dimensions and inflow scenarios have been carried out in order to evaluate the proposed method. Three systems were tested, with the largest being the Brazilian hydropower system with 74 hydro plants distributed in several cascades. Results show that the proposed method is an efficient and robust tool for solving the long-term generation scheduling problem.

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Comparação entre acuidade visual e photoscreening como métodos de triagem visual para crianças em idade escolar

OBJETIVO: Avaliar a sensibilidade do aparelho photoscreener na detecção de alterações oculares em crianças informantes, comparando os dados à acuidade visual obtida pela tabela E de Snellen. MÉTODOS: Foram avaliadas 500 crianças de idades entre 5 e 12 anos, de escola do município de Botucatu, estado de São Paulo. As crianças foram submetidas ao teste de acuidade visual pela tabela E de Snellen e foram fotografadas utilizando-se o aparelho photoscreenerTM system model MTI-PS100, seguindo-se a análise das fotos obtidas. RESULTADOS: Houve concordância negativa (criança com boa acuidade visual e teste negativo com o photoscreener) em 81,0%; concordância positiva (acuidade visual alterada e teste positivo) em 7,6% e não houve concordância de resultados em 11,0% dos casos. CONCLUSÃO: A avaliação comparativa entre o método da acuidade visual pela tabela E de Snellen e o photocreener para detecção de problemas visuais mostrou alta concordância. Os autores sugerem entretanto, a triagem usando tabelas de acuidade visual quando se trata de crianças informantes, devido aos custos com o aparelho.

The impact of soybean expansion on mammal and bird, in the Balsas region, north Brasilian Cerrado

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Por que as cooperativas agropecuárias e agroindustriais brasileiras estão falindo?

Este ar tigo evidencia as contradições do Modelo Cooperativista brasileiro em relação ao Modelo Original. Trata- se de incoerências intrínsecas na formação do movimento cooperativo, nos princípios para a sua condução ideológica, bem como na regimentação e operacionalização estatutária. A partir desses desacertos, o artigo mostra as restrições para o exercício da autogestão. Também sugere mudanças nas leis cooperativistas vigentes, propícias ao exercício da participação dos associados no processo decisório.

Line based camera calibration in machine vision dynamic applications

The problem of dynamic camera calibration considering moving objects in close range environments using straight lines as references is addressed. A mathematical model for the correspondence of a straight line in the object and image spaces is discussed. This model is based on the equivalence between the vector normal to the interpretation plane in the image space and the vector normal to the rotated interpretation plane in the object space. In order to solve the dynamic camera calibration, Kalman Filtering is applied; an iterative process based on the recursive property of the Kalman Filter is defined, using the sequentially estimated camera orientation parameters to feedback the feature extraction process in the image. For the dynamic case, e.g. an image sequence of a moving object, a state prediction and a covariance matrix for the next instant is obtained using the available estimates and the system model. Filtered state estimates can be computed from these predicted estimates using the Kalman Filtering approach and based on the system model parameters with good quality, for each instant of an image sequence. The proposed approach was tested with simulated and real data. Experiments with real data were carried out in a controlled environment, considering a sequence of images of a moving cube in a linear trajectory over a flat surface.

Análise econômica de dois sistemas naturais de tratamento de água residuária na suinocultura

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Proposta de uma estrutura conceitual de modelagem de empresas para implementação do ERP5 baseada na ISO 19440:2007

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Detecção de eventos de segurança de redes por intermédio de técnicas estatísticas e associativas aplicadas a fluxos de dados

Pós-graduação em Ciência da Computação - IBILCE

A influência do Arco do Desmatamento sobre o ciclo hidrológico da Amazônia

Este trabalho buscou quantificar algumas alterações no ciclo hidrológico da Amazônia propiciadas pelo desmatamento da região, principalmente devido à faixa conhecida como "Arco do Desmatamento". Neste sentido, foram realizados experimentos numéricos utilizando o modelo BRAMS (Brazilian Regional Atmospheric Modeling System) tendo o submodelo de vegetação dinâmica GEMTM (General Energy and Mass Transport Model) a ele acoplado. Foram investigados os impactos causados pelo Arco do Desmatamento atual em relação à floresta intacta, bem como as futuras modificações, causados pelo avanço do desmatamento até o ano de 2050. Como condições de contorno na superfície para o modelo BRAMS, foram usados cenários oriundos de modelos empíricos de desmatamento para os anos de 2002 e 2050. Os resultados mostraram que o avanço do Arco do Desmatamento até 2050 tem uma complexa relação com as variáveis analisadas. Por exemplo, a precipitação apresentou distribuição espacial heterogênea, com áreas de anomalias positivas e negativas que se mostraram coerentes com as anomalias de outras variáveis, como a evapotranspiração e a divergência de umidade. Também foram encontradas algumas áreas que evidenciaram as possíveis influências dos grandes rios e topografia da região sobre essa precipitação. Os balanços de radiação e energia também foram afetados pelo desmatamento, sendo que grande parte das alterações é devido à mudança do albedo da superfície, a qual ocorre com a substituição da floresta pela pastagem. Quanto às alterações propiciadas pelo Arco do Desmatamento atual em relação à floresta intacta, foi observado que todas as variáveis foram afetadas, entretanto a maioria dos impactos ainda é localizada sobre a área mais afetada pelo desmatamento, diferentemente dos resultados encontrados para o cenário de 2050, onde as modificações já se dão a nível regional.

Controladores robustos do tipo LQG/LTR de ordem reduzida para sistemas MIMO com saídas independentes de seus modos não dominantes

O objetivo principal desta dissertação é apresentar uma solução eficiente, prática e de simples implementação para um problema recorrente em projetos de controladores robustos multivariáveis do tipo LQG/LTR: a elevada ordem que estes controladores podem obter dependendo das complicações apresentadas pelo sistema dificultando para que este possa ser controlado de maneira satisfatória. Para que esta meta seja alcançada, é apresentada uma técnica de redução do modelo de sistemas com metodologia bastante descomplicada, dispensando qualquer necessidade de complexas programações para a sua utilização. Esta metodologia porém, é somente aplicável a uma classe bastante específica de sistema. Em suma, o sistema deve possuir variáveis de estado desacopladas do restante do sistema, ou seja, variáveis que não sofram influências de outras e que também não provoquem grande efeito nas saídas do sistema. Foi escolhido um sistema multivariável de sexta ordem, com duas entradas e duas saídas para que a técnica de redução de ordem de modelo seja testada. Este sistema possui as características especiais mencionadas anteriormente bem como exige o projeto de compensador dinâmico e a adição de integradores às suas saídas para que seja controlado adequadamente. Este trabalho pretende apresentar o procedimento de todo o projeto mencionado, desde a obtenção de um modelo de ordem reduzida até a implementação do controlador LQG/LTR. Em seguida, o controlador obtido é testado através de diversas simulações e os resultados encontrados são discutidos para a avaliação da eficácia e da praticidade do método proposto para obtenção de controladores de ordem reduzida.

Influência do formato do rebordo na associação de uma prótese parcial removível de extremidade livre mandibular associada ao implante com sistema de retenção ERA, pelo método dos elementos finitos

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

Projeto e implantação de pequena central de geração hidrelétrica: análise de caso

The objective of this work is to study the implantation feasibility of a small hydropower system in a rural area in Guaratinguetá. Due to its location and accessibility, and the costs involved in extending the public distribution line to the property it could turn become viable the construction of an individual electric generation system. As alternatives, a solar photovoltaic system and combustion engine-electric generator systems were considered. However, the existence of a small river inside the property, the construction of a micro hydropower plant was taken into account. The choice of the micro power hydropower plant was determined by the owner and was based on the costs. The topographic and hydrological profiles as well as the geometrical characteristics of the system, including the civil infrastructure needed and the more adequate turbine, were determined. Finally, the cost spreadsheet was set and the results were compared with those calculated for the extension of the available public distribution system

Emprego de redes complexas para modelar e analisar a disseminação de microrganismos da familia enterobacteriaceae em pacientes mantidos em unidades de terapia intensiva

Nowadays the studies of different methodologies to interfere in the growing and spread of serious infections and systemic status in institutionalized patients those kept on intensive therapy units are relevant to understanding these complex systems and bring benefits to several health areas, particularly public health. In this study, it was analyzed the clinical and microbiological data from patients hospitalized in intensive therapy units. The interaction between patients and caregivers was modeled and analyzed using dynamic system model and complex network theory, identifying outbreaks values of microorganisms of Enterobacteriaceae Family.

Influência do formato do rebordo alveolar sagital em reabilitações com associação de prótese parcial removível de extremidade livre e implante ósseo integrado

The association of mandibular distal extension removable partial dentures with an osteointegrated implant is a treatment option at hasn't been fully explored by modern rehabilitation dentistry yet. The objective of this study is to evaluate, by means of the bidimensional method of finite elements, the distribution of tension on the structures supporting the distal extension removable partial denture (DERPD), associated to a 10.0 x 3.75 mm osteointegrated implant with an ERA retention system, in alveolar ridges of different shapes. Eight models were created, representing, from a sagittal perspective: Model A (MA) – a half arch with a horizontal ridge without posterior support, with the presence of the lower left canine, and a conventional DERPD, with metallic support in the incisal aspect of this canine, as replacement for the first and second pre-molars and the first and second molars of the lower left half arch; Model B (MB) – similar to MA, but different because of the presence of a 3.75 x 10.00 mm implant with an associated ERA retention system in the posterior region of the DERPD base; Model C (MC) - similar to MA, however with a distally ascending ridge format; Model D (MD) – similar to MC, but different because there is an implant associated to a retention system; Model E (ME) - similar to MA, however with a distally descending ridge format; Model F (MF) – similar to ME, but ditfferent in the sense that there is an implant with an associated ERA retention system; Model G (MG) – similar to MA, however with a distally descending-ascending ridge format; Model H (MH) – similar to MG, but different in the sense that there is an implant with an associated ERA retention system. The finite element program ANSYS 9.0 was used to load the models with vertical forces of 50 N, on each cuspid tip. The format of distal descending edge (ME and MF) was that presented worse results, so in the models with conventional RPD as in the models with RPD associated to the implant and ERA system of retention, for the structures gingival mucosa and tooth support. 1) the distally descending ridge presented the most significant stress in the model with the conventional RPD (ME) or with a prosthesis associated to an implant (MF) and 2) the horizontal ridge (MB) provided more relief to the support structures, such as the tooth and the spongy bone, when there was an implant associated to an ERA retention system. The incorporation of the implants with the ERA system retention, in the posterior area of the toothless edge, it promotes larger stability and retention to PPREL, improving the patient's masticatory acting and, consequently, its comfort and function.