Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2011

Ingeniero Civil en Computación / Hoy en día, la automatización de procesos manuales permite en las empresas logran optimizar su tiempo para poder utilizarlo en otros recursos. A continuación se presenta la finalización de la construcción de un sistema capaz de dar apoyo en este sentido a la parte medioambiental de una empresa, específicamente en todos los procesos que son necesarios realizar para un correcto levantamiento de información de flora. Chile posee una amplia variedad de especies de flora registradas hasta la fecha, conocer todos sus nombres y modificaciones de los mismos es prácticamente imposible además de recordar cuales de ellas están en categoría de conservación, lo que es de vital importancia para un informe de flora. Para poder suplir esto, los especialistas llevan consigo libros con información de las especies existentes a terreno junto con un dispositivo GPS para ubicarse y un cuaderno para tomar notas de las especies observadas. Luego del proceso de toma de datos, los expertos deben generar listados con todas las especies vistas y verificar una por una cuales están en alguna categoría de conservación para agregar los datos correspondientes, además de comprobar que el nombre que se tiene de la especie es el último aceptado hasta la fecha del informe a entregar. Mientras tanto, por otro lado se tiene a una persona que está constantemente consultando por los avances llevados a cabo en cortos periodos de tiempo. Para solucionar lo anterior, se creó una herramienta computacional que permite la actualización de las especies de flora, almacenamiento de información de observaciones y generación de informes florísticos de manera automática por mencionar algunas funcionalidades que ayudan a los cuatro tipos de usuario: Administrador, Coordinador, Colector y Fiscalizador. Esta memoria describe el desarrollo de esta herramienta, la cual consiste en una aplicación móvil para Android junto con un sistema web de administración de datos. En este sistema se incorporaron dos extractores de información o crawlers que mensualmente recolectan los datos de la especies de flora presentes en Chile y también extraen la información correspondiente a todas las especies que están en alguna categoría de conservación vigente en el país. Junto con esto, se crearon interfaces en la aplicación móvil que son capaces de mostrar al usuario un mapa con los lugares donde debe realizar sus tomas de datos y actualizar el listado de especies a la última versión disponible. Además también se creó una vista web para que las personas que quieran estar al tanto del avance puedan hacerlo ingresando simplemente al sistema y, por último, se terminó la construcción de otra interfaz en la cual es posible descargar los informes finales que son necesarios para un correcto levantamiento de flora. El nuevo sistema brinda un ahorro de trabajo de gabinete que llega a los tres días según la empresa, permite la generación de informes automática con datos más completos de las especies y un cliente que puede supervisar el avance de sus proyectos en tiempo real.

Thesis (M. Arch.)--University of Hong Kong, 1996. / Includes special report study entitled: Skin and skeleton of a hangar. Includes bibliographical references.

Thesis (M.A.A.S.) -- Air University, 2004. / Title from PDF title page (viewed on April 23, 2009). "June 2004." Includes abstract. Includes bibliographical references (leaves 96-100).

Thesis (M.Arch.)--University of Hong Kong, 1996. / Includes special report study entitled : Skin and skeleton of a hangar. Includes bibliographical references. Also available in print.

Made available in DSpace on 2014-06-11T19:28:58Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-04-02Bitstream added on 2014-06-13T19:16:56Z : No. of bitstreams: 1 monteiro_dr_me_araca.pdf: 1306834 bytes, checksum: 0b13167dddf5ad2f97a668d7bc126eab (MD5) / O objetivo do presente estudo foi avaliar a incorporação de nanopartículas de prata a uma resina acrílica para base protética por meio de testes de liberação em água deionizada por diferentes períodos e através de análises da distribuição e dispersão destas partículas na massa polimérica. Utilizou-se a resina acrílica termopolimerizável Lucitone 550 e as nanopartículas de prata foram sintetizadas por meio da redução dos íons prata do nitrato de prata pelo citrato de sódio. A forma e o tamanho das partículas foram confirmados por microscopia eletrônica de varredura (MEV) e de transmissão (MET), tendo-se obtido partículas na forma esférica e com tamanho médio de 60 nm. A resina acrílica foi proporcionada de acordo com as instruções do fabricante e a solução coloidal de nanopartículas de prata foi adicionada ao componente líquido da resina acrílica nas concentrações de 0,05%, 0,5% e 5% baseadas na massa do polímero. Após o processamento laboratorial, os espécimes foram armazenados em água deionizada à 37ºC por 7, 15, 30, 60 e 120 dias. As amostras de cada solução foram analisadas por espectroscopia de absorção atômica. Espécimes antes e após 120 dias de imersão em água foram analisados por MEV para caracterização morfológica do nanocompósito. Não houve liberação de prata detectável pelo aparelho, independentemente da concentração de colóide adicionada ao polímero e do tempo de imersão em água deionizada. As microscopias mostraram que, de uma forma geral, quanto menor a concentração de colóide de prata adicionada, menor a distribuição e maior a dipersão das partículas no polímero. Também ocorreu uma tendência das nanopartículas localizarem-se, principalmente, na superfície externa dos espécimes após 120 dias de armazenamento. Concluiu-se que houve incorporação das nanopartículas de prata ao polímero da resina... / The aim of this study was to evaluate the incorporation of silver nanoparticles to an acrylic denture base resin by testing the silver release in deionized water at different times, and through morphological analysis to check the distribution and dispersion of these particles in the polymer. The heat-polymerised acrylic resin Lucitone 550 was used and the silver nanoparticles were synthesized by reduction of silver nitrate with sodium citrate. The form and size of the particles were confirmed by scanning and transmission electron microscopy. Most of the particles showed a diameter of about 60 nm and spherical form. The acrylic resin was prepared in accordance with the manufacturers’ instructions and silver nanoparticles solution was added to the monomer of the acrylic resin in the concentrations of 0.05wt%, 0.5wt% and 5wt%. The specimens were stored in deionized water at 37ºC for 7, 15, 30, 60 and 120 days, and each solution was analyzed by atomic absorption spectroscopic. The specimens were characterized by scanning electron microscopy before and after their immersion in water. Silver was not detected in deionized water regardless of the silver nanoparticles added to the polymer and of the storage period. The micrographs usually showed that when lower concentrations of silver nanoparticles were added, the particles distribution was reduced whereas their dipersion was improved into the polymer. Moreover, nanoparticles were mainly located at the surface of the specimens after 120 days of storage. The results showed that the silver nanoparticles were incorporated in the denture base resin polymer, and these nanoparticles were not detected in deionized water for up to 120 days. Moreover, the distribution and dispersion of the particles in the polymer changed with the silver concentration added and the period of storage.

Orientador: Patrícia Helena Araújo da Silva Nogueira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-17T08:03:36Z (GMT). No. of bitstreams: 1 Staib_FredericoFontes_M.pdf: 14016255 bytes, checksum: 4ec6112a82029b5e16c1c450779bf803 (MD5) Previous issue date: 2010 / Resumo: Neste trabalho, estudamos a teoria das bases de Gröbner e sua aplicação ao problema da k-coloração de grafos, estabelecendo assim uma interessante conexão entre a álgebra abstrata e a matemática discreta. Fazemos também uma abordagem de caráter lúdico, traduzindo o passatempo chamado Sudoku em um problema de 9-coloração e utilizando a teoria apresentada para resolvê-lo através das bases de Gröbner / Abstract: In the present work, we study the Gröbner basis theory and its application on the graph k-coloring problem, establishing an interesting relation between abstract algebra and discrete mathematics. We make a ludic approach, translating the puzzle called Sudoku to a 9-coloring problem and using the given theory to solve it by the Gröbner basis / Mestrado / Algebra / Mestre em Matemática

Orientador: Roberto Andreani / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-23T21:59:03Z (GMT). No. of bitstreams: 1 CastilloHuamani_Darwin_M.pdf: 1278191 bytes, checksum: 3e76b08b05404a2dd27f7f4bad632cb8 (MD5) Previous issue date: 2013 / Resumo: Nesta dissertação, estudam-se as condições de qualificação para problemas de programação não linear, essencialmente, a condição de qualificação de posto constante da componente de subespaço e a condição de qualificação de gerador positivo constante que foram recentemente introduzidas. Ademais, faz-se um estudo sobre a teoria das bases positivas no espaço R??, onde vê-se a demonstração do teorema da partição de uma base positiva, que é usado na demonstração de que a relaxação da condição de qualificação de dependência linear positiva constante implica a condição de qualificação de posto constante da componente de subespaço. Nota-se que as propriedades das bases positivas não são semelhantes às propriedades das bases lineares dos subespaços vetoriais / Abstract: In this dissertation, we study the constraint of qualifications for nonlinear programming problems, essentially, The constraint qualification of constant rank component subspace and the constraint qualification of generator positive constant, recently introduced. Furthermore, a study is done about of the theory of positive bases in the space R?? where one can see the demonstration of partition of a positive basis theorem, which is used in the proof of that the relaxation of constraint qualification of constant positive linear dependence implies the constraint qualification of constant rank component subspace. Note that the properties of the positive bases are not similar to the properties of the linear bases for vector subspaces / Mestrado / Matematica Aplicada / Mestre em Matemática Aplicada

Ingeniero Civil Matemático / En muchos problemas que surgen en el contexto de consultar información en bases de datos estructuradas sobre grafos (como encontrar asociaciones semanticas en grafos RDF, encontrar emparejamientos exactos o aproximados the patrones de texto, realizar alineación de secuencias de texto, etc.) es un requerimiento común el buscar entidades unidas por secuencias de etiquetas relacionales de acuerdo a un patrón regular. Para este propósito, el lenguaje de consulta $\CRPQ(\S)$ ha sido propuesto para extender la altamente estudiada clase de consultas conjuntivas por caminos regulares (CRPQs por su sigla en inglés), la cual es insuficiente para esta tarea, realizando comparación de caminos con relaciones en la clase $\S$.\\ Poco es conocido acerca de la complejidad computacional precisa de la evaluación de consultas en $\CRPQ(\S)$ cuando $\S$ es una relación de interés por aparecer naturalmente en aplicaciones en bases de datos, como lo son \emph{subsecuencia} ($\ss$), \emph{sufijo} $(\suff)$ y \emph{subpalabra} ($\sw$). Esta pregunta es consecuentemente estudiada en esta tesis, proporcionando nuevas cotas de complejidad para la evaluación de consultas en los lenguajes $\CRPQ(\ss)$, $\CRPQ(\suff)$ y $\CRPQ(\sw)$. Se muestra que el primer lenguaje es dificil de ser practicable, construyendo una consulta en él cuya complejidad de evaluación es $\NP$-completo. Se muestra también que la evaluación de consultas en los últimos dos lenguajes puede realizarse en $\PSPACE$, mediante la reducción del problema a \emph{ecuaciones de palabras con restricciones regulares}. Adicionalmente, se muestra que la classe $\CRPQ(\suff)$ es práctica, construyendo un algoritmo de evaluación cuya complejidad, cuando la consulta es considerada una constante, está en $\NLOGSPACE$ , la cuál es una complejidad de evaluación estandar en este contexto.\\ Esta tesis plantea además interesantes preguntas teóricas sobre ecuaciones de palabras con restricciones regulares. Más precisamente, cuál es la complejidad de resolver ecuaciones fijas con restricciones como entrada, la cual es una pregunta abierta en la literatura al leal saber y entendimiento del autor. Un resultado es establecido para el caso más simple, mostrando una clase de ecuaciones cuya satisfacibilidad con restricciones regulares puede ser decidida en $\NLOGSPACE$.