Modelagem e análise das cadeias de suprimentos globais e resilientes baseadas em rede de Petri.

Em um cenário de aumento de competitividade, crescente expectativa por inovações do produto e necessidade de atender diferentes perfis de consumidores, o conceito de gerenciamento de cadeias de suprimentos globais (GSCM) surge como uma estratégia para coordenar mais eficazmente as atividades dispersas geograficamente dos sistemas produtivos. Na adoção do GSCM, as organizações devem lidar com rupturas que impactam no gerenciamento das suas atividades, tais como a interrupção de vias de transporte, pane no fornecimento de energia, desastres naturais e até ataques terroristas. Nesse contexto, o trabalho introduz um procedimento sistematizado para modelagem das cadeias de suprimentos visto como um sistema a eventos discretos e sua análise por simulação das atividades do GSCM baseada em técnicas formais como a rede de Petri (PN) e o Production Flow Schema (PFS). Um exemplo é também apresentado para ilustrar e comprovar as vantagens do método proposto na análise do GSCM.

Sistemas dinámicos secuenciales y autómatas celulares

El estudio de los sistemas dinámicos es un campo importante de la investigación matemática actual. Estos pueden ser clasificados como sistemas dinámicos clásicos y sistemas dinámicos 100% discretos. A su vez los sistemas dinámicos clásicos se pueden dividir en sistemas dinámicos discretos y sistemas dinámicos continuos. El estudio de los sistemas dinámicos clásicos involucra herramientas de cálculo y geometría diferencial. En cambio los sistemas dinámicos 100% discretos se requiere utilizar herramientas de teoría de números, álgebra, combinatoria y teoría de grafos. Históricamente, los sistemas dinámicos llamados finitos sistemas dinámicos discretos no han recibido en modo alguna atención como la han tenido los sistemas continuos. Hay por supuesto muchas razones para esto, una de las cuales es el uso exitoso de las Ecuaciones Diferenciales Ordinarias (EDO’s) y Ecuaciones Diferenciales Parciales (EDP’s) como herramientas analíticas y descriptivas en las ciencias y sus aplicaciones.

Análise do desempenho da tecnologia 4G LTE

O objectivo deste trabalho passa pelo desenvolvimento de uma ferramenta de simulação dinâmica de recursos rádio em LTE no sentido descendente, com recurso à Framework OMNeT++. A ferramenta desenvolvida permite realizar o planeamento das estações base, simulação e análise de resultados. São descritos os principais aspectos da tecnologia de acesso rádio, designadamente a arquitectura da rede, a codificação, definição dos recursos rádio, os ritmos de transmissão suportados ao nível de canal e o mecanismo de controlo de admissão. Foi definido o cenário de utilização de recursos rádio que inclui a definição de modelos de tráfego e de serviços orientados a pacotes e circuitos. Foi ainda considerado um cenário de referência para a verificação e validação do modelo de simulação. A simulação efectua-se ao nível de sistema, suportada por um modelo dinâmico, estocástico e orientado por eventos discretos de modo a contemplar os diferentes mecanismos característicos da tecnologia OFDMA. Os resultados obtidos permitem a análise de desempenho dos serviços, estações base e sistema ao nível do throughput médio da rede, throughput médio por eNodeB e throughput médio por móvel para além de permitir analisar o contributo de outros parâmetros designadamente, largura de banda, raio de cobertura, perfil dos serviços, esquema de modulação, entre outros. Dos resultados obtidos foi possível verificar que, considerando um cenário com estações base com raio de cobertura de 100 m obteve-se um throughput ao nível do utilizador final igual a 4.69494 Mbps, ou seja, 7 vezes superior quando comparado a estações base com raios de cobertura de 200m.

Distribuição segura de chaves criptográficas em redes de sensores sem fios de grande escala: estudo e avaliação experimental em ambiente de simualação

Dissertação de Mestrado em Engenharia Informática

Una aproximación sectorial a la localización industrial en Cataluña

El objetivo de este estudio es analizar las decisiones de localización de las actividades industriales desde una óptica sectorial. En concreto, se explica la distribución municipal en Catalunya del número de nuevas inversiones procedentes del Registro de Establecimientos Industriales, durante el período 1986-2000. Los determinantes de la localización industrial se han agrupado en tres categorías: condiciones de oferta de factores, economías de aglomeración y accesibilidad. El análisis se lleva a cabo utilizando un modelo de eventos discretos con datos de panel. Los resultados obtenidos muestran que los tres conjuntos de variables introducidas son relevantes en la explicación de la localización de las empresas manufactureras y que actúan en diferente grado para los diferentes sectores.

Metodología para la resolución de problemas de optimización

El presente proyecto tiene como objetivo evaluar una metodología para la resolución de problemas de optimización. Para ello se utiliza el formalismo de modelado de Redes de Petri Coloreadas para representar un Sistema de Eventos Discretos, que describirá el problema de optimización a resolver. El caso de estudio a optimizar en este proyecto se conoce como Tiempo de Tránsito de Pasajeros, y se define como el tiempo que tarda un pasajero con escalas en recorrer el trayecto que va desde la puerta de embarque de llegada hasta la puerta de embarque de salida asignada.

Um sistema de apoio a decisão utilizado no planejamento e controle de produção de uma empresa aeronaútica: Reinaldo de Almeida. -

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Metodologia para utilização de algoritmos genéticos em modelos de simulação computacional em ambientes de manufatura

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Custo-efetividade e impacto orçamentário da saxagliptina como terapia adicional à metformina para o tratamento do diabetes mellitus tipo 2 no sistema de saúde suplementar do Brasil

OBJETIVOS: Comparar custos e benefícios clínicos de três terapias adicionais à metformina (MF) para pacientes com diabetes mellitus tipo 2 (DMT2). MÉTODOS: Um modelo de simulação de eventos discretos foi construído para estimar a relação custo-utilidade (custo por QALY) da saxagliptina como uma terapia adicional à MF comparada à rosiglitazona ou pioglitazona. Um modelo de impacto orçamentário (BIM - Budget Impact Model) foi construído para simular o impacto econômico da adoção de saxagliptina no contexto do Sistema Suplementar de Saúde brasileiro. RESULTADOS: O custo de aquisição da medicação para o grupo de pacientes hipotéticos analisados, para o horizonte temporal de três anos, foi de R$ 10.850.185,00, R$ 14.836.265,00 e R$ 14.679.099,00 para saxagliptina, pioglitazona e rosiglitazona, respectivamente. Saxagliptina exibiu menores custos e maior efetividade em ambas as comparações, com economias projetadas para os três primeiros anos de -R$ 3.874,00 e -R$ 3.996,00, respectivamente. O BIM estimou uma economia cumulativa de R$ 417.958,00 com o reembolso da saxagliptina em três anos a partir da perspectiva de uma operadora de plano de saúde com 1 milhão de vidas cobertas. CONCLUSÃO: Da perspectiva da fonte pagadora privada, a projeção é de que o acréscimo de saxagliptina à MF poupe custos quando comparado ao acréscimo de rosiglitazona ou pioglitazona em pacientes com DMT2 que não atingiram a meta de hemoglobina glicada (HbA1c) com metformina em monoterapia. O BIM, para a inclusão de saxagliptina nas listas de reembolso das operadoras de planos de saúde, indicou uma economia significativa para o horizonte de 3 anos.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

A utilização da pesquisa operacional para o gerenciamento dos leitos em um hospital particular: estudo de caso baseado em simulação computacional

The hospital is a place of complex actions, where several activities for serving the population are performed such as: medical appointments, exams, surgeries, emergency care, admission in wards and ICUs. These activities are mixed with anxiety, impatience, despair and distress of patients and their families, issues involving emotional balance both for professionals who provide services for them as for people cared by them. The healthcare crisis in Brazil is getting worse every year and today, constitutes a major problem for private hospitals. The patient that comes to emergencies progressively increase, and in contrast, there is no supply of hospital beds in the same proportion, causing overcrowding, declines in the quality of care delivered to patients, drain of professionals of the health area and difficulty in management the beds. This work presents a study that seeks to create an alternative tool that can contribute to the management of a private hospital beds. It also seeks to identify potential issues or deficiencies and therefore make changes in flow for an increase in service capacity, thus reducing costs without compromising the quality of services provided. The tool used was the Computational Simulation –based in discrete event, which aims to identify the main parameters to be considered for a proper modeling of this system. This study took as reference the admission of a private hospital, based on the current scenario, where your apartments are in saturation level as its occupancy rate. The relocation of project beds aims to meet the growing demand for surgeries and hospital admissions observed by the current administration.

A correlation aware algorithm for energy efficiency improvement in FiWi networks

Dissertação de Mestrado, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2014

Errores en sistemas de procesamiento de datos debido a eventos transitorios en interfaces analógicas: aportes a la mitigación de los mismos. Errors in data processing systems due to single transient events affecting analog interfaces: contributions to their mitigation.

Los eventos transitorios únicos analógicos (ASET, Analog Single Event Transient) se producen debido a la interacción de un ión pesado o un protón de alta energía con un dispositivo sensible de un circuito analógico. La interacción del ión con un transistor bipolar o de efecto de campo MOS induce pares electrón-hueco que provocan picos que pueden propagarse a la salida del componente analógico provocando transitorios que pueden inducir fallas en el nivel sistema. Los problemas más graves debido a este tipo de fenómeno se dan en el medioambiente espacial, muy rico en iones pesados. Casos típicos los constituyen las computadoras de a bordo de satélites y otros artefactos espaciales. Sin embargo, y debido a la continua contracción de dimensiones de los transistores (que trae aparejado un aumento de sensibilidad), este fenómeno ha comenzado a observarse a nivel del mar, provocado fundamentalmente por el impacto de neutrones atmosféricos. Estos efectos pueden provocar severos problemas a los sistemas informáticos con interfaces analógicas desde las que obtienen datos para el procesamiento y se han convertido en uno de los problemas más graves a los que tienen que hacer frente los diseñadores de sistemas de alta escala de integración. Casos típicos son los Sistemas en Chip que incluyen módulos de procesamiento de altas prestaciones como las interfaces analógicas.El proyecto persigue como objetivo general estudiar la susceptibilidad de sistemas informáticos a ASETs en sus secciones analógicas, proponiendo estrategias para la mitigación de los errores.Como objetivos específicos se pretende: -Proponer nuevos modelos de ASETs basados en simulaciones en el nivel dispositivo y resueltas por el método de elementos finitos.-Utilizar los modelos para identificar las secciones más propensas a producir errores y consecuentemente para ser candidatos a la aplicación de técnicas de endurecimiento a radiaciones.-Utilizar estos modelos para estudiar la naturaleza de los errores producidos en sistemas de procesamiento de datos.-Proponer soluciones novedosas para la mitigación de estos efectos en los mismos circuitos analógicos evitando su propagación a las secciones digitales.-Proponer soluciones para la mitigación de los efectos en el nivel sistema.Para llevar a cabo el proyecto se plantea un procedimiento ascendente para las investigaciones a realizar, comenzando por descripciones en el nivel físico para posteriormente aumentar el nivel de abstracción en el que se encuentra modelado el circuito. Se propone el modelado físico de los dispositivos MOS y su resolución mediante el Método de Elementos Finitos. La inyección de cargas en las zonas sensibles de los modelos permitirá determinar los perfiles de los pulsos de corriente que deben inyectarse en el nivel circuito para emular estos efectos. Estos procedimientos se realizarán para los distintos bloques constructivos de las interfaces analógicas, proponiendo estrategias de mitigación de errores en diferentes niveles.Los resultados esperados del presente proyecto incluyen hardware para detección de errores y tolerancia a este tipo de eventos que permitan aumentar la confiabilidad de sistemas de tratamiento de la información, así como también nuevos datos referentes a efectos de la radiación en semiconductores, nuevos modelos de fallas transitorias que permitan una simulación de estos eventos en el nivel circuito y la determinación de zonas sensibles de interfaces analógicas típicas que deben ser endurecidas para radiación.

Diseño de controladores y de observadores discretos para sistemas no lineales

Tesis (Maestro en Ciencias de la Ingeniería Eléctrica con Especialidad en Control) UANL, 2001