Thesis (doctoral)--Universität Bonn, 1988. / Cover title: Integraldarstellungen und a priori-Abschätzungen für das [delta bar]-Neumann-Problem. Includes bibliographical references (p. 94-96).

Thesis (M.S.)--University of Wisconsin--Madison. / Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 75-76).

Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2006. / Includes bibliographical references (p. 153-157).

No description available.

Today’s critical systems of military and aviation grade consist of several complex requirements that need to be assessed for a safe and continuous operation before they are deployed for use. Several coverage methodologies have been proposed over the years with Modified Condition / Decision Coverage (MC/DC) being chosen by the aviation industry. This practice is becoming a highly recommended coverage methodology among several modern standards such as the Automotive Safety Integrity Level (ASIL) of automotive standard ISO 26262 and the Safety integrity level (SIL) 4 in part 3 Annex B of the basic safety publication. The main focus of this thesis is to provide an automated process that can provide test vectors suitable for applying MC/DC testing. By using as the core engine a modified version of a hardware-oriented technique used in Automatic Test Pattern Generation (ATPG) called PODEM (Path-Oriented Decision Making) we get to produce several test vectors that can contribute towards MC/DC structural coverage.

Made available in DSpace on 2016-08-29T15:33:14Z (GMT). No. of bitstreams: 1 tese_4163_.pdf: 479699 bytes, checksum: 04f01a137084c0859b4494de6db8b3ac (MD5) Previous issue date: 2011-02-23 / Classificadores do tipo máquina de vetores de suporte (SVM) são atualmente considerados uma das técnicas mais poderosas para se resolver problemas de classificação com duas classes. Para aumentar o desempenho alcançado por classificadores SVM individuais, uma abordagem bem estabelecida é usar uma combinação de SVMs, a qual corresponde a um conjunto de classificadores SVMs que são, simultaneamente, individualmente precisos e coletivamente divergentes em suas decisões. Este trabalho propõe uma abordagem para se criar combinações de SVMs, baseada em um processo de três estágios. Inicialmente, são usadas execuções complementares de uma busca baseada em algoritmos genéticos (GEFS), com o objetivo de investigar globalmente o espaço de características para definir um conjunto de subconjuntos de características. Em seguida, para cada um desses subconjuntos de características definidos, uma SVM que usa parâmetros otimizados é construída. Por fim, é empregada uma busca local com o objetivo de selecionar um subconjunto otimizado dessas SVMs, e assim formar a combinação de SVMs que é finalmente produzida. Os experimentos foram realizados num contexto de detecção de defeitos em máquinas industriais. Foram usados 2000 exemplos de sinais de vibração de moto bombas instaladas em plataformas de petróleo. Os experimentos realizados mostram que o método proposto para se criar combinação de SVMs apresentou um desempenho superior em comparação a outras abordagens de classificação bem estabelecidas.

La investigación identificó los principales determinantes de causalidad de la balanza comercial peruana y sus impactos en el periodo de 2007 a 2017 con frecuencia trimestral, basado en la teoría económica y la Condición Marshall – Lerner. Las variables que se utilizaron fueron: balanza comercial, tipo de cambio real bilateral, producto bruto interno de Estados Unidos y producto bruto interno nacional (Perú). Posteriormente se utilizó la metodología de vectores autorregresivos (VAR), con la finalidad de evaluar las causas e impactos en la variable de estudio. Los resultados obtenidos a través de la causalidad de Granger evidenció que el tipo de cambio real bilateral y el producto bruto interno de Estados causan a la balanza comercial, por otro lado, la función impulso respuesta registró que, ante un shock del producto bruto interno de Perú en la balanza comercial, éste genera impactos negativos en la balanza.

In the last decade, Global Navigation Satellites Systems (GNSS) have gained a significant position in the development of urban navigation applications and associated services. The urban environment presents several challenges to GNSS signal reception, such as multipath and GNSS Line-of-Sight (LOS) blockage, which are translated in the positioning domain in a decreased navigation solution accuracy up to the lack of an available position. For this matter, Vector Tracking (VT) constitutes a promising approach able to cope with the urban environment-induced effects including multipath, NLOS reception and signal outages. This thesis is particularly focused on the proposal and design of a dual constellation GPS + Galileo single frequency L1/E1 Vector Delay Frequency Lock Loop (VDFLL) architecture for the automotive usage in urban environment. From the navigation point of view, VDFLL represents a concrete application of information fusion, since all the satellite tracking channels are jointly tracked and controlled by the common navigation Extended Kalman filter (EKF). The choice of the dual-constellation single frequency vector tracking architecture ensures an increased number of observations and at the same time allowing the conservation of the low-cost feasibility criteria of the mobile user’s receiver. Moreover, the use of single frequency L1 band signals implies the necessity of taking into account the ionospheric error effect. In fact, even after the application of the ionosphere error correction models, a resultant ionospheric residual error still remains in the received observations. The originality of this work relies on the implementation of a dual-constellation VDFLL architecture, capable of estimating the ionosphere residual error present in the received observations. This dissertation investigates the VDFLL superiority w.r.t the scalar tracking receiver in terms of positioning performance and tracking robustness for a real car trajectory in urban area in the presence of multipath and ionosphere residual error.

Nesta dissertaÃÃo, definimos campos de vetores parcialmente conformes fechados e usamos para dar uma caracterizaÃÃo de variedades Riemannianas que admitem este tipo de campos como alguns produtos especiais warped folheados por hipersuperfÃcies (n - 1)-umbÃlicas. Exemplos sÃo descritos em formas espaciais. Em particular, campos de vetores parcialmente conformes fechados em espaÃos euclidianos estÃo associadas à folheaÃÃes mais simples dada por hiperesferas, hiperplanos ou cilindros coaxiais. Finalmente, para variedades que admitem tais campos de vetores, impondo condiÃÃes para uma hipersuperfÃcie ser (n - 1)-umbÃlica, ou, em particular, uma folha da folheaÃÃo correspondente. / In this dissertation we define closed partially conformal vector fields and use them to give a characterization of Riemannian manifolds which admit this kind of fields as some special warped products foliated by (n - 1)-umbilical hypersurfaces. Examples are described in space forms. In particular, closed partially conformal vector fields in Euclidean spaces are associated to the most simple foliations given by hyperspheres, hyperplanes or coaxial cylinders. Finally, for manifolds admitting such vector fields, we impose conditions for a hypersurface to be (n - 1)-umbilical, or, in particular, a leaf of the corresponding foliation.

7 p. / There are a number of disease-causing viruses transmitted to people primarily through the bite of infected mosquitoes. Female mosquitoes take blood meals to produce eggs. A mosquito that bites an infected animal may pick up a virus within the blood meal. If the mosquito is the appropriate species, and conditions inside the insect and the surrounding environment are supportive, the virus reproduces within the mosquito. Later, the mosquito may pass the virus on to other animals (including humans) as they feed again.