Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2015-11-27T07:38:46Z No. of bitstreams: 2 Dissertação - Onilton Cezar Pina - 2014.pdf: 1760402 bytes, checksum: 85fe330161d8d54c7318afe2db13826c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-11-27T11:45:07Z (GMT) No. of bitstreams: 2 Dissertação - Onilton Cezar Pina - 2014.pdf: 1760402 bytes, checksum: 85fe330161d8d54c7318afe2db13826c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-11-27T11:45:07Z (GMT). No. of bitstreams: 2 Dissertação - Onilton Cezar Pina - 2014.pdf: 1760402 bytes, checksum: 85fe330161d8d54c7318afe2db13826c (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-04-01 / This work aims to analyze the possible contribution of non-formal spaces for the learning of science by children with Down Syndrome (DS). In the first part, we try to understand what this syndrome is and how the cognitive development and learning of people with Down happens. You can notice that this subject experiences the same stages of cognitive development that other individuals who do not have the syndrome do, such as: sensorimotor, concrete operations and formal operations. In the second part, we analyze the non-formal spaces and science teaching and learning by children with Down. It was found that these spaces are an important resource for the development of educational activities and are exploited, increasingly, seeking to break the limits of school space, in search of more meaningful knowledge. For this reason, we present some non-formal spaces of the city of Goiania. Among them, we have evaluated the potential of the Museu de História Natural in Memorial do Cerrado, from the speech of an educational agent / mediator / monitor of this museum space and some teachers who visit this place with children, some with DS. After the research, we can ensure that the use of non-formal spaces for teaching children with Down Sciences, when well directed and harnessed as expected by the designers, serves very well to the teacher's expectations and thus facilitates learning. / Este trabalho tem como objetivo analisar as possíveis contribuições dos espaços não formais, para o aprendizado das ciências, de crianças com Síndrome de Down (SD). Na primeira parte, procuramos entender o que é a síndrome e como se dá o desenvolvimento cognitivo e a aprendizagem das pessoas com Down. Pode-se identificar que este indivíduo passa pelas mesmas etapas de desenvolvimento cognitivo pelas quais passam os outros indivíduos que não possuem a síndrome, quais sejam: sensório-motor, operações concretas e operações formais. Na segunda parte, analisamos os espaços não formais e o ensino de Ciências e a aprendizagem de crianças com Down. Verificou-se que tais espaços representam um importante recurso para o desenvolvimento das atividades de cunho educacional e que são explorados, cada vez mais, buscando romper com os limites do espaço escolar, em busca de conhecimento mais significativo. Por esse motivo, apresentamos alguns espaços não formais do município de Goiânia. Dentre estes, avaliamos o potencial do Museu de História Natural do Memorial do Cerrado, a partir da fala de um agente educativo/mediador/monitor deste espaço museológico e de alguns professores que visitam este lugar com crianças, algumas com SD. Após a realização da pesquisa, podemos assegurar que o uso de espaços não formais para o ensino de Ciências de crianças com Down, quando bem direcionados e aproveitados da forma esperada pelos idealizadores, atende muito bem às expectativas do professor e, consequentemente, facilita a aprendizagem.

FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / Enviadas por e-mail a diversos destinatÃrios, as cartas-corrente surgem cada vez mais freqÃentes nos correios eletrÃnicos. Este trabalho de pesquisa analisa as cartas-corrente digitais por meio de uma orientaÃÃo sÃcio-retÃrica de gÃneros e possui fundamentaÃÃo teÃrica composta pelos postulados de Bakhtin (1981, 1997), passando por concepÃÃes atuais de Swales (1990, 1992) e Bhatia (1993, 2004). A pesquisa nos permitiu alcanÃar os objetivos especÃficos de identificaÃÃo das cartas-corrente e diferenciaÃÃo dos outros gÃneros que circulam por e-mail, analisar seus propÃsitos comunicativos especÃficos e identificar as regularidades formais e funcionais encontradas nos exemplares. Observamos que nas cartas-corrente digitais, assim como em outros gÃneros, os aspectos formais e funcionais estÃo intimamente ligados e que as tornam diferentes entre si à o uso dos recursos lingÃÃsticos e de apresentaÃÃo da ordem de idÃias, que estÃo ligados ao tema apresentado e ao conhecimento institucional do ambiente de replicaÃÃo. A anÃlise nos permitiu identificar as regularidades da carta-corrente digital e alguns aspectos que sÃo especÃficas do prÃprio gÃnero nÃo apenas por se tratar de uma mensagem que circula por e-mail, mas por levar em consideraÃÃo as peculiaridades desse meio, as estratÃgias de escrita e a abordagem de assuntos que configuram como especÃficos. / This research analyzes the digital chain letters through the sociorethoric perspective of gender, that consider speech gender as an interaction process between people and places where it is in. The approach of textual gender discourse is based on propositions of Bakhtin (1981, 1997), Swales (1990, 1992) and Bhatia (1993, 2004). The corpus is composed of 36 digital chain letters copies. The methodology procedure is based on Bhatia (1993) and allowed us to identify digital chain letters by others genders that are in the web. The main purpose is to analyze the formal and functional aspects of digital chain letters and the specific objectives are: to analyze digital chain letters specifics purposes; to identify the standardized form characteristics; to analyze the standardized functional characteristics in the samples. The characteristics analyzed showed the essence of digital medium inside the texts. Evidenced, either, a standardized constitution of linguistics and functional aspects, that are connected to their specific purposes and have digital evidence inside constitution and text.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-08-02T15:39:36Z No. of bitstreams: 2 Dissertação - Lorena Nunes da Cruz - 2016.pdf: 2315105 bytes, checksum: cfe4b647d8b5a466bb7a81f9690920d9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-08-02T15:44:44Z (GMT) No. of bitstreams: 2 Dissertação - Lorena Nunes da Cruz - 2016.pdf: 2315105 bytes, checksum: cfe4b647d8b5a466bb7a81f9690920d9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-08-02T15:44:44Z (GMT). No. of bitstreams: 2 Dissertação - Lorena Nunes da Cruz - 2016.pdf: 2315105 bytes, checksum: cfe4b647d8b5a466bb7a81f9690920d9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-05-30 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The non-formal spaces in which seeks to teach science content , by present ing a great scient ific potent ial , educat ional , cul tural and mul t iple communicat ion opt ions, can assist in this process, st imulat ing interest in discussions on th e topic discussed. This work was proposed to understand how a universi ty museum space, in this case the courtyard of the Science of the Federal Universi ty of Goiás, can cont ribute to the learning of elementary school students in science content . For i ts re al izat ion was used as target students in 9th grade at a school belonging to the Municipal Network of Educat ion Goiânia. As data col lect ion inst ruments, ini t ial and final reports were used, quest ionnaires, field diary and interviews. Thus, wi th the data ana lysis, we defined three stages, namely: data from ini t ial reports, data from quest ionnaires/ interviews and data of the final repor ts. It was possible to see the emergence of four categories based on the analysis of the ini t ial repor ts, namely: faci l i tat ing content , interdiscipl inary, mot ivat ion and relat ionship school -museum space. In the second phase (quest ionnaires and interviews), i t was observed that f rom the conceptual content , students were able to establ ish a relat ionship between procedural and at t i tudinal content in non- formal space, appear ing two subcategories: art iculat ion teacher /moni tor and care for the environment /Cheers. In the third stage ( final reports), the data only reinforced the categories that emerged f rom the ini t ial reports, quest ionnai res and interviews, but i t was observed that these met bet ter prepared when randomly compared wi th the fi rst report produced by the students. It can be observed that the classes obtained are not in isolat ion but inter related. So when the teacher engages in the act ivi t ies proposed in the planning together wi th the moni tors and staf f responsible for the space, the learning opportuni t ies increase. Thus, i t is intensified interact ion between the Universi ty and the Basic Educat ion wi thout occur dominat ion by ei ther party but a harmony between both, so that an inst i tut ion can complement the other, respect ing their part iculari t ies, assist ing students in thei r process teaching and learning. / Os espaços não formais, nos quais se procura ensinar conteúdos de ciências, por apresentar um grande potencial ci ent í fico, educacional , cul tural e múl t iplas possibi l idades de comunicação, podem auxi l iar neste processo, est imulando o interesse em discussões sobre o tema abordado . O presente trabalho teve como proposta entender de que forma um espaço museológico universi tário, neste caso o Pát io da Ciência da Universidade Federal de Goiás , pode contr ibui r com a aprendizagem de conteúdos de Ciências de alunos do Ensino Fundamental . Para a sua real ização ut i l izou -se como públ ico alvo alunos do 9º ano de uma escola pertencente à Rede Municipal de Educação de Goiânia. Como instrumentos de coleta de dado s, foram ut i l izados relatórios iniciais e finais, quest ionários, di ário de campo e ent revistas. Desta forma, com a anál ise de dados, foram definidos três momentos, sendo eles: dados dos relatórios iniciais, dados dos quest ionários/ent revistas e dados dos relatórios finais. Foi possível perceber a emergência de quat ro categorias a part i r da anál ise dos relatór ios iniciais , sendo elas: faci l i tadora de conteúdos, interdiscipl inaridade, mot ivação e relação escola -espaço museológico. No segundo momento (quest ionários e ent revistas) , observou-se que a part ir dos conteúdos concei tuais, os alunos conseguiram estabelecer uma relação ent re os conteúdos procedimentais e at i tudinais no espaço não formal , surgindo duas subcategorias: art iculação professor/moni tor e cuidados com o meio ambiente/saúde. No tercei ro momento (relatórios finais), os dados obt idos apenas reforçaram as categorias que emergiram dos relatórios iniciais , quest ionários e ent revistas , porém observou-se que estes se encontraram melhor elaborados, quando comparados aleatoriamente com o primei ro relatório produzido pelos alunos. Pode-se observar que as categorias obt idas não se encontram de manei ra isolad a e sim inter - relacionadas. Portanto, quando o professor se envolve nas at ividades propostas, no plane jamento em conjunto com os moni tores e equipe responsável pelo espaço, as possibi l idades de aprendizagem aumentam. Assim, é intensificada a interação ent re a Universidade e a Educação Básica, sem ocorrer a dominação por alguma das partes e sim uma sintonia entre ambas, de forma que uma inst i tuição consiga complementar a out ra, respei tando as suas part icular idades, auxi l iando os alunos no seu processo de ensino e

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2017-04-11T19:28:47Z No. of bitstreams: 2 Dissertação - Nayara de Souza Silva - 2017.pdf: 2066646 bytes, checksum: 95e09b89bf69fe61277b09ce9f1812a6 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-04-12T14:32:03Z (GMT) No. of bitstreams: 2 Dissertação - Nayara de Souza Silva - 2017.pdf: 2066646 bytes, checksum: 95e09b89bf69fe61277b09ce9f1812a6 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-04-12T14:32:03Z (GMT). No. of bitstreams: 2 Dissertação - Nayara de Souza Silva - 2017.pdf: 2066646 bytes, checksum: 95e09b89bf69fe61277b09ce9f1812a6 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-07 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The process of developing computer systems takes into account many stages, in which some are more necessary than others, depending on the purpose of the application. The implementation stage is always necessary, indisputably. Sometimes the requirements analysis and testing phases are neglected. And, generally, the part of formal verification correctness is intended for few applications. The use of model checkers has been exploited in the task of validating a behavioral specification in its appropriate level of abstraction, notably specifications validation of critical systems, especially when they involve the preservation of human life, when the existence of errors entails huge financial loss or when deals with information security. Therefore, it proposes to apply formal verification techniques in the validation of the vehicular safety system Avoiding Doored System, considered as critical, in order to verify if the implemented system faithfully meets the requirements for it proposed. For that, it was used as a tool to verify its correctness the Specification and Verification System - PVS, detailing and documenting all the steps employed in the process of specification and formal verification. K / O processo de desenvolvimento de sistemas computacionais leva em conta muitas etapas, nos quais umas são tidas mais necessárias que outras, dependendo da finalidade da aplica- ção. A etapa de implementação sempre é necessária, indiscutivelmente. Por vezes as fases de análise de requisitos e de testes são negligenciadas. E, geralmente, a parte de verifica- ção formal de corretude é destinada a poucas aplicações. O uso de verificadores de modelos tem sido explorado na tarefa de validar uma especificação comportamental no seu nível adequado de abstração, sobretudo, na validação de especificações de sistemas críticos, principalmente quando estes envolvem a preservação da vida humana, quando a existência de erros acarreta enorme prejuízo financeiro ou quando tratam com a segurança da informa- ção. Diante disso, se propõe aplicar técnicas de verificação formal na validação do sistema de segurança veicular Avoiding Doored System, tido como crítico, com o intuito de atestar se o sistema implementado atende, fielmente, os requisitos para ele propostos. Para tal, foi utilizada como ferramenta para a verificação de sua corretude o Specification and Verification System - PVS, detalhando e documentando todas as etapas empregadas no processo de especificação e verificação formal. Pal

Submitted by Rosa Assis (rosa_assis@yahoo.com.br) on 2017-11-21T15:01:03Z No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2017-11-30T12:39:39Z (GMT) No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-11-30T12:39:39Z (GMT). No. of bitstreams: 2 ZORANDIR SOARES JUNIOR.pdf: 776451 bytes, checksum: 0df63868dba162f16d377cf8ba51839a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-08-16 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Fundo Mackenzie de Pesquisa / Templates are formal representations for sets of one-dimensional cellular automata created by means of a generalisation of the classical state transition tables. Algorithms already do exist in the literature that generate templates for static properties of cellular automata rules, as well as others that perform operations such as intersection between templates and template expansion. Here, we introduce the exception template operation, the operation of di erence between templates, and explain the functioning of the algorithm of those operations, which have been implemented in the CATemplates package of the Mathematica software. We also discuss the possibility of using templates in the context of the parity problem {namely, the determination of the parity of 1s in a cyclic binary con guration of odd length{ with the support of the operation of di erence between templates, and of the template generation of parity conserving and state conserving cellular automata. / Templates são representações formais para conjuntos de autômatos celulares unidimensionais feitas por meio da generalização das tabelas de transição clássicas. Já existem algoritmos na literatura que geram templates para propriedades estáticas de autômatos celulares, assim como há algoritmos que realizam operações como intersecção entre templates e expansão de template. Aqui, é introduzida a operação de templates de exceção, a operação de diferença entre templates, e explica-se o funcionamento do algoritmo dessas operações, que foram implementadas na biblioteca CATemplates do software Mathematica. Também discutimos a possibilidade de uso de templates no contexto do problema de paridade (a saber, a determinação da paridade de 1s em uma configuração binária cíclica de tamanho ímpar), com o apoio da operação de diferença entre templates, e das operações geradoras de templates de autômatos celulares conservativos de paridade e conservativos de estado.

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-05T15:22:56Z No. of bitstreams: 1 claudiasanchesdemeloaliane.pdf: 2080839 bytes, checksum: 19733612edc468307d50564be644a5b1 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-08-05T16:13:27Z (GMT) No. of bitstreams: 1 claudiasanchesdemeloaliane.pdf: 2080839 bytes, checksum: 19733612edc468307d50564be644a5b1 (MD5) / Made available in DSpace on 2016-08-05T16:13:27Z (GMT). No. of bitstreams: 1 claudiasanchesdemeloaliane.pdf: 2080839 bytes, checksum: 19733612edc468307d50564be644a5b1 (MD5) Previous issue date: 2013-07-31 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Essa dissertação caracteriza o relato de uma investigação realizada ao longo do estudo de mestrado cujo objetivo esteve centrado na relevância dos espaços não formaispara o enriquecimento da educação química. No processo investigativo foram utilizados questionários exploratórios e entrevistas semidirigidas com o intuito de construir um corpus de análise baseado nas argumentações de professores licenciados em química. A discussão teórica é sustentada pelos estudos de John Dewey, que valoriza a experiência prática pessoalno sentido de aproximar a educação escolar ao contexto social do aluno através de experiências educativas. O processo de análise foi orientado por Zymanskiet al. (2010), que nos levou a organização de temas apriori, conforme as questões de pesquisa e, à elaboração de categorias emergentes dos assuntos comuns diante dos relatos dos entrevistados. A análise desses relatos evidencia que os professores pesquisados valorizam a organização de atividades em espaços não formais como forma de mostrar ao aluno as diversas aplicações da química no dia-a-dia, de levar o aluno à vivência de uma experiência prática que possa promover discussões sobre questões de segurança do trabalho, visualização de processos industriais, entre outros temas, e motivá-los a buscar aprendizados que muitas vezes podem ser inibidos pela realidade escolar atual. Todavia, esses professores enfatizam que as atuais condições de trabalho nas escolas oferecem diversos entraves, que dificultam a adoção desse tipo de atividade, das quais foram mencionados, com bastante ênfase, a falta de verba nas escolas para tais visitas, o número elevado de alunos por turma e a falta de apoio de outros profissionais. Percebemos ainda, que o Centro de Ciências da Universidade Federal de Juiz de Fora desempenhou papel importante para a formação inicial e continuada de duas das professoras investigadas. A maioria dos entrevistados reforçou a relevância do espaço pelas condições adequadas em permitir que experiências pudessem ser realizadas de forma segura e agradável para os visitantes. Ao final, podemos inferir que fica claro que a integração entre diversasestratégias educativas podem propiciar diferentes abordagens para que o aluno possa perceber que a linguagem química pode ser também uma forma de leitura do mundo cotidiano que nos permite reflexões sobre nosso mundo real. / This dissertation characterizes the report of an investigation carried out throughout my masters whose goal was centered on the relevance of non-formal settings for the enrichment of the education in chemistry. In the investigative process surveys were used in some exploratory and semi-structured interviews in order to build a corpusof analysis based on the arguments of licensed teachers in chemistry. The theoretical discussion is supported by studies of John Dewey, who values personal practical experience in order to bring the school education into the social context of the student through educational experiences. The analysis process was guided by Zimanskiet al. (2010), which led us to organize themes, according to the research questions and the development of emerging categories of common issues before reports of respondents. The reports analysis shows that the surveyed teachers valorize the planning of activities in non-formal spaces as a way to show to the student the various applications of chemistry in usually basis to lead them to the practical experience that can promote discussions on issues of job security, visualization of industrial processes, among others, and, finally, motivate them to seek lessons that can often be inhibited by current educational reality. However, these teachers emphasize that current working conditions in schools offer many obstacles that hinder the adoption of this type of activity, which have been mentioned in the interviews in a quite emphatically way; the lack of resource funding in schools for such visits, the high number of students per class and the lack of support from other professionals could be pointed out. We noticed also that the Science Center of UFJF played an important role for the initial and continuing training of two teachers investigated. Most respondents stressed the importance of that space for suitable conditions to allow experiments that could be performed in a safe way and be enjoyable for visitors. At the end, we can infer that it is clear that the integration of different educational strategies may provide different approaches to the student to realize that the chemical language can also be a way of reading the everyday world that allows us to thinking about our real world.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-09-08T14:02:20Z No. of bitstreams: 1 iaramarquesdonascimento.pdf: 1878275 bytes, checksum: 03d9a85935e82490d257ad7a17cb5672 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-10-04T12:28:36Z (GMT) No. of bitstreams: 1 iaramarquesdonascimento.pdf: 1878275 bytes, checksum: 03d9a85935e82490d257ad7a17cb5672 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-10-04T12:28:44Z (GMT) No. of bitstreams: 1 iaramarquesdonascimento.pdf: 1878275 bytes, checksum: 03d9a85935e82490d257ad7a17cb5672 (MD5) / Made available in DSpace on 2016-10-04T12:28:45Z (GMT). No. of bitstreams: 1 iaramarquesdonascimento.pdf: 1878275 bytes, checksum: 03d9a85935e82490d257ad7a17cb5672 (MD5) Previous issue date: 2011-03-25 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A proposta da dissertação é compreender a importância da comunicação interna nos processos de construção e reconstrução de sentidos e significados adequados as necessidades das organizações, levando em consideração os objetivos estratégicos da mesma. Observa-se a pertinência da hipótese de que a comunicação interna é capaz de colocar em circulação e articular sentidos que fomentam a realidade organizacional. Este processo é observado a partir da percepção dos funcionários da Viação Progresso em relação à construção da identidade organizacional. Parte-se do pressuposto teórico de que os processos comunicacionais constituem-se por meio de relacionamentos e interações, sendo percebidos enquanto fenômenos simbólicos e discursivos. Neste sentido, trabalha-se com o interacionismo simbólico, o construtivismo e o pensamento complexo, e leva-se em conta elementos como participação e cultura organizacional para a articulação dos processos. No percurso, são destacadas as redes formais de comunicação, com as interações face a face, e as redes informais, com as redes sociais de comunicação informal, mais especificamente a rádio peão. Por meio das metodologias de análise de conteúdo e da utilização de pressupostos da análise de discurso e texto, busca-se compreender a percepção dos funcionários sobre a comunicação interna e elabora-se uma possibilidade de leitura da mesma enquanto processo relacional e discursivo. / The purpose of this dissertation is to understand the importance of internal communication in the processes of construction and reconstruction of meanings appropriate to the needs of organizations, taking into account the strategic objectives of same. It is observed the relevance of the hypothesis that internal communication is able to put into circulation and articulate meanings that promotes the organizational reality. This process is seen from the perception of employees Viação Progresso relating to the construction of organizational identity. It started from the theoretical assumption that communication processes are constituted through relationships and interactions, and perceived as symbolic and discursive phenomena. In this sense, it works with symbolic interactionism, constructivism and complex thought, and takes into account factors such as participation and organizational culture to articulate the processes. On the way, is highlighted the formal networks of communication, with face to face interactions, and informal networks, with social networks of informal communication, specifically the rádio peão. Through the methodologies of content analysis and use of assumptions of discourse analysis and text, seeks to understand the perception of employees on the internal communication and prepare a chance to read the same process as relational and discursive.

Orientadores: Aurelio Ribeiro Leite de Oliveira, Fredy Angel Amaya Robayo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-23T17:46:00Z (GMT). No. of bitstreams: 1 MamianLopez_EstherSofia_M.pdf: 1176541 bytes, checksum: 8f49901f40e77c9511c30e86c0d1bb0d (MD5) Previous issue date: 2013 / Resumo: Os modelos probabilísticos de uma linguagem (MPL) são modelos matemáticos onde é definida uma função de probabilidade que calcula a probabilidade de ocorrência de uma cadeia em uma linguagem. Os parâmetros de um MPL, que são as probabilidades de uma cadeia, são aprendidos a partir de uma base de dados (amostras de cadeias) pertencentes à linguagem. Uma vez obtidas as probabilidades, ou seja, um modelo da linguagem, existe uma medida para comparar quanto o modelo obtido representa a linguagem em estudo. Esta medida é denominada perplexidade por palavra. O modelo de linguagem probabilístico que propomos estimar, está baseado nas gramáticas probabilísticas livres do contexto. O método clássico para estimar os parâmetros de um MPL (Inside-Outside) demanda uma grande quantidade de tempo, tornando-o inviável para aplicações complexas. A proposta desta dissertação consiste em abordar o problema de estimar os parâmetros de um MPL usando métodos de pontos interiores, obtendo bons resultados em termos de tempo de processamento, número de iterações até obter convergência e perplexidade por palavra / Abstract: In a probabilistic language model (PLM), a probability function is defined to calculate the probability of a particular string ocurring within a language. These probabilities are the PLM parameters and are learned from a corpus (string samples), being part of a language. When the probabilities are calculated, with a language model as a result, a comparison can be realized in order to evaluate the extent to which the model represents the language being studied. This way of evaluation is called perplexity per word. The PLM proposed in this work is based on the probabilistic context-free grammars as an alternative to the classic method inside-outside that can become quite time-consuming, being unviable for complex applications. This proposal is an approach to estimate the PLM parameters using interior point methods with good results being obtained in processing time, iterations number until convergence and perplexity per word / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada

Orientadores: Ruth Elisabeth Vasconcellos Lopes, Charlotte Marie Chamberlland Galves / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-24T00:21:30Z (GMT). No. of bitstreams: 1 Faria_Pablo_D.pdf: 2488292 bytes, checksum: c75ee78601e9b73c790d12ce7e2d414e (MD5) Previous issue date: 2013 / Resumo: Neste trabalho, o fenômeno de aquisição de uma língua natural é investigado através de uma modelagem computacional. O aprendiz modelado - apelidado de IASMIM - se caracteriza como um modelo computacional integrado de aquisição de primeira língua, visto que integra os processos de aquisição lexical e sintática. Além disso, o modelo foi concebido de modo a atender certos critérios de plausibilidade empírica e psicológica. A perspectiva teórica que norteia a investigação é a da Gramática Gerativa (cf. Chomsky, 1986) e este é um modelo voltado para a competência linguística, não um modelo de processamento ou de performance (i.e., de uso do conhecimento linguístico). O aprendiz modelado é capaz de adquirir um conhecimento gramatical relativamente abrangente e demonstra algum potencial translinguístico, particularmente no que diz respeito a variações de ordem. As simulações para avaliação do modelo permitem observar a emergência de padrões de adjunção e de recursividade na gramática, considerados aqui como as principais evidências de um conhecimento sintático mais elaborado. Finalmente, o modelo incorpora algumas noções caras à teoria sintática no âmbito do Programa Minimalista (cf. Chomsky, 1995b), tais como set- Merge, pair-Merge, "traço seletor" (cf. Chomsky, 1998), em conjunto com assunções sobre a binariedade das representações sintáticas e a hipótese de que a ordem linear não tem papel na sintaxe (cf. Uriagereka, 1999). O modelo incorpora, ainda, uma versão da representação semântico-conceitual proposta em Jackendoff (1990). Nesta modelagem, estas noções e assunções ganham uma interpretação concreta e integrada, interagindo na determinação das propriedades do conhecimento adquirido / Abstract: In the present work, the acquisition of natural languages is investigated through a computer simulation. The modelled learner - dubbed IASMIM - is characterized as an integrated computational model of first language acquisition, in the sense that it integrates the processes of lexical and syntactic acquisition. Furthermore, the model was conceived in order to be empirically and psychologically plausible. The theoretical perspective of this enterprise is that of Generative Grammar (cf. Chomsky, 1986) and this is a model concerned with linguistic competence, rather than language processing or performance (i.e., how the acquired knowledge is put to use). The modelled learner is capable of acquiring a relatively broad grammatical knowledge and shows some crosslinguistic abilities, in particular, the ability to handle languages with distinct word orders. In the simulations for evaluation of the model we can observe the emergence of adjunction and recursive patterns in the grammar, taken here as the main pieces of evidence of a more elaborated syntactic knowledge. Finally, the model embodies some central notions for syntactic theory under the Minimalist Program (cf. Chomsky, 1995b), such as set-Merge, pair-Merge and "selector feature" (cf. Chomsky, 1998), together with the assumptions that syntactic representations are strictly binary branching and that linear word order has no significant role in syntactic phenomena (cf. Uriagereka, 1999). The model also embodies a version of the semantic-conceptual representation proposed in Jackendoff (1990). They take a concrete and integrated existence in this model, interacting with one another to determine the properties of the acquired grammatical knowledge / Doutorado / Linguistica / Doutor em Linguística

Orientador: Arnaldo Vieira Moura / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-19T00:11:05Z (GMT). No. of bitstreams: 1 Rebiha_Rachid_D.pdf: 1451665 bytes, checksum: abe6fc4e72cf43113c7c93064ab11ed8 (MD5) Previous issue date: 2011 / Resumo: É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se verifica a cada execução de um sistema. Apesar dos progressos enormes ao longo dos anos, o problema da geração de invariantes ainda está em aberto para tanto programas não-lineares discretos, como para sistemas não-lineares híbridos. Nesta tese, primeiramente, apresentamos novos métodos computacionais que podem automatizar a descoberta e o fortalecimento de relações não-lineares entre as variáveis de um programa que contém laços não-lineares, ou seja, programas que exibem relações polinomiais multivariadas e manipulações fracionarias. Além disso, a maioria dos sistemas de segurança críticos, tais como aviões, automóveis, produtos químicos, usinas de energia e sistemas biológicos, operam semanticamente como sistemas híbridos não-lineares. Nesse trabalho, apresentamos poderosos métodos computacionais que são capazes de gerar bases de ideais polinomiais de invariantes não-lineares para sistemas híbridos não-lineares. Em segundo lugar, apresentamos métodos pioneiros de verificação que automaticamente gerem bases de invariantes expressas por séries de potências multi-variáveis e por funções transcendentais. Discutimos, também, a sua convergência em sistemas híbridos que exibem modelos não lineares. Verificamos que as séries de potência geradas para invariantes são, muitas vezes, compostas pela expansão de algumas funções transcendentais bem conhecidas, tais como "log" e "exp". Assim, apresentam uma forma analisável fechada que facilita o uso de invariantes na verificação de propriedades de segurança. Para cada problema de geração de invariantes estabelecemos condições suficientes, muito gerais, que garantem a existência e permitem o cálculo dos ideais polinomiais para situações que não podem ser tratadas pelas abordagens de geração invariantes hoje conhecidas. Finalmente, estendemos o domínio de aplicações, acessíveis através de métodos de geração de invariantes, para a área de segurança. Mais precisamente, fornecemos uma plataforma extensível baseada em invariantes pré-computadas que seriam usadas como assinaturas semânticas para análise de intrusos ("malwares") e deteção dos ataques de intrusões mais virulentos. Seguindo a concepção de tais plataformas, propomos sistemas de detecção de intrusão, usando modelos gerados automaticamente, onde as chamadas de sistema e de funções são vigiados pela avaliação de invariantes, pré-calculadas para denunciar qualquer desvio observado durante a execução da aplicação. De modo abrangente, nesta tese, propomos a redução de problemas de geração de invariantes para problemas algébricos lineares. Ao reduzir os problemas de geração de invariante não-triviais de sistemas híbridos não-lineares para problemas algébricos lineares relacionados, somos capazes de ultrapassar as deficiências dos mais modernos métodos de geração de invariante hoje conhecidos permitindo, assim, a geração automática e eficiente de invariantes para programas e sistemas híbridos não lineares complexos. Tais métodos algébricos lineares apresentam complexidades computacionais significativamente inferiores àquelas exigidas pelos os fundamentos matemáticos das abordagens usadas hoje, tais como a computação de bases de Gröbner, a eliminação de quantificadores e decomposições cilíndricas algébricas / Abstract: It is well-known that the automation and effectiveness of formal software verification of embedded or hybrid systems depends to the ease with which precise invariants can be automatically generated from source specifications. An invariant is a property that holds true at a specific location in the specification code, whenever an execution reaches that location. Despite tremendous progress over the years, the problem of invariant generation remains very challenging for both non-linear discrete programs, as well as for non-linear hybrid systems. In this thesis, we first present new computational methods that can automate the discovery and can strengthen interrelationships among the variables of a program that contains non-linear loops, that is, programs that display multivariate polynomial and fractional manipulations. Moreover, most of safety-critical systems such as aircraft, cars, chemicals, power plants and biological systems operate semantically as non-linear hybrid systems. In this work, we demonstrate powerful computational methods that can generate basis for non-linear invariant ideals of non-linear hybrid systems. Secondly, we present the first verification methods that automatically generate basis for invariants expressed by multivariate formal power series and transcendental functions. We also discuss their convergence over hybrid systems that exhibit non linear models. The formal power series invariants generated are often composed by the expansion of some well-known transcendental functions e.g. log and exp. They also have an analysable closed-form which facilitates the use of the invariants when verifying safety properties. For each invariant generation problem, we establish very general sufficient conditions that guarantee the existence and allow for the computation of invariant ideals for situations that can not be treated in the presently known invariant generation approaches. Finally, we extend the domain of applications for invariant generation methods to encompass security problems. More precisely, we provide an extensible invariant-based platform for malware analysis and show how we can detect the most virulent intrusions attacks using these invariants. We propose to automatically generate invariants directly from the specified malware code in order to use them as semantic aware signatures, i.e. malware invariant, that would remain unchanged by most obfuscated techniques. Folix lowing the design of such platforms, we propose host-based intrusion detection systems, using automatically generated models where system calls are guarded by pre-computed invariants in order to report any deviation observed during the execution of the application. In a broad sense, in this thesis, we propose to reduce the verification problem of invariant generation to algebraic problems. By reducing the problems of non-trivial nonlinear invariant generation for programs and hybrid systems to related linear algebraic problems we are able to address various deficiencies of other state-of-the-art invariant generation methods, including the efficient treatment of complicated non-linear loop programs and non-linear hybrid systems. Such linear algebraic methods have much lower computational complexities than the mathematical foundations of previous approaches know today, which use techniques such as as Gröbner basis computation, quantifier elimination and cylindrical algebraic decomposition / Doutorado / Ciência da Computação / Doutor em Ciência da Computação