A dissertação examina a relação entre conhecimento e sensação, sensação e pensamento, ser e perceber segundo Protágoras, Platão e Aristóteles, com o objetivo de mostrar o que é a percepção segundo o paradigma sofístico e o platônico e, por fim, qual é o lugar da tese aristotélica sobre a percepção diante desses dois paradigmas. Como resultado da investigação, temos que, para Aristóteles, diferentemente de Protágoras, a sensação não é responsável por todos os julgamentos, nem por discriminar todos objetos cognoscíveis; também para Aristóteles e diferentemente de Platão, o extremo oposto não é verdadeiro, a saber, que a sensação não discrimina seus próprios objetos. Conhecimento e sensação, portanto, não devem ser idênticos ou distintos de modo absoluto, nem o ser é absolutamente ser percebido, nem o ser percebido é absolutamente indeterminado, mas, para Aristóteles, o ser é, em parte, percebido e determinado pela faculdade perceptiva e, em parte, conhecido pelo intelecto. A dissertação, deste modo, pretende elucidar como o ser é conhecido pela percepção segundo Aristóteles, tratando assim de um ponto extremamente controverso, a saber: como a sensação discrimina seus próprios objetos sem a intervenção do pensamento, se tal discriminação resume-se apenas em processos fisiológicos ou é também uma atividade da alma e, se é também uma atividade da alma, em que sentido a alteração física ocorrida no corpo, conjuntamente com uma certa atividade da alma, constituem a percepção. / The dissertation investigates the relation between knowledge and perception, perception and thought, to be and to perceive according to Protagoras, Plato and Aristotle with the objective to show what is perception according to the sofistic and to the platonic paradigm and, finally, what is the place of the aristotelian thesis of perception in relation to these two paradigms. As a result of the investigation, we conclude that, for Aristotle, and differently from Protagoras, the perception is not responsable for all judgments, neither is responsable to discriminate all cognitive objects. Furthermore, for Aristotle and differently from Plato, the extreme opposite is not true, i.e., that perception does not discriminate its own objects. Knowledge and perception, therefore, must not be absolutely identical or distinct, neither the being is absolutely being perceived, neither the being perceived is absolutely indeterminated. However, according to Aristotle the being is, somehow, perceived and determinated by the perceiving faculty, and, somehow, known by the intelect. In this way, the dissertation intends to clarify how perception knows the being according to Aristotle by treating a very controversial point: how perception discriminates its own objects without the thought\'s intervention, if this discrimination is strictly a physiological process or is also an activity of the soul, and if it is also an activity of the soul, in which way the body\'s physical alteration conjoined with a certain activity of the soul constitute perception.

Permeadas pelos audiovisuais, as sociedades contemporâneas se veem cada vez mais envoltas por eles. Diferentemente do que se verificava até bem pouco tempo atrás, época em que o ato de assistir a um audiovisual implicava adequar-se às grades das emissoras ou cinemas e estar localizado geograficamente em um lugar que dispusesse de aparato técnico para aguardar o momento da exibição, hoje as telas invadiram todos os espaços e seus conteúdos são visualizados facilmente por meio de diferentes dispositivos móveis (celulares, tablets, entre outros) a qualquer momento. Mesmo num cenário marcado pela aceleração, tais materiais têm o potencial de despertar nas pessoas a sensação de que o tempo parou, resgatando memórias, possibilitando novas visões sobre assuntos que não estavam pautados para aquele momento. Partindo da hipótese de que os audiovisuais são instâncias que permitem a ampliação do olhar racional porque conseguem penetrar no sensível, esta investigação apresenta uma forma inovadora de sentir essa experiência. A partir deste ponto, não cabe mais apenas a expressão assistir, mas, sim, sentir. O métaporo, como procedimento de pesquisa no âmbito da Nova Teoria da Comunicação, permitiu que, por meio de relatos, fosse possível observar o fenômeno comunicacional em situações de ensino-aprendizagem. Finalmente, e ensejando um movimento de metaporização do metáporo, a pesquisa revela também as ressonâncias resultantes dessas vivências tendo por base o ponto de vista do sujeito (o professor) que relata e revive as experiências no momento em que as registra. / Permeated by audiovisuals, contemporary societies are increasingly surrounded by them. Unlike what happened until a very short time ago, when the act of watching an audiovisual implied adjusting to the grids of the broadcasters or cinemas and being located geographically in a place that had the technical apparatus to wait for the moment of the exhibition, today the screens have invaded all spaces and their contents are easily visualized through different mobile devices (cell phones, tablets, among others) at any time. Even in a scenario marked by acceleration, such materials have the potential to awaken in people the feeling that time has stopped, retrieving memories, enabling new visions on subjects that were not scheduled for that moment. Starting from the hypothesis that the audiovisuals are instances that allow the amplification of the rational look because they can penetrate the sensitive, this investigation presents an innovative way to feel this experience. From this point on, it is no longer just the use of the expression to watch, but to feel. Metaporo, as a research procedure in the scope of the New Theory of Communication, allowed that, through reports, it was possible to observe the communicational phenomenon in teaching-learning situations. Finally, and by fostering a metaporalization movement of the metáporo, the research also reveals the resonances resulting from these experiences based on the point of view of the subject (the teacher) who reports and relives the experiences at the moment of registering them.

Dois foram os pontos disparadores desta tese: 1) a consideração do acontecer humano pelo vértice da criatividade, que concebe que a existência experiencial do humano ocorre no espaço entre a realidade subjetivamente criada e a realidade objetivamente percebida, fazendo com que a criatividade se relacione com a possibilidade de sentir a vida como real e como digna de ser vivida; 2) a problemática referente à emergência de processos criativos na clínica psicanalítica. A partir do estudo e aprofundamento sobre quais seriam as bases que sustentam os dois referidos pontos, aproximei-me do conceito de espaço potencial winnicottiano que, em linhas gerais e nos termos do desenvolvimento emocional primitivo, designa uma área de afetação mútua entre mãe/bebê. O conceito assinala também um campo intermediário, uma terceira área da experiência associada aos fenômenos e objetos transicionais que se relaciona com a perpétua tarefa humana de manter as realidades interna e externa separadas, ainda que inter-relacionadas. Área intermediária, fora da qual não há a ilusão do contato necessária para o alcance do sentimento de realização de si. No contexto da clínica, a pertinência dessa área, de um espaço entre analista/analisante, despontou questões referentes ao manejo clínico, à sensibilidade do/a analista e ao estabelecimento da relação (contra)transferencial. Como resultado do esclarecimento de elementos inerentes e/ou daí decorrentes, adveio a proposição da Dimensão Sensível. Os fatores elencados nesta tese, para sua descrição, foram: a conquista da confiança; sinceridade; espelhamento; disponibilidade e devoção; preocupação/concern; empatia e brincar compartilhado. O problema de pesquisa surgiu, pois, de minha experiência clínica e meus principais autores de referência e diálogo foram Sándor Ferenczi e Donald W. Winnicott. O trabalho está dividido em quatro partes, sendo que as três primeiras se constituíram no sentido de esclarecer o que nomeio de espaço entre analista/analisante, espaço que funciona como sustentação da proposição da Dimensão Sensível e que anuncia, em termos de direção do tratamento, o encontro com a alteridade. A quarta e última parte do trabalho objetivou a descrição propriamente dita da Dimensão Sensível a partir de fatores que nela incidem e/ou dela advém (fatores acima elencados). Em síntese, com a Dimensão Sensível, sublinhei a importância do/a analista estar-com o outro/paciente em comunidade de destino, uma vez que tal é a própria condição do devir humano / Two were the initial points of this thesis: 1) the consideration of the human becoming by the vertex of creativity, which conceives that the experiential existence of the human occurs in the space between the reality subjectively created and the reality objectively perceived, linking creativity with the possibility of feeling life as something real and as something worth living, and; 2) the issues related to the emergence of creative processes in the psychoanalytic clinic. From the study on what are the foundations that support those two points, I approached the concept of Winnicott`s potential space that, in general lines and in the context of the primitive emotional development, means a mutual affectation area between mother/infant. This concept means also an intermediate field, a third area of experience associated with the transitional phenomena and transitional objects related with the perpetual human need to maintain the internal and external realities separated, yet interrelated. Intermediate area outside of which there is not the illusion of contact necessary to achieve the feeling of self-realization. In the clinical context, the relevance of this area, of a space in-between analyst/analysand, emerged questions about the clinical management, about the analyst`s sensibility and about the establishment of the (counter)transference relationship. As a result of the explanation of inherent elements therefrom, stemmed the proposition of the Sensitive Dimension. The factors listed in this thesis, for its description, were: the conquest of confidence; sincerity; mirroring; availability and devotion; concern; empathy, and; shared play. The research problem occurred, therefore, from my clinical experience and my main authors of reference and dialogue were Sandor Ferenczi and Donald W. Winnicott. The work is divided into four parts, of which the first three were constituted to clarify what I named of space in-between analyst/analysand, space which works as support of the proposition of the Sensitive Dimension and which announces, in terms of treatment direction, the encounter with otherness. The fourth and final part of the work aimed at the description of the Sensitive Dimension from factors that affect it and/or it comes (above listed factors). In short, with the Sensitive Dimension, I emphasized the importance of the analyst be-with the other/patient, by a community of destiny, since this is the very condition of human becoming

Made available in DSpace on 2015-02-04T21:22:32Z (GMT). No. of bitstreams: 1 Angela Cancherini.pdf: 921331 bytes, checksum: 647801caed40f9cddf13987174f58a8a (MD5) Previous issue date: 2009-06-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A presente dissertação de mestrado é de natureza empírica e teve por objeto de investigação o início da docência e os processos iniciais de socialização profissional. Teve por pressuposto que a entrada na profissão pode estimular o surgimento de um profissional crítico, investigador da própria prática, com consciência do coletivo onde se insere ou determinar um percurso de muitas dificuldades, fracassos e pouca aprendizagem dos saberes docentes. Considerei neste trabalho que a educação escolarizada é uma prática historicamente construída, responsável pela formação sócio-cultural das gerações, assim sendo, sua problemática não é só de responsabilidade dos atores próprios do seu lócus, mas também de cada um dos membros pertencentes a uma coletividade. A profissionalidade tem e deve ter sua especificidade, mas a arbitrariedade social impinge-lhe descaminhos. A questão que atravessa esse estudo é um pequeno recorte nesta complexa problemática, qual seja a de conhecer as condições de entrada na profissão. Os objetivos do trabalho foram: pesquisar as dificuldades, os sentimentos e as estratégias de superação dos obstáculos e produzir conhecimentos que possam subsidiar o acolhimento institucional do professor iniciante. Através da coleta de dados foi possível saber que o professor iniciante, ainda que tenha acumulado conhecimentos teóricos, tem dificuldades para enfrentar a complexidade da realidade escolar que se descortina diante dos seus olhos. Foi possível também compreender que, para ser um professor pesquisador, este iniciar é determinante, pois pode imprimir no professor um caráter, um modo reflexivo de viver a docência. Para chegar a tais compreensões, foi preciso encontrar uma metodologia capaz de envolver o olhar, o pensamento, o conhecimento do professor iniciante. O primeiro movimento investigativo correspondeu à aplicação de 81 questionários, com questões qualitativas e quantitativas, denominado questionário reflexivo. O segundo movimento, ao acompanhamento formativo de uma professora no intróito da profissão, sob forma de pesquisa-ação existencial, na perspectiva da escuta sensível. Estes momentos estão divididos com objetivos didáticos, mas coexistiram indivisamente. Para a discussão metodológica utilizei a noção de escuta sensível de René Barbier, desenvolvida na Abordagem Transversal, sua teoria psicossocial; fundamentei a epistemologia da pesquisa em Evandro Ghedin e M.ª Amélia S. Franco. No exame sobre as práticas docentes, embasei-me nas idéias de Gimeno Sacristán, Selma G. Pimenta e M.ª Amélia S. Franco. Para pensar as condições de trabalho docente, pautei-me em Selma G. Pimenta, José Contreras e Gimeno Sacristán. No entendimento sobre a socialização, fiz uso de Marcelo Garcia, Válter Guimarães, Menga Lüdke e Newton Balzan. Ao fundamentar os princípios da entrada na docência, utilizei-me de Simon Veenman, Michaël Huberman, Maurice Tardif, Marcelo Garcia, M.ª da Graça N. Mizukami, Emília Lima e vários autores brasileiros da atualidade, por fim o acolhimento institucional em Marcelo Garcia.

Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2018-08-30T13:43:17Z No. of bitstreams: 1 ANA PAULA NUNES DA SILVA - TESE (PPGMet) 2016.pdf: 25525790 bytes, checksum: 973f4462b19d6c6616cfec5845906a37 (MD5) / Made available in DSpace on 2018-08-30T13:43:17Z (GMT). No. of bitstreams: 1 ANA PAULA NUNES DA SILVA - TESE (PPGMet) 2016.pdf: 25525790 bytes, checksum: 973f4462b19d6c6616cfec5845906a37 (MD5) Previous issue date: 2016-05-06 / CNPq / O objetivo deste trabalho foi verificar a ocorrência de ilha de calor urbana (ICU) e sua influência no microclima na Região Metropolitana de Macapá (RMM), situada no Nordeste da Amazônia Legal, já que esta região vem apresentando um rápido processo de urbanização. Este processo de crescimento urbano provoca mudanças na cobertura e uso do solo, que podem modificar diretamente o balanço de energia em superfície gerando modificações na atmosfera que podem variar da escala local até a regional. Para verificar o crescimento urbano da RMM utilizou-se imagens do LANDSAT TM e OLI/TIRS de cinco diferentes épocas e através da classificação supervisionada MAXVER, verificou-se a expansão da classe área construída entre 1986 e 2015, classe que subentende a malha urbana. Uma análise climática com dados de precipitação e temperatura, permitiu verificar que possivelmente a variabilidade da temperatura e precipitação encontrada deve estar mais associado com eventos como El Niño do que com mudanças climáticas, entretanto, as tendências de aquecimento observadas podem estar relacionadas com o crescimento urbano. Para entender os impactos do crescimento urbano na modificação do microclima da RMM analisou-se índices de extremos climáticos de duas estações meteorológicas: uma situada no perímetro urbano e outra numa área rural da RMM. Verificou-se que as maiores mudanças térmicas ocorreram na área mais afastada da cidade, fato devido às mudanças de uso do solo na região periférica da RMM, enquanto que os índices relacionados a precipitação foram mais significativos na área urbana. Foram instalados termo-higrômetros em quatro pontos da RMM em áreas suburbanas e rurais para analisar os índices ICU, verificou-se que o índice sazonal de ICU foi maior (menor) nos meses de março a abril (outubro a dezembro), enquanto o índice horário obteve diferentes resultados de acordo com a época do ano: no mês chuvoso (seco) foi mais intenso no início da noite (do dia) com valor para a RMM atingiram valores máximos de 6°C (4,9°C). Na análise da Ilha de Calor Urbana em Superfície (ICUS) utilizaram-se cinco imagens de satélite e se verificou que em todas as imagens houve a comprovação de ICUS com núcleos nos centros da malhas urbanas das duas cidades da RMM e num distrito situado entre os dois centros urbanos analisados. Verificando os índices de conforto térmico gerados pela formação de ICU na RMM, comprovou-se que a região central da RMM apresenta os maiores valores e, que os índices de calor e de temperatura efetiva apresentaram boa relação com a percepção térmica da população de RMM, entrando o índice de conforto humano não se mostrou aplicabilidade na região em estudo. / The goal of the this Doctoral Thesis is to verify the occurrence of the Urban Heat Island (UHI) in the Macapá Metropolitan Area (RMM) Micro climate, which is placed in the Legal Amazon Northeast, due to the fact of the fast urbanization of the area. The development of the urban areas causes changes on the cover and use of the soil which could have a direct effect on the surface energy balance that may result in atmospheric modification in a local, or even regional,scale. In order to verify the RMM urban development, were used images from LANDSAT TM and OLI/TIRS of five different periods. Therefore, through the supervised classification MAXVER, it was possible to verify a expansion of the build-up area, the class of soil that covers the urban sheet, between 1986 and 2015. A climatic Analysis containing precipitation and temperature data showed that, probably, the variation of precipitation and temperature which appeared in the numbers presented are more likely to be associated with specific events, e.g. El Niño, than with the climatic changes. How ever, the growing heat trend observed during the research may be related to the urban development. In order to understand the impact of the development of the urban areas in the modification of the RMM micro climate, extreme climatic levels from two meteorologic bases were adopted: one of the those was placed within the urban perimeter; while the other was located in the RMM rural area. The data collected showed the biggest thermal changes took place further from the city, due to changes in the use of the soil in the isolated region of the RMM. About the levels related to precipitation, they were more significant in the urban areas. Term-hygrometers were installed in four different spots of the RMM, in suburban and rural areas, with the objective of analyzing the UHI levels. It was possible to verify that the season UHI levels were bigger (smaller) between March and April (October and December). The schedule levels showed different results along the year: during the rainy month (dry) it was more intense in the beginning of night (day) reaching maximum levels, in the RMM, of 6.0ºC (4.9ºC). For the analysis of the Urban Heat Island on Surface (SUHI) 5 satellite images were used and it was possible to verify in all of them the existence of ICUS with their cores located in the center of the urban sheets of the two cities that form the RMM and in a district placed between them. Trough the verification of the heat levels generated by the UHI formation in the RMM, it was possible to probe that the central area of the RMM presents the biggest values, and the IC and ITE levels are well connected to the RMM population's thermal perception. Considering the ICH it was evident the applicability of this Thesis in the area of the research.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-06-12T17:22:46Z No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-29T11:47:29Z (GMT) No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / Made available in DSpace on 2017-06-29T11:47:29Z (GMT). No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / O n´umero de aplica¸c˜oes m´oveis e sens´ıveis ao contexto aumenta a cada dia. Estas aplica¸c˜oes precisam ser testadas para assegurar um n´ıvel adequado de qualidade. Quando a aplica¸c˜ao m´ovel depende de informa¸c˜oes de contexto, sejam elas obtidas via sensores f´ısicos e/ou virtuais, a complexidade e o custo relativos `a etapa de testes aumenta consideravelmente, pois os sensores fornecem `a aplica¸c˜ao um volume maior e mais diverso de dados em compara¸c˜ao com a inser¸c˜ao direta pelo usu´ario, como ocorre nas aplica¸c˜oes tradicionais. Existem abordagens que almejam a gera¸c˜ao de casos de teste com informa¸c˜oes de contexto para estes aplicativos. Algumas delas utilizam modelos de contexto da aplica¸c˜ao para gerar casos de teste, ou ent˜ao usam padr˜oes de eventos de contexto. Estas abordagens possuem uma desvantagem no tipo de informa¸c˜ao que ´e gerada, cujo formato geralmente ´e uma s´erie de dados de sensores em baixo n´ıvel, como conjuntos de coordenadas GPS. Dados de contexto de alto n´ıvel, como a chegada, presen¸ca e sa´ıda de uma reuni˜ao, por exemplo, n˜ao s˜ao considerados por estas abordagens. Esta pesquisa tem como objetivo investigar como a gera¸c˜ao sistem´atica de casos de teste com dados de contexto em alto n´ıvel de abstra¸c˜ao pode ajudar o testador de aplicativos m´oveis. Nesta disserta¸c˜ao propomos um m´etodo (denominado CEmanTIKA Test Creator) para gera¸c˜ao de casos de teste onde o testador confecciona de forma sistem´atica os dados de contexto para os casos de teste. Para apoiar o testador na gera¸c˜ao dos casos de teste, combinamos os dados de contexto obtidos nos modelos de contexto da aplica¸c˜ao com padr˜oes de defeitos em fontes de contexto. Para avaliar a proposta implementamos um prot´otipo dentro da ferramenta de modelagem de contexto CEManTIKA CASE e integramos os casos de teste gerados ao simulador de contexto Context Simulator. Realizamos um estudo emp´ırico com uma abordagem qualitativa na qual participantes volunt´arios executaram o m´etodo proposto em uma aplica¸c˜ao m´ovel de teste denominada NoCamInMeeting. Ao analisar os dados obtidos, conclu´ımos que a abordagem gera casos de teste com boa cobertura, embora com alguma redundˆancia, e tamb´em que a divis˜ao sistem´atica das tarefas para a gera¸c˜ao dos casos de teste ajuda os testadores a poupar tempo e esfor¸co.

MARINHO, Fabiana Gomes. PRECISE - Um processo de verificação formal para modelos de características de aplicações móveis e sensíveis ao contexto. 2012. 181 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T19:42:02Z No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:39:31Z (GMT) No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) / Made available in DSpace on 2016-07-25T11:39:31Z (GMT). No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) Previous issue date: 2012 / SPLc have been used to develop different types of applications, including the ones that run on mobile devices and are able to adapt when the context elements in which they are located change. These applications can change due to variations in their execution environment and inconsistent adaptations can occur, compromising the expected behavior. Then there is a need for creating a verification process to check the correctness and consistency of these SPLs as well as to check the correctness of both derived products and adapted products from these SPLs. Thus, this work proposes PRECISE - A Formal Verification Process for Feature Models of Mobile and Context-Aware Applications. PRECISE helps to identify defects in the variability modeling of an SPL for mobile and context-aware applications, minimizing problems that can take place during the execution of products generated from this SPL. It is worth noting that PRECISE is defined based on a formal specification and a set of well-formedness properties developed using First-Order Logic, which are prerequisites for the achievement of an unambiguous variability modeling. To evaluate PRECISE, a validation is performed from the formal specification and well-formedness properties defined in the process. This validation intends to show that PRECISE is able to identify defects, anomalies and inconsistencies in a variability model of an SPL for mobile and context-aware applications. In this validation, five different techniques are used: UML Profile, OCL, Propositional Logic, Prolog and Simulation. While minimizing the defects and inconsistencies in the variability models of an SPL, PRECISE still benefits from the generality and flexibility intrinsic to the formal notation used in its specification. / As LPSs, além do seu uso em aplicações tradicionais, têm sido utilizadas no desenvolvimento de aplicações que executam em dispositivos móveis e são capazes de se adaptarem sempre que mudarem os elementos do contexto em que estão inseridas. Essas aplicações, ao sofrerem alterações devido a mudanças no seu ambiente de execução, podem sofrer adaptações inconsistentes e, consequentemente, comprometer o comportamento esperado. Por esse motivo, é essencial a criação de um processo de verificação que consiga checar a corretude e a consistência dessas LPSS, bem como checar a corretude tanto dos produtos derivados como dos produtos adaptados dessas LPSs. Sendo assim, nesta tese de doutorado é proposto o PRECISE - um Processo de Verificação Formal para Modelos de Características de Aplicações Móveis e Sensíveis ao Contexto. O PRECISE auxilia na identificação de defeitos na modelagem da variabilidade de uma LPS para aplicações móveis e sensíveis ao contexto e, assim, minimiza problemas que ocorreriam durante a execução dos produtos gerados a partir dessa LPS. É importante ressaltar que o PRECISE é definido com base em uma especificação formal e em um conjunto de propriedades de boa formação elaborados usando Lógica de Primeira Ordem. Essa especificação é um pré-requisito para a realização de uma modelagem da variabilidade sem ambiguidades. Para avaliar o PRECISE, uma validação é realizada a partir da especificação formal e das propriedades de boa formação definidas no processo. Essa validação tem como objetivo mostrar que o PRECISE consegue identificar defeitos, anomalias e inconsistências existentes em um modelo de variabilidades de uma LPS para aplicações móveis e sensíveis ao contexto. Nessa validação, cinco técnicas diferentes são utilizadas: Perfil UML, OCL, Lógica Proposicional, Prolog e Simulação. Além de minimizar os defeitos e inconsistências dos modelos de variabilidades das LPSs, o PRECISE ainda se beneficia da generalidade e flexibilidade intrínsecas à notação formal usada na sua especificação.

ROCHA, Lincoln Souza. CAEHV: um método para verificação de modelos do tratamento de exceção sensível ao contexto em sistemas ubíquos. 2013. 113 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2013. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-20T12:34:03Z No. of bitstreams: 1 2013_tese_lsrocha.pdf: 1533788 bytes, checksum: a51ba242829e63d58d2f966281d49c4a (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:59:14Z (GMT) No. of bitstreams: 1 2013_tese_lsrocha.pdf: 1533788 bytes, checksum: a51ba242829e63d58d2f966281d49c4a (MD5) / Made available in DSpace on 2016-07-25T11:59:14Z (GMT). No. of bitstreams: 1 2013_tese_lsrocha.pdf: 1533788 bytes, checksum: a51ba242829e63d58d2f966281d49c4a (MD5) Previous issue date: 2013 / The context-aware adaptive software, also known as self-adaptive software, represents a specic class of complex software systems, which has as primary requirement the ability to monitor its execution environment (physical and logical) and reacts upon change, either adapting its internal structure and behavior or performing automatic tasks. In ubiquitous environments, context-aware adaptive software plays a fundamental role, as it must be designed to interact with the physical environment, aiming to transparently supporting users in their daily activities, improving or hiding the interaction between human and computer. In that direction, the application domain in which context-aware adaptive software may be applied is broad (e.g., smart home, mobile visit guide, gaming, health or rescue missions), requiring a high-degree of reliability, not only capable of performing its functional requirements, but also dealing with abnormal conditions, avoiding occasional failures. Although context-aware exception handling has been used to improve robustness and reliability levels of context-aware adaptive software, it requires from the software designers a good understanding of the application domain, turning out to be a complex and error-prone activity. In order to achieve the expected results of using context-aware exception handling, it is mandatory to follow a rigorous design approach, trying to minimize the number of design faults. In this scenario, this doctoral thesis proposes a method for model checking context-aware exception handling, named CAEH!(Context-Aware Exception Handling Verication). It provides a set of abstractions that permits designers to model the context-aware exceptional behavior and translates it to a Kripke structure. Additionally, a set of behavior properties is established, attempting to aid designers to identify specic types of design faults. To evaluate the feasibility of the proposed method, a tool, called JCAEH!, for modeling and verication of context-aware exceptional behavior is developed, and fault injection scenarios are modeled to analyze its eectiveness in identifying design faults. / Os sistemas de software adaptativos sensíveis ao contexto, também conhecidos como auto-adaptativos, representam uma classe particular de sistemas de software complexos. Esse tipo de sistema de software tem como requisito básico observar o ambiente (físico e lógico) em que executa e reagir de forma apropriada às mudanças, quer seja adaptando sua estrutura e comportamento ou executando tarefas de forma automática. Nos ambientes ubíquos, o software adaptativo sensível ao contexto assume um papel fundamental, sendo projetado para interagir com o ambiente físico com intuito de auxiliar as pessoas, de forma transparente, na execução das suas atividades cotidianas, tornando a interação humano-computador mais natural. Devido ao seu amplo domínio de aplicação (e.g., casas inteligentes, guias móveis de visitação, jogos, saúde e missões de resgate), os sistemas de software adaptativo sensível ao contexto precisam ser confiáveis, para cumprir com a sua função e lidar com situações anormais, evitando eventuais falhas. Nesse sentido, o tratamento de exceção sensível ao contexto vem sendo empregado na melhoria dos níveis de robustez e confiabilidade desse tipo de sistema de software. Entretanto, o projeto e implementação do tratamento de exceção sensível ao contexto exige dos projetistas insights e expertise de domínio, sendo uma atividade complexa e propensa a erros. Desse modo, para que o tratamento de exceção sensível ao contexto atinja os objetivos esperados, é necessário que ele seja projetado de forma rigorosa, buscando eliminar ao máximo o número de faltas de projeto (design faults). Nesse cenário, esta tese de doutorado propõe um método para verificação de modelos do tratamento de exceção sensível ao contexto, denominado CAEHV (Context-Aware Exception Handling Verification). O CAEHV provê um conjunto de abstrações que permitem aos projetistas modelarem o comportamento excepcional sensível contexto e mapeá-lo para uma estrutura de Kripke. Além disso, um conjunto de propriedades comportamentais é estabelecido com o intuito de auxiliar os projetistas no processo de identificação de determinados tipos de faltas de projeto. Por fim, com o objetivo de avaliar a viabilidade do método, uma ferramenta para a modelagem e verificação do comportamento excepcional sensível ao contexto foi desenvolvida e cenários de injeção de faltas (fault injection) foram modelados para analisar a sua efetividade na identificação de faltas de projeto no modelo.

Arte em partilha trata das práticas colaborativas em arte contemporânea em seu processo de consolidação. Ao se utilizar do termo “partilha do sensível”, de Jaques Rancière, a pesquisa reflete sobre estas práticas a partir de três pontos: desmaterialização do objeto da arte, espaço de ocorrência e o outro. No capítulo OUTRA COISA, estas práticas são tratadas como elementos de novas formas de fazer na arte contemporânea e de como o objeto-coisa transforma-se em objeto processo. No capítulo OUTRO LUGAR a questão da espacialidade e endereçamento destas ações é discutidas. Em O OUTRO, é refletido de como a inserção do outro no processo artístico perpassa a questão do espectador. Ao longo do texto, são utilizados projetos dos artistas: Ricardo Basbaum, Ana Laura Lopez de La Torre, Sebastian Romo, Ana Maria Saavedra e Luis Alárcon (Galeria Metropolitana), Antoni Abad, Leticia Bertagna e Janice Martins Sitya Appel. / Art in distribution deals with collaborative and participative practices in contemporary art in its consolidation process. Using the term "distribution of the sensible" by Jaques Rancière, the research reflects on these practices from three perspectives: dematerialization of the art object, spatiality and the other. In chapter OTHER THING, these practices are analyzed as elements of new ways of art making in contemporary art and how the object-thing transforms into an object-process. In chapter OTHER PLACE, the issue of spatiality and addressment of these actions is discussed. THE OTHER reflects how the inclusion of the other in artistic process permeates the question of the spectator. Ricardo Basbaum, Ana Laura Lopez de la Torre, Sebastian Romo, Ana Maria Saavedra and Luis Alarcon (Metropolitan Gallery), Antoni Abad, Leticia Bertagna and Janice Martins Sitya Appel are the artists used as cases for this research.

Submitted by Santos Davilene (davilenes@ufba.br) on 2016-05-25T14:13:14Z No. of bitstreams: 1 Falcao_Dissertacao_MMCC_01082014.pdf: 8200381 bytes, checksum: b9473677ba0d01645a9c8c4f103b1161 (MD5) / Made available in DSpace on 2016-05-25T14:13:14Z (GMT). No. of bitstreams: 1 Falcao_Dissertacao_MMCC_01082014.pdf: 8200381 bytes, checksum: b9473677ba0d01645a9c8c4f103b1161 (MD5) / As empresas gastam muito dinheiro em publicidade para aumentar as suas vendas, entretanto a razão entre o que é investido e o que efetivamente gera vendas é baixa. Aumentar a utilidade dos anúncios é um desafio constante em publicidade que visa incrementar o retorno dos investimentos dos anunciantes, reduzir os desperdícios e elevar suas receitas. Publicidade ubíqua é o nome dado ao emprego de técnicas de computação ubíqua para solucionar problemas na área de publicidade, e um dos aspectos mais importantes de computação ubíqua é sensibilidade ao contexto. Cupons de desconto são uma forma de propaganda bastante popular. Estudos indicam que elementos contextuais (e.g. distância entre o consumidor e a loja, valor do desconto) influenciam a utilidade de cupons físicos (medida pela taxa de resgate) e que há sinergia entre eles. Esta pesquisa objetiva avaliar a influência do uso de contexto na utilidade de cupons de desconto para restaurantes de fast food distribuídos através de smartphones. Para isto, foi realizada, de forma incremental, a modelagem do contexto, partindo de um levantamento dos elementos contextuais do domínio. Este levantamento foi revisado e em seguida submetido à opinião de consumidores reais, que avaliaram a relevância de cada elemento contextual, apontaram novos elementos e apresentaram relações relevantes entre eles. A identificação dos elementos contextuais, suas relevâncias e suas relações deram origem a uma representação de contexto que foi chamada de Modelo de Sinergia Contextual. A partir da modelagem, foram realizadas três avaliações experimentais: primeiro, um estudo preliminar de sete dias com cinco voluntários, que instalaram protótipos em seus smartphones para perceberem os cupons; depois, um experimento invivo de trinta dias com dez participantes, através do uso de protótipos; e, finalmente, um experimento in virtuo com setenta participantes, realizado por meio de uma aplicação web. Este experimento final permitiu concluir que o uso de contexto aumenta a taxa de resgate de cupons de desconto no domínio investigado.