Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio

The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs

Métricas de sistemas de middleware orientado a aspectos e Aplicação em um sistema de monitoramento de Poços de Petróleo

Nowadays, there are many aspect-oriented middleware implementations that take advantage of the modularity provided by the aspect oriented paradigm. Although the works always present an assessment of the middleware according to some quality attribute, there is not a specific set of metrics to assess them in a comprehensive way, following various quality attributes. This work aims to propose a suite of metrics for the assessment of aspect-oriented middleware systems at different development stages: design, refactoring, implementation and runtime. The work presents the metrics and how they are applied at each development stage. The suite is composed of metrics associated to static properties (modularity, maintainability, reusability, exibility, complexity, stability, and size) and dynamic properties (performance and memory consumption). Such metrics are based on existing assessment approaches of object-oriented and aspect-oriented systems. The proposed metrics are used in the context of OiL (Orb in Lua), a middleware based on CORBA and implemented in Lua, and AO-OiL, the refactoring of OIL that follows a reference architecture for aspect-oriented middleware systems. The case study performed in OiL and AO-OiL is a system for monitoring of oil wells. This work also presents the CoMeTA-Lua tool to automate the collection of coupling and size metrics in Lua source code

A development process proposal for the ERP5 system

Modeling ERP software means capturing the information necessary for supporting enterprise management. This modeling process goes down through different abstraction layers, from enterprise modeling to code generation. Thus ERP is the kind of system where enterprise engineering undoubtedly has, or should have, a strong influence. For the case of Free/Open Source ERP, the lack of proper modeling methods and tools can jeopardize the advantage brought by source code availability. Therefore, the aim of this paper is to present a development process proposal for the Open Source ERP5 system. The proposed development process aims to cover different abstraction levels, taking into account well established standards and common practices, as well as platform issues. Its main goal is to provide an adaptable meta-process to ERP5 adopters. © 2006 IEEE.

Determination of minimum fluidization velocity for gas-solid beds by experimental data and numerical simulations

The purpose of this work is to predict the minimum fluidization velocity Umf in a gas-solid fluidized bed. The study was carried out with an experimental apparatus for sand particles with diameters between 310μm and 590μm, and density of 2,590kg/m3. The experimental results were compared with numerical simulations developed in MFIX (Multiphase Flow with Interphase eXchange) open source code [1], for three different sizes of particles: 310mum, 450μm and 590μm. A homogeneous mixture with the three kinds of particles was also studied. The influence of the particle diameter was presented and discussed. The Ergun equation was also used to describe the minimum fluidization velocity. The experimental data presented a good agreement with Ergun equation and numerical simulations. Copyright © 2011 by ASME.

Three-dimensional modeling and highly refined mesh generation of the aorta artery and its tunics

This paper describes strategies and techniques to perform modeling and automatic mesh generation of the aorta artery and its tunics (adventitia, media and intima walls), using open source codes. The models were constructed in the Blender package and Python scripts were used to export the data necessary for the mesh generation in TetGen. The strategies proposed are able to provide meshes of complicated and irregular volumes, with a large number of mesh elements involved (12,000,000 tetrahedrons approximately). These meshes can be used to perform computational simulations by Finite Element Method (FEM). © Published under licence by IOP Publishing Ltd.

Lourenço Filho e a Escola Nova no Brasil: estudo sobre os Guias do Mestre da série graduada de leitura Pedrinho

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

Hermenêutica gestáltica do abuso sexual para uma adolescente

Esta pesquisa qualitativa de orientação fenomenológica existencial gestáltica, procura desvelar alguns significados atribuídos ao fenômeno do abuso sexual intrafamiliar, por meio de um estudo de caso em que a informante, dos 9 aos 11 anos, foi vitimizada pelo pai e ainda hoje, no seu campo existencial, é influenciada pela vivência dessa experiência. A violência contra a criança, em suas diversas modalidades, é um problema de saúde pública e de relações interpessoais entre família ou cuidador e a criança. Em se tratando do abuso sexual, em que o agressor é o responsável pelos cuidados primários, geralmente, há negação pela vítima, agressor e a família, e quase sempre, ocorre, envolvendo mais de uma modalidade de violência. Mesmo não havendo um consenso entre os autores, a maioria destaca os efeitos nocivos desses acontecimentos sobre a saúde psíquica, ocupacional, física e desenvolvimental das vítimas. Os dados foram coletados na ONG República de Emaús abrangendo leitura de documentos, relatos informais, observação participante e entrevista com a adolescente, sendo esta última, a principal fonte de apreciação. A análise da entrevista conjugou, na medida do possível, a teoria da interpretação de Ricoeur, alguns conceitos da gestalt-terapia como o de contato, figura-fundo, e nutrição psicológica; e da Terapia Ocupacional, como áreas, componentes e os contextos de desempenho. Da entrevista foram criadas unidades de significação que nortearam as reflexões acerca dos significados do discurso da adolescente. Alguns resultados são: apresentação do peso da vivência do abuso sexual ora como figura ora como fundo; repercussões disfuncionais de auto-contato e contato com o outro; na auto-imagem, auto-estima e em algumas áreas de desempenho: aprendizagem e socialização. O ajustamento criativo pode ser identificado na abertura em revelar a experiência, o que sugere expansão de suas fronteiras de contato. Uma conclusão que o estudo apontou foi sobre a relação da adolescente com o pai que, ainda, destaca-se enquanto uma gestalt aberta.

Desenvolvimento de Interface gráfica como suporte para soluções numéricas das equações de Maxwell em coordenadas gerais – 3D

Neste trabalho, é implementada uma interface gráfica de usuários (GUI) usando a ferramenta Qt da Nokia (versão 3.0). A interface visa simplificar a criação de cenários para a realização de simulações paralelas usando a técnica numérica Local Nonorthogonal Finite Difference Time-Domain (LN-FDTD), aplicada para solucionar as equações de Maxwell. O simulador foi desenvolvido usando a linguagem de programação C e paralelizado utilizando threads. Para isto, a biblioteca pthread foi empregada. A visualização 3D do cenário a ser simulado (e da malha) é realizada por um programa especialmente desenvolvido que utiliza a biblioteca OpenGL. Para melhorar o desenvolvimento e alcançar os objetivos do projeto computacional, foram utilizados conceitos da Engenharia de Software, tais como o modelo de processo de software por prototipagem. Ao privar o usuário de interagir diretamente com o código-fonte da simulação, a probabilidade de ocorrência de erros humanos durante o processo de construção de cenários é minimizada. Para demonstrar o funcionamento da ferramenta desenvolvida, foi realizado um estudo relativo ao efeito de flechas em linhas de baixa tensão nas tensões transitórias induzidas nas mesmas por descargas atmosféricas. As tensões induzidas nas tomadas da edificação também são estudadas.

Perfil metagenômico de solo sob cultivo de cana-de-açúcar com perspectiva na produção de bioenergia

Pós-graduação em Microbiologia Agropecuária - FCAV

Automatic Indexing and Information Visualization: A Study Based on Paraconsistent Logic

This paper reports a research to evaluate the potential and the effects of use of annotated Paraconsistent logic in automatic indexing. This logic attempts to deal with contradictions, concerned with studying and developing inconsistency-tolerant systems of logic. This logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permits to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. Interactions between different disciplines, as information retrieval, automatic indexing, information visualization, and nonclassical logics were considered in this research. From the methodological point of view, an algorithm for treatment of uncertainty and imprecision, developed under the Paraconsistent logic, was used to modify the values of the weights assigned to indexing terms of the text collections. The tests were performed on an information visualization system named Projection Explorer (PEx), created at Institute of Mathematics and Computer Science (ICMC - USP Sao Carlos), with available source code. PEx uses traditional vector space model to represent documents of a collection. The results were evaluated by criteria built in the information visualization system itself, and demonstrated measurable gains in the quality of the displays, confirming the hypothesis that the use of the para-analyser under the conditions of the experiment has the ability to generate more effective clusters of similar documents. This is a point that draws attention, since the constitution of more significant clusters can be used to enhance information indexing and retrieval. It can be argued that the adoption of non-dichotomous (non-exclusive) parameters provides new possibilities to relate similar information.

A educação rural no México como referência para o Brasil

In the 1940’s and 1950’s the Brazilian government implemented various policies towards the development of rural education adopting innovative orientations experienced in other iberoamerican countries. This article covers a study on the circulation and appropriation of education models seeking to apprehend the implications of the comparative operations by questioning the national processes in their interrelationship with much more ample phenomena of internationalization and globalization. The article uses as source of analysis the document entitled “Rural Education in Mexico” elaborated by Manoel Bergstrom Lourenço Filho, in 1951, and later published in a Brazilian Magazine of Pedagogical Studies, in 1952. The article discusses the narrative construction of this report and the comparing operations which Lourenço Filho has undertook presenting the Mexican education as a model.

Paralelização automática de laços

Identify opportunities for software parallelism is a task that takes a lot of human time, but once some code patterns for parallelism are identified, a software could quickly accomplish this task. Thus, automating this process brings many benefits such as saving time and reducing errors caused by the programmer [1]. This work aims at developing a software environment that identifies opportunities for parallelism in a source code written in C language, and generates a program with the same behavior, but with higher degree of parallelism, compatible with a graphics processor compatible with CUDA architecture.

Utilização de alvos codificados do tipo ARUCO na automação do processo de calibração de câmaras

This paper presents a proposal for the automation of the camera calibration process, locating and measuring image points in coded targets with sub-pixel precision. This automatic technique helps minimize localization errors, regardless of camera orientation and image scale. To develop this technique, several types of coded targets were analyzed and the ARUCO type was chosen due to its simplicity, ability to represent up to 1024 different targets and availability of source code implemented with the OpenCV library. ARUCO targets were generated and two calibration sheets were assembled to be used for the acquisition of images for camera calibration. The developed software can locate targets in the acquired images and it automatically extracts the coordinates of the four corners with sub-pixel accuracy. Experiments were conducted with real data showing that the targets are correctly identified unless excessive noise or fragmentation occurs mainly in the outer target square. The results with the calibration of a low cost camera showed that the process works and that the measurement accuracy of the corners achieves sub-pixel precision.

The feasibility of using wind energy for rural populations lacking electric power in Brazil

In the wake of current global image involving environmental impacts, the use of wind power has had a remarkable growth in recent years as a technique for generating electricity. In fact, it is a source featuring strong dissemination of technology which provides decrease in costs and a greater access to low-income electricity. PROINFA (Incentive Program for Alternative Energy Sources) promotes a greater diffusion of new technologies for power generation, in particular wind-produced. Due to such a scenario on the exploitation of such energy source, current analysis discusses strategies for the development of domestic wind technology and the implications for electricity-lacking rural areas. Analysis shows a similar behavior between rural populations lacking electricity and the amount of potential energy available in the region. It is expected that this assay will contribute towards the establishment of public policies for wind-energy parks on rural farms in the North and Northeast regions of Brazil.

Análise quantitativa das descargas epileptiformes generalizadas e da neuroimagem de pacientes com epilepsia generalizada idiopática

Pós-graduação em Fisiopatologia em Clínica Médica - FMB