Autoridad de certificación PKI con servicios en línea

El present TFC consisteix en una aplicació web que simula una Autoritat Certificadora en una PKI amb serveis en línea. Les operacions que realitza la CA,son: genera el seu parell de Claus, el seu certificat auto signat, els parells de Claus dels usuaris i els seus certificats, la base de dades de l¿aplicació i la llista de certificats revocats.Tots els certificats generats son X509V3, mentre que les Claus son totes RSA de 2048 bits.

WellnessCenter clubs fitness

Amb aquest projecte és pretén dinamitzar els clubs esportius del tipus fitness. WellnessCenter simula un conjunt de clubs esportius que pertanyen a la mateixa xarxa i per tant es troben tots publicats a la mateixa web encara que cadascun d'ells tingui el seu propi espai.

Localització indoor a través de dispositius Android

Durant el projecte s'ha planificat i dut a terme la creació i verificació d'un APP que simula una aplicació comercial senzilla. S'ha seleccionat una localització, el centre comercial l'Illa Diagonal, s'ha calibrat seguint les instruccions de WiFiSLAM, s'ha creat un APP que integra la visualització de la posició sobre plànol basada en el SDK de WiFiSLAM amb funcions de càlcul de distàncies i s'han fet proves per acotar la fiabilitat de la solució, la seva exactitud i la seva precisió.

Control de glicèmia en pacients crítics mitjançant CGMS

L’estudi que es realitza en aquest projecte/treball final de carrera queda englobat dins del grup de recerca MICE (Modal Intervals Control and Engeneering), el qual realitzainvestigacions entorn al control de glucèmia. Aquest grup de recerca vinculat a la Universitat de Girona col•labora amb l’Hospital Universitari Dr. Josep Trueta de Girona. La temàtica principal tractarà de realitzar el control de glucèmia en pacients crítics, que es troben ingressats en la unitat de cures intensives de qualsevol hospital. Com a conseqüència d’aquesta problemàtica, s’ha implementat en un entorn virtual, un pacient el qual simula la situació d’un pacient real en la unitat de cures intensives. El model emprat per a la obtenció del model de pacient virtual és el desenvolupat per Chase et al. (2005), el qual mitjançant variables com l’alimentació enteral i la sensibilitat insulínica, es podien realitzar assajos reals per a validar protocols de control ‘in silico’ per posteriorment realitzar assajos amb població real

Proving the performance of a new revenue management system

Revenue management (RM) is a complicated business process that can best be described ascontrol of sales (using prices, restrictions, or capacity), usually using software as a tool to aiddecisions. RM software can play a mere informative role, supplying analysts with formatted andsummarized data who use it to make control decisions (setting a price or allocating capacity fora price point), or, play a deeper role, automating the decisions process completely, at the otherextreme. The RM models and algorithms in the academic literature by and large concentrateon the latter, completely automated, level of functionality.A firm considering using a new RM model or RM system needs to evaluate its performance.Academic papers justify the performance of their models using simulations, where customerbooking requests are simulated according to some process and model, and the revenue perfor-mance of the algorithm compared to an alternate set of algorithms. Such simulations, whilean accepted part of the academic literature, and indeed providing research insight, often lackcredibility with management. Even methodologically, they are usually awed, as the simula-tions only test \within-model" performance, and say nothing as to the appropriateness of themodel in the first place. Even simulations that test against alternate models or competition arelimited by their inherent necessity on fixing some model as the universe for their testing. Theseproblems are exacerbated with RM models that attempt to model customer purchase behav-ior or competition, as the right models for competitive actions or customer purchases remainsomewhat of a mystery, or at least with no consensus on their validity.How then to validate a model? Putting it another way, we want to show that a particularmodel or algorithm is the cause of a certain improvement to the RM process compared to theexisting process. We take care to emphasize that we want to prove the said model as the causeof performance, and to compare against a (incumbent) process rather than against an alternatemodel.In this paper we describe a \live" testing experiment that we conducted at Iberia Airlineson a set of flights. A set of competing algorithms control a set of flights during adjacentweeks, and their behavior and results are observed over a relatively long period of time (9months). In parallel, a group of control flights were managed using the traditional mix of manualand algorithmic control (incumbent system). Such \sandbox" testing, while common at manylarge internet search and e-commerce companies is relatively rare in the revenue managementarea. Sandbox testing has an undisputable model of customer behavior but the experimentaldesign and analysis of results is less clear. In this paper we describe the philosophy behind theexperiment, the organizational challenges, the design and setup of the experiment, and outlinethe analysis of the results. This paper is a complement to a (more technical) related paper thatdescribes the econometrics and statistical analysis of the results.

Identificação de estruturas de processos multi-escala em ecossistemas marinhos utilizando ondaletas

Ecossistemas marinhos de upwelling são muito heterogêneos e apresentam uma intensa atividade de mesoescala de dimensão de dezenas de quilômetros e submesoescala que variam de centenas de metros até quilômetros dos processos físicos. A importância das estruturas dos processos físicos está na estruturação que eles exercem sob a biomassa de zooplâncton. O presente trabalho está relacionado a um estudo realizado a cabo no Norte do Sistema da Corrente de Humboldt (Peru). Utilizou-se duas variáveis, a profundidade do limite superior da zona de mínimo oxigênio (ZMO) e a biomassa de zooplâncton. É desenvolvida uma metodologia de análise baseada no uso de ondaletas para a identi cação das estruturas dos processos físicos em suas diferentes escalas. O método foi aplicado aos dados de ZMO. Estudos de simula ção mostraram que o método tem a capacidade de identi car as estruturas de interesse, tendo erro de estimação nas bordas do espectro da potência de ondaleta. A tipologia das estruturas identi cadas mostraram que existe três tipos de estruturas, estruturas maiores de mesoescala, duas estruturas pequenas de submesoescala com profundidades diferentes. Outro resultado importante foi que dentro das estruturas pequenas e mais profundas existe maior biomassa de zooplâncton, principalmente nas estruturas de downwelling.

Vehicle de guiat automàtic (AGV)

Aquest projecte documenta la simulació d'un AGV (vehicle de guiat automàtic). Mitjançant un robot educatiu programat en Basic Stamp es simula un entorn d'anàlisi clínic a on el robot gestiona de forma automàtica les estacions d'anàlisi d'una hipotètica mostra de sang.

Anàlisi multivariada craniomètrica de les poblacions catalano-balears del passat

S'ha portat a terme una analisi estadística de les dades craniometriques de les principals poblacions catalano-balears del passat, des de J'Edat del Bronze fins a l'Edat Mitjana, i posteriorment s'han integrat les poblacions en un context peninsular més ampli. S'han analitzalles relacions entre poblacions per mitja d'un analisi d'agrupament (cluster), emprant els algoritmes UPGMA i del "veí més proper" i la distancia euclídea al quadrat. Així mateix, s'ha realitzat un re-mostreig (bootstrap) per comprovar la robustes de les agrupacions obtingudes i un test de Mantel per comprovar el grau de concordan~a entre les poblacions femenines i masculines. Els resultats mostren que, a nivell peninsular, els Bascos són la població més diferenciada de la resta des d'un punt de vista morfologic, la qual cosa pot estar relacionada amb una major antiguitat d'aquesta població, potser present des de temps pre-neolítics. La segona font de variació peninsular la constitueixen dues poblacions amb possibles influencies foranies d'origen africa: jueus i musulmans. La resta de poblacions, incloent-hi les de Mallorca, són notablement homogenies a pesar de la seva heterogene'itat cultural, temporal i geogràtfica. Finalment, es conclou que no hi ha cap analisi estadística que objectivament recolzi I'existencia deIs tipus racials tradicionalmcnt descrits a la Península Iberica, i que responen a una visió tipologica i estatica de la diversitat humana.

Proposición de un modelo matemático simple de persistencia de herbicidas en el suelo

El estudio propone un modelo simple de persistencia de herbicidas en el suelo basado en una serie de modificaciones al modelo desarrollado por Walker & Barnes. El modelo que se propone simula la degradación diaria de un herbicida en el suelo, a través del funcionamiento de tres submodelos: a) submodelo que estima la temperatura del suelo, b) submodelo del cálculo del contenido de humedad del suelo y c) submodelo que calcula la degradación del producto. Se entrega una descripción teórica de las modificaciones introducidas al modelo y un detalle del programa computacional en lenguaje BASIC. Se hizo una validación independiente de cada uno de los submodelos modificados y se concluye que todos ellos mejoran su eficiencia de predicción respecto al modelo original. La validación del submodelo de degradación se realizó utilizando información obtenida en campo en dos suelos diferentes de los herbicidas metsulfuron-metil y triasulfuron. Finalmente se concluye que el modelo propuesto sería eficiente en la simulación de la persistencia de estas sulfonilureas en el suelo, utilizando una cinética de primer grado para metsulfuron-metil y una de segundo grado para triasulfuron.

Eficiencia de las reglas de asignación de agua en el regadío: asignación a través de mercados, de la regla proporcional y de la regla uniforme

En el presente trabajo se simula la introducción de diferentes métodos de reparto del agua en la agricultura, y se aplican a una zona de regadío del valle central del Ebro. En concreto, se han escogido tres métodos diferentes de asignación con el fin de comparar su eficiencia económica. Además del actual sistema proporcional y el sistema de mercado, se simulará la introducción de la regla de reparto uniforme, desarrollada en la teoría de la elección social. Los resultados permiten concluir que aunque el mercado de agua conduzca a mejores resultados globales en todos los casos, la regla uniforme puede resultar una alternativa interesante cuando las dotaciones de agua se encuentran en el intervalo habitual, mientras que en situaciones de escasez severa de agua, el mercado presenta una ventaja más clara con respecto a cualquier otro sistema de asignación. Asimismo, los resultados demuestran que los niveles superiores de heterogeneidad entre los usuarios y altos precios administrativos del agua representan situaciones más ventajosas para la aplicación de la regla de asignación uniforme en comparación con el actual sistema proporcional

Implantació d'un sistema SCADA en una cèl·lula flexible de fabricació

La Universitat de Vic disposa, entre altres equips, d’una cèl·lula flexible de fabricació, del fabricant Festo, que simula un procés de formació de palets amb els productes que es disposen en un magatzem intermedi. Aquesta cèl·lula està composta de quatre estacions de muntatge diferenciades (càrrega de palets, càrrega de plaques, magatzem intermedi i transport). Cada una disposa d'un PLC SIEMENS S7-300 per la seva automatització, i tots aquests es troben interconnectats amb una xarxa industrial Profibus. L'objectiu d'aquest projecte és implantar el sistema SCADA Vijeo Citect pel control i supervisió de l'estació magatzem d'aquesta cèl·lula flexible de fabricació, establint també un intercanvi de dades entre l'SCADA i el Microsoft Access, per poder ser utilitzat per la docència. Aquest projecte s'ha desenvolupat en cinc fases diferents: 1. La primera fase s'ha dedicat a l'automatització pròpiament de l'estació magatzem a partir de l'autòmat programable Siemens S7-300 i complint amb les necessitats plantejades. 2. En la segona fase s'ha programat i establert la comunicació per l'intercanvi de dades (lectura i escriptura) entre el sistema SCADA Vijeo Citect i la base de dades de Microsoft Access. 3. En la tercera fase s'ha elaborat i programat l'entorn gràfic de supervisió i control del procés a partir del sistema SCADA Vijeo Citect. 4. En la quarta fase s'ha instal·lat un OPC Server en el PC i s'ha establert la comunicació entre el PLC i el sistema SCADA. 5. Finalment s'ha anat revisant i depurant les diferents programacions i comunicacions per tal de que el sistema funcioni com a un conjunt.

Imputação múltipla livre de distribuição em tabelas incompletas de dupla entrada

O objetivo deste trabalho foi propor um novo algoritmo de imputação múltipla livre de distribuição, por meio de modificações no método de imputação simples recentemente desenvolvido por Yan para contornar o problema de desbalanceamento de experimentos. O método utiliza a decomposição por valores singulares de uma matriz e foi testado por meio de simulações baseadas em duas matrizes de dados reais completos, provenientes de ensaios com eucalipto e cana-de-açúcar, com retiradas aleatórias de valores em diferentes percentagens. A qualidade das imputações foi avaliada por uma medida de acurácia geral que combina a variância entre imputações e o viés quadrático médio delas em relação aos valores retirados. A melhor alternativa para imputação múltipla é um modelo multiplicativo que inclui pesos próximos a 1 para os autovalores calculados com a decomposição. A metodologia proposta não depende de pressuposições distribucionais ou estruturais e não tem restrições quanto ao padrão ou ao mecanismo de ausência dos dados.

Modelagem e quantificação da incerteza espacial do potássio disponível no solo por simulações estocásticas

O objetivo deste trabalho foi avaliar o desempenho da simulação sequencial gaussiana (SSG) e da simulação sequencial indicatriz (SSI) na modelagem da incerteza das predições do K disponível em área de cana-de-açúcar, e comparar as simulações com o método já consagrado de krigagem ordinária (KO). Uma malha amostral com 626 pontos foi instalada em área de 200 ha, no Município de Tabapuã, em São Paulo. As simulações reproduziram a variabilidade dos dados amostrais de K disponível, enquanto a KO superestimou os baixos teores de K e subestimou os altos. O mapa de desvio-padrão obtido a partir da KO mostrou menor variação ao longo da área de estudo, quando comparado aos mapas obtidos a partir das simulações. A SSI obteve acurácia 22% superior à obtida pela SSG, na modelagem da função de distribuição condicional do K. As simulações apresentam maior eficiência que a KO para modelar incerteza na distribuição espacial do K. A SSI apresenta melhor desempenho que a SSG na estimativa dos teores de K disponível, em área de cana-de-açúcar.

Análise bayesiana univariada e bivariada para a conversão alimentar de suínos da raça Piau

O objetivo deste trabalho foi apresentar modelagens alternativas, uni e bivariadas, para avaliação da conversão alimentar (CA) de suínos da raça Piau, com uso de inferência bayesiana. Os efeitos de sexo e genótipo sobre a CA dos animais foram avaliados por meio de procedimentos de simulação de Monte Carlo via cadeias de Markov (MCMC) e de integração aproximada aninhada de Laplace (INLA). O modelo univariado foi avaliado com diferentes distribuições para o erro - normal (gaussiana), t de Student, gama, log-normal e skew-normal -, enquanto, para o modelo bivariado, considerou-se o erro normal. A distribuição skew-normal foi o modelo mais parcimonioso para inferir sobre a resposta direta (univariada) da CA aos efeitos de sexo e genótipo, os quais não foram significativos. O modelo bivariado foi capaz de identificar diferenças significativas no ganho de peso e no consumo de ração em níveis de significância não detectados pelo modelo univariado. Além disso, ele também foi capaz de detectar diferenças entre sexos, quando agrupados por genótipos NN (machos, 2,73±0,04; fêmeas, 2,68±0,04) e Nn (machos, 2,70±0,07; fêmeas, 2,64±0,07), e revelou maior acurácia e precisão nas inferências nutricionais. Em ambas as abordagens, o método bayesiano mostra-se flexível e eficiente para a avaliação do desempenho nutricional dos animais.

Sistema computacional para dosimetria de nêutrons e fótons baseado em métodos estocásticos aplicado a radioterapia e radiologia

OBJETIVO: Este artigo mostra um procedimento de conversão de imagens de tomografia computadorizada ou de ressonância magnética em modelo de voxels tridimensional para fim de dosimetria. Este modelo é uma representação personalizada do paciente que pode ser usado na simulação, via código MCNP (Monte Carlo N-Particle), de transporte de partículas nucleares, reproduzindo o processo estocástico de interação de partículas nucleares com os tecidos humanos. MATERIAIS E MÉTODOS: O sistema computacional desenvolvido, denominado SISCODES, é uma ferramenta para planejamento computacional tridimensional de tratamentos radioterápicos ou procedimentos radiológicos. Partindo de imagens tomográficas do paciente, o plano de tratamento é modelado e simulado. São então mostradas as doses absorvidas, por meio de curvas de isodoses superpostas ao modelo. O SISCODES acopla o modelo tridimensional ao código MCNP5, que simula o protocolo de exposição à radiação ionizante. RESULTADOS: O SISCODES vem sendo utilizado no grupo de pesquisa NRI/CNPq na criação de modelos de voxels antropomórficos e antropométricos que são acoplados ao código MCNP para modelar braquiterapias e teleterapias aplicadas a tumores em pulmões, pelve, coluna, cabeça, pescoço, e outros. Os módulos atualmente desenvolvidos no SISCODES são apresentados junto com casos exemplos de planejamento radioterápico. CONCLUSÃO: O SISCODES provê de maneira rápida a criação de modelos de voxels personalizados de qualquer paciente que podem ser usados em simulações por códigos estocásticos tipo MCNP. A combinação da simulação via MCNP com um modelo personalizado do paciente traz grandes melhorias na dosimetria de tratamentos radioterápicos.