A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedades são definidas na forma de axiomas (equações). Por outro lado, a tecnologia chamada de Orientada a Objetos (00), foi se transformando em uma disciplina amadurecida para projetos e implementações de aplicações de software. Atualmente esta tecnologia inclui muitas metodologias e muitas linguagens que abrangem todo o processo de desenvolvimento de sistemas, porem, a maioria delas são influenciadas pela implementação de tais sistemas, isto e, os conceitos básicos 00 de classe, objeto e herança são definidos em fungi° da linguagem de implementação a ser usada. Alem disso, notamos que nos últimos anos esta sendo desenvolvida muita pesquisa sobre uma geração de computadores que envolvem massivamente arquiteturas paralelas (computação concorrente), bem como sobre sistemas de comunicação de dados e engenharia (descrição) de protocolos. O objetivo principal desta tese a dar uma resposta a estes três assuntos integrando três conceitos básicos da Engenharia de Software: Especificação Algébrica, Orientação a Objetos e Especificação de Processos e Concorrência, em uma Única abordagem expressa através de uma Linguagem de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas. / The abstract specification of data types, one of the most important concepts accepted and understood of the Computer Science, allows to describe the the main entities of a based-computer system through the properties that these entities should be to satisfy. This is made using algebraic methods and languages, where the properties are defined as axioms (equations). By other hand, the technology called Object-Oriented (00), it has been transformed in a mature discipline for Design and Implementations of software applications. At present, this technology include many methodologies and many languages for the totality of the system development process. But the majority are influenced by the implementation of such systems, i.e., the basic concepts 00 of class, object and inheritance are defined in accordance with the programming language to be used. Moreover, we noted that the last years are being developed many research on a computer generation that involve massively parallel architectures (concurrent computing) as well as on data communication systems and protocol engineering (description). The main objective of this thesis is to give an answer to these three subjects integrating three basic concepts of Software Engineering: Algebraic Specification, Object Orientation and Processes and Concurrency specification, in an unique approach expressed through a language of formal specification, called LOP. This language has algebraic nature with prominence to the semantics based on theories in first-order logic with equality and the incremental construction of library-based specifications.

Este trabalho tem por objetivo estabelecer requisitos para o desenvolvimento de projeto de interfaces para Objetos de Aprendizagem para Educação a Distância (EaD) fundamentados nos princípios do Design de Interação e na Motivação. Para isto, foram investigados: conceitos que envolvem EaD, Objetos de Aprendizagem, Design Instrucional, bem como as metodologias que compreendem o seu desenvolvimento; princípios de Design de Interação que devem ser levados em consideração no desenvolvimento da Interface Gráfica do Usuário; motivação aplicada no Design de Interação de Objetos de Aprendizagem para EaD. Baseados nesta investigação, foram estabelecidos critérios de avaliação de Objetos de Aprendizagem utilizados em EaD, de acordo com os princípios do Design de Interação e Motivação. A partir da relação estabelecida entre as análises de metodologias, trabalho dos projetistas e princípios do Design de Interação e Motivação, formularam-se os requisitos para o desenvolvimento de projeto de interfaces para Objetos de Aprendizagem para EaD fundamentados nos princípios do Design de Interação e na Motivação. / This study aims to establish requirements for the development of interface design for Learning Objects for distance education based on the principles of Interaction Design and Motivation. For this were investigated: concepts that involve distance education, Learning Objects, Instructional Design and the methodologies involving its development, principles of interaction design that must be taken into consideration in the development of Graphical User Interface; motivation applied in Design Interaction of Learning Objects for distance education. Based on that research were established evaluation criteria of learning objects used in distance education in accordance with the principles of Interaction Design and Motivation. From the relationship established between the analysis of methodologies, work of designers and principles of Interaction Design and Motivation are settled the requirements for the development of interface design for Learning Objects for distance education based on the principles of Interaction Design and Motivation.

Um esquema de banco de dados certamente sofrerá alguma alteração com o passar do tempo. Algumas das causas destas modificações são ocorrência de um aumento no domínio do sistema, erros ocorridos na fase de projeto, mudanças na realidade representada pelo sistema, ou a necessidade de melhoria no seu desempenho. O uso de bancos de dados temporais é uma alternativa para o armazenamento das informações da evolução, pois permite sua recuperação por meio do histórico de suas mudanças. O presente trabalho propõe um ambiente para implementar evolução de esquemas sobre um BDOO, utilizando o Modelo Temporal de Versões (TVM). Deste modo, características de versões e de tempo são utilizadas tanto no nível dos esquemas como nos dados armazenados. Estados são associados às versões de esquema para representar seus estágios de desenvolvimento durante a evolução. O gerenciamento das versões de esquema é realizado por intermédio de uma camada denominada meta-esquema. Em um outro nível, o gerenciamento das instâncias é realizado por meio de uma camada denominada metadados, inserida para cada versão de esquema definida. Por intermédio destes controles é possível analisar a evolução dos esquemas como um todo e, para cada esquema, as correspondentes versões de seus dados e sua evolução temporal. Algumas alternativas de consulta para um ambiente com estas características são analisadas. O trabalho apresenta, ainda, as características básicas de um protótipo implementado para verificar a viabilidade da proposta apresentada.

Em vista da maior complexidade da programação paralela e distribuída em relação à programação de ambientes centralizados, novas ferramentas vêm sendo construídas com o objetivo de auxiliar o programador desses ambientes a desempenhar sua tarefa de formas mais eficazes e produtivas. Uma das ferramentas que há algum tempo tem sido usada na programação centralizada e aos poucos está sendo empregada também na programação concorrente é a programação visual. A programação visual se vale da presença de elementos visuais na especificação dos programas como peças chaves do processo de desenvolvimento de software. No caso específico da programação concorrente, a programação visual é especialmente útil pela capacidade que os gráficos têm de representar de forma mais adequada estruturas bidimensionais. Um programa concorrente, por relacionar no espaço diversos elementos com seus próprios fluxos de execução, faz surgir duas dimensões de análise que são mais difíceis de serem observadas através de programas textuais. Atualmente existem ferramentas de programação visual paralela e distribuída, mas a ênfase é dada na programação paralela, sem muita atenção a aplicações de sistemas abertos ou cliente-servidor. Além disso, tais ferramentas sofrem da falta de apoio à engenharia do software. Considerando essas deficiências, este trabalho apresenta uma ferramenta de programação visual para o desenvolvimento de aplicações compostas por objetos distribuídos que ofereça também a possibilidade de aplicar os principais conceitos da engenharia de software, como reutilização e orientação a objeto. Nesta ferramenta, o programador especifica de maneira visual a estrutura do seu programa, insere o código textual para a lógica da aplicação e o ambiente se encarrega do tratamento da distribuição e da comunicação de mais baixo nível. A aplicação é representada como um grafo dirigido, onde os nodos representam os objetos distribuídos e os arcos indicam os relacionamentos existentes entre esses objetos. A especificação dos programas é modular, baseando-se na reunião de componentes reutilizáveis, o que torna o sistema altamente configurável e extensível. Tanto a implementação da ferramenta quanto o código das aplicações geradas usam a linguagem de programação Java. A linguagem de programação visual projetada não especifica detalhes a respeito de como irá funcionar a comunicação e distribuição dos objetos. Portanto, foram implementados componentes para comunicação e outros recursos de programação distribuída, como locks e dados globais para serem usados nas aplicações. Para validar os principais objetivos da ferramenta, foram implementados alguns exemplos de aplicações distribuídas, como um pequeno sistema de bate-papo.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de História, 2016. / Submitted by Camila Duarte (camiladias@bce.unb.br) on 2016-09-14T18:58:42Z No. of bitstreams: 1 2016_JoãoFranciscoSchramm.pdf: 9442296 bytes, checksum: 9ca24a14e9ab35c1dc33b631883714e4 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-09-16T11:47:49Z (GMT) No. of bitstreams: 1 2016_JoãoFranciscoSchramm.pdf: 9442296 bytes, checksum: 9ca24a14e9ab35c1dc33b631883714e4 (MD5) / Made available in DSpace on 2016-09-16T11:47:49Z (GMT). No. of bitstreams: 1 2016_JoãoFranciscoSchramm.pdf: 9442296 bytes, checksum: 9ca24a14e9ab35c1dc33b631883714e4 (MD5) / Esta pesquisa tem como tema discutir o envolvimento da Força Aérea Brasileira (FAB) no estudo e investigação de fenômenos relacionados aos objetos aéreos não identificados (Oanis) no séc. XX. Em 1969 foi criado pela IV Zona Aérea o Sistema de Investigação de Objetos Aéreos Não Identificados (Sioani), que tinha como missão empreender pesquisas científicas sobre o tema. Mesmo com o encerramento do Sioani em 1972, a FAB, em 1977, investigou o fenômeno durante a Operação Prato, no norte do Pará, em solicitação das autoridades locais, já que era alegada uma atitude hostil de Oanis junto a população nativa. Já em 1986, a FAB empreendeu uma missão de interceptação em resposta a invasão do espaço aéreo nacional por Oanis, evento que veio a público, em cerimônia no Palácio do Planalto, na decisão do ministro da Aeronáutica na época. Tendo em vista esses eventos, o objetivo dessa pesquisa é analisar as diferentes posturas da FAB sobre ao fenômeno dos Oanis no séc. XX, por meio dos seus documentos oficiais, ao relacionar as principais evidencias coletadas por essa instituição sobre esses fenômenos sob um contexto de guerra aérea e de utilização de tecnologias não convencionais. _________________________________________________________________________________________________ ABSTRACT / The objective of this research is to discuss the involvement of the Brazilian Air Force in the study and research of the phenomena related to unidentified aerial objects (Oanis) in the XX century. In 1969, the IV Air Zone created the Research System of Unidentified Aerial Objects (SIOANI), with the mission to carry out scientific research on the subject. Even with the closure of SIOANI in 1972, the Air Force in 1977, investigated the phenomenon during Operation Prato, in the northern state of Pará, upon request of the local authorities, who alleged a hostile attitude of the Oanis towards the native population. In 1986, the Brazilian Air Force undertook an interception mission in response to the invasion of national airspace by Oanis, an event that became to the public in a ceremony at the Presidential Palace, by decision of the Air Force minister at the time. Given these events, the objective of this research is to analyze the different positions of the Brazilian Air Force regarding the phenomenon of Oanis in the 20th century, through its official documents, and in relation to the main evidence collected by the institution of these phenomena under the context of an air war and of the use of unconventional technologies.

Submitted by Andressa Bernardo da Silva (dree.bernardo@gmail.com) on 2018-07-23T00:14:00Z No. of bitstreams: 2 Bernardo da Silva, Andressa. DISSERTAÇÃO.pdf: 2549223 bytes, checksum: aa5fb31e03b681ca3ea3f670c9ae4c1a (MD5) Produto LER CRIAR BRINCAR. Bernardo da Silva, Andressa..pdf: 3825291 bytes, checksum: 52f35f33fff8721425d60cff9328f9b6 (MD5) / Rejected by Maria Marlene Zaniboni null (zaniboni@bauru.unesp.br), reason: Solicitamos que realize correções na submissão seguindo as orientações abaixo: 1) Verificar orientações para o autoarquivamento. Para enviar o arquivo contendo sua dissertação ou tese é necessário que: - O trabalho esteja reunido em um único arquivo. O Produto deve ser anexado no final da dissertação. Agradecemos a compreensão. on 2018-07-23T12:46:01Z (GMT) / Submitted by Andressa Bernardo da Silva (dree.bernardo@gmail.com) on 2018-07-23T13:18:55Z No. of bitstreams: 1 Bernardo da Silva. Dissertação 2018.pdf: 5452415 bytes, checksum: 52fde0c520a94bf72c88206f3e0a8def (MD5) / Approved for entry into archive by Maria Marlene Zaniboni null (zaniboni@bauru.unesp.br) on 2018-07-23T19:24:03Z (GMT) No. of bitstreams: 1 silva_ab_me_bauru.pdf: 5452415 bytes, checksum: 52fde0c520a94bf72c88206f3e0a8def (MD5) / Made available in DSpace on 2018-07-23T19:24:03Z (GMT). No. of bitstreams: 1 silva_ab_me_bauru.pdf: 5452415 bytes, checksum: 52fde0c520a94bf72c88206f3e0a8def (MD5) Previous issue date: 2018-02-23 / As práticas educativas em creche, por condicionamentos históricos e sociais, trazem, predominantemente, os traços do assistencialismo e do cuidar materno. Essas características tiram o foco sobre a necessidade de formação dos educadores, não atendem às exigências do cuidar e educar na Educação Infantil – EI, consequentemente, não possibilitam que tais práticas sejam planejadas, realizadas, avaliadas e voltadas ao pleno desenvolvimento biopsicossocial das crianças. Dessa forma, esta pesquisa parte do seguinte questionamento: Quais as características dos objetos lúdicos que permitem a elaboração de indicadores que orientem seus usos nas práticas de multiletramento nas creches? Para tanto, procurou-se criar indicadores de seleção, usos, registro e avaliação de objetos para os processos de multiletramento social em creche, por meio das múltiplas linguagens da arte e do brincar, a fim de orientar os educadores nas práticas educativas. A pesquisa, de cunho qualitativo, por meio de um estudo bibliográfico realizado nas bases de dados indexadas, verificou as produções científicas na área e correlatas ao tema do estudo, no período de 1990 a 2017; o estudo documental foi realizado na legislação e nas orientações nacionais que regem a EI. Buscando fazer a interlocução entre Educação, Arte e Linguagem, o levantamento mostrou a necessidade de estudos científicos que abarquem a primeiríssima infância. Os resultados orientaram quanto aos processos de letramento e usos dos objetos lúdicos, focando nos materiais para a primeiríssima infância e propiciaram escopo para a elaboração do livro “Ler, Criar e Brincar: objetos lúdicos no multiletramento em creche”. / The educational practices in day care center, due to historical and social conditioning, predominantly bring traits of assistance and maternal care. These characteristics take focus on the need for training of educators, do not meet the demands of caring for and educate in Early Childhood Education, consequently, do not allow such practices to be planned, carried out, evaluated and aimed at the full biopsychosocial development of children. Thus, this research is based on the following question: What are the characteristics of play objects that allow the elaboration of indicators that guide their uses in the practice of multiletramento in day care centers? Therefore, we tried to create indicators of selection, use, registration and evaluation of objects for the processes of social multilearning in day care, through the multiple languages of art and play, in order to guide educators in educational practices. The qualitative research, through a bibliographic study carried out in the indexed databases, verified the scientific productions in the area and related to the theme of the study, from 1990 to 2017; the documentary study was carried out in the legislation and in the national guidelines governing the IE. Seeking to make the interlocution between Education, Art and Language, the survey showed the need for scientific studies that cover the very first childhood. The results guided the processes of literacy and use of play objects, focusing on materials for early childhood and provided scope for the elaboration of the book "Read, Create and Play: playful objects in multiletrament in day care center".

El análisis y procesamiento de imágenes es un área con activo desarrollo en la matemática y ciencia de la computación. La motivación de esta memoria es desarrollar un método de segmentación de objetos biológicos en imágenes de microscopía que construya contornos de la más alta calidad y que requiera la menor interacción humana en su ejecución. Una familia de métodos exitosa en esta área está basada en un modelo de minimización de energía de curvas deformables bajo la influencia de fuerzas externas. En la presente memoria se trabajó en la implementación de uno de estos métodos y constó de dos partes. En la primera parte se implementó el algoritmo Topology Adaptive Snakes o T-Snakes. La propiedad esencial de este método es que admite cambios topológicos en las curvas (fusiones, cortes y destrucción), lo que permite segmentar objetos con formas altamente complejas minimizando la interacción humana en al proceso. En la segunda parte se implementó el algoritmo Edge Preserving Gradient Vector Flow (EPGVF) el cual genera los campos vectoriales que fuerzan las curvas a evolucionar hacia los bordes de objetos en la imagen. Este método se comparó con su algoritmo predecesor, Generalized Gradient Vector Flow (GGVF), sin que EPGVF presentara ventajas convincentes en las imágenes probadas.

No description available.

Neste trabalho fazemos uma revisão das novas tecnologias da informação e comunicação (TIC), definindo o que são Objetos de Aprendizagem (OA) e como eles têm sido utilizados no ensino de Física. Revisamos ainda o trabalho de Vigotski buscando indicações de sua teoria educacional para investigar a aplicabilidade de atividades didáticas em ensino de Física que lancem mão de OA no ensino médio. Elaboramos um instrumento de pesquisa voltado para professores do ensino médio para avaliar seu efetivo uso nas escolas públicas e privadas brasileiras e as limitações funcionais por eles identificadas ao utilizarem esses recursos computacionais. Com base na literatura, e sob uma ótica vigotskiana, aplicamos algumas atividades com OA pré-selecionados e avaliamos com outro instrumento de pesquisa a opinião dos alunos quanto ao seu uso para o ensino de Física. Nosso trabalho pôde corroborar a boa aceitação por parte dos alunos com relação ao seu uso, já divulgada na literatura e também por parte dos professores, mas mostrou que para além das limitações de uso dos OA, especialmente das simulações computacionais, destacadas na literatura e relacionadas às limitações cognitivas que elas podem trazer quando utilizadas de maneira indiscriminada, existem problemas mais profundos de natureza funcional que têm limitado a disseminação de seu uso efetivo pelo corpo docente. / In this paper we review the new information and communication technologies (ICT), defining what are Learning Objects (LO) and how they have been used in teaching physics. Also reviewed the work of Vygotsky seeking indications of his educational theory to investigate the applicability of learning activities in teaching Physics that use OA in high school. We developed a survey instrument designed for teachers of high school to evaluate its effective use in Brazilian public and private schools and the functional limitations identified by them when they use these computing resources. Based on the literature, and under a vygotskian perspective, we apply some activities with pre-selected LO and evaluated with other research instrument the student\'s opinions about their use for teaching physics. Our study could support the good acceptance from the students with respect to their use, as reported in the literature and also by teachers, but showed that in addition to limitations of the LO\'s use, especially of computer simulations, highlighted in the literature and related to cognitive limitations that they can bring when used indiscriminately, there are deeper problems of functional nature that have limited the spread of its effective use by teaching staff.

Made available in DSpace on 2016-06-02T19:05:36Z (GMT). No. of bitstreams: 1 1977.pdf: 7827443 bytes, checksum: b7d5ce8bc5bb133ce610c499fdd47f85 (MD5) Previous issue date: 2008-05-21 / Financiadora de Estudos e Projetos / Software systems must satisfy the users requeriments and use current technologies. Thus, these systems are in constant evolution and several software maintenance tasks are carried out in order to adapt them to the user s requirements as well as to the current technologies. When there is a change in the technology used by these systems, an approach to their revitalization is reengineering, which is classified as a preventive maintenance. This research project presents the iterative process applied during the reengineering of the GREN framework, which is built based on the GRN pattern language. The GREN framework was originally implemented in Smalltalk, a very spread programming language, mainly within the academic community. In the proposed reengineering process the JavaTMlanguage and AspectJ, which is an aspect-oriented JavaTMextension, were used during the framework implementation resulting from the reengineering process. This new framework is called GRENJ. The proposed process can be used to reengineer systems developed with OO paradigm, in order to change its implementation language to another OO language. That process is iterative, incremental, and applies reverse engineering patterns, test-driven development and refactoring. The GRENJ framework has approximately twenty-eight thousand source code lines, of which approximately ten thousand are related to tests created during the development. The GRENJ framework documentation was generated using the javadoc tool. A hypothetical system that satisfies the basics requirements of a rental video store was instantiated using the GRENJ framework. / Os sistemas de software devem atender aos requisitos dos usuários utilizar as tecnologias atuais. Dessa forma, esses sistemas permanecem em constante evolução e passam por várias atividades de manutenção a fim de se adequar tanto às necessidades dos usuários quanto às tecnologias. Quando há mudança de tecnologia, uma das formas de revitalizar esses sistemas é com a aplicação de reengenharia, classificada como manutenção preventiva. Este projeto de pesquisa apresenta o processo iterativo usado durante a realização da reengenharia do framework caixa-branca GREN (Gerenciamento de REcursos de Negócios), construído com base na linguagem de padrões GRN (Gerenciamento de Recursos de Negócios). O framework GREN foi implementado originalmente em Smalltalk, linguagem de programação muito difundida, principalmente, na comunidade acadêmica. No processo de reengenharia proposto, as linguagem JavaTMe AspectJ, extensão da linguagem JavaTMpara programação orientada a aspectos, foram utilizadas para implementação da nova versão do framework, denominada GRENJ (Gerenciamento de REcursos de Negócios em JavaTM). O processo de reengenharia proposto pode ser utilizado na reengenharia de outros sistemas desenvolvidos com o paradigma OO, em que a mudança de linguagem de programação é desejada, pois é iterativo, incremental, utiliza padrões de engenharia reversa, desenvolvimento guiado por testes (Test-Driven Development, TDD) e refatoração. O framework GRENJ tem aproximadamente vinte e oito mil linhas de código fonte, das quais pouco mais de dez mil estão relacionadas aos testes criados durante o desenvolvimento. A documentação desse framework foi produzida utilizando a ferramenta javadoc. Um sistema hipotético que atende aos requisitos básicos de uma locadora de DVDs foi instanciado usando o GRENJ.