A clínica que se vive: reflexões sobre a prática da Psicologia clínica na contemporaneidade

The increasing search for the psychological attendance, express in the waiting list in the clinics, clinic-school and in the private clinics, beyond the increase of the choice of psychology as professional career among the pre-college students, allows us to reflect about the place that is occupied by the Psychology, nowadays. The main focus of this study is the clinical Psychology, an area of psychology. The interest in to deepen the reflection regarding of the place that the psychologist and his acting had been assumed in our society, emerged from our own actuation as clinical psychologist. Reflections concerning the suffering of man of our time, accompanying our inquietude while researcher and made us question about the actuation of clinical psychology, nowadays. This research aimed to understand how the clinical psychologists perceive their practice, attempting to get appointments regarding of what is to be clinical psychologist in contemporaneity, more specifically, in the face of the psychic suffering. Based on a phenomenological perspective of research were accomplished semi-structured interviews and a discussion group with clinical psychologists. From the obtained results, we arrived to the following conclusions: a) the most of participants considered the academic formation of the psychologist insufficient and far from social reality; b) the speeches revealed that there is still a relation between the practice of clinical psychologist and the medical model of attendance. Nevertheless, was observed a change in the new psychologists conception of clinic, but is still in development; c) in the most of speeches, we founded consensus about the idea of that the social context which the contemporaneous world lives, had generated new demands of suffering; d) the clinical listening is considered the specificity of the clinical psychologist. We believe that this study had been contributed to fomenting the discussion about the academic formation of clinical psychologist and, the concepts and models of clinic that now base the actuation of the professionals that are inserted on the work market

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

Produção de conhecimento sobre narrativas orais: contribuições para as investigações em linguagem infantil

Este estudo tem como objetivo indicar um panorama geral sobre a produção de conhecimento no que tange os padrões para o desenvolvimento da narrativa oral, nos últimos quatro anos por meio de uma revisão bibliográfica sistematizada, voltada para a temática de intervenção em linguagem infantil, com o uso de narrativas orais. A revisão foi realizada em uma única etapa, com critérios específicos, utilizando os seguintes descritores: narrativas, narrativa, narrativas de crianças, linguagem e desenvolvimento, linguagem oral, habilidades linguísticas, linguagem falada, linguagem infantil, narração/narração de histórias e linguagem. O período considerado foi de 2007 a 2011. Foram obtidos 900 registros, dentre os quais, nove (1%) atenderam aos critérios estabelecidos para análise. A maioria dos estudos relacionou-se com análises psicolinguísticas. Apenas um estudo utilizou método experimental. No período considerado foram produzidos poucos estudos abordando narrativas orais infantis; a sua grande maioria levou em consideração, fundamentalmente, aspectos cognitivos e linguísticos no processo de desenvolvimento da habilidade narrativa; a grande maioria das pesquisas foi realizada com crianças que possuem algum tipo de alteração em seu desenvolvimento linguístico. Considera-se que a produção de conhecimento, em relação ao desenvolvimento de narrativas orais infantis, exige, atualmente, um olhar voltado para as intervenções que utilizem metodologia experimental. Por fim, considera-se que é necessária uma atenção maior em relação ao desenvolvimento típico da habilidade narrativa.

Uso de replicação móvel para distribuição de vídeo digital em redes de computadores

A maioria da soluções apresentadas como candidatas à implementação de serviços de distribuição de áudio e vídeo, têm sido projetadas levando-se em consideração determinadas condições de infra-estrutura, formato dos fluxos de vídeo a serem transmitidos, ou ainda os tipos de clientes que serão atendidos pelo serviço. Aplicações que utilizam serviços de distribuição de vídeo normalmente precisam lidar com grandes oscilações na demanda pelo serviço devido a entrada e saída de usuários do serviço. Com exemplo, basta observar a enorme variação nos níveis de audiência de programas de televisão. Este comportamento coloca um importante requisito para esta classe de sistemas distribuídos: a capacidade de reconfiguração como conseqüência de variações na demanda. Esta dissertação apresenta um estudo que envolveu o uso de agentes móveis para implementar os servidores de um serviço de distribuição de vídeo denominada DynaVideo. Uma das principais características deste serviço é a capacidade de ajustar sua configuração em conseqüência de variações na demanda. Como os servidores DynaVideo podem replicar-se e são implementados como código móvel, seu posicionamento pode ser otimizado para atender uma dada demanda e, como conseqüência, a configuração do serviço pode ser ajustada para minimizar o consumo de recursos necessários para distribuir vídeo para seus usuários. A principal contribuição desta dissertação foi provar a viabilidade do conceito de servidores implementados como agentes móveis Java baseados no ambiente de desenvolvimento de software Aglet.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

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

LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

Ensino superior em Turismo: uma análise da relação dos cursos acadêmicos de Turismo da cidade do Natal-RN e o mercado de trabalho na percepção dos egressos dos anos de 2009 e 2010

The process of development of any area is closely linked to teaching and research, and in Tourism it is not different. Thus, in this area in which service is one of the factors intrinsically related to its success , it is observed the need for people with deep and critical training in the various aspects of this activity acting in this sector. However, we can see the existence of some differences between what is offered by the academy from what is required by the market. Therefore, the objective of this research is to verify the relationship between higher education in Tourism and labor market through the perception of the bachelor in this area, graduated in Natal-RN, since it is the tourismologist who makes the link between this two fields. To know the perception of these tourismologists, it was necessary to apply a questionnaire to those ones graduated in the years 2009 and 2010. In accordance with the aim of this study, this research was exploratory-descriptive. Related to the technical procedures, it was a documentary, literature and field research. To have it analyzed, some qualitative and quantitative techniques were applied according to our specific objectives and the types of data collected, such as: content analysis, factorial analysis to synthesize the information and identify the basic dimensions that represent the different variables studied, the standard deviation to verify the variation of the responses in some items and the correlation technique that allows the analysis of the relationship between two variables. In response to the objectives proposed here, we could finally conclude that: the syllabuses of these courses are too general and the graduates themselves consider them so. It was diagnosed that the graduates 1) are mostly female, 2) a very small part of them is working in the area that they are graduated in, and 3) not all of them receive satisfactory wages which contributes to having a negative view of their degree course. Moreover, the educational institution where they studied was not a decisive factor to get a job. It was still diagnosed that most part of them do not have positive perceptions when thinking about the future of their careers as bachelors in Tourism. Many of them, including, if it was possible to change something in their careers so far, they could have chosen another college degree. It was found that, although there is a negative perception about their professional future, almost half of them believe that the course met the needs of the market. However, those ones that are not working have a more positive point of view related to the applicability of higher education. On the other hand, the other ones who already worked in this area have a more negative perception about it and do not believe that the course meets the market's needs. In summary, this study allowed the understanding of the existence of some gaps that exist between higher education in Tourism and the market needs, professionally speaking, thus contributing to the spreading of ideas on that subject for teachers, researchers and the current and future students of the area.

Turismo e economia solidária : uma análise nas cooperativas e associações de artesanato do Roteiro Seridó norte-rio-grandense

The present study has addressed the issues surrounding the Solidarity Economy and Tourism, their perspectives and contributions to the development process of local communities, as well as the connection point between the two. This study evaluated the extent to which social economy through cooperatives and associations in tourism has generated socio-economic improvements for the artisans of the tourist Seridó. The study made as to their objectives, was exploratory and descriptive, since it involved both standard techniques of data collection, questionnaires and systematic observation, and secondary research and case studies, which characterizes an exploratory research, according to Castro (2008 ). The results indicate significant improvements offered by the inclusion of members in groups (associations and cooperatives) in matters concerning health, education, interpersonal relationships, and access to consumer credit to the artisans. Through this study, one might also note that the inclusion of products and services in tourism is not a relevant factor for the socio-economic improvements observed for the elevated presence of middlemen in the marketing process

Turismo, território e políticas públicas: uma análise do destino João Pessoa/PB

This study presents an approach to tourism activity from the perspective of the territory, analyzing the importance of the roles of the State and public policies for tourism development. Tourism in the northeastern region of Brazil begins to take its rise from the late 1970 through public policies, whose goal was to provide the necessary conditions for tourism development. The tourism public policies were the key elements in the production process of tourist territories in the region. In the state of Paraíba, the public authorities elected the coastline as the main attraction and the state capital, João Pessoa, as the locus for the tourism development, with the city receiving a series of public policies. In this context, this research aims to analyze the development process of three specific public policies for tourism development in João Pessoa: The (mega)Projeto Costa do Sol (1988), the PRODETUR/PB I and II (1997 e 2005) and the Plano Estratégico de Desenvolvimento do Turismo na Paraíba, the Plano Amanhecer (2000). This study was guided by the question that even having been contemplated by the tourism public policies, João Pessoa still remains in a peripheral position in the regional tourism market. The methodological procedures for this study were literature and documents research and semi-structured interviews with tourism public officials and representatives from local tourism trade. The research came to prove that the discontinuity between governmental administrations hampered the implementation process of the tourism public policies studied. It was observed that the implementation of tourism public policies in the long term depends on the interaction between governments, as well as the collective political will to develop tourism in Joao Pessoa

Métricas de sistemas de middleware orientado a aspectos e Aplicação em um sistema de monitoramento de Poços de Petróleo

Nowadays, there are many aspect-oriented middleware implementations that take advantage of the modularity provided by the aspect oriented paradigm. Although the works always present an assessment of the middleware according to some quality attribute, there is not a specific set of metrics to assess them in a comprehensive way, following various quality attributes. This work aims to propose a suite of metrics for the assessment of aspect-oriented middleware systems at different development stages: design, refactoring, implementation and runtime. The work presents the metrics and how they are applied at each development stage. The suite is composed of metrics associated to static properties (modularity, maintainability, reusability, exibility, complexity, stability, and size) and dynamic properties (performance and memory consumption). Such metrics are based on existing assessment approaches of object-oriented and aspect-oriented systems. The proposed metrics are used in the context of OiL (Orb in Lua), a middleware based on CORBA and implemented in Lua, and AO-OiL, the refactoring of OIL that follows a reference architecture for aspect-oriented middleware systems. The case study performed in OiL and AO-OiL is a system for monitoring of oil wells. This work also presents the CoMeTA-Lua tool to automate the collection of coupling and size metrics in Lua source code

Aplicação de softwares livres no Processamento de dados sísmicos de alta resolução

The increasing use of shallow seismic methods of high resolution, for investigations of geological problems, environmental or industrial, has impelled the development of techniques, flows and computational algorithms. The practice of applying techniques for processing this data, until recently it wasn t used and the interpretation of the data was made as they were acquired. In order to facilitate and contribute to the improvement of the practices adopted, was developed a free graphical application and open source, called OpenSeismic which is based on free software Seismic Un*x, widely used in the treatment of conventional seismic data used in the exploration of hydrocarbon reservoirs. The data used to validate the initiative were marine seismic data of high resolution, acquired by the laboratory of Geology and Marine Geophysics and Environmental Monitoring - GGEMMA, of the Federal University of Rio Grande do Norte UFRN, for the SISPLAT Project, located at the region of paleo-valley of the Rio Acu. These data were submitted to the processing flow developed by Gomes (2009), using the free software developed in this work, the OpenSeismic, as well other free software, the Seismic Un*x and the commercial software ProMAX, where despite its peculiarities has presented similar results

A produção do espaço rural no município de Ceará-Mirim

This research intended to study the process of production of the rural space in the municipal district of Little Ceará-Mirim, looking for to identify the transformations in him happened, above all in the last thirty years. Since the beginning of your historical formation, the area in study had as element modelador and transformer of the physiognomy of your territory the culture canavieira that printed in your economy and in your society marks of a powerful nobility. The sugar-cane is covered of a cyclical character facing acme phases and decadence, as the one that it happens at the present time. Simultaneously, the sphere rural cearimirinense is going by changes by the implantation of modern companies gone back to the papaya production destined to the internal market and more precisely to the external market. Of this context they also consist the supplying farms of this same product. In the group of the establishments in the rural landscape here analyzed, they still interfere the mixed farms, the ones that practice agriculture, the ones that were devoted to the livestock, as well as the farms and the ranches. Another innovation is the caprinocultura developed in modern molds, using the system voisin of pasture rodízio being constituted in a pioneering experience in Brazil. Of that reality they announce other elements, to example of the establishments, being configured as new forms of use of the soil. In the perspective of turning them productive, the challenge resides of overcoming the difficulties in them existent. The reality of the space in screen is replete of lacks in all the instances. It is inferred that the municipal district possesses an enormous potential, however the performance of the administrative components is seen as deficient. He becomes urgent that the municipal public power promotes changes, mainly in what it respects to the social area, with a better attendance to the rural communities, for them to act positively in the process of the development of this municipal district

Michael Faraday: o caminho da livraria à descoberta da indução eletromagnética

Estudando o trabalho experimental sobre eletromagnetismo realizado por Michael Faraday no início do século XIX, encontramos vários elementos que poderiam ser utilizados no Ensino de Ciências. Um conhecimento histórico sobre o trabalho experimental desenvolvido por Faraday e que o levou à descoberta da indução eletromagnética pode transmitir aos estudantes uma concepção mais adequada do processo de desenvolvimento da Ciência. No entanto, isso só pode ser feito utilizando-se um estudo detalhado e bem fundamentado do processo histórico ocorrido, deixando de lado as simplificações e os mitos que costumam ser apresentados.