Orientadores : Armando Freitas da Rocha, Fernando Antonio Campos Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-01T18:10:34Z (GMT). No. of bitstreams: 1 Rodella_EdnilsonCesar_M.pdf: 5702239 bytes, checksum: 556fc4968529c5a9aca19efc3453199f (MD5) Previous issue date: 2002 / Mestrado

Orientador: Carlos Alberto Lungarzo / Tese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:33:33Z (GMT). No. of bitstreams: 1 Guerzoni_JoseAlexandreDurry_D.pdf: 16832642 bytes, checksum: cf21f16c851f949466f36f0fcbc0dc58 (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Lógica e Filosofia da Ciência

Orientador: Macioniro Celeste Filho / Resumo: A educação do século XXI trouxe consigo diversos desafios e perspectivas para o ensino de História e para a educação como um todo. O advento das novas tecnologias de informação e comunicação e as alterações ocorridas na sociedade exigem de nós professores um repensar de nossa prática docente. Diante desta nova realidade, a pesquisa buscou analisar novas estratégias de ensino e aprendizagem no ensino da disciplina de História conciliando com os ambientes não-formais de educação, dando ênfase no museu como ambiente educativo. Para tal, foi realizada inicialmente uma pesquisa bibliográfica com o objetivo de conhecer o que já se sabe sobre o assunto. Posteriormente foram realizadas entrevistas com quatro professores da educação básica e quatro monitores e mediadores de museus da região objetivando o aprofundamento da temática. Durante a pesquisa foi possível perceber que os professores realizam visitas técnicas a museus e reconhecem sua importância, no entanto elencam diversas dificuldades, tais como: falta de verba para realização da atividade, dificuldade em se conseguir transporte e preconceito relacionado as atividades extramuros da escola, muitas vezes entendida como perda de tempo. Ainda foi possível perceber certa discrepância entre as realidades das escolas públicas, municipais e estaduais, com as escolas privadas que possuem apoio e incentivo para realização das visitas técnicas. Em relação aos museus, embora enfrentem diversas dificuldades relacionadas a manutenção e re... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The education of the twenty-first century brought with it several challenges and perspectives for the teaching of History and for education as a whole. The advent of the new technologies of information and communication and the changes that have taken place in society require us teachers to rethink our teaching practice. Faced with this new reality, the research sought to analyze new teaching and learning strategies in the teaching of History, conciliating with the non-formal environments of education, emphasizing the museum as an educational environment. For this, a bibliographical research was initially carried out in order to know what is already known about the subject. Subsequently, interviews were conducted with four teachers of basic education and four monitors and mediators of museums in the region and neighborhood with the aim of deepening the theme. During the research it was possible to realize that teachers make technical visits to museums and recognize their importance, however they listed several difficulties, such as: lack of money to carry out the activity, difficulty in getting transport and prejudice related to activities outside the school, often understood as a waste of time. It was still possible to realize some discrepancy between the realities of public, municipal and state schools, in private schools that have support and incentive to carry out the technical visits. In relation to museums, although they face several difficulties related to the maintena... (Complete abstract click electronic access below) / Mestre

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-04-05T18:42:01Z No. of bitstreams: 1 131488.pdf: 3589192 bytes, checksum: 5c39ddf4ef3d285ba2bccd969b191920 (MD5) / Made available in DSpace on 2018-04-05T18:42:01Z (GMT). No. of bitstreams: 1 131488.pdf: 3589192 bytes, checksum: 5c39ddf4ef3d285ba2bccd969b191920 (MD5) Previous issue date: 1973-01 / Usa a informação sintática contida nas sentenças pertencentes a uma linguagem formal na sua decodificação quando as mesmas são transmitidas através um canal ruidoso. É adaptado o algoritmo de Fano da decodificação sequencial na decodificação sintática. O algoritmo é simulado em computador IBM 370 para três diferentes linguagens e canais de transmissão. / Use the syntactical information of the sentences of a formal language in their decoding, after they have passed through a noisy channel. Fano's algorithm for sequential decoding is adapted to syntactical decoding. The algorithm is simulated in the IBM 370 for three diferent sources and channels. The results o f the simulation are discussed and analysed.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-04-02T15:41:37Z No. of bitstreams: 1 133292.pdf: 1935557 bytes, checksum: 8dabaf84151d289c26c97704843a3bfe (MD5) / Made available in DSpace on 2018-04-02T15:41:37Z (GMT). No. of bitstreams: 1 133292.pdf: 1935557 bytes, checksum: 8dabaf84151d289c26c97704843a3bfe (MD5) Previous issue date: 1973-08 / Um tipo de gramática chamado “Gramáticas Indiciais” foi definido por Alfred V. Aho em Austin, Texas, no ano de 1967. As linguagens geradas por gramáticas indiciais são chamadas linguagens indiciais. As classes de linguagens indiciais incluem, propriamente, as classes de linguagens livre de contexto e é um subconjunto próprio de classe de linguagens sensíveis ao contexto. O nosso objetivo neste trabalho é atribuir probabilidades às produções das gramáticas indiciais e estudar a consistência das linguagens geradas por essas gramáticas. / A new type of grammar for generating formal languages, called indexed gramar, was presented by Alfred V. Aho, in Austin, Texas, 1967. The languages generated by indexed grammars are called indexed languages. The class of languages generated by indexed grammars properly includes a11 context free languages and is a proper subset of the class of context sensitive languages. The objective in this work is to assign propability to each production of the indexed grammar and study the consistency of the indexed language generated by it.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T14:30:39Z No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T12:57:10Z (GMT) No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T12:57:10Z (GMT). No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-23 / It is well-known that model-driven engineering (MDE) is a software development methodology that focuses on creating and exploiting (specific) domain models. Domain models (conceptually) capture all the topics (for instance, entities and their attributes, roles, and relationships as well as more specific constraints) related to a particular problem. It is common to use domain-specific languages (DSL) to describe the concrete elements of such models. MDE tools can easily build domain-specific languages (DSL), capturing syntactic as well as static semantic information. However, we still do not have a clear way of capturing the dynamic semantics of a DSL as well as checking the domain properties prior to generating the implementation code. Formal methods are a well-known solution for providing correct software, where we can guarantee the satisfaction of desired properties. Unfortunately the available formal methods tools focus almost exclusively on semantics whereas human-machine interaction is "left to the user". Several industries, and in particular the safety-critical industries, use mathematical representations to deal with their problem domains. Historically, such mathematical representations have a graphical appeal. For example, Markov chains and fault-trees are used in safety assessment processes to guarantee that airplanes, trains, and other safety-critical systems work within allowed safety margins. In general, due to the difficulty to obtain correct software, such industries use Commercial Off-The-Shelf (COTS) software or build them specifically to satisfy their needs with a related testing campaign effort. Such DSLs are difficult to capture, using just MDE tools for instance, because they have specific semantics to provide the desired (core) information for the industries that use them. In this sense, given a DSL (L) composed of a syntax and static semantics (SSL), and dynamic semantics (DSL) parts, our work proposes a rigorous methodology for combining the easiness of MDE tools, to capture SSL, with the correctness assured by formal methods, to capture DSL as well and check its properties. This combination is specifically handled in the following way, we capture all aspects of L using formal methods, check the desired properties and adjust if necessary. After that, we automatically translate part of it in terms of constructs of a MDE tool, from which we can build a user-friendly (GUI) front-end very easily (automatically). Finally, we link the front-end code to the automatically synthesized code from the formal dynamic semantics back-end. Although we require the use of a formal methods tool, the distance from the mathematical representations used in industry and the formal methods notation is very close. With this proposed methodology we intend that safety-critical industries create their domain specific software as easy as possible and with the desired static and dynamic properties formally checked. / A Engenharia Dirigida a Modelos ou (MDE—Model-Driven Engineering) é uma metodologia de desenvolvimento de software que se concentra na criação e manipulação de modelos específicos de domínio. É comum o uso de linguagens específicas de domínio (DSL) para descrever os elementos concretos de tais modelos. Ferramentas de MDE podem facilmente construir linguagens específicas de domínio (DSL), capturando seus aspectos sintáticos assim como sua semântica estática. No entanto, ainda não possuem uma forma clara de capturar a semântica dinâmica de uma DSL, assim como a verificação de propriedades de domínio antes da geração de código executável. Métodos formais são tidos como uma solução para prover software correto, onde podemos garantir que desejadas propriedades são satisfeitas. Infelizmente, as ferramentas de métodos formais disponíveis concentram-se quase que exclusivamente na semântica enquanto que a interação homem-computador é "deixada para o usuário". Indústrias em que a segurança é crítica, usam representações matemáticas para lidar com os seus domínios de problemas. Historicamente, essas representações matemáticas têm um apelo gráfico. Por exemplo, Cadeias de Markov e Árvores de Falha. Em geral, devido à dificuldade em obter softwares formalmente verificados, essas indústrias utilizam sistemas comerciais prontos para uso (Commercial Off-the-shelf - COTS) ou os constróem especificamente para satisfazerem as suas necessidades com um esforço considerável em testes. Tais DSLs são difíceis de capturar, usando apenas ferramentas MDE por exemplo, porque possuem uma semântica particular para prover as informações específicas desejadas para as indústrias que as utilizam. Neste sentido, dada uma DSL (L), composta por sintaxe e semântica estática (SSL), e semântica dinâmica (DSL), este trabalho propõe uma metodologia rigorosa para combinar a facilidade de ferramentas MDE em capturar SSL, com a corretude assegurada por métodos formais para capturar DSL e verificar suas propriedades. Esta combinação é especificamente tratada da seguinte maneira: captura-se todos os aspectos de L utilizando métodos formais, verificam-se as propriedades desejadas e as ajustam caso necessário. Em seguida, parte de L é traduzida automaticamente em termos de artefatos para uma ferramenta MDE, a partir da qual é possível construir uma interface amigável (front-end) facilmente (automaticamente). Por fim, o código do front-end é integrado com o código sintetizado automaticamente a partir da semântica dinâmica formal (back-end).

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-11T21:55:18Z (GMT). No. of bitstreams: 1 Reis_TeofilodeSouza_M.pdf: 733611 bytes, checksum: 0e64d330d9e71079eddd94de91f141c2 (MD5) Previous issue date: 2008 / Resumo: Neste trabalho apresentamos um novo formalismo de decomposição de Lógicas, as Coberturas por Traduções Possíveis, ou simplesmente CTPs. As CTPs constituem uma versão formal das Semânticas de Traduções Possíveis, introduzidas por W. Carnielli em 1990. Mostramos como a adoção de um conceito mais geral de morfismo de assinaturas proposicionais (usando multifunções no lugar de funções) nos permite definir uma categoria Sig?, na qual os conectivos, ao serem traduzidos de uma assinatura para outra, gozam de grande flexibilidade. A partir de Sig?, contruímos a categoria Log? de lógicas tarskianas e morfismos (os quais são funções obtidas a partir de um morfismo de assinaturas, isto é, de uma multifunção). Estudamos algumas características de Sig? e Log?, afim de verificar que estas categorias podem de fato acomodar as construções que pretendemos apresentar. Mostramos como definir em Log? o conjunto de traduções possíveis de uma fórmula, e a partir disto definimos a noção de CTP para uma lógica L. Por fim, exibimos um exemplo concreto de utilização desta nova ferramenta, e discutimos brevemente as possíveis abordagens para uma continuação deste trabalho. / Abstract: We present a general study of a new formalism of decomposition of logics, the Possible- Translations Coverings (in short PTC 's) which constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sig?, in which the connectives, when translated from a signature to another one, enjoy of great flexibility. Essentially, Sig? -morphisms will be multifunctions instead of functions. From Sig? we construct the category Log? of tarskian logics and morphisms between them (these .are functions obtained from signature morphisms, that is, from multifunctions) . We show how to define in Log? the set of possible translations of a given formula, and we define the notion of a PTC for a logic L. We analyze some properties of PTC 's and give concrete examples of the above mentioned constructions. We conclude with a discussion of the approaches to be used in a possible continuation of these investigations. / Mestrado / Mestre em Filosofia

Submitted by Fabiana Gonçalves Pinto (benf@ndc.uff.br) on 2015-10-14T14:17:57Z No. of bitstreams: 1 Ieda Cristina Pereira Sanches.pdf: 1931244 bytes, checksum: 1d02349c65092ff11d08f8c6dccb184b (MD5) / Made available in DSpace on 2015-10-14T14:17:57Z (GMT). No. of bitstreams: 1 Ieda Cristina Pereira Sanches.pdf: 1931244 bytes, checksum: 1d02349c65092ff11d08f8c6dccb184b (MD5) Previous issue date: 2012 / Mestrado Profissional em Enfermagem Assistencial / Esta pesquisa de dissertação tomou por objetivo geral analisar as barreiras e acesso ao cuidado de enfermagem a pacientes na enfermaria cirúrgica, em presença de acompanhantes, baseada nas seguintes questões norteadoras: A presença de acompanhantes na enfermaria de clínica cirúrgica interfere no cuidado em saúde? É possível a elaboração de ferramentas que auxiliem no estudo sobre a presença do acompanhante no cuidado ao usuário internado na enfermaria de clínica cirúrgica? Apesar de incentivos das políticas públicas de saúde para a permanência da família ou amigos durante a internação do paciente, os benefícios dessa prática podem ser ou não obtidos devido a problemas estruturais no hospital e no relacionamento entre a equipe de enfermagem e acompanhantes. Foi uma pesquisa descritiva de abordagem qualitativa e para a coleta de dados foram utilizadas as entrevistas semi-estruturadas, pesquisa documental, observação de campo e grupo de discussão. Os sujeitos da investigação foram os pacientes internados, acompanhantes e equipe de enfermagem. O cenário foram as enfermarias de cirurgia de um hospital público no Municipio de Niterói. A coleta de dados foi realizada em duas etapas: a) Identificação dos analisadores através de entrevistas a usuários e pesquisa documental para a construção de caso analisador, realizadas em Agosto e Setembro de 2011 e; b) Realização de Grupo de Discussão com a participação de acompanhantes e membros da equipe de enfermagem, realizada em Maio de 2012, para a apresentação dos analisadores através de esquetes. Os dados foram categorizados através da análise proposta por Bardin e interpretados à luz da Análise Institucional desenvolvida por René Lourau a partir dos anos 60 do século passado. Identificaram-se três categorias para análise, a saber: o cuidado dialógico, o cuidado compartilhado e o cuidado a quem cuida. Concluímos que o acompanhante ainda não possui um perfil conhecido no ambiente hospitalar, o qual desconhece a sua função e as suas atribuições, que o cuidado compartilhado é confundido pelos profissionais de enfermagem com o treinamento ao acompanhante e que a maioria dos problemas entre a equipe de enfermagem e acompanhantes ocorre por falta de diálogo, por motivos que encontram explicação em situações impostas pelo sistema de saúde, tais como escassez de profissionais de enfermagem e falta de condições estruturais no hospital que propiciem conforto para os acompanhantes e os profissionais. Foram respeitados os aspectos éticos, de acordo com a resolução 196/96. O estudo foi submetido ao Comitê de Ética em Pesquisa do hospital, campo da pesquisa, respeitando os princípios éticos e legais relacionados à pesquisa com seres humanos e aprovado em 01/04/2011 sob o parecer nº 0053.0.258.000. / This dissertation research took as its main objective to analyze the barriers and access to nursing care to patients in the surgical ward, on the presence of companions, based on the following questions: Does the presence of companions in the surgical ward interfere in health care? Is it possible the development of tools that assist in the study about the presence of a companion in the care of hospitalized users in the surgical ward? Despite the incentives from public health policies for the persistence of family or friends during hospitalization user, the benefits of this practice may or may not be obtained due to hospital structural problems and in the relationship between the nursing staff and companions. It was a descriptive research of qualitative approach and for data collection were used semi-structured interviews, documentary research, field observation, if the analyzer and discussion group. The research subjects were hospitalized patients, companions and nursing staff. The setting was the surgical wards from a public hospital in the municipality of Niterói. Data collection was performed in two steps: a) Identification of the analyzers to users through interviews and documentary research to build the event analyzer, held in August and September 2011 and; b) a Group Discussion with the participation of companions and members of the nursing staff, held in May 2012, for the presentation of the analyzers through skits. Data were categorized by the analysis method proposed by Bardin and interpreted in the light of Institutional Analysis developed by René Lourau from the 60s of last century. We identified three categories for analysis: the dialogical care, the shared care and care for caregivers. We conclude that the companion does not have a profile known in the hospital environment, which its role and its responsibilities are unknowns, the shared care is confused by the nursing staff about training to the companion and that most problems between the nursing staff and companions occurs due to lack of dialogue, for reasons that are explained in situations imposed by the health system, such as shortages of nurses and lack of structural conditions in the hospital that will provide comfort for companions and professionals. We have respected the ethical aspects in accordance with Resolution 196/96. The study was submitted to the Ethics Committee in Research of the hospital research field, respecting the ethical and legal principles related to human research and approved on 01/04/2011 under Opinion No 0053.0.258.000.

O objetivo desta Tese foi o de demonstrar que a Teoria do biólogo e epistemólogo suíço Jean Piaget foi vítima de sua própria Representação Social, (na acepção de Serge Moscovici, como explicitaremos já em nossa Introdução). Vítima no sentido de que suas descobertas na área da Biologia e sua criação no campo da construção de modelos formais na mesma ciência, feito inédito até então, caíram no ostracismo na História da ontogênese epigenética do ser humano, tanto nos aspectos biológicos, quanto na área da aquisição do conhecimento científico e lógico matemático. Esses fatos nos mostram Zelia Ramozzi-Chiarottino, (cuja análise e interpretação da Teoria de Jean Piaget constituir-se-á no referencial teórico desta Tese) ao lado de seus colaboradores, no artigo: Jean Piagets unrecognized epigenetic ontogenesis of the logical mathematical thought, (2017). Neste trabalho, restringimo-nos ao Brasil e à produção de Dissertações e Teses de Doutorado sobre a Teoria de Piaget e sua representação social, aqui realizadas nos últimos dez anos. Fizemos um levantamento das Dissertações e Teses a partir do Catálogo de Teses e Dissertações da CAPES. O método estatístico que utilizamos foi o do para analisar os dados coletados. Esta análise confirmou nossa conjectura / Our aim with this Ph.D Thesis was to demonstrate that the Theory of the swiss biologist and epistemologist Jean Piaget was victim of its own Social Representation (within the meaning of Serge Moscovici, as we will still explain in our Introduction). Victim in sense of that his findings in the field of Biology and his creation in the field of the construction of formal models in this same Science, unprecedent feat till then, have fallen in obscurity in the History of epigenetic ontogenesis of the human being, in both biologic and scientific aspects, in terms of the field of acquiring of scientific and logical mathematical knowledgement. These facts Zelia Ramozzi-Chiarottino (whose analysis and interpretation of Piagets Theory will be the theoretical framework of this Thesis) show us next to her co-workers, in the article: Jean Piagets unrecognized epigenetic ontogenesis of the logical mathematical thought, (2017). In the present work, we limited ourselves to Brazil, and to the production of Dissertations and Doctoral Theses on Piagets Theory and its Social Representation, produced here on the last ten years. We made a data survey on the Dissertations and Theses from the Catalogue of Theses and Dissertations from CAPES. Statistic method used was the to analyze the collected data. This analysis validated our conjecture

Abstração é um processo que consiste em encontrar similaridades em artefatos e omitir detalhes desnecessários em um particular momento. Em geral, tal processo resulta em simplificação, substituindo situações do mundo real complexas e excessivamente detalhadas por modelos compreensíveis que admitem resolução. Na computação, existem estilos de programação que fornecem ao programador uma visão particular sobre a organização e execução de um programa. Cada estilo viabiliza formas de representação e tratamento de abstrações aderentes ao conjunto de conceitos, valores, percepções e práticas compartilhadas por uma comunidade. Em particular, o fenômeno de reescrita de termos viabiliza transformações entre espaços de abstração. Como instância de tal fenômeno, macros constituem um padrão sintático que especifica uma transformação simbólica ou algorítmica sobre uma sequência de símbolos associada. Na ocorrência de uma instância de tal padrão sintático, este é substituído pela aplicação de sua transformação correspondente. Dada a importância da disponibilização de estruturas de representação mais convenientes às necessidades dos usuários, o objetivo principal desta tese é tratar da utilização de sistemas de reescrita como mecanismos de abstração em transformações textuais. Para tal, técnicas de projeto e aspectos de implementação de tais sistemas são apresentados, com enfoque em macros. / Abstraction is a process of finding similarities in artifacts and omitting unnecessary details at a particular moment. In general, such a process results in simplification, replacing complex and overly detailed real-world situations with understandable models that admit resolution. In computing, there are programming styles that give the programmer a particular insight into the organization and execution of a program. Each style enables forms of representation and treatment of abstractions adhering to the set of concepts, values, perceptions and practices shared by a community. In particular, the term rewriting phenomenon enables transformations along spaces of abstraction. As an instance of such a phenomenon, macros constitute a syntactic pattern that specifies a symbolic or algorithmic transformation over an associated symbol sequence. In the occurrence of an instance, the matched syntactic pattern is replaced by the application of its corresponding transformation. Given the importance of making representation structures more convenient to users\' needs, this thesis aims at addressing the use of rewriting systems as abstraction mechanics in textual transformations. To this end, design techniques and implementation aspects of such systems are presented, focusing on macros.