Restituição fotogramétrica segundo o padrão da estruturação de dados Geoespaciais Vetoriais no ambiente E-FOTO.

No mês de outubro de 2007 a Comissão Nacional de Cartografia (CONCAR) lançou uma norma cartográfica composta de especificações técnicas para Estruturação de Dados Geoespaciais Digitais Vetoriais (EDGV) para a realização do mapeamento topográfico sistemático no Brasil. No mês de novembro de 2008 foi publicado o Decreto n 6666, que institui a Infra-Estrutura Nacional de Dados Espaciais e ratifica o uso das normas homologadas pela CONCAR, pelas instituições Federais. Este trabalho realiza dois requisitos, a saber: (a) fornece um esquema relacional alinhado as especificações da EDGV e (b) implementa um protótipo, com vistas a sua utilização no processo de restituição fotogramétrica nas instituições públicas responsáveis pelo mapeamento topográfico no Brasil. A implementação é realizada em ambiente de software livre. Também é importante salientar o caráter educacional da plataforma de software a ser implementada, para que o seu uso seja também direcionado para o ensino teórico e prático da fotogrametria digital nas instituições de ensino e pesquisa.

Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications

This thesis presents methods for incrementally constructing controllers in the presence of uncertainty and nonlinear dynamics. The basic setting is motion planning subject to temporal logic specifications. Broadly, two categories of problems are treated. The first is reactive formal synthesis when so-called discrete abstractions are available. The fragment of linear-time temporal logic (LTL) known as GR(1) is used to express assumptions about an adversarial environment and requirements of the controller. Two problems of changes to a specification are posed that concern the two major aspects of GR(1): safety and liveness. Algorithms providing incremental updates to strategies are presented as solutions. In support of these, an annotation of strategies is developed that facilitates repeated modifications. A variety of properties are proven about it, including necessity of existence and sufficiency for a strategy to be winning. The second category of problems considered is non-reactive (open-loop) synthesis in the absence of a discrete abstraction. Instead, the presented stochastic optimization methods directly construct a control input sequence that achieves low cost and satisfies a LTL formula. Several relaxations are considered as heuristics to address the rarity of sampling trajectories that satisfy an LTL formula and demonstrated to improve convergence rates for Dubins car and single-integrators subject to a recurrence task.

Modelagem, simulação e otimização operacional de unidades de síntese de metanol

A indústria de processos químicos tem sofrido consideráveis transformações devido ao acirramento da competitividade. Importantes progressos tecnológicos têm sido atingidos através de técnicas de modelagem, simulação e otimização visando o aumento da lucratividade e melhoria contínua nos processos industriais. Neste contexto, as plantas de metanol, um dos mais importantes produtos petroquímicos, podem ser destacadas. Atualmente, a principal matéria-prima para obtenção de metanol é o gás natural. A produção do metanol é caracterizada por três etapas: geração de gás de síntese, conversão do gás de síntese em metanol (unidade de síntese ou loop de síntese) e purificação do produto na especificação requerida. Os custos fixos e variáveis da unidade de síntese são fortemente dependentes das variáveis operacionais, como temperatura, pressão, razão de reciclo e composição da carga. Desta forma, foi desenvolvido um conjunto de modelos e algoritmos computacionais para representar matematicamente unidades de síntese de metanol. O modelo apresenta operações unitárias associadas aos seguintes equipamentos: divisores de correntes, misturadores de correntes, compressores, trocadores de calor, vasos de flash e reatores. Inicialmente, foi proposto um simulador estacionário, que serviu como base para um pseudo-estacionário, o qual contempla a desativação do catalisador por sinterização térmica. Os simuladores foram criados segundo uma arquitetura seqüencial modular e empregou-se o método de substituição sucessiva para a convergência dos reciclos. O estudo envolveu dois fluxogramas típicos, um constituído por reatores adiabáticos em série, enquanto o outro constituído por um reator tipo quench. Uma análise do efeito das principais variáveis operacionais foi realizada para o reator e para o loop de síntese. Estudou-se também o efeito da desativação do catalisador ao longo do tempo. Uma ferramenta de otimização operacional foi empregada para alcançar a máxima produção manipulando as injeções de carga fria na entrada dos leitos catalíticos. Formulou-se também um problema de maximização do lucro em função da otimização de paradas da unidade para troca do catalisador. Os resultados obtidos apontam que a ferramenta desenvolvida é promissora para a compreensão e otimização da unidade objeto deste estudo

Structural Design under Seismic Risk Using Multiple Performance Objectives

Structural design is a decision-making process in which a wide spectrum of requirements, expectations, and concerns needs to be properly addressed. Engineering design criteria are considered together with societal and client preferences, and most of these design objectives are affected by the uncertainties surrounding a design. Therefore, realistic design frameworks must be able to handle multiple performance objectives and incorporate uncertainties from numerous sources into the process.

In this study, a multi-criteria based design framework for structural design under seismic risk is explored. The emphasis is on reliability-based performance objectives and their interaction with economic objectives. The framework has analysis, evaluation, and revision stages. In the probabilistic response analysis, seismic loading uncertainties as well as modeling uncertainties are incorporated. For evaluation, two approaches are suggested: one based on preference aggregation and the other based on socio-economics. Both implementations of the general framework are illustrated with simple but informative design examples to explore the basic features of the framework.

The first approach uses concepts similar to those found in multi-criteria decision theory, and directly combines reliability-based objectives with others. This approach is implemented in a single-stage design procedure. In the socio-economics based approach, a two-stage design procedure is recommended in which societal preferences are treated through reliability-based engineering performance measures, but emphasis is also given to economic objectives because these are especially important to the structural designer's client. A rational net asset value formulation including losses from uncertain future earthquakes is used to assess the economic performance of a design. A recently developed assembly-based vulnerability analysis is incorporated into the loss estimation.

The presented performance-based design framework allows investigation of various design issues and their impact on a structural design. It is a flexible one that readily allows incorporation of new methods and concepts in seismic hazard specification, structural analysis, and loss estimation.

Formas inter-comunicacionais em Pedro Nava: o signo verbal e o pictórico

Esta pesquisa, contribuindo para os estudos em Literatura Comparada, evidencia a correlação entre Literatura e Artes Plásticas, que tem sido vista desde a Antigüidade quando ícones da analogia entre o verbal e o pictórico deixaram suas marcas na correspondência entre as artes. Tal correlação atravessou vários períodos da História e continua presente em inúmeras pesquisas, na época contemporânea. Este trabalho examina a especificação teórica de vários escritores relacionados ao tema e enfoca principalmente as formas como Pedro Nava (1903-1984) utilizou os artifícios verbal e pictórico ao lidar com duas artes distintas

Avaliação in vitro do efeito da incorporação de clorexidina nas propriedades físicas e na atividade antibacteriana de resinas acrílicas autopolimerizáveis

Objetivo. O objetivo do presente estudo foi avaliar o efeito da incorporação de diacetato de clorexidina (CDA), em diferentes concentrações e tempos de armazenamento, nas propriedades físicas e na atividade antibacteriana de resinas acrílicas, utilizadas na confecção de coroas e pontes provisórias. Métodos. Fase I: Foram confeccionados 150 corpos de prova retangulares (3,0 mm X 10 mm X 64 mm), de acordo com a norma ISO 1567 e 150 corpos de prova quadrados (10 mm X 10 mm X 2,0 mm), utilizando-se duas resinas acrílicas autopolimerizáveis, Duralay (Reliance Dental Mfg. Co.) e Dencor (Clássico). Os corpos de prova foram distribuídos em 30 grupos (n=10/grupo) de acordo com a concentração de CDA incorporada às resinas (p/p) (A) 0%, (B) 1%, (C) 2%, (D) 4%, (E) 5%, em função do tempo de armazenamento em água destilada, a 37C (T0 2h, T1 7 dias, T2 30 dias). Foram realizados os ensaios de microdureza Knoop, em microdurômetro Micromet 5104, Buehler (N), rugosidade superficial (Ra), em rugosímetro digital Mitutoyo Surftest SJ-201 (n=5) e resistência à flexão em três pontos (MPa), em uma máquina de ensaio universal EMIC MF 200 DL (n=5). Fase II: Adicionalmente, a atividade antibacteriana dos materiais sobre Streptococcus mutans foi determinada através da realização de testes de difusão em meio BHI, sendo para isso confeccionados 30 corpos de prova em forma de disco (12 mm X 3,0 mm) com as mesmas 5 concentrações (n=3/grupo). Os resultados foram tabulados e submetidos à análise estatística three-way ANOVA (Fase I) e two-way ANOVA (Fase II). Resultados. ANOVA mostrou que a adição de CDA não provocou alteração significativa na resistência à flexão dos materiais testados. A resistência à flexão é inversamente proporcional ao tempo para a resina Dencor e diretamente proporcional ao tempo para a resina Duralay. Houve aumento da microdureza com o acréscimo de CDA ao material Dencor com relação ao grupo controle, enquanto que no material Duralay a CDA não interferiu significativamente nesta propriedade. A rugosidade superficial aumentou significativamente (p<0,001) com o tempo e com o aumento da concentração de clorexidina na resina Dencor e não provocou alteração significativa em Duralay. Os testes de difusão em ágar demonstraram atividade antimicrobiana significativa (p<0,05) em todos os grupos, quando comparados ao grupo-controle. A inibição ao crescimento de Streptococcus mutans foi maior com o aumento da concentração desta substância. A resina Dencor apresentou maior halo de inibição do que a resina Duralay. Conclusões. Os resultados deste estudo sugerem que a incorporação de clorexidina aos materiais testados exibiu efeito antibacteriano contra S. mutans, sem contudo afetar de maneira crítica as propriedades físicas avaliadas.

O ZEP Framework: um framework para a criação de métodos para envolvimento de stakeholders no desenvolvimento de soluções de software.

A especificação dos requisitos de software pressupõe que se conheçam os requisitos do sistema do que será parte. Os requisitos do sistema, por sua vez, pressupõem o conhecimento do negócio (business) onde o sistema será utilizado. Para que estes conhecimentos sejam obtidos é importante o envolvimento dos stakeholders tanto no nível de sistema quanto no nível de negócio. As literaturas sobre Engenharia de Requisitos, Engenharia de Software e Engenharia de Sistemas concordam que o envolvimento dos stakeholders é fundamental. O tratamento dispensado ao assunto, no entanto, é pequeno, dada a importância do tema. Esta dissertação, utilizando conceitos da Engenharia de Métodos Situacionais e de Design Science, apresenta o ZEP Framework, um artefato, produzido com o software EPF Composer, que permite a criação de métodos para envolver o stakeholder. Estes métodos, para serem criados, devem levar em consideração as peculiaridades da organização, dos recursos disponíveis e do projeto em si. São apresentados, ainda, alguns cenários, na área de Turismo, como exemplos da utilização do framework.

Un estudio del crédito a través de plataformas de internet

[ES]La presente investigación ha tenido como objetivo el estudio de las características o factores pertenecientes a los proyectos crowdfunding y su influencia, ya sea negativa o positiva, en la recaudación de fondos. En particular, de las características de los proyectos CF del tipo recompensa. Para ello, se partió de una base de datos originalmente creada por Verkami.com, de la cual se seleccionaron 208 proyectos para la muestra. Dicha muestra fue posteriormente ampliada y completada con otras variables que se consideraron podían ser influyentes. En este estudio se presentan cronológicamente varios modelos econométricos distintos, los cuales sufren cambios en la forma funcional con la intención de corregir problemas de especificación. Respecto a los resultados, encontramos una correlación positiva y significativa entre la cantidad recaudada y los patrocinadores (backers), algo por una parte lógico. Mientras que por otra parte, también resultaron ser significativas para explicar la variación en la variable dependiente, la variable cualitativa “Cine” dentro de las que hacían referencia a la tipología de los proyectos y la variable cualitativa “Madrid” dentro de las que estudiaban la influencia de la ubicación.

RESTful Discovery and Eventing for Service Provisioning in Assisted Living Environments

Service provisioning in assisted living environments faces distinct challenges due to the heterogeneity of networks, access technology, and sensing/actuation devices in such an environment. Existing solutions, such as SOAP-based web services, can interconnect heterogeneous devices and services, and can be published, discovered and invoked dynamically. However, it is considered heavier than what is required in the smart environment-like context and hence suffers from performance degradation. Alternatively, REpresentational State Transfer (REST) has gained much attention from the community and is considered as a lighter and cleaner technology compared to the SOAP-based web services. Since it is simple to publish and use a RESTful web service, more and more service providers are moving toward REST-based solutions, which promote a resource-centric conceptualization as opposed to a service-centric conceptualization. Despite such benefits of REST, the dynamic discovery and eventing of RESTful services are yet considered a major hurdle to utilization of the full potential of REST-based approaches. In this paper, we address this issue, by providing a RESTful discovery and eventing specification and demonstrate it in an assisted living healthcare scenario. We envisage that through this approach, the service provisioning in ambient assisted living or other smart environment settings will be more efficient, timely, and less resource-intensive.

A transformação dos direitos humanos: questionando a sua universalidade a partir da especificação dos direitos

A compreensão dos direitos humanos considerados como universais variam ao longo da história, uma vez que as necessidades dos homens e os fatores político, econômico, social e cultural também mudam. O argumento da presente dissertação consiste em destacar a variabilidade da dimensão universal dos direitos dos homens por meio da teoria política, social e das relações internacionais, abordando questões tais como a construção do padrão dos direitos humanos na teoria política, sua institucionalização no plano internacional, a transformação dos tipos de direitos que são considerados como universais, para quem eles são estendidos e a quem seu acesso é restrito. O objetivo é discutir sobre a variabilidade do caráter universal dos direitos humanos como valores, focando na questão das reivindicações de direitos específicos a serem considerados no escopo dos direitos humanos.

A meta-analytic approach to quantifying scientific uncertainty in stock assessments

Quantifying scientific uncertainty when setting total allowable catch limits for fish stocks is a major challenge, but it is a requirement in the United States since changes to national fisheries legislation. Multiple sources of error are readily identifiable, including estimation error, model specification error, forecast error, and errors associated with the definition and estimation of reference points. Our focus here, however, is to quantify the influence of estimation error and model specification error on assessment outcomes. These are fundamental sources of uncertainty in developing scientific advice concerning appropriate catch levels and although a study of these two factors may not be inclusive, it is feasible with available information. For data-rich stock assessments conducted on the U.S. west coast we report approximate coefficients of variation in terminal biomass estimates from assessments based on inversion of the assessment of the model’s Hessian matrix (i.e., the asymptotic standard error). To summarize variation “among” stock assessments, as a proxy for model specification error, we characterize variation among multiple historical assessments of the same stock. Results indicate that for 17 groundfish and coastal pelagic species, the mean coefficient of variation of terminal biomass is 18%. In contrast, the coefficient of variation ascribable to model specification error (i.e., pooled among-assessment variation) is 37%. We show that if a precautionary probability of overfishing equal to 0.40 is adopted by managers, and only model specification error is considered, a 9% reduction in the overfishing catch level is indicated.

Análisis de los viveros de empresas en Galicia según su orientación tecnológica o generalista

[ES] El objetivo del presente trabajo consiste en analizar la contribución de los viveros de empresas a la economía gallega desglosando entre tecnológicos y generalistas, y si realmente los primeros contribuyen en mayor medida al desarrollo económico que los no tecnológicos. Para ello, se hará una revisión de la literatura que permita conceptualizar la innovación, innovación tecnológica y empresas de base tecnológica. Posteriormente se identificarán los criterios que permitan clasificar a los viveros en tecnológicos y generalistas, se analizarán sus características, propiedad, modelos de gestión, ubicaciones, requisitos de entrada, oferta de servicios, espacios ofertados, años de funcionamiento, así como se estudiarán los recursos económicos, ingresos propios y dependencia de fondos públicos, espacio físicos para los emprendedores, zonas comunes y los recursos humanos asociados por tipo de viveros. Otro apartado será analizar el perfil del emprendedor según el vivero, tipo de actividad desempeñada, género, edad, formación, dificultades para emprender. Finalmente se analizarán las contribuciones por tipo vivero a través de los indicadores de creación de empresas, generación de puestos de trabajo y sostenibilidad empresarial, usando el método de comparación de muestras independientes, con la prueba de Levene para la igualdad de varianzas, tratado con el paquete estadístico SPSS en su versión 22.0.0.0 Terminaremos con las principales conclusiones del presente trabajo.

Validação de métodos analíticos - estudos de casos relevantes de atividades dos laboratórios de controle de qualidade de vacinas

A validação dos métodos de análises em situações fora da rotina, em P&D pesquisa e desenvolvimento, pode tornar-se um processo de difícil solução, em oposição àquelas de rotina, onde as concentrações são conhecidas. Nesta última situação, o método analítico é validado e aprovado com simplicidade. Apesar dos elementos de qualidade básicos para análises em P&D serem os mesmos adotados nas análises de rotina, fatores como o comportamento imprevisível da amostra, a composição desconhecida da matriz e interdependência com o analito, mesmo a incerteza a respeito da escolha do método instrumental, requer uma atenção renovada nos elementos de qualidade existentes. A razão pode ser atribuída à imprevisibilidade do procedimento analítico e a extensão do esforço adicional dos elementos de qualidade. As incertezas das análises em P&D requerem uma cuidadosa consideração do problema, assim como a disponibilidade de técnicas analíticas. Ao mesmo tempo, devem-se observar o planejamento e organização do trabalho, a supervisão do desenvolvimento analítico e a adequação dos aspectos técnico e organizacional - no trabalho de P&D, a definição de responsabilidades e a competência do corpo técnico. A garantia da qualidade nas indústrias farmacêuticas é estabelecida pelo desenvolvimento de especificações apropriadas para matérias-primas, produtos intermediários e produtos finais. A importância de especificações adequadas foi estabelecida e exemplos foram dados no desenvolvimento de especificação típica para produtos farmacêuticos, tais como a vacina e matéria prima. Isto incluiu uma discussão dos tipos de parâmetros que precisam ser controlados e uma indicação dos valores numéricos ou faixas esperadas para muitos materiais utilizados. A metrologia analítica que necessita ser aplicada para demonstrar a observância com as especificações foi discutida, com as implicações de desempenho do método para diferenciar variações na qualidade do produto e a simples variabilidade analítica. Esse trabalho foi escrito para laboratórios, com a finalidade de dar um suporte na implementação da validação de métodos analíticos e introduzir o conceito de incerteza da medida nas análises de rotina. O objetivo foi fornecer de uma maneira compreensível e prática a metodologia dos cálculos das medidas de incerteza baseados principalmente em dados de controle de qualidade e de validação já existentes. Exemplos práticos retirados diretamente do Laboratório de Metrologia e Validação, FIOCRUZ / Bio-Manguinhos, foram apresentados. Entretanto, o tratamento usado neste trabalho é genérico e pode ser aplicável a outros laboratórios químicos

Síntese evolucionária de circuitos sequenciais inspirada nos princípios da computação quântica.

Esta dissertação investiga a aplicação dos algoritmos evolucionários inspirados na computação quântica na síntese de circuitos sequenciais. Os sistemas digitais sequenciais representam uma classe de circuitos que é capaz de executar operações em uma determinada sequência. Nos circuitos sequenciais, os valores dos sinais de saída dependem não só dos valores dos sinais de entrada como também do estado atual do sistema. Os requisitos cada vez mais exigentes quanto à funcionalidade e ao desempenho dos sistemas digitais exigem projetos cada vez mais eficientes. O projeto destes circuitos, quando executado de forma manual, se tornou demorado e, com isso, a importância das ferramentas para a síntese automática de circuitos cresceu rapidamente. Estas ferramentas conhecidas como ECAD (Electronic Computer-Aided Design) são programas de computador normalmente baseados em heurísticas. Recentemente, os algoritmos evolucionários também começaram a ser utilizados como base para as ferramentas ECAD. Estas aplicações são referenciadas na literatura como eletrônica evolucionária. Os algoritmos mais comumente utilizados na eletrônica evolucionária são os algoritmos genéticos e a programação genética. Este trabalho apresenta um estudo da aplicação dos algoritmos evolucionários inspirados na computação quântica como uma ferramenta para a síntese automática de circuitos sequenciais. Esta classe de algoritmos utiliza os princípios da computação quântica para melhorar o desempenho dos algoritmos evolucionários. Tradicionalmente, o projeto dos circuitos sequenciais é dividido em cinco etapas principais: (i) Especificação da máquina de estados; (ii) Redução de estados; (iii) Atribuição de estados; (iv) Síntese da lógica de controle e (v) Implementação da máquina de estados. O Algoritmo Evolucionário Inspirado na Computação Quântica (AEICQ) proposto neste trabalho é utilizado na etapa de atribuição de estados. A escolha de uma atribuição de estados ótima é tratada na literatura como um problema ainda sem solução. A atribuição de estados escolhida para uma determinada máquina de estados tem um impacto direto na complexidade da sua lógica de controle. Os resultados mostram que as atribuições de estados obtidas pelo AEICQ de fato conduzem à implementação de circuitos de menor complexidade quando comparados com os circuitos gerados a partir de atribuições obtidas por outros métodos. O AEICQ e utilizado também na etapa de síntese da lógica de controle das máquinas de estados. Os circuitos evoluídos pelo AEICQ são otimizados segundo a área ocupada e o atraso de propagação. Estes circuitos são compatíveis com os circuitos obtidos por outros métodos e em alguns casos até mesmo superior em termos de área e de desempenho, sugerindo que existe um potencial de aplicação desta classe de algoritmos no projeto de circuitos eletrônicos.

Caracterização microestrutural e análise de tensões residuais pelo método do furo cego em tubo de seção quadrada com costura.

Tensões residuais são uma das principais causas de falhas em componentes mecânicos submetidos a processos de fabricação. O objetivo do trabalho foi medir as tensões residuais presentes em um tubo quadrado soldado por resistência elétrica de alta frequência e caracterizar microestruturalmente o seu material. Para a caracterização, foram utilizadas técnicas de microscopia óptica (MO), microscopia eletrônica de varredura (MEV) e análise química quantitativa. Para a medição das tensões residuais, foi utilizado o método do furo cego, baseado na norma ASTM E837-08, onde rosetas (strain-gages) são coladas à peça para medir as deformações geradas devido à usinagem de um pequeno furo no local de medição. As deformações foram associadas às tensões residuais através de equações baseadas na Lei de Hooke. A caracterização revelou uma microestrutura composta basicamente de ferrita e perlita, típica de aços com baixo teor de carbono, corroborando com a especificação fornecida pelo fabricante. As tensões residuais encontradas foram trativas e mostraram-se elevadas, com alguns valores acima do limite de escoamento do material.