Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

A crise financeira de 2008 e seus impactos na economia brasileira: uma análise sob a perspectiva de Minsky

Diante do colapso financeiro de 2008, este trabalho retoma a teoria econômica proposta por Hyman P. Minsky com o objetivo de esclarecer as circunstâncias que propiciaram uma crise financeira tão profunda. A estrutura analítica de Minsky é marcada pela Hipótese da Instabilidade Financeira, a qual aponta para fatores endógenos ao próprio sistema capitalista como o principal causador de instabilidades financeiras. Este processo, caracterizado principalmente por um avanço desfavorável no nível de endividamento dos agentes, constrói um ciclo de estágios que pode se desenvolver para uma crise financeira ou um colapso sistêmico, definidos como “Momento Minsky” e “Colapso Minsky”. Este cenário descrito por Minsky, também analisado à luz de teorias mais recentes como as de Gary A. Dymski e Alessandro Vercelli, é conhecido por “ciclo minskyano”. Ao adotar estes preceitos da análise teórica de Minsky, é possível visualizar como o processo de desregulamentação e fragilização financeira dos Estados Unidos nas décadas de 1980 e 1990 proveram condições para a crise do subprime e, posteriormente, o colapso financeiro de 2008. De maneira similar, é possível observar que a análise teórica de Minsky também é aplicável à crise que afeta a economia brasileira no final de 2008. A fragilização financeira que se inicia no Brasil poucos anos antes da crise, acentuada no setor exportador de commodities, cria a condição para o “momento Minsky brasileiro”, demonstrando que apesar das falhas da análise teórica de Minsky, que supõe uma economia fechada com características da economia estadunidense, é possível visualizar uma relação de causa e efeito da recente crise financeira com a teoria minskyana.

Contrasts in the basins of attraction of structurally identical iterative root finding methods

A numerical comparison is performed between three methods of third order with the same structure, namely BSC, Halley’s and Euler–Chebyshev’s methods. As the behavior of an iterative method applied to a nonlinear equation can be highly sensitive to the starting points, the numerical comparison is carried out, allowing for complex starting points and for complex roots, on the basins of attraction in the complex plane. Several examples of algebraic and transcendental equations are presented.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Methods to classify maize cultivars in use efficiency and response to nitrogen

n plant breeding programs that aim to obtain cultivars with nitrogen (N) use efficiency, the focus is on methods of selection and experimental procedures that present low cost, fast response, high repeatability, and can be applied to a large number of cultivars. Thus, the objectives of this study were to classify maize cultivars regarding their use efficiency and response to N in a breeding program, and to validate the methodology with contrasting doses of the nutrient. The experimental design was a randomized block with the treatments arranged in a split-plot scheme with three replicates and five N doses (0, 30, 60, 120 and 200 kg ha-1) in the plots, and six cultivars in subplots. We compared a method examining the efficiency and response (ER) with two contrasting doses of N. After that, the analysis of variance, mean comparison and regression analysis were performed. In conclusion, the method of the use efficiency and response based on two N levels classifies the cultivars in the same way as the regression analysis, and it is appropriate in plant breeding routine. Thus, it is necessary to identify the levels of N required to discriminate maize cultivars in conditions of low and high N availability in plant breeding programs that aim to obtain efficient and responsive cultivars. Moreover, the analysis of the interaction genotype x environment at experiments with contrasting doses is always required, even when the interaction is not significant.

Comparison of different methods for the determination of total organic carbon and humic substances in Brazilian soils

ABSTRACTAiming to compare three different methods for the determination of organic carbon (OC) in the soil and fractions of humic substances, seventeen Brazilian soil samples of different classes and textures were evaluated. Amounts of OC in the soil samples and the humic fractions were measured by the dichromate-oxidation method, with and without external heating in a digestion block at 130 °C for 30 min; by the loss-on-ignition method at 450 °C during 5 h and at 600 °C during 6 h; and by the dry combustion method. Dry combustion was used as reference in order to measure the efficiency of the other methods. Soil OC measured by the dichromate-oxidation method with external heating had the highest efficiency and the best results comparing to the reference method. When external heating was not used, the mean recovery efficiency dropped to 71%. The amount of OC was overestimated by the loss-on-ignition methods. Regression equations obtained between total OC contents of the reference method and those of the other methods showed relatively good adjustment, but all intercepts were different from zero (p < 0.01), which suggests that more accuracy can be obtained using not one single correction factor, but considering also the intercept. The Walkley-Black method underestimated the OC contents of the humic fractions, which was associated with the partial oxidation of the humin fraction. Better results were obtained when external heating was used. For the organic matter fractions, the OC in the humic and fulvic acid fractions can be determined without external heating if the reference method is not available, but the humin fraction requires the external heating.

Impacts of vinasse and methods of sugarcane harvesting on the availability of K and carbon stock of an Argisol

ABSTRACT Soils of tropical regions are more weathered and in need of conservation managements to maintain and improve the quality of its components. The objective of this study was to evaluate the availability of K, the organic matter content and the stock of total carbon of an Argisol after vinasse application and manual and mechanized harvesting of burnt and raw sugarcane, in western São Paulo.The data collection was done in the 2012/2013 harvest, in a bioenergy company in Presidente Prudente/SP. The research was arranged out following a split-plot scheme in a 5x5 factorial design, characterized by four management systems: without vinasse application and harvest without burning; with vinasse application and harvest without burning; with vinasse application and harvest after burning; without vinasse application and harvest after burning; plus native forest, and five soil sampling depths (0-10 10-20, 20-30, 30-40, 40-50 cm), with four replications. In each treatment, the K content in the soil and accumulated in the remaining dry biomass in the area, the levels of organic matter, organic carbon and soil carbon stock were determined. The mean values were compared by Tukey test. The vinasse application associated with the harvest without burning increased the K content in soil layers up to 40 cm deep. The managements without vinasse application and manual harvest after burning, and without vinasse application with mechanical harvesting without burning did not increase the levels of organic matter, organic carbon and stock of total soil organic carbon, while the vinasse application and harvest after burning and without burning increased the levels of these attributes in the depth of 0-10 cm.

Comparison of methods for classification of the coefficient of variation in papaya

ABSTRACT The objective of this work was to study the distribution of values of the coefficient of variation (CV) in the experiments of papaya crop (Carica papaya L.) by proposing ranges to guide researchers in their evaluation for different characters in the field. The data used in this study were obtained by bibliographical review in Brazilian journals, dissertations and thesis. This study considered the following characters: diameter of the stalk, insertion height of the first fruit, plant height, number of fruits per plant, fruit biomass, fruit length, equatorial diameter of the fruit, pulp thickness, fruit firmness, soluble solids and internal cavity diameter, from which, value ranges were obtained for the CV values for each character, based on the methodology proposed by Garcia, Costa and by the standard classification of Pimentel-Gomes. The results obtained in this study indicated that ranges of CV values were different among various characters, presenting a large variation, which justifies the necessity of using specific evaluation range for each character. In addition, the use of classification ranges obtained from methodology of Costa is recommended.

A JOINT EXPERIMENTAL ANALYSIS OF INVESTOR BEHAVIOR IN IPO PRICING METHODS

This article jointly examines the differences of laboratory versions of the Dutch clock open auction, a sealed-bid auction to represent book building, and a two-stage sealed bid auction to proxy for the “competitive IPO”, a recent innovation used in a few European equity initial public offerings. We investigate pricing, seller allocation, and buyer welfare allocation efficiency and conclude that the book building emulation seems to be as price efficient as the Dutch auction, even after investor learning, whereas the competitive IPO is not price efficient, regardless of learning. The competitive IPO is the most seller allocative efficient method because it maximizes offer proceeds. The Dutch auction emerges as the most buyer welfare allocative efficient method. Underwriters are probably seeking pricing efficiency rather than seller or buyer welfare allocative efficiency and their discretionary pricing and allocation must be important since book building is prominent worldwide.

Preliminary Overview over Requirements Regarding Tools and Methods Derived from LUDA Cases

LUDA is a research project of Key Action 4 "City of Tomorrow & Cultural Heritage" of the programme "Energy, Environment and Sustainable Development" within the Fifth Framework Programme of the European Commission

Seasonal variation of total particulate matter and children respiratory diseases at Lisbon primary schools using passive methods

In this work, 14 primary schools of Lisbon city, Portugal, followed a questionnaire of the ISAAC - International Study of Asthma and Allergies in Childhood Program, in 2009/2010. The questionnaire contained questions to identify children with respiratory diseases (wheeze, asthma and rhinitis). Total particulate matter (TPM) was passively collected inside two classrooms of each of 14 primary schools. Two types of filter matrices were used to collect TPM: Millipore (IsoporeTM) polycarbonate and quartz. Three campaigns were selected for the measurement of TPM: Spring, Autumn and Winter. The highest difference between the two types of filters is that the mass of collected particles was higher in quartz filters than in polycarbonate filters, even if their correlation is excellent. The highest TPM depositions occurred between October 2009 and March 2010, when related with rhinitis proportion. Rhinitis was found to be related to TPM when the data were grouped seasonally and averaged for all the schools. For the data of 2006/2007, the seasonal variation was found to be related to outdoor particle deposition (below 10 μm).

Análise dos métodos de medição dos parâmetros geométricos de via e correlação entre os dados obtidos

A razão atribuída à escolha do tema do T.F.M. em Caminhos-de-ferro, tem a ver com o facto de ser uma via de comunicação específica. Contrariamente ao que acontece na execução de auto-estradas, no caminho-de-ferro, a gestora da infra-estrutura responsabiliza-se pela execução, exploração (sinalização e controlo de circulação), abastecimento de energia fornecida às vias que dispõem de catenária (tracção eléctrica), manutenção e conservação da via. O processo de análise e inspecção de geometria de via, é usado quando e necessário preservar a infra-estrutura. Este processo iniciou-se nos caminhos-de-ferro portugueses, há muitos anos, depois da inauguração do primeiro troco de linha férrea. A primeira viagem ocorre em Outubro de 1856, sendo o início do processo em 1968, com a dresina “Matisa PV-6”. Em 1991 a C.P. adquiriu outro veículo de inspecção de via, tendo sido escolhido o VIV02 EM 120 da marca Plasser & Theurer, para substituir “Matisa PV-6”. O tema Análise dos Métodos de Medição dos Parâmetros Geométricos de Via e Correlação entre os Dados Obtidos está directamente relacionado com a manutenção e conservação de via. Na Unidade Operacional Sul (hoje ROS – Região Operacional Sul), local onde desenvolvi o T.F.M., não existem obras de construção de caminhos-de-ferro que pudesse acompanhar e constituir tema para o meu trabalho. Na realidade, com a falta de investimento que se perspectiva no futuro próximo, a manutenção da infra-estrutura passa a ser a actividade principal desenvolvida pela REFER, de modo a assegurar a comodidade, segurança e rapidez na deslocação de cargas e pessoas. A Analise Geométrica de Via e actualmente uma das principais actividades no âmbito da manutenção, que é feita por diagnóstico, contrariamente ao que acontecia no passado em que a conservação metódica era realizada num determinado ano num troço seleccionado independentemente da necessidade ou não da mesma. Uma ajuda preciosa, no que se refere à decisão de se realizar um determinado trabalho de conservação, e a do veículo VIV02 EM 120 que faz inspeções ao longo de toda a rede ferroviária e permite recolher dados e classificar através do desvio padrão, troços com extensão de 200 metros, obtendo os dados relevantes sobre a necessidade de intervenção. Para além do referido veículo existem também equipamentos ligeiros de inspecção dos parâmetros geométricos de via. Um desses equipamentos designa-se por Trólei, não sendo motorizado, pois o mesmo é movido manualmente por um operador. Obviamente que este equipamento não faz a inspecção a toda a rede pois a operação de medição é morosa, sendo contudo utilizado para análise de defeitos geométricos em pequenos trocos, tornando-se assim uma mais-valia, evitando o deslocar de um equipamento “pesado” como o VIV 02 EM 120. Para atingir os objectivos deste trabalho realizaram-se testes de medição com ambos (veiculo e equipamento ligeiro), no mesmo espaço temporal e com as mesmas características físicas, como a temperatura, humidade etc. Os resultados, de acordo com os objectivos, são a comparação entre as medições de ambos, com vista a comprovar a sua utilidade e necessidade, de acordo com os vários tipos de superstruturas constituintes da rede ferroviária nacional.