Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

Extensões ao Projeto LVWNet: mobilidade, interação com equipamentos reais, comunicação direta, e registro dinâmico de nós

Due to the constantly increasing use of wireless networks in domestic, business and industrial environments, new challenges have emerged. The prototyping of new protocols in these environments is typically restricted to simulation environments, where there is the need of double implementation, one in the simulation environment where an initial proof of concept is performed and the other one in a real environment. Also, if real environments are used, it is not trivial to create a testbed for high density wireless networks given the need to use various real equipment as well as attenuators and power reducers to try to reduce the physical space required to create these laboratories. In this context, LVWNet (Linux Virtual Wireless Network) project was originally designed to create completely virtual testbeds for IEEE 802.11 networks on the Linux operating system. This paper aims to extend the current project LVWNet, adding to it the features like the ability to interact with real wireless hardware, provides a initial mobility ability using the positioning of the nodes in a space coordinates environment based on meters, with loss calculations due to attenuation in free space, enables some scalability increase by creating an own protocol that allows the communication between nodes without an intermediate host and dynamic registration of nodes, allowing new nodes to be inserted into in already in operation network

Interfaces cultural, política e organizacional do projeto caminhos do frio rota cultural no contexto da regionalização do turismo no brejo paraibano

This study is the analysis of cultural, political and organizational interfaces of "Caminhos do Frio Rota Cultural" Project in the context of tourism regionalization in Brejo Paraibano and it presents the characterization, routing and inventory of six municipalities of the Project, as well as the identification of cultural elements used for tourist in the routing of the pond, the investigation of political and organizational articulation and the verification of participation of each producing agent in the development of tourism resulting from the swamp of Paraiba. This is a qualitative descriptive and exploratory study, which makes use of the interpretive paradigm to perform an analysis of the environment where occurs the regionalization of tourism in Brejo of Paraíba and the social actors involved in this process in order to pursue development of the region through culture and tourism, with the collection spot in the six counties of the Project participants collected through interviews with managers, community, government agencies and tourist trade, and the use of the technique of direct observation. This time, with the data analysis it was possible to establish the production situation and its cultural and tourist development in the region of Brejo (PB), where culture has become a developmental tool within the tourism industry due to its innovation potential. It was possible to ratify the undisputed vocation of cultural tourism in the region in question, since other projects being developed with the use of cultural resources with a strong influence on the policies of regional tourism. Thus, the main result was that was seen is that the regional development has triggered a refunctionalisation / reappropriation of space just rebuilding a new territorial organization through the development of a regional autonomy of management, a capacity of collective ownership and the use of economic surplus, a spontaneous process of social inclusion as well as awareness and mobilization tourist (even if initial and shy), an appreciation of natural and cultural assets for all stakeholders and especially identification of the population with its region and its culture, as to achieve regional development is not enough to increase the economic, but above all the promotion of endogenous social factors such as changes in social and cultural values and the integration of social actors in this process. Finally, taking into account the definitions of sustainability, it is considered that cannot be said that the development model seen in the swamp of Paraiba is sustainable, but it is a model of regional development based on the unique characteristics that each municipality has and create a regional identity and have correponded expectations / desired results and therefore the viability of the region through the development of cultural tourism was proven

Fatores que influenciam o apoio dos residentes á megaeventos: uma análise sobre o projeto FIFA WORLD CUP 2014 em Natal/RN

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

Empreendedorismo social e protagonismo juvenil: a estratégia socioeducativa do projeto Oasis de intervivência universitária

This dissertation aims to analyze the strategy of socio Intervivência University Project OASIS training of community development from the perspective of social entrepreneurship. This project was part of the context of a sort of university extension, called Intervivência University, which emerged in 2008 through the announcement MCT / CNPq / CT-Agribusiness / MDA - No. 23/2008 - Intervivência University Program. With the analysis of the OASIS project sought to identify a strategy socio, which was used elements of popular education and aimed to develop young people within the social entrepreneurship that made contributions to such has taken actions in their communities seeking range of social gains. For this, the methodological aspect, it was used in the research, a qualitative approach, case study, content analysis, semi-structured interviews and non-participant observation. In the theoretical aspect was addressed in the affairs of: social entrepreneurship, with emphasis on the concept, their differentiations of business entrepreneurship and social responsibility, and characterizing the social entrepreneur, popular education, as for the development of social entrepreneurship is the need for a new way of thinking and seeing reality for the people, and youth leadership, given the importance in the context of social action, to have young people seeking a better life for their communities. Addressed the theory were drawn categories (capital, empowerment and youth participation) and subcategories of analysis (value, attitude, behavior, trust, cooperation, civic participation) used in this work. Given the information and analysis of interviews and observations could be perceived that the strategy promoted socio Project OASIS changes, or the reaffirmation of values, resulting in new attitudes and, consequently, new behaviors in the students interviewed. Has been identified in them the development of trust and cooperation. In the aspect of civic awakening was observed in some of them only. In relation to juvenile activity was perceived to develop actions aimed at social benefits for all respondents. Thus, the OASIS Project Intervivência University made contributions to the young participants in the research aspect of social entrepreneurship, influencing them in developing activities in the social sphere in which cities are embedded

Projeto político de formação do enfermeiro: contextos, textos, (re)construções

This research analyses politic Project for nursing education, in its articulation with economical, political and social context of 1970s and 1980s in national level and, in special, nurse formation process in FAEN/UERN space, situating it on the context of Brazilian sanitary reformation movement and participation movement. The thesis is firmed on the sense of explaining whether that movement circa the nurse formation process has been able to build necessary instruments for the transformation of biomedical formation model historically consolidated, in the perspective of conceiving another model anchored on social determination of health/illness process, with the purpose of assuring ethical and political commitment with the SUS praised by sanitary reformation. The study visualized the object considering its specificity, its concrete historical determinations and institutional as well as organizational relationships that permeate possibilities of valorizing it, analyzing it, interpreting it and rebuilding it. Its operationalization occurred in three movements, it means, bibliographical review; documents study; interviews and focal groups realized with professors of the institution. We can apprehend as main results that the nurse formation process has incorporated widely spread conceptions by the sanitary reformation movement and participation movement, assuming the commitment with transformation of health services and social reality. Nevertheless it prevails, still, amongst some professors in the same institutional space, the commitment to a predominantly technicist formation, focused on instrumental knowledge. Opinion divergence explicit diversity of conceptions circa education and, as consequence, distinct political commitments, also contradictory to formation. Thus, there is a lacuna between what is foreseen on political pedagogical project and what is rendered in FAEN/UERN, evidencing the clash related to conceptual bases of formation project. Interpretations, divergent political attitudes and resistances to the process allowed several formation ways. However, formation under new conceptual bases, find limits on the context of social politics implemented in Brazil during the 1990s, neoliberal-based, expressed on expansion and consolidation of health private system, managed by market rules, strengthening biomedical formation model. Notwithstanding, there is a favorable to its implementation, starting from the first years of 21st century, moment when Brazilian sanitary reformation reappear on health speech, as well as facing the policy of permanent education in health. This reality explicit a process of dialectical tension between instituted and institutor, anticipating the moment of scission or adaptation and return to what is already known. Despite of clashed, knowledge, accumulated experience, contribution to services, the construction of partnerships out of university space and articulation with national movement of (re)orientation of nurse formation, have been constituted as vital instruments to offer support to formation in FAEN/UERN. Still, we consider necessary the (re)visitation to FAEN/UERN politic pedagogical Project considering the existing and implemented construction, without, yet, depreciate the norther axis of the project at the reaching of its intentionality

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