Avaliação de arquitetura de agentes emocionais : uma abordagem baseada em métrica de qualidade e na influência das emoções sobre usuários

There is a need for multi-agent system designers in determining the quality of systems in the earliest phases of the development process. The architectures of the agents are also part of the design of these systems, and therefore also need to have their quality evaluated. Motivated by the important role that emotions play in our daily lives, embodied agents researchers have aimed to create agents capable of producing affective and natural interaction with users that produces a beneficial or desirable result. For this, several studies proposing architectures of agents with emotions arose without the accompaniment of appropriate methods for the assessment of these architectures. The objective of this study is to propose a methodology for evaluating architectures emotional agents, which evaluates the quality attributes of the design of architectures, in addition to evaluation of human-computer interaction, the effects on the subjective experience of users of applications that implement it. The methodology is based on a model of well-defined metrics. In assessing the quality of architectural design, the attributes assessed are: extensibility, modularity and complexity. In assessing the effects on users' subjective experience, which involves the implementation of the architecture in an application and we suggest to be the domain of computer games, the metrics are: enjoyment, felt support, warm, caring, trust, cooperation, intelligence, interestingness, naturalness of emotional reactions, believabiliy, reducing of frustration and likeability, and the average time and average attempts. We experimented with this approach and evaluate five architectures emotional agents: BDIE, DETT, Camurra-Coglio, EBDI, Emotional-BDI. Two of the architectures, BDIE and EBDI, were implemented in a version of the game Minesweeper and evaluated for human-computer interaction. In the results, DETT stood out with the best architectural design. Users who have played the version of the game with emotional agents performed better than those who played without agents. In assessing the subjective experience of users, the differences between the architectures were insignificant

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio

The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs

A satisfação profissional e a cultura organizacional : uma análise a partir do modelo ASH no Centro Federal de Educação Tecnológica do Rio Grande do Norte

With the need of the companies in becoming more competitive within the market, it arises an incessant search for selective human potential, with a high level of capacity and low rotativity, which motivation results in production raise, quality optimization and waste reduction. This scenario requires a strategy development which advantages the Human Resources Quality Management. This way, the model of the Human System Audit (HSA), developed by the Spanish researchers Ouijano and Navarro, presents itself as an important tool to diagnosis and evaluation, contemplating the environment where the organization is inserted, its strategies, its organizational design, its processes and its organizational effectiveness. In this sense, the present study has identified the existent relation between the professional satisfaction and the Organizational Culture, based in the model HSA. The research has been a quantitative-descriptive one and has had as population the technical-administrative workers from the Federal Center of Technical Education of Rio Grande do Norte (CEFET RN). The data collection has occurred during May, 2008, by means of the application of a questionnaire in the HSA model. The sample was composed by 167 subjects, distributed among the Five units of the institution. It was used the factorial analysis, with the extraction method of main components and orthogonal rotation varimax, in order to extract the dimensions of the satisfaction and of the organizational culture and the calculation of Cronbach s Alpha coefficient, to evaluate the reliability of these dimensions. The factorial analysis of the satisfaction indicators has identified four factors,, all of them showing significance: gratefulness and relationship , self-realization , stability and security and physical conditions and social benefits . The result of the factorial analysis with the indicators of the organizational culture has extracted four factors and among them, three of them have obtained significance: Personal Satisfaction Style , Competitive-Denial-Power Style and the Conventional-Dependent Style . After identifying the dimensions of the satisfaction and culture found at CEFET-RN, it has been notice the existence or not of relation among them, through the application of Pearson s coefficient. It has been verified that all of the dimensions of the Professional satisfaction are correlated with some dimension of the organizational culture, having in outstand position, with higher intensity, the relation between the culture style of Personal Satisfaction and the satisfaction factor referring to the self-realization

A gestão da informação sob a luz do Enterprise Content Management (ECM): um estudo de caso em uma universidade pública

This work involves the organization and content perspectives on Enterprise Content Management (ECM) framework. The case study at the Federal University of Rio Grande do Norte was based on ECM model to analyse the information management provided by the three main administrative systems: The Integrated Management of Academic Activities (SIGAA), Integrated System of Inheritance, and Contracts Administration (SIPAC) and the Integrated System for Administration and Human Resources (SIGRH). A case study protocol was designed to provide greater reliability to research process. Four propositions were examined in order to reach the specific objectives of identification and evaluation of ECM components from UFRN perspective. The preliminary phase provided the guidelines for the data collection. In total, 75 individuals were interviewed. Interviews with four managers directly involved on systems design were recorded (average duration of 90 minutes). The 70 remaining individuals were approached in random way in UFRN s units, including teachers, administrative-technical employees and students. The results showed the presence of many ECM elements in the management of UFRN administrative information. The technological component with higher presence was "management of web content / collaboration". But initiatives of other components (e.g. email and document management) were found and are in continuous improvement. The assessment made use of eQual 4.0 to examine the effectiveness of applications under three factors: usability, quality of information and offered service. In general, the quality offered by the systems was very good and walk side by side with the obtained benefits of ECM strategy adoption in the context of the whole institution

O corredor cultural: espaço de materialização da exclusão social em Mossoró-RN

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"

Geração de renda e ocupações na cadeia agroindustrial de castanha de caju no Rio Grande do Norte: o caso do sertão de Apodi

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

Praxiologia, representação social de menopausa e práticas educativas de enfermeiras na estratégia saúde da família

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

Guilherme de La Penha: uma história do seu itinerário intelectual em três dimensões

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

Desenvolvimento de um modelo de gestão do conhecimento para a melhoria do processo de desenvolvimento de produtos

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

Qualidade em serviços de saúde: uma contribuição à definição de um modelo paramétrico e padrão de qualidade do tempo agendado para consulta ambulatorial

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

Controle preditivo não linear baseado no modelo de Hammerstein com prova de estabilidade

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

Uma arquitetura de software baseada em componentes visualização de informações industriais

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

Uma linguagem de modelagem da interação para auxiliar a comunicação designer-usuário

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

JCML - Java Card Modeling Language: Definição e Implementação

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