LIMA, Rafael de. CatchML: uma linguagem de domínio específico para modelagem do tratamento de exceção sensível ao contexto. 2013. 111 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2013. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T15:18:44Z No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T13:54:36Z (GMT) No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) / Made available in DSpace on 2016-07-20T13:54:36Z (GMT). No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) Previous issue date: 2013 / In ubiquitous systems, due to the complexity added by the use of contextual information, the application of context aware exception handling (CAEH) techniques has many challenges and in the literature several approaches have been found to define concepts and abstractions useful for modeling CAEH. However, only one of these approaches proposes a method for specification and verification of models in the field of ubiquitous systems, which provides a tool for specifying the CAEH model using a Java API, and also generates an error report to a text file. The disadvantage of this approach is that the designer should strive to understand programming details that are irrelevant to the analysis process of the exceptional behavior of the system. Then, this work aims to propose a domain specific language for modeling CAEH, which provides abstractions and constructors that allow to express relevant concepts and make the task of designing CAEH models simpler and more intuitive. In addition, the language is integrated with the tool mentioned before that allows automatic model verification. The errors generated by the verifier are now shown directly in the source code making their identification and correction easier for the designer. In order to evaluate the language, a case study is conducted to provide evidence of its viability as an alternative to modeling CAEH. / Em sistemas ubíquos, devido à complexidade inserida pela utilização de informações contextuais, a aplicação de técnicas de tratamento de exceção sensível ao contexto (TESC) tem sido objeto de estudo para muitos pesquisadores. Na literatura são encontradas diversas abordagens que definem conceitos e abstrações úteis para modelagem de TESC. Entretanto, apenas uma dessas abordagens propõe um método para especificação e verificação de modelos no domínio de sistemas ubíquos o qual fornece uma ferramenta para especificação do modelo de TESC através de uma API Java, e gera ainda um relatório de erros em um arquivo texto. A desvantagem dessa abordagem é que o projetista deve se esforçar para entender detalhes de programação irrelevantes ao processo de análise do comportamento excepcional do sistema. Esta dissertação tem portanto como objetivo propor uma linguagem de domínio específico para modelagem de TESC, com o intuito de oferecer abstrações e construtores que permitem expressar conceitos pertinentes e tornar a tarefa de projetar modelos de TESC mais simples e intuitiva. Além disso, a linguagem é integrada com a ferramenta citada anteriormente, o que permite realizar a verificação do modelo de forma automática. Os erros gerados pelo verificador são mostrados agora diretamente no código do modelo facilitando a identificação e correção dos mesmos pelo projetista. A fim de avaliar a linguagem, um estudo de caso é realizado para fornecer indícios de sua viabilidade como alternativa para modelagem de TESC.

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.

LEMOS, Fabrício Dias Alves. Uma abordagem para inserção de sensibilidade ao contexo em técnicas de recomendação baseadas em conhecimento. 2012. 102 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-08-04T12:16:49Z No. of bitstreams: 1 2012_dis_fdalemos.pdf: 2928114 bytes, checksum: 0e0110fab82736ead8bd32ae8b1e2a15 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-08-05T15:45:39Z (GMT) No. of bitstreams: 1 2012_dis_fdalemos.pdf: 2928114 bytes, checksum: 0e0110fab82736ead8bd32ae8b1e2a15 (MD5) / Made available in DSpace on 2016-08-05T15:45:39Z (GMT). No. of bitstreams: 1 2012_dis_fdalemos.pdf: 2928114 bytes, checksum: 0e0110fab82736ead8bd32ae8b1e2a15 (MD5) Previous issue date: 2012 / O principal desafio de um Sistema de Recomendação é conseguir identificar e recomendar itens que tenham maior chance de corresponder aos interesses de seus usuários que, em geral, possuem uma natureza bastante subjetiva e heterogênea. É importante, então, que os Sistemas de Recomendação possam recomendar itens personalizados a partir da identificação do perfil de cada usuário. Entretanto, muitas vezes, o perfil do usuário não é suficiente para que o sistema consiga identificar completamente seus interesses. A utilização do sistema em um contexto diferente do habitual pode acarretar em um resultado insatisfatório para a recomendação, sendo necessária sua adaptação ao novo contexto. Este trabalho propõe uma abordagem para inserção de sensibilidade ao contexto em Sistemas de Recomendação, a qual utiliza, além do contexto do usuário, o próprio contexto dos itens recomendados. Para tal, técnicas de recomendação baseadas em conhecimento são adaptadas para incluir regras de domínio com caráter contextual. A abordagem proposta é utilizada na concepção de um sistema de recomendação de fotos sensível ao contexto que explora o contexto do usuário e o contexto de geração das fotos para a realização da recomendação. Através do sistema desenvolvido, a abordagem é validada a partir de experimentos com usuários, nos quais são avaliados a qualidade da recomendação e os ganhos obtidos com a utilização das informações contextuais.

GOMES, Francisco Anderson de Almada. Um serviço de offloading de dados contextuais com suporte à privacidade. 2017. 95 f. Dissertação (Mestrado em Ciência da Computação)- Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Jonatas Martins (jonatasmartins@lia.ufc.br) on 2017-05-26T13:43:05Z No. of bitstreams: 1 2017_dis_faagomes.pdf: 5747766 bytes, checksum: 678be7c6e0c8e999826aa6d7060bebb5 (MD5) / Approved for entry into archive by Jairo Viana (jairo@ufc.br) on 2017-05-26T17:04:18Z (GMT) No. of bitstreams: 1 2017_dis_faagomes.pdf: 5747766 bytes, checksum: 678be7c6e0c8e999826aa6d7060bebb5 (MD5) / Made available in DSpace on 2017-05-26T17:04:18Z (GMT). No. of bitstreams: 1 2017_dis_faagomes.pdf: 5747766 bytes, checksum: 678be7c6e0c8e999826aa6d7060bebb5 (MD5) Previous issue date: 2017 / Mobile devices became a common tool in our daily routine. Mobile applications are demanding access to contextual information increasingly. For instance, applications require user’s environment data as well as their profiles in order to adapt themselves (interfaces, services, content) according to this context data. Mobile applications with this behavior are known as context-aware applications. Several software infrastructures have been created to help the development of this applications. However, it was verified that most of them do not store history of the contextual data, since mobile devices are resource constrained. They are not built taking into account the privacy of contextual data either, due the fact that applications may expose contextual data without user consent. This dissertation addresses these topics by extending an existing middleware platform that help the development of mobile context-aware applications. This work present a service named COP (Contextual data Offloading service with Privacy Support) and is based in: (i) a context model, (ii) a privacy policy and (iii) synchronization policies. The COP aims to store and process the contextual data generated from several mobile devices, using the computational power of the cloud. To evaluate this work we developed an application that uses both the migration and the privacy mechanism of the contextual data of the COP. Other two experiments were made. The first experiment evaluated the impact of contextual filter processing in mobile device and remote environment, in which the processing time and energy consumption were measured. In this experiment was possible to conclude that the migration of data from mobile device to a remote environment is advantageous. The second experiment evaluated the energy consumption to send contextual data. / Dispositivos móveis tornaram-se uma ferramenta comum no dia a dia das pessoas. Aplicações móveis cada vez mais exigem o acesso às informações contextuais. Por exemplo, aplicações requerem os dados do ambiente do usuário, bem como dos seus perfis, a fim de se adaptarem (interfaces, serviços, conteúdo) de acordo com esses dados de contexto. Aplicações com esse comportamento são conhecidas como aplicações sensíveis ao contexto. Várias infraestruturas de software foram criadas para ajudar no desenvolvimento dessas aplicações. No entanto, foi verificado que a maioria delas não possui um histórico dos dados contextuais, uma vez que os dispositivos móveis são limitados em recursos de armazenamento. Também foi verificado que a maioria delas não é construída levando em conta a privacidade dos dados contextuais, o que pode levar à exposição desses dados sem o consentimento do usuário. Esta dissertação aborda tais tópicos, estendendo uma plataforma de middleware existente que ajuda o desenvolvimento de aplicativos móveis e sensíveis ao contexto. Este trabalho apresenta um serviço denominado COP (Contextual data Offloading service with Privacy Support) e é baseado em: (i) um modelo de contexto, (ii) uma política de privacidade e (iii) em políticas de sincronização de dados. O COP visa armazenar e processar os dados contextuais gerados a partir de vários dispositivos móveis, utilizando o poder computacional da nuvem. Para avaliar este trabalho foi desenvolvida uma aplicação que utiliza tanto a migração como o mecanismo de privacidade dos dados contextuais do COP. Outros dois experimentos foram feitos. O primeiro experimento avaliou o impacto da execução de filtros contextuais no dispositivo móvel e no ambiente remoto, em que foi medido o tempo e gasto energético desse processamento. Nesse experimento foi possível concluir que a migração de dados de um dispositivo móvel para um ambiente remoto é vantajosa. O segundo experimento avaliou o gasto energético para o envio dos dados contextuais.

Gagueira usualmente inicia ao redor dos três anos de idade, durante o período da aquisição da linguagem, quando as habilidades fonoarticulatórias são adquiridas e expandidas. Isso não é uma simples coincidência. Há muitas conexões e interações entre o desenvolvimento da linguagem e a emergência da gagueira na criança. Para verificar as características das palavras gaguejadas por adultos e crianças falantes do Português Brasileiro, quatro hipóteses foram levantadas e os objetivos para testá-las foram: 1) investigar a localização das gagueiras nas palavras, a classificação silábica e a tonicidade, as tipologias mais frequentes, e a influência do gênero e da faixa etária; 2) verificar o efeito do tempo nas características das palavras gaguejadas (foram escolhidos quatro quinquênios: 1986-1990; 1991-1995; 1996-2000 e 2001-2005); 3) verificar as semelhanças e diferenças entre hesitações normais e gagueira, e 4) desenvolver uma metodologia facilitadora da transcrição e da análise de frequência das palavras coletadas. Foram transcritas as primeiras 100 palavras faladas por sujeitos sem tratamento prévio, na primeira entrevista, num total de 12000 palavras faladas por 60 adultos e 60 crianças, das quais 1326 eram gaguejadas. Um programa de Semântica Eletrônica foi criado para verificar a frequência das ocorrências. Nenhuma diferença significativa foi revelada pela análise estatística entre todas as variáveis investigadas. Bloqueios e repetições foram mais frequentes do que prolongamentos e as gagueiras localizaram-se em 97% das primeiras sílabas das palavras. Extensão e tonicidade silábica não influenciaram a posição da gagueira na palavra. Gênero e faixa etária, assim como o tempo também não mudaram as características das palavras gaguejadas. As características das palavras gaguejadas em 2005 são as mesmas das palavras gaguejadas em 1986. Entre as hesitações normais e a gagueira, as semelhanças foram menores que as diferenças. Hesitações ocorrem entre palavras e gagueiras ocorrem dentro das palavras. O programa de Semântica Eletrônica se mostrou altamente facilitador para a análise da frequência das palavras coletadas. A regularidade encontrada não é das pessoas que gaguejam. A regularidade da gagueira é a regularidade da linguagem. / Stuttering usually begins around three years of age, during the language acquisition time, when the speech-language skills are acquired and expanded. This is not a simple coincidence. There are many connections and interactions between language development and the emergence of stuttering in children. To check the characteristics of words stuttered by adults and children speakers of Brazilian Portuguese, four hypotheses were developed and the goals to test them were: 1) to investigate the stuttering location in words, the syllabic classification and stress, the most common types, and the influence of gender and age group; 2) to determine the effect of time on the characteristics of stuttered words (four year periods were chosen: 1986-1990, 1991-1995, 1996-2000 and 2001-2005); 3) to verify the similarities and differences between normal hesitation and stuttering, and 4) to develop a methodology to facilitate the transcription and analysis of collected words, through a Semantic Web program. The first 100 words spoken by not previously treated subjects, during their first interview, were recorded and transcribed. From the 12,000 words spoken by 60 adults and 60 children, 1,326 were stuttered. An Electronic Semantics program was created to verify the frequency of occurrences. Results: No significant differences were revealed by the statistical analysis for all variables investigated. Blocks and repetitions were more frequent than prolongations; stutterings were located 97% of the time on the first syllables of words. Extension and syllabic stress did not influence the position of stuttering on the word. Gender and age, as well as time, did not change the characteristics of stuttered words. The characteristics of the stuttered words of 2005 are the same as the stuttered words of 1986. Among normal hesitations and stuttering, there were more differences than similarities. The Electronic Semantic program was highly efficient for transcription and analysis of frequency of the collected words. The found regularity of results is not from the people who stutter. The regularity of stuttering is the regularity of language.

Made available in DSpace on 2016-08-03T12:20:35Z (GMT). No. of bitstreams: 1 Jonas Barreto.pdf: 396208 bytes, checksum: bc99df79c59f5377314dbcd3005b493c (MD5) Previous issue date: 2008-03-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente trabalho teve como um de seus objetivos analisar a inserção e a expansão do metodismo em Belo Horizonte MG, na perspectiva da práxis pastoral da Igreja, no período de 1892 a 1930, a fim de demonstrar que esse grupo, que foi o primeiro de natureza protestante a chegar à capital de Minas Gerais, desenvolveu sua ação missionária, caracterizada pela educação e evangelização. Sua inserção se dá num contexto marcado pelos ideais de modernização, inspirados no liberalismo e positivismo, quando profundas transformações na esfera econômica, política, nas concepções urbanístico-arquitetônicas e nos aspectos socioculturais se processavam na sociedade brasileira, especialmente entre o rompimento com o passado colonial e o desejo de modernização identificado na mudança do Império para a República, alterando assim o jeito do Brasil ser nação e apontando novos caminhos de diversidade religiosa. Esse novo momento permitiu ao metodismo construir sua identidade missionária a partir da relação da Igreja com a cidade e a cultura. A pesquisa, ao realçar ênfases missionárias do metodismo histórico e brasileiro, objetiva também resgatar a identidade do metodismo à luz da realidade urbana, entendendo ser essencial para ressignificar a práxis missionária nos dias de hoje. As ênfases do metodismo nascente, tanto na Inglaterra como nos EUA, e brasileiro puderam ajudar a construir uma nova proposta de missão para as grandes metrópoles brasileiras como Belo Horizonte. A construção dessa nova proposta nos contextos urbanos passou pelo redimensionamento de ênfases do metodismo (santificação transformadora, espiritualidade relevante, vocação pública, comunidade solidária), contribuindo na construção de uma pastoral que seja relevante para o contexto urbano.

Made available in DSpace on 2016-08-03T16:16:20Z (GMT). No. of bitstreams: 1 Claudio Pinheiro.pdf: 435765 bytes, checksum: e5c1516db29adcdbcebe0109f02a9989 (MD5) Previous issue date: 2006-06-27 / They present research considers to analyse the occurred educational context in the period of the military dictatorship, searching to extract referryng historial and educational aspects to the period ( 1964 1985). It is carried through with degree as a research professors old of the public net of education of the city of Santo André (SP). It was opted to interviewing six professors (teachers) who had acted during this historical context. To ionvestigate, the historial metodológica boarding of qualitative matrix was used, choosing the memory as principal source of study. For in such a way, one appealed the contribuitions to it of Bosi (Memory and society: souvenirs of old, 1984), Thompson (The voice of Past, 1992), Romanelli (History of the Education in Brazil, 1978), Freitag (Been school and socity, 1980), Góes (The blow in the Education, 1996), Wedge (Education and Social Development in Brazil, 1977), Cardoso (For a critical one of the gift, 2001), Vieira (Been and social misery in Brazil, 1995), Minguili (Direction of School of 2º degree in the state of SP, 1984), Arelaro (The extension of basic education in Brazil, 1988), Teixeira (Politics and administration of teaching staff, 1988), Hilsidorf (History of the Brazilian education, 2005), Gadotti (Education and power, 2001), Full brother (Been military man and education in Brazil, 1990), Saviani (School and democracy, 1986), Saints (Teachers in times of changes, 2003). The worked hypotheses is concentrated in interpreting the position of the professors who had acted in the period in question, relative to the regimen politician whom if it installed in the coutry during this time, and of that it forms this reed echo in its teaching work. In the analysis of politico/social and educational the context, the revision was appealed to it that had supplied subsidies to understand and to show the voice of Dictatorship and Education. / A presente pesquisa propõe analisar o contexto educacional ocorrido no período da ditadura militar, buscando extrair aspectos históricos e educacionais referentes ao período (1964- 1985). Trata-se de uma pesquisa realizada com professores do antigo segundo grau da rede pública de ensino do Município de Santo André (S.P). Optou-se por entrevistar seis professores que atuaram durante esse contexto histórico. Para investigar, foi utilizada a abordagem histórica-metodológica de cunho qualitativo, elegendo a memória como fonte principal de estudo. Para tanto, recorreu-se às contribuições de Bosi (Memória e sociedade: lembranças de velhos, 1984), Thompson (A voz do Passado, 1992), Romanelli (História da Educação no Brasil, 1978), Freitag (Escola Estado e Sociedade, 1980), Góes (O golpe na Educação, 1996), Cunha (Educação e Desenvolvimento Social no Brasil, 1977), Cardoso (Para uma crítica do presente, 2001), Vieira (Estado e miséria social no Brasil, 1995), Minguili (Direção de Escola de 2º grau no Estado de São Paulo, 1984), Arelaro (A extensão do ensino básico no Brasil, 1988), Teixeira (Política e administração de pessoal docente, 1988), Hilsdorf (História da educação brasileira, 2005), Gadotti (Educação e poder, 2001), Germano (Estado militar e educação no Brasil, 1990), Saviani (Escola e democracia, 1986), Santos (Professoras em tempos de mudanças, 2003). A hipótese trabalhada centra-se em interpretar a postura dos professores que atuaram no período em questão, relativa ao regime político que se instalou no País durante esta época, e de que forma isso repercutiu no seu trabalho docente. Na análise do contexto político/social e educacional, recorreu-se à revisão que forneceram subsídios para compreender e explicitar a voz do professor.

RODRIGUES, Maria Coeli Saraiva. Multimodalidade e tradição discursiva: um estudo sobre gênero anúncio publicitário. 2011. 163f. – Dissertação (Mestrado) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2011. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2014-08-18T14:08:33Z No. of bitstreams: 1 2011_dis_mcsrodrigues.pdf: 4507942 bytes, checksum: fbe25bc85d25ea632c6d407948072561 (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2014-08-18T16:48:05Z (GMT) No. of bitstreams: 1 2011_dis_mcsrodrigues.pdf: 4507942 bytes, checksum: fbe25bc85d25ea632c6d407948072561 (MD5) / Made available in DSpace on 2014-08-18T16:48:05Z (GMT). No. of bitstreams: 1 2011_dis_mcsrodrigues.pdf: 4507942 bytes, checksum: fbe25bc85d25ea632c6d407948072561 (MD5) Previous issue date: 2011 / This research aimed at perceiving how the verbal language was gradually associated with other semiosis in the construction of the genre advertisement. Our hypothesis was that, through the insertion of semiotic resources in this genre, multimodality would become a genuine discursive tradition in advertisements construction. To reach this objective, we developed, initially, a discussion drawn on the concept of Discursive Tradition, proposed by Kabatek (2004), and in the multimodal theory developed by Kress and Van Leeuwen (1996). Concerning to the corpus, we selected 54 printed advertisements of cars, spread since the early 1920s until the first decade of the XXI century, which are the basis for our analysis. To analyze the corpus, we made use of Zavam’s (2009) theoretical and methodological analysis and Kress and Van Leeuween’s (1996) methodology for a multimodal analysis. The results of our analysis showed that the multiple semiosis in advertisements are important elements for the construction of the intended meaning in the message. Moreover, we verified that they are a genuine discursive tradition because their visual arrangement contributes for the construction of meaning and because multimodality is constantly verified in the genre advertisement. / Esta pesquisa teve como objetivo perceber de que maneira a linguagem verbal foi se associando a outras semioses, na constituição do gênero anúncio publicitário. Nossa hipótese foi que, com a inserção dos recursos semióticos nesse gênero, a multimodalidade passaria a ser uma genuína tradição discursiva na constituição dos anúncios. Para alcançarmos esse objetivo, desenvolvemos, inicialmente, uma discussão alicerçada no conceito de Tradição Discursiva, proposto por Kabatek (2004), e na teoria multimodal desenvolvida por Kress e Van Leeuwen (1996). Quanto à elaboração do corpus, partimos para a seleção de 54 anúncios impressos de carros, veiculados no início da década de 1920 até a primeira década do século XXI, os quais formaram a base de nossa análise. Para analisarmos o corpus, utilizamos o modelo teórico-metodológico proposto por Zavam (2009), em conjunto com a metodologia para análise multimodal proposta por Kress e Van Leeuwen (1996). A partir da análise, foi possível verificar que as múltiplas semioses, dentro do gênero anúncio publicitário, apresentaram-se como elementos que auxiliam na construção do sentido da mensagem pretendida pelo enunciador, bem como se mostram como uma genuína tradição discursiva, uma vez que, além da utilização do arranjo visual conspirar em favor da construção do sentido, a multimodalidade se mostra constante dentro gênero anúncio.

[pt] Serviços para disseminação de informações (serviços push) têm sido amplamente utilizados, em particular para aplicações envolvendo usuários móveis. Estes serviços geralmente atendem a dispositivos com recursos bem diferenciados e em contextos de execução (conectividade sem fio, reserva de energia, etc.) distintos, fazendo necessário adaptar o conteúdo difundido dinamica- e individualmente para cada cliente. Uma vez que muitas adaptações de conteúdo envolvem operações custosas e demandam alto poder de processamento, estas não devem ser realizadas nos clientes móveis. Por outro lado, executar no servidor, as adaptações para cada cliente móvel, torna- se pouco eficiente e escalável. Assim, em tais serviços, é comum utilizar-se intermediários dedicados às adaptações de conteúdo (de acordo com o contexto) dos clientes. Comunicação assíncrona, como publish/subscribe, é considerada por muitos como a mais apropriada para este tipo de serviço. Por outro lado, sistemas para adaptação de conteúdo sensível a contexto não dão suporte a este tipo de comunicação, até porque a adaptação precisa ser individual, e portanto conflita com o paradigma de comunicação um-para-muitos. Neste trabalho apresentamos uma arquitetura para sistemas publish/subscribe com adaptação sensível a contexto, que utiliza um algoritmo que otimiza a adaptação de conteúdo para grandes conjuntos de clientes de uma difusão. / [en] Services for information dissemination (push services) are being widely used, in particular for applications involving mobile users. These services generally serve devices with diferent resources and with distinct execution contexts (wireless connectivity, energy source, etc.), making it necessary to adapt disseminated content individual and dynamically for each client. Since many content adaptations involve costly operations and demand high processing power, these should not be executed at the mobile clients. On the other hand, it is neither efficient nor scalable to execute the adaptations for each mobile client at the server. Thus, in such services, it is common to use proxies dedicated to content adaptations (based on the context) of clients. Asynchronous communication, such as publish/- subscribe, is considered the most appropriate form of communication for this type of service. On the other hand, systems for context-aware content adaptation do not support this type of communication. In this thesis we present an architecture for publish/subscribe systems with context-aware content adaptation, that uses an algorithm that optimizes the content adaptation for large sets of clients.