JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Reengenharia do framework cosmos: uma solução para prover suporte e adaptações abertas.

Self-adaptive software system is able to change its structure and/or behavior at runtime due to changes in their requirements, environment or components. One way to archieve self-adaptation is the use a sequence of actions (known as adaptation plans) which are typically defined at design time. This is the approach adopted by Cosmos - a Framework to support the configuration and management of resources in distributed environments. In order to deal with the variability inherent of self-adaptive systems, such as, the appearance of new components that allow the establishment of configurations that were not envisioned at development time, this dissertation aims to give Cosmos the capability of generating adaptation plans of runtime. In this way, it was necessary to perform a reengineering of the Cosmos Framework in order to allow its integration with a mechanism for the dynamic generation of adaptation plans. In this context, our work has been focused on conducting a reengineering of Cosmos. Among the changes made to in the Cosmos, we can highlight: changes in the metamodel used to represent components and applications, which has been redefined based on an architectural description language. These changes were propagated to the implementation of a new Cosmos prototype, which was then used for developing a case study application for purpose of proof of concept. Another effort undertaken was to make Cosmos more attractive by integrating it with another platform, in the case of this dissertation, the OSGi platform, which is well-known and accepted by the industry

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Sustentabilidade ambiental do cultivo intensivo de Tilápias (Oreochromis niloticus) em tanques-rede e a capacidade de suporte de quatro reservatórios em uma região semi-árida tropical

Intensive production of tilápias, in cages or net tanks, has been proposed as an alternative to increase fish production, that would generate income and offer animal protein in different tropical and subtropical countries. However, this system of production enriches the aquatic environment with nutrients, principally nitrogen and phosphor derived from the dejections of the metabolism of food and eventual food surpluses consumed by the fishes; the alimentation of the fishes in this production modality is dependent on fish food. The emission of these nutritions in levels above the limit that the system is capable metabolize can provoke a phenomenon called eutrofization, putting in risk the quality of water for public and for fish production activities. In this context the work had as a goal to evaluate the trófico state of the four reservoirs for intensive production of tilapias in net-tanks, in other words, he maximum fish production that the reservoirs are able to hold, keeping the desired quantity of nutrient concentrations in water for public use. The results of the four ecosystems in the Boqueirão de Parelhas reservoir showed that it s possible to have an intensive production of tilapias in net tanks, in this environment the annual average concentration of phosphor, was below the considered critical limits to deflagrate the process of eutrofization in semi-arid regions. The carrying capacity of the Boqueirão de Parelhas reservoir depends on the conversion of the feeding facts and phosphor content in the food but it should vary between 100 and 300 tons per year over a variation in the conversion feeding factor of 1,7 to 2,0:1 and a variation in the P in the food of 0,7 to 0,9%

Características cinemáticas, cinéticas e eletromiográficas do andar de adultos jovens com e sem suporte parcial de peso corporal

OBJETIVO: O objetivo deste estudo foi analisar as características cinemáticas, cinéticas e eletromiográficas do andar de adultos jovens em piso fixo sem colete e com suporte parcial de peso (SPP) de 0, 10, 20 e 30% do peso corporal. MÉTODO: Oito jovens com idade média de 22,2 anos foram filmados andando sobre uma passarela que continha uma plataforma de força na região central para registro das componentes da força de reação do solo. Marcadores refletivos foram posicionados nos principais pontos anatômicos dos membros inferiores para registro dos dados cinemáticos, e eletrodos de superfície foram afixados nos músculos tibial anterior e gastrocnêmio medial para registro da atividade elétrica muscular. RESULTADOS: Diferenças significantes entre as cinco condições experimentais foram constatadas nas variáveis espaço-temporal, nos ângulos máximos e mínimos da coxa, joelho e tornozelo e nas amplitudes das componentes horizontal ântero-posterior e vertical da força de reação do solo. de forma geral, as maiores mudanças ocorreram na condição de SPP de 30% do peso corporal. CONCLUSÃO: É importante considerar as compensações que ocorrem no padrão do andar com SPP no planejamento das intervenções terapêuticas. Ainda, para melhor definir a utilização dos sistemas de suspensão de peso na reabilitação, estudos futuros precisam ser realizados para verificar o comportamento do andar em populações com alteração de movimento em piso fixo.

O eletrólito suporte e suas múltiplas funções em processos de eletrodo

The aim of this work is to present the principal properties and applications of supporting electrolytes (SE) to students, teachers and researchers interested in electrode processes. Different aspects are discussed including the importance of SE in maintaining constant the activity coefficients and the diffusion coefficients and reducing the transport number of electroactive species. Its effect on the electrochemical kinetic parameters is also presented.

Compacidade do suporte cerâmico cru versus propriedades do revestimento cerâmico cozido

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

Construção de conceitos de física moderna e sobre a natureza da ciência com o suporte da hipermídia

Apresentam-se os resultados de uma pesquisa sobre a construção de conceitos de Física Moderna e sobre a natureza da Ciência com o apoio da hipermídia, que envolveu a produção e avaliação de um software educacional. A proposta didática fundamentou-se na Teoria da Aprendizagem de Ausubel, em orientações para a implementação de sistemas hipermídia educacionais e em abordagens derivadas da pesquisa em Ensino de Ciências, dentre as quais o enfoque Ciência-Tecnologia-Sociedade, ponderações quanto à importância pedagógica da História e Filosofia da Ciência e considerações sobre a inserção de Física Moderna no Ensino Médio. O programa foi avaliado por pesquisadores de Ensino de Física e licenciandos de Física e, após a incorporação de algumas sugestões realizadas, foi testado por estudantes do terceiro ano do Ensino Médio de uma escola pública. Obtiveram-se indícios de que o uso do computador foi fator de motivação dos estudantes; a diversidade de elementos de mídia auxiliou-os a fixar a atenção sobre o conteúdo e favoreceu a visualização e interpretação dos fenômenos, facilitando ainda o raciocínio; o hipertexto estruturado em conformidade com princípios ausubelianos contribuiu para a percepção da relação entre os conceitos e ajudou no desenvolvimento de subsunçores para apoiar a aprendizagem subseqüente. Constatou-se que a proposta didática avaliada favoreceu a evolução das concepções da maior parte dos estudantes quanto ao conceito de equivalência massa-energia e suas implicações; às relações entre Ciência, Tecnologia e Sociedade, incluindo aspectos ambientais e políticos; ao papel da Ética no desenvolvimento e aplicação dos conhecimentos científicos; ao progresso da Ciência ao longo do tempo.

Ventilação mandatória intermitente sincronizada versus ventilação com suporte pressórico e volume garantido em coelhos induzidos à hemorragia aguda

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

Capacidade de suporte de pastagens de capim-tifton 85 adubado com nitrogênio manejadas em lotação contínua com ovinos

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

Produção de glicose e frutose por invertase de Saccharomyces cerevisiae imobilizada em suporte MANAE-agarose

Invertase from Saccharomyces cerevisiae was immobilized on agarose beads, activated with various groups (glyoxyl, MANAE or glutaraldehyde), and on some commercial epoxy supports (Eupergit and Sepabeads). Very active and stable invertase derivatives were produced by the adsorption of the enzyme on MANAE-agarose, MANAE-agarose treated with glutaraldhyde and glutaraldehyde-agarose supports. At pH 5.0, these derivatives retained full activity after 24h at 40°C and 50 °C. When assayed at 40°C and 50°C, with the pH adjusted to 7.0, the invertase-MANAE-agarose derivative treated with glutaraldehyde retained 80% of the initial activity. Recovered activities of the derivatives produced with MANAE, MANAE treated with glutaraldehyde and glutaraldehyde alone were 73.5%, 44.4% and 36.8%, respectively. These three preparations were successfully employed to produce glucose and fructose in 3 cycles of sucrose hydrolysis.

Suscetibilidade magnética do solo e estimação da capacidade de suporte à aplicação de vinhaça

The objective of this work was to evaluate the magnetic susceptibility efficiency for estimating the support capacity of areas for vinasse application. Two hundred forty-one soil samples were collected from a 380-ha area, on which soil chemical properties, clay content, and magnetic susceptibility were determined. Vinasse requirement was calculated for each sample. Data were subjected to descriptive statistical analysis, and regression models were developed between magnetic susceptibility and the other evaluated attributes. The analysis of data spatial dependence was performed using geostatistics. Kriging maps and cross variograms were built in order to investigate the spatial correlation between soil magnetic susceptibility and studied attributes. Based on the map of vinasse requirement, on the soil classes, and on the kriging map, calculations were done for average vinasse dose and average soil support capacity, weighted by the area. Magnetic susceptibility has significant linear spatial correlation with recommended vinasse doses and soil support capacity for the application of this effluent, and it can be used as a pedotransfer function for indirect quantification of soil support capacity.

Suporte à elaboração de plano diretor com ênfase na aplicação de instrumento urbanístico do estatuto da cidade. Estudo de caso: Bastos-SP

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