Made available in DSpace on 2016-08-17T14:52:43Z (GMT). No. of bitstreams: 1 Milson Monteiro.pdf: 1924077 bytes, checksum: 78f931b493f756dec0edee7a465e1099 (MD5) Previous issue date: 2002-06-07 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / This works concern software development (graphical user interface) that makes possible to analyze the interconnection in a LAN (Local Area Network) using CORBA (Common Object Request Broker Architecture) on distributed and heterogeneous environment among several outlying machines. This works presents paradigms of graphs theory: shortest paths problems (Dijkstra-Ford-Moore-Belman), maximum flow problems (Edmonds-Karp) and minimum cost flow problems (Busacker-Gowen) to formalize the interface development. We discoursed on the graphs theory and networks flows that are essentials to guarantee theoretical insight. / O objeto de estudo deste trabalho é o desenvolvimento de um software (interface gráfica do usuário) que possibilita analisar a interconexão de uma LAN (Local Area Network) usando CORBA (Common Object Request Broker Architecture) em ambientes distribuídos e heterogêneos entre diversas máquinas periféricas. Este trabalho apresenta os paradigmas da teoria de grafos: menor caminho (Dijkstra, Ford-Moore-Belman), fluxo máximo (Edmonds-Karp) e fluxo de custo mínimo (Busacker-Gowen) para formalizar o desenvolvimento da interface. Discorremos sobre a teoria de grafos e fluxos em redes que são relevantes para garantir o embasamento teórico.

Made available in DSpace on 2016-08-17T14:52:45Z (GMT). No. of bitstreams: 1 Yonara Magalhaes.pdf: 3488130 bytes, checksum: e183eccb37268ce608c84048d98d467a (MD5) Previous issue date: 2003-01-31 / Cooperative process of teach-learning at a distance of the society of intelligent agents of environment MATHNET. It is presented architecture of the society of agents of the MATHNET that to provide the process with teach-learning. It is in exchange for distinguished the Tutor Agent and the model of communication, based messages and that it uses the FIPA-ACL Agent Communication Language, between the Tutor Agent and excessively the participant agents of this society. The main characteristics and the paper (responsibilities) of the Tutor Agent describe. Its conceptual model is constructed. Its main Cases Use, interactions with several agents of this architecture and the protocols of communication of the Tutor Agent with the other agents are shaped. The Tutor Agent creates itself using a tool of construction of agents. One implements the Tutor Agent and its Cases Use to inside demonstrate to its relevance and importance of the system and the model of communication. / Processo de ensino-aprendizagem cooperativo à distância da sociedade de agentes inteligentes do ambiente MATHNET. Apresenta-se a arquitetura da sociedade de agentes do MATHNET que provê o processo de ensino-aprendizagem. Destaca-se o Agente Tutor e o modelo de comunicação, baseado em troca de mensagens e que utiliza a Linguagem de Comunicação FIPA-ACL, entre o Agente Tutor e os demais agentes participantes dessa sociedade. Descrevem-se as principais características e o papel (responsabilidades) do Agente Tutor. Constrói-se o seu modelo conceitual. Modelam-se os seus principais Casos de Uso, as interações com os demais agentes dessa arquitetura e os protocolos de comunicação do Agente Tutor com os outros agentes. Cria-se o Agente Tutor utilizando para isto uma ferramenta de construção de agentes. Implementa-se o Agente Tutor e seus Casos de Uso para demonstrar sua relevância e importância dentro do sistema e o modelo de comunicação aqui proposto.

Made available in DSpace on 2016-08-17T14:53:02Z (GMT). No. of bitstreams: 1 Helaine_Cristina_Silva_Sousa.pdf: 2630560 bytes, checksum: fb46a7db2abe38334d4a7e684f39c287 (MD5) Previous issue date: 2009-05-14 / FUNDAÇÃO DE AMPARO À PESQUISA E AO DESENVOLVIMENTO CIENTIFICO E TECNOLÓGICO DO MARANHÃO / The emergence of model driven approaches provides a new alternative for managing the complexity involved in the creation of test cases, for enhancing the automation of software testing and for promoting the broad reuse of models developed during the analysis of requirements and design of software. In addition, it reduces the injection of errors and software development time. However, in the use of model driven approaches, possible errors can be injected during the manual creation of transformation rules applyied to develop a software system. In this dissertation, we propose metamodels for test, a methodology and a framework called Automatic Test Case based on Models (ATCM) in order to generate test cases to test the source code generated by an model driven approach. A prototype of the framework ATCM was developed, providing tools that minimize the injection of errors during the generation of test cases, making this task less dependent on people and less error-prone reducing the development time and providing high quality and efficiency of test cases. / O surgimento das Abordagens Dirigidas por Modelos fornece uma nova alternativa para o gerenciamento da complexidade do desenvolvimento de software, para criação de testes de software, para automação dos processos de testes e para fornecimento da ampla reutilização de modelos desenvolvidos durante a fase de análise dos requisitos e projeto de software, reduzindo a possível injeção de erros e o tempo de desenvolvimento do software. No entanto, com a utilização das Abordagens Dirigidas por Modelos, possíveis erros podem ser injetados na criação das regras de transformação para implementar um determinado sistema de software. Propõe-se neste trabalho metamodelos de testes, uma metodologia e um framework ATCM (Automatic Test Case based on Models) com a finalidade de gerar casos de teste a fim de testar o código-fonte gerado por uma Abordagem Dirigida por Modelos. Um protótipo do framework ATCM foi desenvolvido, fornecendo ferramentas que minimizam a injeção de erros durante a geração dos casos de teste, tornando esta tarefa menos dependente de pessoas e menos propensa a erros reduzindo o tempo de desenvolvimento e provendo maior qualidade e eficiência nos casos de teste gerados.

Made available in DSpace on 2016-08-17T14:53:19Z (GMT). No. of bitstreams: 1 dissertacao Carlos Cesar.pdf: 5267302 bytes, checksum: 26bac06a2f7777c938fb717c801f59cd (MD5) Previous issue date: 2011-07-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model transformation process in the MDE context. The precision absence in these the models lead the user to misinterpret complex structures present in the mapping of the source model elements to the target model elements. In this context, we proposed to develop a formal methodology that eliminates the ambiguities and inconsistencies present in the informal representations of model transformation in MDE. To solve this problem, a Formal and Conceptual Framework is developed that groups the elements involved in the process of transformation, represented by mathematical artifacts from the Set Theory and specified on Z language. This Framework is validated through a case study that contains complex transformations, tested on the mathematical proof tool Z/EVES, which supports statements made in Z language. / Nesta dissertação, apresenta-se uma abordagem baseada na Teoria dos Conjuntos e na Linguagem de Especificação Formal Z para formalizar a Transformação entre Modelos dentro do contexto da Engenharia Dirigida a Modelos (MDE). A motivação desta pesquisa se deu devido a constatação de que a literatura sobre MDE tem apresentado ambiguidades e inconsistências nos modelos utilizados para abstrair o processo de transformação de modelos no contexto da MDE. Esta falta de precisão nestes tipos de modelos leva o usuário a interpretar de forma errada estruturas complexas presentes no mapeamento de elementos do modelo fonte para o modelo alvo. Sendo assim, propõe-se desenvolver uma metodologia formal que elimine as ambiguidades e inconsistências presentes nas representações informais da transformação de modelos da MDE. Para solucionar este problema, desenvolveu-se um Framework Conceitual Formal que agrupa os elementos envolvidos no processo de transformação, onde estes são representados através de artefatos matemáticos da Teoria dos Conjuntos e especificados em linguagem Z. Este Framework é validado através de um estudo de caso que contêm transformações, testadas na ferramenta de prova matemática Z/EVES, que suporta declarações feitas em linguagem Z.

Submitted by Marta Toyoda (1144061@mackenzie.br) on 2018-02-16T23:06:29Z No. of bitstreams: 2 Roberto Vitoriano Perianhes.pdf: 5483045 bytes, checksum: 54cb8ad49fe9a8dd9da3aaabb8076b2f (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2018-03-08T11:19:18Z (GMT) No. of bitstreams: 2 Roberto Vitoriano Perianhes.pdf: 5483045 bytes, checksum: 54cb8ad49fe9a8dd9da3aaabb8076b2f (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-08T11:19:18Z (GMT). No. of bitstreams: 2 Roberto Vitoriano Perianhes.pdf: 5483045 bytes, checksum: 54cb8ad49fe9a8dd9da3aaabb8076b2f (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-08-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The images obtained by interferometers such as VLBA (Very Long Baseline Array) and VLBI (Very Long Baseline Interferometry), remain the direct evidence of relativistic jets and outbursts associated with supermassive black holes in active galactic nuclei (AGN). The study of these images are critical tools to the use of information from these observations, since they are one of the main ingredients for synthesis codes7 of extragalactic objects. In this thesis is used both synthetic and observed images. The VLBA images show 2-dimensional observations generated from complex 3-dimensional astrophysical processes. In this sense, one of the main difficulties of the models is the definition of parameters of functions and equations to reproduce macroscopic and dynamic physical formation events of these objects, so that images could be study reliably and on a large scale. One of the goals of this thesis is to elaborate a generic8 form of observations, assuming that the formation of these objects had origin directly by similar astrophysical processes, given the information of certain parameters of the formation events. The definition of parameters that reproduce the observations are key to the generalization formation of sources and extragalactic jets. Most observation articles have focus on few or even unique objects. The purpose of this project is to implement an innovative method, more robust and efficient, for modeling and rendering projects of various objects, such as the MOJAVE Project, which monitors several quasars simultaneously offering a diverse library for creating models (Quasars9 and Blazars10: OVV11 and BL Lacertae12). In this thesis was implemented a dynamic way to study these objects. Presents in this thesis the adaptation of the Cross-Entropy algorithm for the calibration of the parameters of astrophysical events that summarize the actual events of the VLBA observations. The development of the code of the adaptation structure includes the possibility of extension to any image, assuming that these images are dispose in intensities (Jy/beam) distributed in Right Ascension (AR) and Declination (DEC) maps. The code is validating by searching for self-convergence to synthetic models with the same structure, i.e, realistics simulations of components ejection, in milliarcsecond, similar to the observations of the MOJAVE project in 15.3 GHz. With the use of the parameters major semi-axis, angle of position, eccentricity and intensity applied individually to each observed component, it was possible to calculate the structure of the sources, the velocities of the jets, as well as the conversion in flux density to obtain light curves. Through the light curve, the brightness temperature, the Doppler factor, the Lorentz factor and the observation angle of the extragalactic objects can be estimated with precision. The objects OJ 287, 4C +15.05, 3C 279 and 4C +29.45 are studied in this thesis due the fact that they have different and complex morphologies for a more complete study. / As imagens obtidas por interferômetros, tais como VLBA (Very Long Baseline Array) e VLBI (Very Long Baseline Interferometry), são evidências diretas de jatos relativísticos associados a buracos negros supermassivos em núcleos ativos de galáxias (AGN). O estudo dessas imagens é fundamental para o aproveitamento das informações dessas observações, já que é um dos principais ingredientes para os códigos de síntese1 de objetos extragalácticos. Utiliza-se nesta tese, tanto imagens sintéticas quanto observadas. As imagens de VLBA mostram observações em 2 dimensões de processos astrofísicos complexos ocorrendo em 3 dimensões. Nesse sentido, uma das principais dificuldades dos modelos é a definição dos parâmetros das funções e equações que reproduzam de forma macroscópica e dinâmica os eventos físicos de formação desses objetos, para que as imagens sejam estudadas de forma confiável e em grande escala. Um dos objetivos desta tese é elaborar uma forma genérica2 de observações, supondo que a formação desses objetos é originada por processos astrofísicos similares, com a informação de determinados parâmetros da formação dos eventos. A definição de parâmetros que reproduzam as observações são elementos chave para a generalização da formação de componentes em jatos extragalácticos. Grande parte dos artigos de observação são voltados para poucos ou únicos objetos. Foi realizada nesta tese a implementação um método inovador, robusto e eficiente para a modelagem e reprodução de vários objetos, como por exemplo nas fontes do Projeto MOJAVE, que monitora diversos quasares simultaneamente, oferecendo uma biblioteca diversificada para a criação de modelos (Quasares3 e Blazares4: OVV5 e BL Lacertae6). Com essas fontes implementou-se uma forma dinâmica para o estudo desses objetos. Apresenta-se, nesta tese, a adaptação do algoritmo de Cross-Entropy para a calibração dos parâmetros dos eventos astrofísicos que sintetizem os eventos reais das observações em VLBA. O desenvolvimento da estrutura de adaptação do código incluiu a possibilidade de extensão para qualquer imagem, supondo que as mesmas estão dispostas em intensidades (Jy/beam) distribuídas em mapas de Ascensão Reta (AR) e Declinação (DEC). A validação do código foi feita buscando a auto convergência para modelos sintéticos com as mesmas estruturas, ou seja, de simulações realísticas de ejeção de componentes, em milissegundos de arco, similares às observações do projeto MOJAVE, em 15,3 GHz. Com a utilização dos parâmetros semieixo maior, ângulo de posição, excentricidade e intensidade aplicados individualmente a cada componente observada, é possível calcular a estrutura das fontes, as velocidades dos jatos, bem como a conversão em densidade de fluxo para obtenção de curvas de luz. Através da curva de luz estimou-se com precisão a temperatura de brilhância, o fator Doppler, o fator de Lorentz e o ângulo de observação dos objetos extragalácticos. Os objetos OJ 287, 4C +15.05, 3C 279 e 4C +29.45 são estudados nesta tese pois têm morfologias diferentes e complexas para um estudo mais completo.

Submitted by Marta Toyoda (1144061@mackenzie.br) on 2018-09-17T21:26:09Z No. of bitstreams: 2 VAGNER DA SILVA.pdf: 6654752 bytes, checksum: 6b39051202d68aad16af376bc71230ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2018-09-20T15:26:37Z (GMT) No. of bitstreams: 2 VAGNER DA SILVA.pdf: 6654752 bytes, checksum: 6b39051202d68aad16af376bc71230ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-09-20T15:26:37Z (GMT). No. of bitstreams: 2 VAGNER DA SILVA.pdf: 6654752 bytes, checksum: 6b39051202d68aad16af376bc71230ff (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-08-07 / Fundo Mackenzie de Pesquisa / The assessment methods used in the modality of courses and in virtual learning or distance learning environments tend to provide insufficient or incomplete information about the development of learning. Among instruments used in evaluations there are questions of multiple choice, forum, projects and chats, often focusing only on the summative evaluation, of classification feature; consequently, providing incomplete data regarding the learning. Many of these environments make it difficult through the offered tools to develop assessments capable of presenting as accurate information as possible about the knowledge constructed by the student. Providing students with activities that can be assessed by process-based instruments, such as the conceptual organization, tend to strengthen the teaching/learning process. These activities should complement assessment tools based on multiple-choice, test, or project questions. This work presents a model that allows following the learning through the use of individual and collaborative conceptual maps, providing indexes and using measures to follow learning evolution. In this model, the conceptual maps are assessments qualitatively and, among others, the results are used to inform students’ conceptual organization index and to define groups division for collaborative conceptual map development. In addition, the model provides information for students and teachers regarding the development of learning, so, they will be able to make individual or joint decisions to achieve the proposed learning objective. / Os métodos de avaliações usados, na modalidade de Cursos presenciais e em Ambientes Virtuais de Aprendizagem ou ensino a distância tendem a fornecer informações insuficientes ou incompletas sobre o desenvolvimento da aprendizagem. Dentre os instrumentos usados nas avaliações, estão questões de múltipla escolha, fórum, projetos e chat, muitas vezes focando apenas a Avaliação Somativa, de caráter classificatório e, consequentemente, fornecendo dados incompletos a respeito da aprendizagem. Muitos desses ambientes dificultam, pelas ferramentas oferecidas, o desenvolvimento de avaliações capazes de apresentar informações o mais precisas possíveis sobre o conhecimento construído pelo aluno. Proporcionar aos alunos atividades que possam ser avaliadas por instrumentos baseados no processo, como a organização conceitual, tende a fortalecer o processo ensino/aprendizagem. Essas atividades, devem complementar os instrumentos de avaliações baseados em questões de múltipla escolha, teste ou projetos. Este trabalho apresenta um modelo que permite acompanhar a aprendizagem pelo uso de Mapas Conceituais Individuais e Colaborativos, fornecendo índices e utilizando medidas para acompanhamento da evolução da aprendizagem. Nesse modelo, os Mapas Conceituais são avaliados qualitativamente e os resultados são usados para, dentre outros, informar o índice de organização conceitual do aluno e definir a divisão dos grupos para desenvolvimento do Mapa Conceitual Colaborativo. Além disso, o modelo fornece informações para alunos e professores a respeito do desenvolvimento da aprendizagem; assim, eles terão condições de tomar decisões individuais ou em conjunto para alcançar o objetivo de aprendizagem proposto.