Avaliação do Uso de Smartphones na Interação com as Aplicações da Televisão Digital Brasileira

Brazil is going through the process from analogical transmission to digital transmission. This new technology, in addition to providing a high quality audio and video, also allows applications to execute on television. Equipment called Set-Top Box are needed to allow the reception of this new signal and create the appropriate environment necessary to execute applications. At first, the only way to interact with these applications is given by remote control. However, the remote control has serious usability problems when used to interact with some types of applications. This research suggests a software resources implementation capable to create a environment that allows a smartphone to interact with applications. Besides this implementation, is performed a comparative study between use remote controle and smartphones to interact with applications of digital television, taking into account parameters related to usability. After analysis of data collected by the comparative study is possible to identify which device provides an interactive experience more interesting for users

Paralelização em GPU da segmentação vascular com extração de Centerlines por Height Ridges

The vascular segmentation is important in diagnosing vascular diseases like stroke and is hampered by noise in the image and very thin vessels that can pass unnoticed. One way to accomplish the segmentation is extracting the centerline of the vessel with height ridges, which uses the intensity as features for segmentation. This process can take from seconds to minutes, depending on the current technology employed. In order to accelerate the segmentation method proposed by Aylward [Aylward & Bullitt 2002] we have adapted it to run in parallel using CUDA architecture. The performance of the segmentation method running on GPU is compared to both the same method running on CPU and the original Aylward s method running also in CPU. The improvemente of the new method over the original one is twofold: the starting point for the segmentation process is not a single point in the blood vessel but a volume, thereby making it easier for the user to segment a region of interest, and; the overall gain method was 873 times faster running on GPU and 150 times more fast running on the CPU than the original CPU in Aylward

CALV3 - Uma linguagem específica de domínio para segurança em sistemas corporativos: um estudo de caso sistemático na indústria

The academic community and software industry have shown, in recent years, substantial interest in approaches and technologies related to the area of model-driven development (MDD). At the same time, continues the relentless pursuit of industry for technologies to raise productivity and quality in the development of software products. This work aims to explore those two statements, through an experiment carried by using MDD technology and evaluation of its use on solving an actual problem under the security context of enterprise systems. By building and using a tool, a visual DSL denominated CALV3, inspired by the software factory approach: a synergy between software product line, domainspecific languages and MDD, we evaluate the gains in abstraction and productivity through a systematic case study conducted in a development team. The results and lessons learned from the evaluation of this tool within industry are the main contributions of this work

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

AIGA: um ambiente integrado de gerência para redes em malha sem fio IEEE 802.11s

A Wireless Mesh Network (WMN - Wireless Mesh Network) IEEE 802.11s standard to become operational it is necessary to configure the parameters that meet the demands of its users, as regards, for example, the frequency channels, the power antennas, IPs addresses, meshID, topology, among others. This configuration can be done via a CLI (Command - Line Interface) or a remote interface provided by the equipment manufacturer, both are not standardized and homogeneous, like black boxes for the developers, a factor that hinders its operation and standardization. The WMN, as a new standard, is still in the testing phase, and tests are necessary to evaluate the performance of Path Discovery Protocol, as in this case of HWMP (Hybrid Wireless Mesh Protocol), which still has many shortcomings. The configuration and test creation in a WMN are not trivial and require a large workload. For these reasons this work presents the AIGA, a Management Integrated Environment for WMN IEEE 802.11s, which aims to manage and perform testbeds for analyzes of new Path Discovery Protocols in a WMN

Ambientes residenciais controlados por dispositivos móveis: estudo, concepção e desenvolvimento de um aplicativo considerando a diversidade

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

As múltiplas faces da evasão na educação superior a distância: a experiência do curso de tecnologia em gestão ambiental do IFRN em dois pólos de apoio presencial

This research presents a reflection on the dropout rates in higher education courses available through distance education in a context marked by deep changes in various spheres of society and by the uncontrolled growth of this educational method. For this, the object of analysis is related to the reality of students of Technology in Environmental Management offered by the Instituto Federal de Educação, Ciência e Tecnologia, Rio Grande do Norte (RN), Brazil, through the distance education in presence support poles located in Mossoró (RN) and Martins (RN). In this field research development several strategies of data collection are used, such as participant observation of reality; analysis of documents related to distance education and to the classes in Technology in Environmental Management; questionnaires answered by students who dropped the course. The results of such research enable us to say that the dropout rates in distance higher education is mainly referred to the consequences of a combination of aspects involved in the course development, personal difficulties faced by students during the period they attend the lessons and elements inherent in the context in which the course and students are inserted. Nevertheless there are specific situations in which the student may drop the program due to the influence of a single aspect, whether it is inherent in the development of the course, a personal situation, or even a factor determined by the context in which the course or the student belongs to

Desenvolvendo e gerenciando compostagem de resíduos sólidos urbanos: para geração de renda e repasse de tecnologia à acrevi

Nowadays, as well as in the past decades, the dumping of biodegradable organic waste in landfill is common practice in Brazil, as well as in most parts of the world. Nevertheless due to its rapid decomposition and release of odors, this practice hamper’s the operation and implementation of a recycling system. These facts encouraged our research to find an efficient system for the management of organic waste, not only for the use of official workers responsible for managing these wastes, but also for non-governmental institutions. The Recycling for Life Community Association – ACREVI (Associação Comunitária Reciclando para a Vida), together with the municipal authorities of Mossoró-RN, Brazil, have assumed the social role of collecting and recycling solid waste produced by most of the local population. However, it was observed that the organic waste it collected was not receiving any treatment. This present work aims to make compost with mixed waste (green waste and organic household), and then do chemical analysis of the material in view to use the waste as organic fertilizer. The objective being: to share the knowledge acquired by putting it into a very simple language accessible to people with little education. The experiment was conducted at ACREVI, Mossoró (RN), and the compost was obtained following the method "windrow", forming three cells (I, II, III) with conical shape, dimensions of 1.6 meters and 2.0 meters in diameter for cells I and II, and 1.0 meters high and 2.0 meters in diameter for cell III. The process was accompanied by analysis: CHN elemental, a variation of cell temperature, humidity, pH, TKN, bulk density, nutrients and heavy metals. Stabilized organic compounds reached the C/N ratio of 10.4/1 cell I and 10.4/1 in the cell II in the cell, showing how good soil conditions, with potential to improve the physical properties of any soil and pH acid soils, has presented the cell III at the end of the process the C/N 26/1, is a high ratio may be associated with the stack size III, thus changing the optimal conditions for the occurrence of the process. The levels of heavy metals in the analyzed compounds were lower than those established by the SDA normative instruction, Nº 27, of 5 June, 2006. The use of pruning trees and grass are used in small-scale composting, while generating a quality compost in the final process, it also created an important condition for a correct sizing of the composting piles. Under the studied conditions it is not advisable to use cells with a height of 1.00 m in height and 2.00 m in diameter, as these do not prevent the rapid dissipation of heat and thus can not be a good product at the end of composting. The composting process in the shed of the association and the preparation of the primer enabled the development of an alternative technology to generate income for members of ACREVI.

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Um estudo sobre o ensino de evaporação no contexto ciência, tecnologia e sociedade

The scope of this Dissertation is propose the teaching of the evaporation based on the approach Science, Technology and Society (STS) because we believe that this type of approach is able to provide students with a more critical and conscious learning about science. Moreover, with this search, it´s possible to show for students the importance of role to play for them as citizens in decision making aimed to benefit all who are part of the community to which they belong. From this perspective, broached the theme evaporation in a region characterized by constant lack of water for consumption, the municipality of Santa Cruz/RN because, despite the creation of dams to regulate the flow of rivers and increase the availability of water during periods of scarcity, we know that these reservoirs have a large free liquid surface allowing high water loss by evaporation. Thus, evaporation affects the performance of reservoirs for water supply and irrigation, being a phenomenon of particular interest to study. To this end, a questionnaire in order to identify students' preconceptions on the subject was applied. Was then prepared and conducted a workshop geared toward students majoring in Physics Campus Santa Cruz, Federal Institute of Education, Science and Technology of Rio Grande do Norte (IFRN). The completion of the workshop served as a space for discussion of the topic within the context of the municipality of Santa Cruz/RN. As a product, we suggest to physics teachers a guide with recommendations to be taken into account when they teach this subject

Metodologia para gerenciamento de projetos em tecnologia da informação baseada no guia PMBOK: um estudo de caso na Secretaria de Estado da Saúde Pública do Rio Grande do Norte

Nowadays the search for growth makes organizations seeking competitive advantages, project management shares this goal, through techniques that assist in the search for an improved management of the various fields of knowledge through a design methodology. The world is driven by projects and the search for ways to better manage activities such as time, cost and term towards the success of a particular project is something constant. A major contribution that IT can make to the health sector is the support for the management area. IT can integrate processes, optimize the interconnection between the various sectors, make hospitals have access to inside information of good quality, as well as support in the healthcare area, sharing pictures, uniting the various aspects of nursing and nursing service. The major challenge faced by the SESAP Information Technology sector at present is in project management in IT , which does not exist makes investments in the area are increasingly difficult due to this deficiency in management develop their own systems without cost additional to the State. This study seeks to build and strengthen the Project Management within the Department of Health through the implementation of a project office that will manage the final result of this work methodology based on PMBOK, and still show the functionality applied to development the state Hospital Management System that will later be installed on all Regional Health Units and proposing measures for the sustainability and development of the sector amid the difficulties of the current public service. Such action will result in a savings of more than R$ 107,000.00 (one hundred seven thousand) regarding spending private software currently used by the assignment of invested by the State of Rio Grande do Norte user licenses, representing more than 5 % of the total budget of the State Department of Public Health of the State

O programa de aquisição de alimentos (PAA) e as transformações socioterritoriais no Rio Grande do Norte

The Acquisition Food Program (Programa de Aquisição de Alimentos – PAA) is one of the governmental public politics proposed, in the year of 2003, that has the focus in the family-run farm in Brazil. This Program has as objectives: commercialize the familyrun farm products, bought by the government agencies; to encourage production, and promoting actions that improve quality food of people facing starving risk. This Program has been working, to some extent, as complement to the Program of family-run farm Enhancement (PRONAF). The present study has as its focus to analyse the social territorials changes observed in the state of Rio Grande do Norte, as a result of the PAA implementation. In this sense, it was promoted a discussion between territory and rules. I this work, public politics are understood as rules. This procedure was important in order to understand how the rules have influenced territorial changes, creating new social and territorial relations. In the research process was used scientific and institutional texts on the subject. It was applied a quiz with 97 PAA’s supplying farmers, and interviews were done with the Program managers in Federal (MDA), State (CONAB and EMATER) and municipal (local office of EMATER and Departments of Agriculture) levels. Social public politics were also analyzed with the aim of understand the context where PAA is situated in relation with the public politics directed to familyrun farm as a whole since 1980, within new Brazilian democratization process. With the information collected in the field, plus the secondary data, maps, charts, tables and cartograms were made. With all of this, a socio-economical profile of the family-run farm in the Rio Grande do Norte was traced, as well as the included in this research. Before this picture, we concluded that PAA indeed represents a forward in public politics directed to family-run farm. However, in spite of the importance of the Program for the family-run farmers to come of age, but in order to the rural and family-run farm reality in the Rio Grande do Norte come to present meaningful changes much still remain to be done.

Aplicação da tecnologia eletroquímica para a remoção e monitoramento de metais pesados em efluentes aquosos

Heavy metals are present in industrial waste. These metals can generate a large environmental impact contaminating water, soil and plants. The chemical action of heavy metals has attracted environmental interest. In this context, this study aimed to test t he performance of electrochemical technologies for removing and quantifying heavy metals. First ly , the electroanalytical technique of stripping voltammetry with glassy carbon electrode (GC) was standardized in order to use this method for the quantificatio n of metals during their removal by electrocoagulation process (EC). A nalytical curves were evaluated to obtain reliability of the determin ation and quantification of Cd 2+ and Pb 2+ separately or in a mixture. Meanwhile , EC process was developed using an el ectrochemical cell in a continuous flow (EFC) for removing Pb 2+ and Cd 2+ . The se experiments were performed using Al parallel plates with 10 cm of diameter (  63.5 cm 2 ) . The optimization of conditions for removing Pb 2+ and Cd 2+ , dissolved in 2 L of solution at 151 L h - 1 , were studied by applying different values of current for 30 min. Cd 2+ and Pb 2+ concentrations were monitored during electrolysis using stripping voltammetry. The results showed that the removal of Pb 2 + was effective when the EC pro cess is used, obtaining removals of 98% in 30 min. This behavior is dependent on the applied current, which implies an increase in power consumption. From the results also verified that the stripping voltammetry technique is quite reliable deter mining Pb 2+ concentration , when compared with the measurements obtained by atomic absorption method (AA). In view of this, t he second objective of this study was to evaluate the removal of Cd 2+ and Pb 2+ (mixture solution) by EC . Removal efficiency increasing current was confirmed when 93% and 100% of Cd 2+ and Pb 2+ was removed after 30 min . The increase in the current promotes the oxidation of sacrificial electrodes, and consequently increased amount of coagulant, which influences the removal of heavy metals in solution. Adsortive voltammetry is a fast, reliable, economical and simple way to determine Cd 2+ and Pb 2+ during their removal. I t is more economical than those normally used, which require the use of toxic and expensive reagents. Our results demonstrated the potential use of electroanalytical techniques to monitor the course of environmental interventions. Thus, the application of the two techniques associated can be a reliable way to monitor environmental impacts due to the pollution of aquatic ecosystems by heavy metals.

Tecnologia eletroquímica como tratamento alternativo de efluentes derivados da indústria têxtil e petroquímica

In this work, the treatment of wastewater from the textile industry, containing dyes as Yellow Novacron (YN), Red Remazol BR (RRB) and Blue Novacron CD (NB), and also, the treatment of wastewater from petrochemical industry (produced water) were investigated by anodic oxidation (OA) with platinum anodes supported on titanium (Ti/Pt) and boron-doped diamond (DDB). Definitely, one of the main parameters of this kind of treatment is the type of electrocatalytic material used, since the mechanisms and products of some anodic reactions depend on it. The OA of synthetic effluents containing with RRB, NB and YN were investigated in order to find the best conditions for the removal of color and organic content of the dye. According to the experimental results, the process of OA is suitable for decolorization of wastewaters containing these textile dyes due to electrocatalytic properties of DDB and Pt anodes. Removal of the organic load was more efficient at DDB, in all cases; where the dyes were degraded to aliphatic carboxylic acids at the end of the electrolysis. Energy requirements for the removal of color during OA of solutions of RRB, NB and YN depends mainly on the operating conditions, for example, RRB passes of 3.30 kWh m-3 at 20 mA cm-2 for 4.28 kWh m-3 at 60 mA cm-2 (pH = 1); 15.23 kWh m-3 at 20 mA cm-2 to 24.75 kWh m-3 at 60 mA cm-2 (pH 4.5); 10.80 kWh m-3 at 20 mA cm-2 to 31.5 kWh m-3 at 60 mA cm-2 (pH = 8) (estimated data for volume of treated effluent). On the other hand, in the study of OA of produced water effluent generated by petrochemical industry, galvanostatic electrolysis using DDB led to the complete removal of COD (98%), due to large amounts of hydroxyl radicals and peroxodisulphates generated from the oxidation of water and sulfates in solution, respectively. Thus, the rate of COD removal increases with increasing applied current density (15-60 mAcm-2 ). Moreover, at Pt electrode, approximately 50% removal of the organic load was achieved by applying from 15 to 30 mAcm-2 while 80% of COD removal was achieved for 60 mAcm-2 . Thus, the results obtained in the application of this technology were satisfactory depending on the electrocatalytic materials and operating conditions used for removal of organic load (petrochemical and textile effluents) as well as for the removal of color (in the case of textile effluents). Therefore, the applicability of electrochemical treatment can be considered as a new alternative like pretreatment or treatment of effluents derived from textiles and petrochemical industries.

Mecanismo de tolerância a falhas através de escalonamento para uma arquitetura reconfigurável de grão grosso

The continuous evolution of integrated circuit technology has allowed integrating thousands of transistors on a single chip. This is due to the miniaturization process, which reduces the diameter of wires and transistors. One drawback of this process is that the circuit becomes more fragile and susceptible to break, making the circuit more susceptible to permanent faults during the manufacturing process as well as during their lifetime. Coarse Grained Reconfigurable Architectures (CGRAs) have been used as an alternative to traditional architectures in an attempt to tolerate such faults due to its intrinsic hardware redundancy and high performance. This work proposes a fault tolerance mechanism in a CGRA in order to increase the architecture fault tolerance even considering a high fault rate. The proposed mechanism was added to the scheduler, which is the mechanism responsible for mapping instructions onto the architecture. The instruction mapping occurs at runtime, translating binary code without the need for recompilation. Furthermore, to allow faster implementation, instruction mapping is performed using a greedy module scheduling algorithm, which consists of a software pipeline technique for loop acceleration. The results show that, even with the proposed mechanism, the time for mapping instructions is still in order of microseconds. This result allows that instruction mapping process remains at runtime. In addition, a study was also carried out mapping scheduler rate. The results demonstrate that even at fault rates over 50% in functional units and interconnection components, the scheduler was able to map instructions onto the architecture in most of the tested applications.