Modelagem de arquiteturas reconfiguráveis com espaços de Chu

The Reconfigurables Architectures had appeares as an alternative to the ASICs and the GGP, keeping a balance between flexibility and performance. This work presents a proposal for the modeling of Reconfigurables with Chu Spaces, describing the subjects main about this thematic. The solution proposal consists of a modeling that uses a generalization of the Chu Spaces, called of Chu nets, to model the configurations of a Reconfigurables Architectures. To validate the models, three algorithms had been developed and implemented to compose configurable logic blocks, detection of controllability and observability in applications for Reconfigurables Architectures modeled by Chu nets

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Renderizações não fotorealísticas para estilização de imagens e vídeos usando areia colorida

Non-Photorealisitc Rendering (NPR) is a class of techniques that aims to reproduce artistic techniques, trying to express feelings and moods on the rendered scenes, giving an aspect of that they had been made "by hand". Another way of defining NPR is that it is the processing of scenes, images or videos into artwork, generating scenes, images or videos that can have the visual appeal of pieces of art, expressing the visual and emotional characteristics of artistic styles. This dissertation presents a new method of NPR for stylization of images and videos, based on a typical artistic expression of the Northeast region of Brazil, that uses colored sand to compose landscape images on the inner surface of glass bottles. This method is comprised by one technique for generating 2D procedural textures of sand, and two techniques that mimic effects created by the artists using their tools. It also presents a method for generating 21 2D animations in sandbox from the stylized video. The temporal coherence within these stylized videos can be enforced on individual objects with the aid of a video segmentation algorithm. The present techniques in this work were used on stylization of synthetic and real videos, something close to impossible to be produced by artist in real life

GeOntoQuery - um mecanismo de busca em bancos de dados geográficos baseado em ontologias

Geographic Information System (GIS) are computational tools used to capture, store, consult, manipulate, analyze and print geo-referenced data. A GIS is a multi-disciplinary system that can be used by different communities of users, each one having their own interest and knowledge. This way, different knowledge views about the same reality need to be combined, in such way to attend each community. This work presents a mechanism that allows different community users access the same geographic database without knowing its particular internal structure. We use geographic ontologies to support a common and shared understanding of a specific domain: the coral reefs. Using these ontologies' descriptions that represent the knowledge of the different communities, mechanisms are created to handle with such different concepts. We use equivalent classes mapping, and a semantic layer that interacts with the ontologies and the geographic database, and that gives to the user the answers about his/her queries, independently of the used terms

Um modelo de interconexão de componentes para ambientes mulitmídia distribuídos

Multimedia systems must incorporate middleware concepts in order to abstract hardware and operational systems issues. Applications in those systems may be executed in different kinds of platforms, and their components need to communicate with each other. In this context, it is needed the definition of specific communication mechanisms for the transmission of information flow. This work presents a interconnection component model for distributed multimedia environments, and its implementation details. The model offers specific communication mechanisms for transmission of information flow between software components considering the Cosmos framework requirements in order to support component dynamic reconfiguration

Spontaneous canine transmissible venereal tumor: association between different phenotypes and the insertion LINE-1/c-myc

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

Um estudo sobre custos de elaboração de material didático e tutoria em EaD online em uma Instituição de Ensino Superior no Brasil

This study has as main objective to verify the proportionality of the costs with elaboration of didactic material and costs with tutelage and instruction incurred in a higher education institution, located in national territory, and that offers a degree course in the education area in the modality of EaD online. The purpose of the measurement of this proportionality of the costs was of answering these they are, among other, the relevant costs incurred by the institution research object. This is a research of exploratory stamp whose methodological procedure adopted for your development, in what it refers the collection, analysis of the data and the investigation means, it is the case study, as well as the documental and bibliographical research. The found results indicate that the costs with elaboration of didactic material and the costs with tutelage and instruction are relevant, however they are not the only ones considered as such. The costs involved with acquisition and operation of specific softwares they also constitute an relevant costs. The structure of the costs can be altered in agreement with the analyzed period and in agreement with the characteristics of synchronism of the offered course. It was also verified that the technology used in this education modality it ends up generating additional costs incurred with professionals of specific knowledge in technology

A biotecnologia e a educação ambiental no resguarde a duas espécies em vias de extinção na flora da Mata Atlântica Brasileira

The anthropical action caused destruction of great part of the Atlantic forest remaining today around 7% to 8% of the original portion. A classical example of the degradation is the situation of the Pau-Brasil (Caesalpinia echinata Lam.) which appellant exploration summarized abruptly decreased the wild occurrence of the species. Besides the economic exploration and the threat of extinction, the plant shows some characteristics that its own physiology makes difficult the survival in natural conditions. For this reason, any strategy developed to conserve it should also guarantee ways for its multiplication. In these conditions, the only reasonable technology is micropropagation in vitro based on immature segments of Catullus (explants or internodes). However, in virtue of the threat of extinction, extractivism and fenology, the disponibility of the sources of explants are reduced. Then, to turn this around, the present research showed the hypothesis that arrange these explants would have as a solution to elaborate a bank of matrixes and the utilization of produced seedlings as source of explant. Then, assuming that the soil is a fundamental element for a good formation of the seedlings, there were tests in a greenhouse on the Laboratory of plant biotechnology at UFRN, from May to June of 2008 that showed the influence of the four different soils on the production of Pau-Brasil. The objective of this work was to make possible the seedlings production of the specie and from them to establish a bank of matrixes as source of explant to guarantee the continuity of the process of micropropagation, contributing with the preservation of the specie

Hábito alimentar e percepção ambiental : um estudo de caso com estudantes do Ensino Médio em Natal-RN

This study has as objective to examine the level of perception of high school students from two private schools in Natal-RN about the existence of a direct link between alimentary habit and its effects on environmental. The research was lead with 433 students, who had their school alimentary habits investigated according to the 24-hour recall method and presents the results of data collection from their opinions on participating in the generation of industrialized solid residues and their yearnings about the improvements of the standard of the food offered in the school. The students show a high rate of grading age for level at school, traditional family structure, riding, predominantly, by car or by bus in the house-school-house way, have generally all three important meals at home, feed frequently at their school, getting it from their won school, which included, mainly, soft drinks and fried or grilled appetizers; show a good knowledge about selective collectors, however with a high variation in their correct use. They show significant approval in the existence of a connection between their alimentary habits and debased effects about environmental and consider their food compounds at school could improve the offering of health/natural food, slowing industrialized foods, which are highly used, sometimes. The study on the students knowledge and concern level with regard to the interface alimentary habit-environmental impact allowed delimitating some of the mainly involved components in the alimentary choices of the same students in the school environment, what might help to develop a set of proposals that stimulates the formation of a responsible consumption standard among teenagers and the need of a consideration about the consequences of their choices

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%

A representação social de educação tecnológica de docentes da Rede Federal de Educação Profissional e Tecnológica: CEFETs do Rio Grande do Norte

The aim of this study was to investigate the social representation of technological education teachers at the Federal Technological Education Network. The survey was conducted from 2007 to 2010, and the respondents were 275 teachers, 135 of the Federal Center for Technological Education (CEFET in portuguese) in the state of Amazonas, in Manaus unit headquarters; 140 of the CEFET in the state of Rio Grande do Norte, a unit based in Natal. We adopt the concept of technological education as the top level of professional education, that is to say, the undergraduate programs of short duration called technological courses. The Federal Technological Education Network gathers hundreds of related institutions, coordinated and supervised by the Office of Vocational and Technological Education of the Ministry of Education. Although many of these institutions offer courses in technology education, no research addressing this subject from the perspective of Social Representations Theory (SRT) was found in the literature. We seek to unravel the social representation of technological education of the teachers by adopting the procedural approach of SRT. This is a qualitative approach, focusing on significant aspects of the representative activity and the formation mechanisms of the representation. Therefore, we search the socio-genesis of the representation in the articulations between discourses, social institutions and practices. We initiated the research through applying critical reading and an analytical perspective on the historical and regulatory documents of technological education in Brazil, from the early twentieth century to the present day. We adopt the Procedure for Multiple Classifications (PMC) from the Free Words Association Technique (FWAT) to access the elements of representational content. For the analysis of the data obtained with FWAT and selection of major words / phrases pertinent to the semantic field of education technology, we used Hamlet II software. For the data analysis of PMC and Free Classification (FC) we used the SPSS ® (Statistical Package for the Social Sciences) version 17.0 and used the method of multidimensional scaling - Multidimensional scaling - (MDS). The output from the central MDS takes the form of a set of scatterplots - "perceptual maps" - of which the points are the elements of the representational content. For the FC data analysis we used the Scalogram Multidimensional Analysis (SMA) - which makes use of the original data in its raw form and allows categorical data to be interpreted in the map as measures of (di)similarity. In order to help with the understanding of the settings of the perceptual maps of FC, we used the Content Analysis of the discourse fragments of the teachers interviewed. The results confirm our initial hypothesis regarding the presence of a single plot among the socio-cognitive study subjects, which is the basis for a social representation of technological education in line with the historic assumption of the dichotomy between mental and manual labor. In spite of the three merging representational elements of the representational content, the perceptual maps compiled from the MSA statistics corroborates the dichotomy, with the exception of the map relating to the subgroup of teachers belonging to the humanities

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

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Integrais de linha intervalares: fundamentos e aplicações

A necessidade de uma precisão e de uma aproximação dos resultados numéricos zeram com que diversas teorias surgissem: dentre elas, destacamos a Matemática Intervalar. A Matemática Intervalar surgiu na década de 60 com os trabalhos de pesquisa de Moore (MOORE, 1959) , em que ele propôs trabalhar com uma Matemática baseada na noção de intervalo real e não mais com um número como aproximação. Com isso, surgiu a necessidade de revisitar e reformular os conceitos e resultados da Matemática Clássica utilizando como base a noção de intervalo de Moore. Uma das áreas da Matem ática Clássica que tem tido muitas aplicações em engenharias e ciências é a Análises Numérica, onde um dos seus pilares é o Cálculo Integral e em particular as integrais de linha. Assim, é muito desejável se ter um cálculo integral dentro da própria Matemática Intervalar. No presente trabalho apresenta-se uma noção de Integral de Linha Intervalar baseada na extensão de integração proposta por Bedregal em (BEDREGAL; BEDREGAL, 2010). Para a fundamentação apresenta-se incialmente uma introdução sobre a pespectiva em que o trabalho foi realizado, considerando alguns aspectos histórico-evolutivos da Matemática Clássica. Os conceitos de Integrais de Linha Clássica, bem como algumas das suas aplicações mais importantes. Alguns conceitos de Matemática Intervalar necessários para o entendimento do trabalho. Para nalizar propomos uma aplicação da integral de linha em um experimênto clássico da mecânica quântica (a difração de um elétron em uma fenda) que graças ao fato de ser a Matemática Intervalar utilizada, nos dá um foco mais detalhado e mais próximo da realidade

Arquitetura hardware/software de um núcleo NCAP segundo o padrão IEEE 1451.1: uma prova de conceito

Os sensores inteligentes são dispositivos que se diferenciam dos sensores comuns por apresentar capacidade de processamento sobre os dados monitorados. Eles tipicamente são compostos por uma fonte de alimentação, transdutores (sensores e atuadores), memória, processador e transceptor. De acordo com o padrão IEEE 1451 um sensor inteligente pode ser dividido em módulos TIM e NCAP que devem se comunicar através de uma interface padronizada chamada TII. O módulo NCAP é a parte do sensor inteligente que comporta o processador. Portanto, ele é o responsável por atribuir a característica de inteligência ao sensor. Existem várias abordagens que podem ser utilizadas para o desenvolvimento desse módulo, dentre elas se destacam aquelas que utilizam microcontroladores de baixo custo e/ou FPGA. Este trabalho aborda o desenvolvimento de uma arquitetura hardware/software para um módulo NCAP segundo o padrão IEEE 1451.1. A infra-estrutura de hardware é composta por um driver de interface RS-232, uma memória RAM de 512kB, uma interface TII, o processador embarcado NIOS II e um simulador do módulo TIM. Para integração dos componentes de hardware é utilizada ferramenta de integração automática SOPC Builder. A infra-estrutura de software é composta pelo padrão IEEE 1451.1 e pela aplicação especí ca do NCAP que simula o monitoramento de pressão e temperatura em poços de petróleo com o objetivo de detectar vazamento. O módulo proposto é embarcado em uma FPGA e para a sua prototipação é usada a placa DE2 da Altera que contém a FPGA Cyclone II EP2C35F672C6. O processador embarcado NIOS II é utilizado para dar suporte à infra-estrutura de software do NCAP que é desenvolvido na linguagem C e se baseia no padrão IEEE 1451.1. A descrição do comportamento da infra-estrutura de hardware é feita utilizando a linguagem VHDL