901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

In contemporary society, social exclusion is an actual and pertinent theme, because it presents itself as a challenge to management and planning of the public policies. In this perspective, the thesis entitled "The Cultural Corridor: space materialization of social exclusion in Mossoró-RN" is a moment of apprehension and analysis of the local reality from the urban policy implementation that emphasized an enterprising model, which has, as the concrete space to urban renovation manifestation, the cultural complex called cultural corridor. Because of the investigation and the directional hypothesis, it is possible to say that the urban development policy implemented in Mossoró, starting from the 1990 decade, based in the model of modernizing/enterprising management, has been causing an intensification of a society parcel exclusion from the city public space, since this public policy didn't prioritized job market increasing, as well as population incomes improving, poverty and social inequality reduction, at the same proportions it promoted geographic space reorganization with directional actions to build the "spectacle city"

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work is part of the research group studying agribusiness chains, by characterizing agroindustrial chain of cashew nuts in Rio Grande do Norte, with special emphasis on Sertão de Apodi Citizenship Territory, showing their different flows and linkages and analyzes generating jobs and income in the production of this good, from the experience of COOPAPI, using as a methodology for analyzing the input-output matrix. And this is justified by the fact that Brazil is in the context as the world's fifth largest producer of cashew nuts and the production of this product focus in the Northeast, especially the Rio Grande do Norte, which is the second largest producer of region, behind only the state of Ceará, which is the largest producer in the country. Moreover, in recent years the state has increased its insertion in international markets this product, particularly the Mossoró-Assu Territory, which constitutes the largest producer in the state, particularly the municipality of Serra do Mel, which has an arrangement different yield, based on the model of integrated rural development, embodied in family farming. Nevertheless, the Sertão de Apodi Citizenship appear as the fourth among the Citizenship territories of Rio Grande do Norte in the ranking of the production of cashew nuts, but the prevailing model of Cooperatives in the Territory, based on the Solidarity Economy, i,e, different from the old cooperative, which is based on the precepts as patronage, with cooperative owners, favor, etc.., encourages scientific research. In this, after a careful analysis of data from field research, it was noticed that among the links in the chain, the production link is what generates the most jobs, while the processing link commands to generate income, but a portion meaningful occupations and income are generated outside the territory, especially out of state RN, denouncing the gap in supply of some specific demands within the chain

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This research, whose theme is related to climacteric, aims to know the social representation of menopause developed by the nurses working for Estratégia Saúde da Família (Family Health Strategy) in João Pessoa PB, as well as identifying its structure and verifying the way it interferes with the assistance and educational practices to the climacterial user. In the theoretical level, it is based on a model that articulates the social representations theory, the central nucleus complementary theory and the central concepts of Pierre Bourdieu s praxiology: habitus, cultural capital, social field and symbolic power. A hundred and forty-seven female nurses who work for Estratégia Saúde da Família (Family Health Strategy) in João Pessoa (PB) took part in this research, and the data collection period was from February 2008 to March 2009. As to the methods and techniques, we used the method to determine the central nucleus based on the free association of words, a questionnaire to identify certain regularities that constitute the nurses habitus, and the semi-structured interview to explore opinions and attitudes when facing assistance situations and educational practices and to collect other relevant information. The data analysis was developed, when referring to the free associations, with the help of the EVOC software, which is a group of articulated programs which carry out the statistical analysis of the evocations and the identification of the possible elements of both the central nucleus and the peripheral system of the social representation. As to the questionnaire, we used the descriptive statistical analysis and the analysis of correlation between the variables. The interviews were submitted to a categorical analysis of the content. The EVOC result indicated that the cognition hormone was the only element of the central nucleus of the social representation of menopause. Due to its symbolic value and structuring power, this central nucleus ensures the strict and, at the same time, flexible character of the representational content. The analysis of the social advancement, of some fundamental features of the group habitus, as well as the analysis of its insertion in the health field and of the attitudinal opinions and dispositions concerning the assistance given to the climacterial user, and the analysis of the pedagogical dimension of this assistance, all these analyses lead to the conclusion that the nurses who took part in this research share a social representation of the menopause resulting from the association of different technical and scientific knowledge. These derive from the biomedical pattern as well as from hegemonic values which disqualify old age and overvalue youth, from pedagogical conceptions arising from patterns that are presently regarded as authoritative and old-fashioned and from cultural references (responsible for the semantic variations concerning the central nucleus) which are specific to the subgroups the nurses belong to. This research enables the creation of opportunities for discussion between active nurses working for Estratégia Saúde da Família, and the nurses who are teachers at institutions of higher education, aiming at linking theory to practice, so that they can find ways of thinking about the climacteric and working, in a more comprehensive way, with users who are experiencing this stage of life

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study focuses on the central Brazilian historiography of science, focusing specifically on the life and work of a contemporaneous mathematician-physicist, and becomes part of the set of research results that investigate, organize and describe personal, intellectual and professional itineraries of Brazilian scientists and educators. The theme chosen for the study ran from seminars on Mathematics in Pará and is up to organize and describe the life history, education, professional experience and scientific production of William Mauricio Souza Marcos de La Penha (Guilherme de La Penha), considering their academic, professional and intellectual life history, so that their academic and intellectual production be spread over the Brazilian scientific and academic community. We adopted the historical research as theoretical and methodological base for the development of this study, rising arguments about the profile of Guilherme de La Penha to characterize him as a multiskill intellectual and to reveal that his thoughts about science, technology, training scientists and educators were in accordance with their writings and their professional practice in order to build a first story about the life and work of William de La Penha. In this sense, we took the theoretical aspects related to historical research, biographies, intellectual itineraries, files and inventories as sources and historical construction vehicles in order to point out the essential elements to form a profile of the transdisciplinary intellectual historians, ie a profile scientist who carries out the research, management and administration, as well as a committed educator to the on-going training and forming process. The results pointed in different directions, among which we highlight the creation of Seção Guilherme de La Penha at Universidade da Amazonia, producing several articles about the life and work of William de La Penha presented at national and international conferences and the proposal for documentary displays which could contribute to understanding the implementation of a scientific area in Pará State, an area that would not only be restricted to the production of knowledge, but more than that, it would include the spreading, which provides various means, primarily through education. Thus it was possible to ensure that La Penha has an intellectual profile that can be considered a multi-and transdisciplinary intellectual who defends the possibility of forming a scientist one and multiple, non-linear attitudes and dialogues with all other areas in order to be understood under a model scientist for the twenty-first century based on the model clearly inspired by the scientist authors with which he identified throughout their training and professional activities, like the three that stood out in their relationship science: Archimedes, Leonhard Euler and Cliford Ambrose Truesdell

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The knowledge management has received major attention from product designers because many of the activities within this process have to be creative and, therefore, they depend basically on the knowledge of the people who are involved in the process. Moreover, Product Development Process (PDP) is one of the activities in which knowledge management manifests in the most critical form once it had the intense application of the knowledge. As a consequence, this thesis analyzes the knowledge management aiming to improve the PDP and it also proposes a theoretical model of knowledge management. This model uses five steps (creation, maintenance, dissemination, utilization and discard) through the verification of the occurrence of four types of knowledge conversion (socialization, externalization, combination and internalization) that it will improve the knowledge management in this process. The intellectual capital in Small and Medium Enterprises (SMEs) managed efficiently and with the participation of all employees has become the mechanism of the creation and transference processes of knowledge, supporting and, consequently, improving the PDP. The expected results are an effective and efficient application of the proposed model for the creation of the knowledge base within an organization (organizational memory) aiming a better performance of the PDP. In this way, it was carried out an extensive analysis of the knowledge management (instrument of qualitative and subjective evaluation) within the Design department of a Brazilian company (SEBRAE/RN). This analysis aimed to know the state-of-the-art of the Design department regarding the use of knowledge management. This step was important in order to evaluate in the level of the evolution of the department related to the practical use of knowledge management before implementing the proposed theoretical model and its methodology. At the end of this work, based on the results of the diagnosis, a knowledge management system is suggested to facilitate the knowledge sharing within the organization, in order words, the Design department

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The knowledge management has received major attention from product designers because many of the activities within this process have to be creative and, therefore, they depend basically on the knowledge of the people who are involved in the process. Moreover, Product Development Process (PDP) is one of the activities in which knowledge management manifests in the most critical form once it had the intense application of the knowledge. As a consequence, this thesis analyzes the knowledge management aiming to improve the PDP and it also proposes a theoretical model of knowledge management. This model uses five steps (creation, maintenance, dissemination, utilization and discard) through the verification of the occurrence of four types of knowledge conversion (socialization, externalization, combination and internalization) that it will improve the knowledge management in this process. The intellectual capital in Small and Medium Enterprises (SMEs) managed efficiently and with the participation of all employees has become the mechanism of the creation and transference processes of knowledge, supporting and, consequently, improving the PDP. The expected results are an effective and efficient application of the proposed model for the creation of the knowledge base within an organization (organizational memory) aiming a better performance of the PDP. In this way, it was carried out an extensive analysis of the knowledge management (instrument of qualitative and subjective evaluation) within the Design department of a Brazilian company (SEBRAE/RN). This analysis aimed to know the state-of-the-art of the Design department regarding the use of knowledge management. This step was important in order to evaluate in the level of the evolution of the department related to the practical use of knowledge management before implementing the proposed theoretical model and its methodology. At the end of this work, based on the results of the diagnosis, a knowledge management system is suggested to facilitate the knowledge sharing within the organization, in order words, the Design department

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Predictive Controller has been receiving plenty attention in the last decades, because the need to understand, to analyze, to predict and to control real systems has been quickly growing with the technological and industrial progress. The objective of this thesis is to present a contribution for the development and implementation of Nonlinear Predictive Controllers based on Hammerstein model, as well as to its make properties evaluation. In this case, in the Nonlinear Predictive Controller development the time-step linearization method is used and a compensation term is introduced in order to improve the controller performance. The main motivation of this thesis is the study and stability guarantee for the Nonlinear Predictive Controller based on Hammerstein model. In this case, was used the concepts of sections and Popov Theorem. Simulation results with literature models shows that the proposed approaches are able to control with good performance and to guarantee the systems stability

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Due to the current need of the industry to integrate data of the beginning of production originating from of several sources and of transforming them in useful information for sockets of decisions, a search exists every time larger for systems of visualization of information that come to collaborate with that functionality. On the other hand, a common practice nowadays, due to the high competitiveness of the market, it is the development of industrial systems that possess characteristics of modularity, distribution, flexibility, scalability, adaptation, interoperability, reusability and access through web. Those characteristics provide an extra agility and a larger easiness in adapting to the frequent changes of demand of the market. Based on the arguments exposed above, this work consists of specifying a component-based architecture, with the respective development of a system based on that architecture, for the visualization of industrial data. The system was conceived to be capable to supply on-line information and, optionally, historical information of variables originating from of the beginning of production. In this work it is shown that the component-based architecture developed possesses the necessary requirements for the obtaining of a system robust, reliable and of easy maintenance, being, like this, in agreement with the industrial needs. The use of that architecture allows although components can be added, removed or updated in time of execution, through a manager of components through web, still activating more the adaptation process and updating of the system

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Over the last 50 years a new research area, science education research, has arisen and undergone singular development worldwide. In the specific case of Brazil, research in science education first appeared systematically 40 years ago, as a consequence of an overall renovation in the field of science education. This evolution was also related to the political events taking place in the country. We will use the theoretical work of Rene Kaes on the development of groups and institutions as a basis for our discussion of the most important aspects that have helped the area of science education research develop into an institution and kept it operating as such. The growth of this area of research can be divided into three phases: The first was related to its beginning and early configurations; the second consisted of a process of consolidation of this institution; and the third consists of more recent developments, characterised by a multiplicity of research lines and corresponding challenges to be faced. In particular, we will analyse the special contributions to this study gleaned from the field known as the history and philosophy of science.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The search for better performance in the structural systems has been taken to more refined models, involving the analysis of a growing number of details, which should be correctly formulated aiming at defining a representative model of the real system. Representative models demand a great detailing of the project and search for new techniques of evaluation and analysis. Model updating is one of this technologies, it can be used to improve the predictive capabilities of computer-based models. This paper presents a FRF-based finite element model updating procedure whose the updating variables are physical parameters of the model. It includes the damping effects in the updating procedure assuming proportional and none proportional damping mechanism. The updating parameters are defined at an element level or macro regions of the model. So, the parameters are adjusted locally, facilitating the physical interpretation of the adjusting of the model. Different tests for simulated and experimental data are discussed aiming at defining the characteristics and potentialities of the methodology.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The development of interactive systems involves several professionals and the integration between them normally uses common artifacts, such as models, that drive the development process. In the model-driven development approach, the interaction model is an artifact that includes the most of the aspects related to what and how the user can do while he/she interacting with the system. Furthermore, the interactive model may be used to identify usability problems at design time. Therefore, the central problematic addressed by this thesis is twofold. In the first place, the interaction modeling, in a perspective that helps the designer to explicit to developer, who will implement the interface, the aspcts related to the interaction process. In the second place, the anticipated identification of usability problems, that aims to reduce the application final costs. To achieve these goals, this work presents (i) the ALaDIM language, that aims to help the designer on the conception, representation and validation of his interactive message models; (ii) the ALaDIM editor, which was built using the EMF (Eclipse Modeling Framework) and its standardized technologies by OMG (Object Management Group); and (iii) the ALaDIM inspection method, which allows the anticipated identification of usability problems using ALaDIM models. ALaDIM language and editor were respectively specified and implemented using the OMG standards and they can be used in MDA (Model Driven Architecture) activities. Beyond that, we evaluated both ALaDIM language and editor using a CDN (Cognitive Dimensions of Notations) analysis. Finally, this work reports an experiment that validated the ALaDIM inspection method

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The software development processes proposed by the most recent approaches in Software Engineering make use old models. UML was proposed as the standard language for modeling. The user interface is an important part of the software and has a fundamental importance to improve its usability. Unfortunately the standard UML does not offer appropriate resources to model user interfaces. Some proposals have already been proposed to solve this problem: some authors have been using models in the development of interfaces (Model Based Development) and some proposals to extend UML have been elaborated. But none of them considers the theoretical perspective presented by the semiotic engineering, that considers that, through the system, the designer should be able to communicate to the user what he can do, and how to use the system itself. This work presents Visual IMML, an UML Profile that emphasizes the aspects of the semiotic engineering. This Profile is based on IMML, that is a declarative textual language. The Visual IMML is a proposal that aims to improve the specification process by using a visual modeling (using diagrams) language. It proposes a new set of modeling elements (stereotypes) specifically designed to the specification and documentation of user interfaces, considering the aspects of communication, interaction and functionality in an integrated manner

Relevância:

100.00% 100.00%

Publicador:

Resumo:

On the last years, several middleware platforms for Wireless Sensor Networks (WSN) were proposed. Most of these platforms does not consider issues of how integrate components from generic middleware architectures. Many requirements need to be considered in a middleware design for WSN and the design, in this case, it is possibility to modify the source code of the middleware without changing the external behavior of the middleware. Thus, it is desired that there is a middleware generic architecture that is able to offer an optimal configuration according to the requirements of the application. The adoption of middleware based in component model consists of a promising approach because it allows a better abstraction, low coupling, modularization and management features built-in middleware. Another problem present in current middleware consists of treatment of interoperability with external networks to sensor networks, such as Web. Most current middleware lacks the functionality to access the data provided by the WSN via the World Wide Web in order to treat these data as Web resources, and they can be accessed through protocols already adopted the World Wide Web. Thus, this work presents the Midgard, a component-based middleware specifically designed for WSNs, which adopts the architectural patterns microkernel and REST. The microkernel architectural complements the component model, since microkernel can be understood as a component that encapsulates the core system and it is responsible for initializing the core services only when needed, as well as remove them when are no more needed. Already REST defines a standardized way of communication between different applications based on standards adopted by the Web and enables him to treat WSN data as web resources, allowing them to be accessed through protocol already adopted in the World Wide Web. The main goals of Midgard are: (i) to provide easy Web access to data generated by WSN, exposing such data as Web resources, following the principles of Web of Things paradigm and (ii) to provide WSN application developer with capabilities to instantiate only specific services required by the application, thus generating a customized middleware and saving node resources. The Midgard allows use the WSN as Web resources and still provide a cohesive and weakly coupled software architecture, addressing interoperability and customization. In addition, Midgard provides two services needed for most WSN applications: (i) configuration and (ii) inspection and adaptation services. New services can be implemented by others and easily incorporated into the middleware, because of its flexible and extensible architecture. According to the assessment, the Midgard provides interoperability between the WSN and external networks, such as web, as well as between different applications within a single WSN. In addition, we assessed the memory consumption, the application image size, the size of messages exchanged in the network, and response time, overhead and scalability on Midgard. During the evaluation, the Midgard proved satisfies their goals and shown to be scalable without consuming resources prohibitively