A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

A situation awareness interface for a bi-wheeled industrial hovercraft: design, development and evaluation

The intention of this thesis is to develop a prototype interface that enables an operator to control a bi-wheeled industrial hovercraft that will work within a fusion power plant if the automation system fails. This fusion power plant is part of the ITER project a conjoint effort of various industrialized countries to develop cleaner sources of energy. The development of the interface prototype will be based on situation awareness concepts, which provide a means to understand how human operators perceive the world around, then process that information and make decisions based on the knowledge that they already have and the projected knowledge of the reactions that will occur in the world in response to the actions the operator makes. Two major situation awareness methods will be used, GDTA as a means to discover the requirements the interface needs to solve, and SAGAT to conduct the evaluation on the three interfaces. This technique can isolate the differences an operator has in situation awareness when presented with relevant information given by each of the three interfaces that were built for this thesis. Where the first interface presents the information within the operator’s focal point of view in a pictorial style, the second interface shows the same information within the same point of view has the first interface but only shows it in a textual manner. While the third interface shows the relevant information in the operator’s peripheral field of view. Also SAGAT can provide insight on the question to know if providing the operator with feed-forward information about the stoppage distances of the bi-wheeled industrial hovercraft has any effect on the operator’s decision making.

The effects of the coexistence of weed communities on table beet yield during early crop development

Objetivando avaliar efeitos de períodos de infestação inicial na comunidade infestante e na produtividade da beterraba em sistema de semeadura direta e transplantio, conduziu-se um experimento em delineamento de blocos casualizados, esquema fatorial 2 x 13. Métodos de semeadura direta e transplante de mudas foram avaliados dentro de 13 períodos semanais crescentes de infestação. Importância relativa, densidade e matéria seca acumulada pelas plantas daninhas foram analisadas por regressão não-linear, assim como produtividade e estande da cultura de beterraba, que foram submetidos à análise de variância. Amaranthus viridis, Coronopus didymus, Cyperus rotundus, Digitaria nuda, Galinsoga parviflora e Nicandra physaloides foram as plantas daninhas mais importantes, destacando-se C. didymus. O acúmulo de matéria seca das plantas daninhas foi maior na cultura em semeadura direta, embora a densidade de plantas daninhas tenha sido mais alta em sistema de transplantio. A produtividade da beterraba transplantada foi maior que a da semeadura direta no tratamento livre de plantas daninhas. A convivência das plantas daninhas com a cultura pode permanecer por quatro e sete semanas depois da semeadura/transplantio, respectivamente, antes de reduzir a produtividade. A cultura em sistema de semeadura direta foi mais susceptível à interferência das plantas daninhas que a cultura sob sistema de transplantio.

Development of Y-chromosome-Specific SCAR Markers Conserved in Taurine, Zebu and Bubaline Cattle

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

Asymmetric post-natal development of superior cervical ganglion of paca (Agouti paca)

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

Methods for evaluating the physiological potential of scarlet eggplant (Solanum aethiopicum) seeds

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

Comparison of methodologies for degree-day estimation using numerical methods

O desenvolvimento de projetos relacionados ao desempenho de diversas culturas tem recebido aperfeiçoamento cada vez maior, incorporado a modelos matemáticos sendo indispensável à utilização de equações cada vez mais consistentes que possibilitem previsão e maior aproximação do comportamento real, diminuindo o erro na obtenção das estimativas. Entre as operações unitárias que demandam maior estudo estão aquelas relacionadas com o crescimento da cultura, caracterizadas pela temperatura ideal para o acréscimo de matéria seca. Pelo amplo uso dos métodos matemáticos na representação, análise e obtenção de estimativas de graus-dia, juntamente com a grande importância que a cultura da cana-de-açúcar tem para a economia brasileira, foi realizada uma avaliação dos modelos matemáticos comumente usados e dos métodos numéricos de integração na estimativa da disponibilidade de graus-dia para essa cultura, na região de Botucatu, Estado de São Paulo. Os modelos de integração, com discretização de 6 em 6 h, apresentaram resultados satisfatórios na estimativa de graus-dia. As metodologias tradicionais apresentaram desempenhos satisfatórios quanto à estimativa de grausdia com base na curva de temperatura horária para cada dia e para os agrupamentos de três, sete, 15 e 30 dias. Pelo método numérico de integração, a região de Botucatu, Estado de São Paulo, apresentou disponibilidade térmica anual média de 1.070,6 GD para a cultura da cana-de-açúcar.

Understanding the Crystallization Mechanism of a Wollastonite Base Glass Using Isoconversional, IKP Methods and Master Plots

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

A soy-based product fermented by Enterococcus faecium and Lactobacillus helveticus inhibits the development of murine breast adenocarcinoma

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

Effects of isoflavone-supplemented soy yogurt on lipid parameters and atherosclerosis development in hypercholesterolemic rabbits: a randomized double-blind study

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

Development and Validation of an UV-Derivative Spectrophotometric Method for Determination of Glimepiride in Tablets

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

Development and validation of an analytical method by RP-HPLC for quantification of sibutramine hydrochloride in pharmaceutical capsules

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

Development and validation of a new and rapid HPLC for determination of lyophilized teicoplanin

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

Weight and neuro-psycho-motor development in children discharged from neonatal intensive care unit

Background: Low birth weight affects child growth and development, requiring the intensive use of health services. There are conversely proportional associations between prematurity and academic performance around the world. In this study we evaluated factors involved in weight and neuropsychomotor profile in one and two years old discharged from Intensive Care Units (ICU).Methods/Design: We investigated 203 children from the ICU who were followed for 24 +/- 4 months. The research was conducted by collecting data from medical records of patients in a Follow-up program. We investigated the following variables: inadequate weight at one year old; inadequate weight at two years old and a severe neurological disorder at two years old.Results: We observed increase of almost 20% in the proportion of children which weighted between the 10th and 90th percentiles and decrease of around 40% of children below the 15th percentile, from one to two years old. In almost 60% of the cases neuropsychomotor development was normal at 2 years old, less than 15% of children presented abnormal development. Variables that remained influential for clinical outcome at 1 and 2 years old were related to birth weight and gestational age, except for hypoglycemia. Neurological examination was the most influential variable for severe neurological disturbance.Conclusion: Hypoglycemia was considered a new fact to explain inadequate weight. The results, new in Brazil and difficult in terms of comparison, could be used to identify risk factors and for a better approach of newborn discharged from ICUs.

Myocardial contractile dysfunction contributes to the development of heart failure in rats with aortic stenosis

Objectives: To analyze the potential contribution of contractility state and ventricular geometry to the development of heart failure in rats with aortic stenosis.Methods: Rats were divided into three groups: compensated aortic stenosis (AS, n = 11), heart failure AS (n = 12) and control rats (C, n = 13).Results: After 21 weeks, failing AS rats presented higher systolic (C = 36.6 +/- 3.1, AS-78.6 +/- 4.8*, failing AS = 104.6 +/- 7.8*) and diastolic meridian stress (C = 6.9 +/- 0.4, AS = 20.1 +/- 1.1*, failing AS = 43.2 +/- 3.2*(dagger)), hydroxyproline (C = 3.6 +/- 0.7 mg/g, AS = 6.6 +/- 0.6* mg/g, failing AS = 9.2 +/- 1.4*(dagger) mg/g) and cross-sectional area (C = 338 +/- 25 mu m(2), AS = 451 +/- 32* mu m(2), failing AS = 508 +/- 36*(dagger) mu m(2)), in comparison with control and compensated AS animals (*p < 0.05 vs. control, (dagger)p < 0.05 vs. AS). In the isometric contraction study, considering the time from peak tension to 50% relaxation (RT50), the relative variation responses, following post-rest contraction and increase in Ca2+ concentration, were higher in failing AS than compensated AS animals. In contrast, following post-rest contraction, compensated AS group presented higher values of the peak developed tension (DT) than failing AS group. Following beta-adrenergic stimulation, control animals presented higher values of +dT/dt and -dT/dt than AS animals. In addition, failing AS animals presented higher TPT values than compensated AS animals.Conclusion: Myocardial contractile dysfunction contributes to the development of heart failure in rats with aortic stenosis. (c) 2006 Elsevier B.V.. All rights reserved.