Prospecção e formação no domínio das competências e habilidades em tecnologia da informação: o caso do projeto metrópole digital em Natal/RN

This study deals with cognitive competences and abilities that are relevant to selection and education regarding Information Technology (IT). These competences relate to problem solving, decision making, and practical intelligence that regard scholar and extracurricular knowledge mobilization. The research aimed to contribute for the improvement of a selection instrument, consisting of five arrays of skills (dealing with objectives and prospection), as well as the development and comprehension of those skills that are involved in IT education. This is done by means of an analysis on the selection instrument used in the first selective process that occurred at Metropole Digital an Institute at the Federal University of Rio Grande do Norte in Brazil. This was evaluated aiming to acknowledge IT education (with basic training and emphasis on Web programming and electronics). The methodology used was of quantitative method involving performance scores relating education delivery. An Anova analysis of variance was done along with descriptive analysis involving socioeconomic data that was not observed in the meaningful relations between parental instruction and student performance in the graduate course. These analyses were able to point out the importance and need of the policies for vacancy reservation on behalf of public school students. A Spearman correlation analysis was done considering the instrument selection performance in the training course. The instrument is presented as a predictor that is significantly moderate and presents a good performance in the course as a whole. A Cluster and Regression analysis was also realized in the process. The first analysis allowed finding performance groups (Clusters) that ranged from medium and inferior. The regression analysis was able to point out association amongst criterion variables and the (average performance in basic and advanced modules) and explanatory (five matrixes). Regression analysis indicated that matrix 1 and matrix 3 were pointed out as being the strongest ones. In all the above analysis, the correlation between the instrument and the course was considered moderate. Thus this can be related in some of the aspects present in the course such as emphasis on evaluation itself as well as in technical contents and practical skills (educational ones) and competences and selection skills. It is known that the mediation of technological artifact in cultural context can foster the development of skills and abilities relevant to IT training. This study provides subsidies to reflect on the adoption of selection instrument and IT training in the Institute. Thus the research offers means to achieve a interdisciplinary discussion and enriching of areas such as Psychology and Information Technology; all of which regarding competencies and skills relevant in IT training

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Uma abordagem baseada em aspectos e composição dinâmica para a construção de aplicações adaptativas cientes ao contexto

Ubiquitous computing systems operate in environments where the available resources significantly change during the system operation, thus requiring adaptive and context aware mechanisms to sense changes in the environment and adapt to new execution contexts. Motivated by this requirement, a framework for developing and executing adaptive context aware applications is proposed. The PACCA framework employs aspect-oriented techniques to modularize the adaptive behavior and to keep apart the application logic from this behavior. PACCA uses abstract aspect concept to provide flexibility by addition of new adaptive concerns that extend the abstract aspect. Furthermore, PACCA has a default aspect model that considers habitual adaptive concerns in ubiquitous applications. It exploits the synergy between aspect-orientation and dynamic composition to achieve context-aware adaptation, guided by predefined policies and aim to allow software modules on demand load making possible better use of mobile devices and yours limited resources. A Development Process for the ubiquitous applications conception is also proposed and presents a set of activities that guide adaptive context-aware developer. Finally, a quantitative study evaluates the approach based on aspects and dynamic composition for the construction of ubiquitous applications based in metrics

Projeto e implementação de uma plataforma MP-SoC usando SystemC

This work presents the concept, design and implementation of a MP-SoC platform, named STORM (MP-SoC DirecTory-Based PlatfORM). Currently the platform is composed of the following modules: SPARC V8 processor, GPOP processor, Cache module, Memory module, Directory module and two different modles of Network-on-Chip, NoCX4 and Obese Tree. All modules were implemented using SystemC, simulated and validated, individually or in group. The modules description is presented in details. For programming the platform in C it was implemented a SPARC assembler, fully compatible with gcc s generated assembly code. For the parallel programming it was implemented a library for mutex managing, using the due assembler s support. A total of 10 simulations of increasing complexity are presented for the validation of the presented concepts. The simulations include real parallel applications, such as matrix multiplication, Mergesort, KMP, Motion Estimation and DCT 2D

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Java-XSC : módulo complexo e complexo intervalar

This work aims to develop modules that will increase the computational power of the Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation . This library is actually an extension of the Java programming language that has standard functions and routines elementary mathematics useful interval. in this study two modules were added to the library, namely, the modulus of complex numbers and complex numbers of module interval which together with the modules original numerical applications that are designed to allow, for example in the engineering field, can be used in devices running Java programs

Recuperação de larvas de Trichostrongylus colubriformis em diferentes estratos de Brachiaria decumbens E Panicum maximum

The purpose of the experiment was to evaluate infective Trichostrongylus colubriformis larvae vertical migration in two forage grass species. Experimental modules formed by eight plots, established with Brachiaria decumbens cv. Australian and Panicum maximum cv. Aruana, were used in the study, totaling four plots for each grass species. Each plot was divided into six 30 x 30 cm subplots. Larval migration was evaluated in the four seasons of the year, in different plant strata (0-7, 7-14, 14-21, 21-28 and above 28 cm). Four feces deposits were made, one in each season of the year, in the middle of 30-cm tall forage. The feces were collected from the forage ten days after each feces deposit in the experimental subplots. Grass height was measured in each of the strata immediately before the collections. The forage of the different strata was cut from an area measuring 10-cm in radius. The feces were collected manually from the subplots. There was a grass species and grass stratum interaction in the deposit made in autumn (P < 0.05). During that season, most of the larvae were recovered from the Brachiaria grass base; meanwhile, at the forage apex, the biggest average was registered in the aruana grass. Infective larvae (U) recovery was similar among the different strata during spring. In springtime, the biggest L3 recovery occurred at the 21-28 cm stratum from both forage species. No L3 was recovered from any of the No L3 was recovered from any of the grass strata during winter and summer. Study results show that migration of T colubriformis larvae was more influenced by weather conditions Than by forage species.

Art in the inclusion of children with special needs in dentistry

A proposta deste estudo é relatar a utilização da arte e seus segmentos, como recurso para inclusão da criança portadora de necessidades especiais ao ambiente odontológico. Foi utilizado como método a aplicação da arte em atividades de socioterapia e oficinas, divididas em módulos: sessão de socialização, oficinas de arte e atividades complementares, visando à elaboração de uma anamnese cultural por meio de questionários e a obtenção das preferências artísticas dos 313 participantes, previamente às suas assistências odontológicas no CAOE (Centro de Assistência Odontológica a Portadores de Necessidades Especiais) FOA/Unesp. de acordo com os questionários respondidos, a música e a pintura, segundo a preferência dos participantes, são os segmentos artísticos que mais auxiliam nas atividades de inclusão e adaptação. Concluímos que a utilização da arte na adaptação e inclusão ambiental do paciente, previamente à assistência odontológica, é favorável e eficaz.

Invasive Africanized honeybees change the structure of native pollination networks in Brazil

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

Analysis of a hyper-diverse seed dispersal network: modularity and underlying mechanisms

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

Classification and characterization of places for mapping of environment using hierarchical neural network and omnivision

Mobile robots need autonomy to fulfill their tasks. Such autonomy is related whith their capacity to explorer and to recognize their navigation environments. In this context, the present work considers techniques for the classification and extraction of features from images, using artificial neural networks. This images are used in the mapping and localization system of LACE (Automation and Evolutive Computing Laboratory) mobile robot. In this direction, the robot uses a sensorial system composed by ultrasound sensors and a catadioptric vision system equipped with a camera and a conical mirror. The mapping system is composed of three modules; two of them will be presented in this paper: the classifier and the characterizer modules. Results of these modules simulations are presented in this paper.

Three-Dimensional Modelling of Honeybee Venom Allergenic Proteases: Relation to Allergenicity

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

Evaluation of recycled tiles and OSB ceiling materials in closed broiler house prototypes

This study aimed at evaluating the thermal performance of a modular ceiling system for poultry houses. The reduced- and distorted-scale prototypes used ceiling modules made of reforested wood and were covered with recycled long-life package tiles. The following parameters were measured for 21 days: tile internal surface temperature (ST), globe temperature and humidity index (WBGT), and radiant heat load (RHL). Measurements were made at times of highest heat load (11:00 am, 13:00 pm, and 03:00 pm). Collected data were analyzed by R statistics software. Means were compared by multiple comparison test (Tukey) and linear regression was performed, both at 5% significance level. The results showed that the prototype with the ceiling was more efficient to reduce internal tile surface temperature; however, this was not sufficient to provide a comfortable environment for broilers during the growout. Therefore, other techniques to provide proper cooling are required in addition to the ceiling.

Avaliação econômica de sistemas agroflorestais implantados para recuperação de reserva legal no Pontal do Paranapanema, São Paulo

O Pontal do Paranapanema, extremo oeste do Estado de São Paulo, é conhecido em todo o Brasil devido aos conflitos pela posse da terra, protagonizados pelo Movimento dos Trabalhadores Rurais Sem Terra (MST), que transformou significativamente a paisagem da região, onde atualmente se observam pequenas ilhas de assentamentos rurais imersos numa matriz de grandes pastagens. O Código Florestal prevê que esses assentamentos, assim como qualquer propriedade rural, deve manter 20% de sua área com cobertura vegetal arbórea. Essa área, conhecida como Reserva Florestal Legal, deve ser restaurada, caso não exista. Assim, esta pesquisa se desenvolveu no assentamento Santa Zélia, Município de Teodoro Sampaio, São Paulo, numa área de 15 ha de Reserva Legal. Seis famílias desse assentamento foram responsáveis pela restauração da área, através de módulos agroflorestais (Taungya) temporários. Dois indicadores foram utilizados para avaliação econômica da produção agrícola na área: Valor Presente Líquido (VLP) e Relação Benefício-Custo (RB/C). Os resultados indicaram valores positivos em todas as famílias analisadas, levando à conclusão de que sistemas agroflorestais podem ser adotados na recuperação de áreas de reserva legal em propriedades rurais. Sua maior ou menor viabilidade econômica irá depender de um manejo mais intenso na área para produção agrícola e de preços satisfatórios para venda no mercado.

Propriedades químicas de solo sob reflorestamento ciliar após 20 anos de plantio em área de cerrado

As propriedades químicas do solo variam com a cultura e manejo utilizados. O trabalho teve como objetivos avaliar as propriedades químicas de solo sob reflorestamento ciliar após 20 anos de plantio em área de Cerrado localizada na Fazenda de Ensino, Pesquisa e Extensão, FEPE/UNESP, da Faculdade de Engenharia de Ilha Solteira. Foi realizada a análise química do solo (P, matéria orgânica (MO), pH, K, Ca, Mg, H+Al, Al e S) em 33 módulos, com três repetições em duas profundidades (0,0 - 0,20 e 0,20 - 0,40 m), com delineamento em blocos casualizados em esquema hierárquico. Os resultados indicaram que as propriedades químicas do solo sob o reflorestamento ciliar são semelhantes às propriedades do solo sem perturbação antrópica dessa região. As espécies plantadas no reflorestamento ciliar estão contribuindo com a deposição de material orgânico suficiente para que haja reciclagem de nutrientes, mantendo as propriedades químicas do solo em boas condições para que ocorra o estabelecimento da mata ciliar.