Simulation Tools for Power Electronics Courses Based on Java Technologies

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

Ensino e orientação para projeto de conversores CC-CC através de aplicativos em java

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

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Caracterização geométrica e parametrização de depósitos transacionais recentes e sua aplicação na modelagem de reservatórios petrolíferos

In this beginning of the XXI century, the Geology moves for new ways that demand a capacity to work with different information and new tools. It is within this context that the analog characterization has important in the prediction and understanding the lateral changes in the geometry and facies distribution. In the present work was developed a methodology for integration the geological and geophysical data in transitional recent deposits, the modeling of petroliferous reservoirs, the volume calculation and the uncertainties associate with this volume. For this purpose it was carried planialtimetric and geophysics (Ground Penetrating Radar) surveys in three areas of the Parnaíba River. With this information, it was possible to visualize the overlap of different estuary channels and make the delimitation of the channel geometry (width and thickness). For three-dimensional visualization and modeling were used two of the main reservoirs modeling software. These studies were performed with the collected parameters and the data of two reservoirs. The first was created with the Potiguar Basin wells data existents in the literature and corresponding to Açu IV unit. In the second case was used a real database of the Northern Sea. In the procedures of reservoirs modeling different workflows were created and generated five study cases with their volume calculation. Afterwards an analysis was realized to quantify the uncertainties in the geological modeling and their influence in the volume. This analysis was oriented to test the generating see and the analogous data use in the model construction

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Mapeamento digital de análogos a reservatórios petrolíferos: exemplos para depósitos fluviais da Unidade Açu-3 - Bacia Potiguar

In the current work are presented the results about the study of digital mapping of analogs referents the fluvial oil reservoirs in the Açu Formation. With the regional recognizing in the south corner of Potiguar Basin was selected a area of 150 Km square in the west of Assu city. In this area was chosen the outcrops for the digital mapping and from the data fields and remote sensors were done the depositional architectural for the fluvial deposits, which it was named coarse meandering fluvial systems. In the deposits were individualized 3 (three) fluvial cycles, which they was separated by bounding surface of fifth order. Such cycles are preferentially sandy, with fining-upward sequence finished in flood plain deposits. Inner of the sandy levels of the filling channels were characterized least cycles, normaly incomplete, constituted by braided sandy bodies and bounding surfaces of fourth order. In the mapped area was chosen a outcrop with great exposition, where it was possible to see tipical deposits of filling channel and was in this outcrop that was done the digital mapping. In this outcrop was used diverse technics and tools, which they integrated sedimentological, altimetric (GPS, Total Station), LIDAR (Light Detection and Ranging), digital photomosaic of high resolution and of the inner geometries (Ground Penetration Radar) data sets. For the integrating, interpretation and visualization of data was used software GoCAD®. The final product of the outcrop digital mapping was the photorealistic model of part of the cliff (or slope) because the observed reflectors in the radargrams were absents. A part of bar oblique accretion was modeled according to GPR gride of 200x200 meters in the alluvial Assu river probable recent analog. With the data of inner geometries was developed the three-dimentional sedimentary architectural, where it was possible characterize sand sheet deposits and many hierarchy of braided channels. At last, simulations of sedimentary geometries and architectures of the Potiguar Basin Fluvial Reservoirs were done with PetBool software, in order to understand the capacity of this program in simulations with a lot of numbers of conditioning wells. In total, 45 simulations was acquired, where the time and the channel numbers increase in relation of the conditioning wells quantity. The deformation of the meanders was detected from the change of simulated dominion dimensions. The presence of this problem was because the relationship between the simulated dominion and the width of the meander

Relationship between visualization of meiotic spindle in human oocytes and ICSI outcomes: a meta-analysis

The objective of this meta-analysis was to investigate the influence of meiotic spindle visualization in human oocytes on intracytoplasmic sperm injection (ICSI) outcomes. Search strategies included on-line Surveys of databases (MEDLINE, em BASE, Science Citation Index, Cochrane Controlled Trials Register and Ovid). The fixed effect was used for odds ratio. Ten trials fulfilled the inclusion criteria comparing in-vitro and clinical ICSI outcomes with or without visualization of meiotic spindle in fresh and in-vivo matured oocytes. According to the meta-analysis, the results showed statistically significant higher fertilization rate (P < 0.0001) when the meiotic spindle was viewed than when it was not. Moreover, the percentage of pro-nuclear-stage embyros with good morphology (P = 0.003), cleavage rate (P < 0.0001), percentage of day-3 top-quality embryos (P = 0.003) and percentage of embryos that reached the blastocyst stage (P < 0.0001) were statistically significantly better among, embryos derived from oocytes in which meiotic spindle was viewed compared with those in which meiotic spindle was not observed. However, these differences were not observed in the clinical pregnancy or implantation rates. This observation has clinical relevance mainly in countries where there is a legal limit on the number of oocytes to be fertilized. However, additional controlled trials are needed to further confirm these results.

Identification of hybrids between Neotropical fish Leporinus macrocephalus and Leporinus elongatus by PCR-RFLP and multiplex-PCR: Tools for genetic monitoring in aquaculture

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

Immunity in plants and animals: common ends through different means using similar tools

A comparative approach is potentially useful for understanding the role of mammal innate immunity role in stimulating adaptive immunity as well as the relationship between these two types of immune strategies. Considerable progress has been made in the elucidation of the co-ordinated events involved in plant perception of infection and their mobilisation of defence responses. Although lacking immunoglobulin molecules, circulating cells, and phagocytic processes, plants successfully use pre-formed physical and chemical innate defences, as well as inducible adaptive immune strategies. In the present paper, we review some shared and divergent immune aspects present in both animals and plants. (C) 2002 Elsevier B.V. All rights reserved.

Short-Term Effects of the Use of Non-Rigid Tools for Postural Control by Adults with Intellectual Disabilities

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

Alternative method of smearing samples on slides facilitate visualization of hemoglobin H inclusion bodies in alpha thalassemia

Nas talassemias alfa, a HbH pode ser detectada, nos eritrócitos do sangue periférico como inclusões celulares quando coradas com azul crezil brillante. Este teste simples é útil para o diagnóstico de talassemia alfa, no entanto, a identificação dos corpos de inclusão de HbH é um processo laborioso e os resultados são altamente dependentes do observador. No intuito de melhorar a identificação das inclusões, foi testado um método alternativo para espalhar as amostras nas lâminas. Amostras de sangue foram espalhadas nas lâminas usando-se o método clássico e o método alternativo. O método alternativo permitiu uma melhor identificação das inclusões de HbH do que o método clássico. Nossos resultados mostraram que o método alternativo é uma opção útil para a pesquisa dos corpúsculos de inclusão de HbH naquelas amostras onde o método clássico não o permite.

Knowledge extraction using visualization of hemoglobin parameters to identify thalassemia

The analysis of large amounts of data is better performed by humans when represented in a graphical format. Therefore, a new research area called the Visual Data Mining is being developed endeavoring to use the number crunching power of computers to prepare data for visualization, allied to the ability of humans to interpret data presented graphically.This work presents the results of applying a visual data mining tool, called FastMapDB to detect the behavioral pattern exhibited by a dataset of clinical information about hemoglobinopathies known as thalassemia. FastMapDB is a visual data mining tool that get tabular data stored in a relational database such as dates, numbers and texts, and by considering them as points in a multidimensional space, maps them to a three-dimensional space. The intuitive three-dimensional representation of objects enables a data analyst to see the behavior of the characteristics from abnormal forms of hemoglobin, highlighting the differences when compared to data from a group without alteration.