O modelo de referência para dados de contagem é o modelo de Poisson. A principal característica do modelo de Poisson é a pressuposição de que a média e a variância são iguais. No entanto, essa relação de média-variância nem sempre ocorre em dados observacionais. Muitas vezes, a variância observada nos dados é maior do que a variância esperada, fenômeno este conhecido como superdispersão. O objetivo deste trabalho constitui-se na aplicação de modelos lineares generalizados, a fim de selecionar um modelo adequado para acomodar de forma satisfatória a superdispersão presente em dados de contagem. Os dados provêm de um experimento que objetivava avaliar e caracterizar os parâmetros envolvidos no florescimento de plantas adultas da laranjeira variedade \"x11\", enxertadas nos limoeiros das variedades \"Cravo\" e \"Swingle\". Primeiramente ajustou-se o modelo de Poisson com função de ligação canônica. Por meio da deviance, estatística X2 de Pearson e do gráfico half-normal plot observou-se forte evidência de superdispersão. Utilizou-se, então, como modelos alternativos ao Poisson, os modelos Binomial Negativo e Quase-Poisson. Verificou que o modelo Quase-Poisson foi o que melhor se ajustou aos dados, permitindo fazer inferências mais precisas e interpretações práticas para os parâmetros do modelo. / The reference model for count data is the Poisson model. The main feature of Poisson model is the assumption that mean and variance are equal. However, this mean-variance relationship rarely occurs in observational data. Often, the observed variance is greater than the expected variance, a phenomenon known as overdispersion. The aim of this work is the application of generalized linear models, in order to select an appropriated model to satisfactorily accommodate the overdispersion present in the data. The data come from an experiment that aimed to evaluate and characterize the parameters involved in the flowering of orange adult plants of the variety \"x11\" grafted on \"Cravo\" and \"Swingle\". First, the data were submitted to adjust by Poisson model with canonical link function. Using deviance, generalized Pearson chi-squared statistic and half-normal plots, it was possible to notice strong evidence of overdispersion. Thus, alternative models to Poisson were used such as the negative binomial and Quasi-Poisson models. The Quasi-Poisson model presented the best fit to the data, allowing more accurate inferences and practices interpretations for the parameters.

Tese de doutoramento. Engenharia Civil. Faculdade de Engenharia. Universidade do Porto. 2008

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica e de Computadores, na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Professor Doutor Fernando Lobo Pereira

La enseñanza en el área de simulación de eventos discretos requiere integrar una variedad de conceptos teóricos y ponerlos en práctica a través de la creación y ejecución de modelos abstractos de simulación, con el objetivo de recopilar información que pueda traspolarse hacia los sistemas reales. Para construir modelos, ejecutarlos y analizar los resultados de cada ejecución se utilizan herramientas de software cada vez más sofisticadas que permiten expresar los elementos de los modelos en términos de entidades abstractas y relaciones, y que recopilan gran cantidad de datos y estadísticas sobre cada una de estas entidades del modelo. GPSS es una de estas herramientas, y se compone de un lenguaje de programación por bloques y un motor de simulación que traduce estos bloques en distintas entidades del modelo. A pesar de que su primera versión data de 1961, GPSS es aún muy utilizado por profesionales y empresas, y es una de las herramientas más utilizadas para la enseñanza de simulación de eventos discretos por instituciones académicas de todo el mundo.  El avance de la capacidad de cómputo de las computadoras ha permitido incorporar una mayor cantidad de herramientas y funciones a las distintas implementaciones de GPSS. Mientras que esto representa una ventaja para sus usuarios, requiere también un cada vez mayor esfuerzo por parte de los docentes para enseñar a sus estudiantes a aprovechar todo su potencial. Muchos docentes e investigadores han buscado optimizar la enseñanza de simulación de eventos discretos desde múltiples ángulos: la organización del curso y la metodología de enseñanza, la creación de elementos de aprendizaje que ayuden a aplicar los distintos elementos teóricos, la generación de herramientas para construir modelos GPSS, y la construcción de herramientas para comprender el motor de simulación por dentro. En esta tesis se introduce una herramienta de software que permite construir modelos GPSS de manera interactiva, cuyo diseño fue pensado para integrar los elementos teóricos del curso con los objetos y entidades de GPSS. Esta herramienta también permite ejecutar estos modelos y analizar con alto nivel de detalle su evolución a través del tiempo de simulación, lo que permite a los estudiantes comprender cómo funciona el motor de simulación y cómo interactúan las distintas entidades entre sí. Se incluye también una propuesta de enseñanza basada en una fuerte participación de los estudiantes, que, por medio de esta nueva herramienta, les permite incorporar los conceptos más fácilmente. Esta propuesta de enseñanza fue puesta a prueba con alumnos del área de sistemas, quienes tomaron un curso que contiene los mismos elementos teóricos y prácticos de un curso tradicional, pero con una organización diferente. Entre los resultados logrados se destacan una reducción del tiempo requerido para aprender los conceptos de GPSS cercana al 50%, una mayor capacidad por parte de los alumnos para asimilar conceptos y derivar nuevos conceptos por sí solos, a partir de conceptos adquiridos previamente.

El presente trabajo de Tesis Doctoral ha contemplado el estudio teórico y el desarrollo de modelos computacionales acerca de los efectos que causa el proceso de difusión superficial actuando sobre distintos tipos de estructuras de alta razón de aspecto. Tal estudio presenta un intrínseco interés en diversas áreas de la nanociencia y la nanotecnología, involucrando de manera interdisciplinaria aspectos físicos y químicos.

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2001-12-11Bitstream added on 2014-06-13T20:47:37Z : No. of bitstreams: 1 pereira_wf_me_sjrp.pdf: 614166 bytes, checksum: 6df9d771c65c6fa8d098e4e0aba88fb5 (MD5) / Neste trabalho estudamos os sistemas dinâmicos caóticos através da definição apresentada por Devaney, composta basicamente de três condições. Investigamos todas as implicações possíveis entre essas condições. Por fim, analisamos o estudo apresentando uma definição mais sucinta e provamos a sua equivalência com a apresentada por Devaney. / In this work we study the chaotic dynamic systems through the definition presented by Devaney, basically composed of three conditions. We investigate all the possible implications among these conditions. Finally, we finish the study presenting briefer definition and prove its equivalence to the one presented by Devaney.

Orientador: Suzinei Aparecida Siqueira Marconato / Banca: Kátia Andreia Gonçalves de Azevedo / Banca: Marta Cilene Gadotti / O PROFMAT - Programa de Mestrado Profissional em Matemática em Rede Nacional é coordenado pela Sociedade Brasileira de Matemática e realizado por uma rede de Instituições de Ensino Superior / Resumo: As equações discretas fornecem as ferramentas matemáticas básicas para a correta modelagem da dinâmica populacional ao se tomar como hipótese tempos discretos. Neste trabalho, apresentamos a teoria das equações discretas e algumas aplicações no capítulo 01, dando ênfase aos modelos de dinâmica populacional conhecidos como modelo de Malthus e de Verhulst junto com exemplos que evidenciam tais modelos na modelagem de populações reais. No capítulo 02 apresentamos duas propostas didáticas; a primeira delas é uma análise de gráficos que relaciona idade e altura e a segunda, uma investigação da dinâmica populacional do município de Limeira através dos modelos de Malthus e Verhulst e é apresentada uma análise comparativa do quanto os modelos se adequam aos dados apresentados e do quanto são capazes de acompanhar as projeções oficiais. Os gráficos apresentados foram criados no software livre GeoGebra / Abstract: The discrete equations provide the basic mathematical tools for the correct modeling of population dynamics to be taken as a discrete event times. In this paper, we present the theory of discrete equations and some applications in Chapter 01, with emphasis on models of population dynamics model such as Malthus and Verhulst along with examples that give evidence such models in the modeling of real populations. In chapter 02 we present two proposals teaching: the first is an analysis of graphs relating age and height and the second, an investigation of the population dynamics of the city of Limeira through Malthus and Verhulst models and presents a comparative analysis of models as fit to the data as presented and are able to follow the official projections. The graphs were created in free software GeoGebra / Mestre

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2010 / Made available in DSpace on 2012-10-24T22:34:09Z (GMT). No. of bitstreams: 1 282116.pdf: 1408618 bytes, checksum: 4372b7147b1b464d2db3250f00d05d2f (MD5) / Este trabalho apresenta a aplicação da abordagem modular local da teoria de controle supervisório no controle de um sistema de veículos auto-guiados. Nesta abordagem busca-se alcançar um conjunto de supervisores não bloqueantes e minimamente restritivos que proíbem a ocorrência das seqüências de eventos indesejáveis no sistema. São discutidos os processos de síntese e implementação dos supervisores, os quais envolvem soluções que visam gerenciar o tráfego dos veículos, gerenciar a bateria dos veículos e coordenar a interação entre os pontos de transferências de materiais e os veículos. A solução de controle apresentada é feita para uma bancada experimental de um sistema com dois AGVs e duas estações de transferência de materiais, embora a solução possa ser generalizada para sistemas de maior porte. A etapa de implementação dos supervisores também é abrangida. O controle é implementado através de uma estrutura hierárquica de três níveis que objetiva manter as características propostas pela teoria de controle supervisório. Para avaliar a correção do controlador, foi desenvolvido um ambiente gráfico de emulação que permite prever as respostas das ações de controle dos supervisores através de animações gráficas. Constatou-se pela emulação que a abordagem aplicada realiza o controle do sistema sem a ocorrência de bloqueios e mantém a flexibilidade operacional.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T00:36:24Z (GMT). No. of bitstreams: 1 296291.pdf: 2878556 bytes, checksum: 02d2b81d2452e12e0a3bac4246d5df12 (MD5) / Os sistemas SCADA (Supervisory Control and Data Acquisition) são sistemas que utilizam tecnologias de computação e comunicação para automatizar a monitoração e o controle de processos industriais, efetuando coleta de dados, os quais são apresentados de modo amigável para o operador, através de interfaces homem-máquina (IHM). Dentre esses processos encontram-se os sistemas de manufatura, cuja dinâmica, sob a ótica do problema de coordenação, os enquadra na classe de Sistemas a Eventos Discretos (SED). A Teoria de Controle Supervisório (TCS) baseia-se em modelos de autômatos e linguagens para síntese de supervisores ótimos para SED que podem ser traduzidos em código estruturado para controladores lógicos programáveis (CLP). Este trabalho apresenta uma proposta de metodologia para o desenvolvimento integrado de sistemas SCADA com a programação de controle supervisório em CLP para sistemas de manufatura. A metodologia proposta está constituída de 8 fases: projeto informacional; síntese de controle supervisório seguindo a abordagem modular local da TCS; emulação da atuação dos supervisores na planta; implementação estruturada do controle supervisório em CLP; implementação de funcionalidades básicas do sistema SCADA; avaliação de funcionamento do sistema real; implementação de funcionalidades gerais do sistema SCADA e, por último, validação do sistema integrado. Esta metodologia é aplicada ao controle e supervisão de uma célula flexível de manufatura do LAI-UFSC. Os resultados obtidos demonstram sistematização, flexibilidade e eficiência na realização do projeto de controle e supervisão do sistema, além de permitir estruturação e validação do programa do CLP e do sistema SCADA. / SCADA systems (Supervisory Control and Data Acquisition) are systems using computing and communication technologies to automate the monitoring and control of industrial processes, making data collection, which are presented in a friendly form for the operator, through Human Machine Interface (HMI). Among these processes are the manufacturing systems, whose dynamics, from the perspective of the coordination problem, include them in the class of discrete event systems (DES). The Supervisory Control Theory (SCT) is based on models of automata and languages for optimal synthesis of supervisors for DES, which can be translated into structured code for programmable logic controllers (PLC). This work presents a proposal of methodology for integrated development of SCADA systems with the programming of supervisory control in PLC for manufacturing systems. The proposed methodology is comprised of eight phases: informational design; synthesis of supervisory control, following the local modular approach of TCS; emulation of the performance of supervisors in the plant; structured implementation of supervisory control in the PLC; implementation of basic functionality of SCADA system, evaluation of operation of the real system; implementation of the overall functionality of the SCADA system and, finally, validation of the integrated system. This methodology is applied to the control and supervision of a flexible manufacturing cell of the LAI-UFSC. The results demonstrate systematic, flexibility and efficiency in carrying out the project control and supervision system, and allows structuring and validation of the program PLC and SCADA system.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-23T18:15:28Z (GMT). No. of bitstreams: 1 260130.pdf: 3784188 bytes, checksum: 173b5bffaf15865b3bfa95b209334ffa (MD5) / Este trabalho tem como objetivo enunciar organizadamente as diferentes abordagens de síntese de supervisores em sistemas a eventos discretos (supervisor não-marcador, supervisor marcador e supervisor desmarcador) e reluzi-los utilizando métodos de otimização como Programação Linear Inteira Mista (PLIM) e Algoritmos Genéticos (AG). Para tal, propõe-se uma metodologia original para se representar a marcação de estados por meio de eventos de marcação e reduzir supervisores por meio de coberturas de controle independentemente do tipo de supervisor. Como resultado, primeiramente demonstra-se matematicamente a equivalência entre a marcação de estados tradicional e a marcação por eventos de marcação. Então, substitui-se a condição de consistência da marcação durante a redução de supervisores por um problema de controlabilidade dos eventos de marcação. Além disso, e ainda utilizando eventos de marcação, o problema da redução de supervisores é modelado em PLIM e AG, chegando-se a reduzir supervisores de 384 estados (por meio de PLIM) e de 96 estados (por meio de AG). Ao final, concluem-se as metodologias propostas e estabelecem-se perspectivas para trabalhos futuros.