3D seismic attribute analysis of the Jurassic Entrada/Curtis interval within the North Hill Creek (NHC) survey has been useful in delineating reservoir quality eolian-influenced dune complexes. Amplitude, average reflection strength and spectral decomposition appear to be most useful in locating reservoir quality dune complexes, outlining their geometry and possibly displaying lateral changes in thickness. Cross sectional views displaying toplap features likely indicate an unconformity between Entrada clinoforms below and Curtis planar beds above. This relationship may aid the explorationist in discovering this important seismic interval. Seismic and well log attribute values were cross plotted and have revealed associations between these data. Cross plots are accompanied by regression lines and R2 values which support our interpretations. Although reservoir quality dune complexes may be delineated, the Entrada/Curtis play appears to be mainly structural. The best producing wells in the survey are associated with structural or stratigraphic relief and the thickest Entrada/Curtis intervals. Structural and stratigraphic traps are not always associated with laterally extensive dune complexes. Time structure maps as well as isochron maps have proven useful in delineating the thickest and/or gas prone portions of the Entrada/Curtis interval as well as areas with structural and stratigraphic relief. We have observed that the zones of best production are associated with low gamma ray (40-60 API) values. These low values are associated with zones of high amplitude. Thus, max peak amplitude as a seismic attribute may delineate areas of higher sand content (i.e. dune complexes) whereas zones of low amplitude may represent areas of lower sand content (i.e. muddier interdune or tidal flat facies). Lack of significant average porosity does not seem to be related to a lack of production. In fact, the best producing wells have been drilled in Entrada/Curtis intervals where average porosity is near 4 %. There are however zones within the upper portion of the Entrada/Curtis that are 40 ft. (12.2 m) thick and have porosities between 14% and 20%. By combining derived attribute maps with observed cross plot relationships, it appears that the best producing intervals within the Entrada/Curtis are those associated with high amplitudes, API values from 40-60 and structural relief.

[pt] Nós usamos dados de internações por uso de drogas para criar uma medida do crescimento do mercado de drogas (entrada de drogas) para os municípios brasileiros durante os anos 2000. Usando essa medida, nós perguntamo se existe uma associação entre entrada de drogas e o aumento da violência visto nos anos 2000. Nós estimamos uma associação positiva entre entrada de drogas e violência, com uma associação mais forte para homicídios contra homens jovens mortos por armas de fogo. Nós também mostramos que a presença de favelas aumenta essa associação. / [en] We use data for hospitalizations due to drug use, and we create a measure for the emergence of drug markets (drug entry) in Brazilian municipalities. Using this measure, we ask whether drug entry is associated with the rise in violence seen in Brazil during the 2000 s. We estimate a positive association between drug entry and homicide rates, with a stronger association for homicides against young males murdered by fire weapons. We also find that the presence of slums makes this association stronger.

[ES] Este trabajo está centrado en analizar el flujo y la eficiencia de turbinas de doble entrada, así como desarrollar modelos de capacidad de flujo y eficiencia que sean capaces de predecir su comportamiento en condiciones de admisión desiguales. Dichas condiciones son las más comunes en funcionamiento real, por lo que deben ser evaluadas adecuadamente. Se ha realizado un análisis profundo de los patrones de flujo y las principales fuentes de pérdidas mediante simulaciones CFD y campañas experimentales, identificando y cuantificando los fenómenos más importantes en distintas condiciones de admisión. El análisis CFD y la campaña experimental con la técnica LDA han mostrado que el flujo de cada rama no se mezcla completamente con el otro dentro del rotor. Esto significa que las turbinas de doble entrada podrían estudiarse como dos turbinas de entrada simple trabajando en paralelo en modelos unidimensionales. Además, las áreas de entrada y salida del rotor correspondientes a cada rama dependen linealmente de la relación de gastos másicos (MFR). Los principales fenómenos de pérdidas han sido identificados. Fenómenos ya conocidos como las pérdidas por fricción en las volutas, interespacio y rotor, las pérdidas por incidencia o las pérdidas en punta de álabe se han cuantificado. Sin embargo, se han encontrado fuentes de pérdidas adicionales que ayudan a explicar el comportamiento en condiciones de admisión desiguales. Se ha encontrado una expansión brusca aguas abajo de la unión de las volutas que produce pérdidas en la rama con más presión. Aunque el flujo de cada rama no se mezcla completamente dentro del rotor, hay un intercambio de momento entre ramas producido en la región de contacto entre ramas. La rama con mayor momento transmite parte de este a la rama con menor momento. Este fenómeno produce pérdidas en la rama con mayor momento en el interespacio y el rotor, pero también produce ganancias en la rama con menor momento. Este intercambio de momento es un fenómeno esencial para entender correctamente el funcionamiento de las turbinas de doble entrada en condiciones de admisión desiguales. Finalmente, como la mezcla completa de los flujos de cada rama se produce en la región de salida, es aquí donde se computan las pérdidas por mezcla. Toda esta información se ha usado para desarrollar modelos de área efectiva y eficiencia. El modelo de área efectiva se utiliza para extrapolar en el mapa de capacidad flujo. Este modelo se ha validado con medidas experimentales. Su capacidad de extrapolación hacia otros MFR se ha demostrado fidedigna, obteniendo un error menor del 3% en cada rama cuando solo se proporcionan al modelo los mapas de condiciones de admisión completa y parcial. El modelo de eficiencia se utiliza para extrapolar en el mapa de eficiencia. Este modelo también se ha validado con medidas experimentales. Su capacidad de extrapolación hacia otros valores de MFR también se ha demostrado fidedigna, obteniendo un error combinado de las dos ramas menor del 7%. Además, las predicciones que ofrece se han comparado con modelos empíricos y comerciales, obteniendo predicciones más precisas en condiciones de admisión desiguales. Como estas condiciones son las más comunes en funcionamiento real, el comportamiento estará mejor predicho la mayor parte del tiempo de operación. Esta mejora en las predicciones de las prestaciones puede ayudar a trabajar en condiciones de operación óptimas, lo que puede significar una eficiencia del motor de combustión interna mayor y su correspondiente reducción en consumo de combustible y emisión de gases contaminantes. Adicionalmente, otra turbina de doble entrada con una geometría distinta se ha analizado, encontrado un comportamiento muy similar. Los modelos desarrollados se han aplicado a esta geometría con buenos resultados, corroborando que dichos modelos proporcionan una descripción física razonable del comportamiento de las turbinas de doble entrada bajo condiciones de admisión desiguales. / [CA] El present treball està centrat en analitzar el flux i l'eficiència de turbines de doble entrada, així com desenvolupar models de capacitat de flux i eficiència que siguen capaços de predir el seu comportament en condicions d'admissió desiguals. Aquestes condicions són les més comunes en funcionament real, per la qual cosa s'han d'avaluar adequadament. S'ha realitzat una anàlisi profunda dels patrons de flux i de les principals fonts de pèrdues mitjançant simulacions CFD i campanyes experimentals, identificant i quantificant els fenòmens més importants en distintes condicions d'admissió. L'ànalisi CFD i la campanya experimental amb la tècnica LDA han mostrat que el flux de cada rama no es mescla completament amb l'altre dins del rotor. Açò significa que les turbines de doble entrada podrien estudiar-se com dues turbines d'entrada simple treballant en paral·lel en models unidimensionals. A més, les àrees d'entrada i eixida del rotor corresponents a cada rama depenen linealment de la relació de gastos màssics (MFR). Els principals fenòmens de pèrdues han estat identificats. Fenòmens ja coneguts com les pèrdues per fricció en les volutes, interespai i rotor, les pèrdues per incidència o les pèrdues en punta de pala s'han quantificat. Tanmateix, s'han trobat fonts de pèrdues addicionals que ajuden a explicar el comportament en condicions d'admissió desiguals. S'ha trobat una expansió brusca aigües avall de la unió de les volutes que produeixen pèrdues en la rama amb més pressió. Encara que el flux de cada rama no es mescla completament dins del rotor, hi ha un intercanvi de moment entre rames produit en la regió de contacte entre rames. La rama amb més moment transmet part d'aquest a la rama amb menor moment. Aquest fenomen produeix pèrdues en la rama amb major moment en l'interespai i el rotor, però també produeix guanys en la rama amb menor moment. Aquest intercanvi de moment entre rames es un fenomen essencial per a entendre correctament el funcionament de les turbines radials de doble entrada en condicions d'admissió desiguals. Finalment, com la mescla completa dels fluxos de cada rama es produeix en la regió d'eixida, és en aquesta regió on es computen les pèrdues per mescla. Tota aquesta informació s'ha utilitzat per desenvolupar models d'àrea efectiva i eficiencia. El model d'àrea efectiva s'utilitza per a extrapolar en el mapa de capacitat de flux. Aquest model s'ha validat amb mesures experimentals. La seua capacitat d'extrapolació cap a altres condicions d'admissió s'ha demostrat fidedigna, obtenint un error menor del 3% en cada rama quan sols es proporciona al model els mapes de condicions d'admissió completa i parcial. El model d'eficiència s'utilitza per a extrapolar en el mapa d'eficiència. Aquest model també s'ha validat amb mesures experimentals. La seua capacitat d'extrapolació cap a altres valors d'MFR també s'ha demostrat fidedigna, obtenint un error combinat de les dues rames menor del 7%. A més, les prediccions que ofereixen els nous models basats en pèrdues han estat comparades amb models empírics i comercials, aconseguint prediccions més precises en condicions d'admissió desiguals. Com les condicions d'admissió desiguals són les més comunes en funcionament real, el comportament de les turbines de doble entrada estaran millor predites la major part del temps d'operació. Aquesta millora en les prediccions de les prestacions pot ajudar a treballar en condicions d'operació òptimes la major part del temps, el qual pot significar una major eficiència del motor de combustió interna i la seua corresponent reducció en consum de combustible i emissió de gasos contaminants. Addicionalment, una altra turbina de doble entrada amb una geometria considerablement diferent s'ha analitzat, trobant un comportament molt similar. Els models proporcionen una descripció física raonable del comportament de les turbines de doble entrada baix condicions d'admissió desiguals. / [EN] The current work focuses on the flow capacity and efficiency analysis and modelling of twin-entry radial turbines under unequal admission conditions. These conditions are the most common in real operation, so they must be properly assessed. A thorough analysis of the flow patterns within twin-entry turbines and the main sources of losses have been carried out by means of computational fluid dynamics (CFD) simulations and experimental campaigns, identifying and quantifying the most important phenomena under different admission conditions. The CFD analysis and the laser Doppler anemometry experimental campaign have shown that the flow from each branch does not fully mix within the rotor. It means that twin-entry turbines could be studied as two single-entry turbines working in parallel in one-dimensional models. Moreover, the rotor inlet and outlet areas corresponding to each branch depend linearly on the mass flow ratio (MFR). The main phenomena producing losses in twin-entry turbines have been identified. Well-known sources of losses have been quantified, such as passage losses in volutes, interspace and rotor, incidence losses or tip leakage losses. However, additional sources of losses have been found that explain the behaviour of twin-entry turbines under unequal admission conditions. There is a sudden expansion downstream of the junction of the volutes that produces losses in the branch with higher pressure. Although the flow from each branch does not fully mix within the rotor, there is a momentum exchange between branches produced in the contact region between branches. The branch with higher momentum transmits some of it to the branch with lower momentum. This phenomenon produces losses in the branch with higher momentum within the interspace and the rotor, but it also produces gains in the branch with lower momentum. This momentum exchange between branches is an essential phenomenon to properly understand the behaviour of twin-entry turbines under unequal admission conditions. Finally, since the full mixing of both flows is produced in the outlet region, the mixing losses are only computed in the outlet region. The flow behaviour information extracted from the CFD simulations and experimental campaigns has been used to develop effective area and efficiency models. The effective area model is used to extrapolate the flow capacity map. The model has been validated with experimental data. Its capability of extrapolating towards other MFR values has been proven, obtaining an error lower than 3% in each branch when only partial and full admission maps are provided to feed the model. The efficiency model is used to extrapolate the efficiency map. This model has also been validated with experimental data. Its capability of extrapolating towards other MFR values is also reliable, obtaining a combined error between both branches lower than 7%. Moreover, the predictions of this loss-based efficiency model have been compared to empirical and commercial models, obtaining more accurate predictions under unequal admission conditions. Since unequal admission conditions are the most common in real operation, the performance of twin-entry turbines could be better predicted most of the time. This improvement in the performance prediction could help to work in optimum operational points most of the time, which could lead to higher internal combustion engine efficiency and a reduction in fuel consumption and pollutant emissions. Additionally, a twin-entry turbine with a considerably different geometry has been analysed, finding the same flow behaviour. The models developed have been applied to this geometry, giving good results. These results corroborate that these models provide a reasonable physical description of the behaviour of the twin-entry turbines under unequal admission conditions. / The author would like to acknowledge the financial support received through contract FPU17/02803 of the Programa de Formación de Profesorado Universitario of Spanish Ministerio de Ciencia, Innovación y Universidades. / Medina Tomás, N. (2022). Flow Capacity and Efficiency Modelling of Twin-Entry Radial Turbines under Unequal Admission Conditions through CFD Analysis and Experiments [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/185820

Community-based Open Source Software (OSS) projects are generally self-organized and dynamic, receiving contributions from volunteers spread across the globe. These communities survival, long-term success, and continuity demand a constant influx of newcomers. However, newcomers face many barriers when making their first contribution to an OSS project, leading in many cases to dropouts. Therefore, a major challenge for OSS projects is to provide ways to support newcomers during their first contribution. In this thesis, our goal was to identify and understand the barriers newcomers face and provide appropriate strategies to lower these barriers. Toward this end, we conducted multiple studies, using multiple research methods. To identify the barriers, we used data collected from: semi-structured interviews with 35 developers from 13 different projects; 24 answers to an open questionnaire conducted with OSS developers; feedback from 9 graduate and undergraduate students after they tried to join OSS projects; and 20 primary studies gathered via a systematic literature review. The data was analyzed using Grounded Theory procedures: namely, open and axial coding. Subsequently, the analysis resulted in a preliminary conceptual model composed of 58 barriers grouped into six categories: cultural differences, newcomers characteristics, reception issues, newcomers orientation, technical hurdles, and documentation problems. Based on the conceptual model, we developed FLOSScoach, a portal to support newcomers making their first OSS project contribution. To assess the portal, we conducted a study with undergraduate students, relying on qualitative data from diaries, self-efficacy questionnaires, and the Technology Acceptance Model. By applying the model to a practical application and assessing it, we could evaluate and improve the barriers model, changing it according to improvements identified during the conception of the tool, as well as suggestions received from the study participants. The FLOSScoach study results indicate that the portal played an important role guiding newcomers and lowering barriers related to the orientation and contribution process, whereas it was inefficient in lowering technical barriers. We also found that the portal is useful, easy to use, and increased newcomers confidence to contribute. The main contributions of this thesis are: (i) empirical identification and modeling of barriers faced by OSS project newcomers; and (ii) a portal providing information to support OSS project newcomers. / Projetos de software livre baseados em comunidade são, geralmente, auto-organizados e dinâmicos, e recebem contribuições de voluntários espalhados por todo o globo. A sobrevivência dessas comunidades, o sucesso a longo prazo, e sua continuidade exigem a entrada constante de novatos. No entanto, os novatos enfrentam muitas barreiras ao tentarem fazer a sua primeira contribuição para um projeto de software livre, o que leva, em muitos casos, a desistências. Portanto, um grande desafio para projetos de software livre é proporcionar maneiras de apoiar os novatos durante a realização de sua primeira contribuição. Nesta tese, nosso objetivo foi identificar e compreender as barreiras que os novatos enfrentam e fornecer estratégias adequadas para reduzir essas barreiras. Para isso, realizamos diversos estudos, utilizando vários métodos de pesquisa. Para identificar as barreiras, foram utilizados dados coletados a partir de: entrevistas semiestruturadas com 36 desenvolvedores de 14 projetos diferentes; 24 respostas a um questionário aberto realizado com desenvolvedores de software livre; feedback de 9 estudantes depois de tentarem contribuir para projetos de software livre; e 20 estudos obtidos por meio de uma revisão sistemática da literatura. Os dados foram analisados utilizando-se procedimentos da Grounded Theory: codificação aberta e axial. Posteriormente, a análise resultou em um modelo conceitual preliminar composto por 58 barreiras agrupadas em seis categorias: diferenças culturais, características dos novatos, problemas de recepção, orientação dos novatos, obstáculos técnicos, e problemas de documentação. Com base no modelo conceitual, desenvolvemos o FLOSScoach, um portal para apoiar os novatos no curso de sua primeira contribuição a projetos de software livre. Para avaliar o portal, realizamos um estudo com alunos de graduação, utilizando dados qualitativos de diários, questionários de autoeficácia (self-efficacy), e o modelo de aceitação tecnológica (TAM, do inglês Technology Acceptance Model). Ao aplicar o modelo em uma aplicação prática e experimentá-lo, pudemos avaliar e melhorar o modelo de barreiras, adequando-o de acordo com as melhorias identificadas durante a concepção da ferramenta, bem como sugestões recebidas dos participantes do estudo. Os resultados do estudo indicam que o portal FLOSScoach desempenhou um papel importante no direcionamento dos novatos e na redução das barreiras relacionadas com o processo de orientação e contribuição, enquanto não foi muito eficiente na redução de barreiras técnicas. Evidenciamos ainda que o portal é útil, fácil de usar, e aumentou a confiança dos novatos. As principais contribuições desta tese são: (i) identificação empírica e modelagem de barreiras enfrentadas pelos novatos em projetos de software livre; e (ii) um portal de informação para apoiar os novatos em projetos de software livre.

Existem métodos de integração de equações algébrico diferenciais não lineares (DAEs) considerados clássicos pela literatura. Porém, neste trabalho, através uma abordagem geométrica, apresenta-se um método de integração de DAEs. Tal método é inspirado na teoria de desacoplamento de sistemas não lineares explícitos, quando se considera que as saídas são restrições algébricas. Neste caso, a DAE pode ser identificada como dinâmica zero. O resultado principal desta abordagem é que, dada uma DAE, sob certas condições, é possível a construção de um sistema explícito, de tal maneira, que as soluções desse sistema explícito convergem para as soluções da DAE. / Classical methods for numerical integration of diferential algebraic equations (DAEs) can be formal in the literature. In this work, using a diferential geometric approach, a numerical method of integration of DAEs is established. This method is inspired in the decoupling theory of nonlinear explicit systems, when one considers that the outputs are algebraic constraints. The main result is the construction of an explicit system, whose solutions converge to the solutions of the DAE.

As technology evolves, new devices and interaction techniques are developed. These transformations create several challenges in terms of usability and user experience. Our research faces some challenges for data input or content exploration in scenarios with restrictions. It is not our intention to investigate all possible scenarios, but we deeply explore a broad range of devices and restrictions. We start with a discussion about the use of an interactive coffee table for exploration of personal photos and videos, also considering a TV set as an additional screen. In a second scenario, we present an architecture that offers to interactive digital TV (iDTV) applications the possibility of receiving multimodal data from multiple devices. Our third scenario concentrates on supporting text input for iDTV applications using a remote control, and presents an interface model based on multiple input modes as a solution. In the last two scenarios, we continued investigating better ways to provide text entry; however, our restriction becomes not using the hands, which is the kind of challenge faced by severely motor-disabled individuals. First, we present a text entry method based on two input symbols and an interaction technique based on detecting internal and external heel rotations using an accelerometer, for those who keep at least a partial movement of a leg and a foot. In the following scenario, only the eyes are required. We present an eye-typing technique that recognizes the intended word by weighting length and frequency of all possible words formed by filtering extra letters from the sequence of letters gazed by the user. The exploration of each scenario in depth was important to achieve the relevant results and contributions. On the other hand, the wide scope of this dissertation allowed the student to learn about several technologies and techniques. / Com a evolução da tecnologia, novos dispositivos e técnicas de interação são desenvolvidas. Essas transformações criam desafios em termos de usabilidade e experiência do usuário. Essa pesquisa enfrenta alguns desafios para a entrada de dados e exploração de conteúdo em cenários com restrições. Não foi intenção da pesquisa investigar todos os possíveis cenários, mas sim a exploração em profundidade de uma ampla gama de dispositivos e restrições. Ao todo cinco cenários são investigados. Primeiramente é apresentada uma discussão sobre o uso de uma mesa de centro interativa para a exploração de fotos e vídeos pessoais, a qual também considera um aparelho de TV como tela adicional. Com base no segundo cenário, uma arquitetura que oferece a aplicações de TV digital interativa (TVDI) a possibilidade de receber dados multimodais de múltiplos dispositivos é apresentada. O terceiro cenário se concentra no suporte a entrada de texto para aplicações de TVDI usando o controle remoto, resultando na apresentação de um modelo de interface baseado em múltiplos modos de entrada como solução. Os dois últimos cenários permitem continuar a investigação por melhores formas de entrada de texto, porém, a restrição se torna a impossibilidade de usar as mãos, um dos desafios enfrentados por indivíduos com deficiência motora severa. No primeiro deles, são apresentados um método de entrada de texto baseado em dois símbolos de entrada e uma técnica de interação baseada na detecção de rotações do pé apoiado sobre o calcanhar usando acelerômetro, para aqueles que mantêm pelo menos um movimento parcial de uma perna e um pé. No senário seguinte, apenas os movimentos dos olhos são exigidos. Foi apresentada uma técnica de escrita com o olho que reconhece a palavra desejada ponderando o comprimento de a frequência de ocorrência de todas as palavras que podem ser formadas filtrando letras excedentes da lista de letras olhadas pelo usuário. A exploração de cada cenário em profundidade foi importante para a obtenção de resultados e contribuições relevantes. Por outro lado, o amplo escopo da dissertação permitiu ao estudante o aprendizado de diversas técnicas e tecnologias.

Pessoas com tetraplegia possuem controle sobre poucas partes do corpo, por isso têm grande dificuldade de interação com o mundo ao seu redor. Interfaces humano-computador que utilizam a capacidade de controle muscular remanescente podem promover um acréscimo importante na autonomia do usuário com tetraplegia. Uma nova forma de interação com o computador é proposta: controle de um dispositivo de entrada por meio do lábio inferior. A ideia não foi partir da tecnologia e agregar recursos, mas sim, partir da pessoa e entender suas necessidades e potencialidades para pesquisar, propor, desenvolver e avaliar alternativas tecnológicas. Com o intuito de investigar se o lábio inferior seria capaz de controlar uma interface de maneira eficiente e precisa, foram desenvolvidos protótipos de um dispositivo de entrada vestível que pudesse ser acionado pelo lábio. Considerando o estado da arte, foi avaliada a capacidade do lábio inferior controlar esta interface proposta como um mouse de computador. Também foi realizada a comparação do controle pelo lábio inferior e pelo polegar utilizando o mesmo dispositivo sob as mesmas condições. O objetivo foi estabelecer referências sobre a capacidade do lábio inferior de controlar uma interface. Foram realizados e analisados os resultados de testes com sujeitos de pesquisa, mensurando e comprovando a capacidade tanto do lábio inferior, como parte do corpo capaz de controlar um dispositivo de entrada, quanto do próprio dispositivo. / People with tetraplegia control few body parts; therefore, they have great difficulty to interact with the environment. Human-computer interfaces that explore the residual muscular control capacity can provide the user with tetraplegia with an important autonomy increase. I propose a new form of interaction, a input device controlled by the lower lip. The idea was not starting from the technology and aggregate resources, but starting from the user needs to research, to propose, to develop and to evaluate technological alternatives. In order to investigate the lower lip ability to efficiently and precisely control an input device, prototypes of a wearable device were developed. I presented an evaluation of the lower lip potential to control a pointing input device, according to the state of the art. The lower lip throughput was compared with the thumb throughput using the same input device under the same conditions. The objective was to establish the baseline for future researches about the lower lip capacity to operate a computer pointing device. The results proved and measured the capacity of the interface as well as the lower lip as a body part able to control a input device.

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans. / Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.

Introdução - A preocupação com a qualidade e disseminação dos dados em inquéritos é crescente no mundo. A integração entre banco de dados, planejamento da amostra, questionário e entrada de dados é fundamental para que resultados observados sejam válidos e precisos. A bibliografia pesquisada apontou que os inquéritos raramente produzem arquivos organizados, padronizados e prontos para disseminação, o que impossibilita estudar diferentes objetos de investigação com base em informações já coletadas. Objetivos - Implementar modelo hierárquico para entrada de dados em inquéritos epidemiológicos. Métodos - Foi utilizada a UML (Linguagem de Modelagem Unificada) para o projeto lógico e o Makeview do Epi Info para obtenção das estruturas de dados. Os testes foram feitos em um setor censitário do inquérito Acesso a Medicamentos - FAPESP. A documentação foi gerada no Makeview com ajuda de uma macro do Excel. Resultados - O modelo permite criar arquivos relacionais flexíveis, conforme a necessidade do objeto de estudo, com unidades estatísticas escolhidas dentre os 4 níveis hierárquicos: setor censitário, domicílios, indivíduos e questões específicas. Conclusão - A possibilidade de criar infinitas visões sobre os dados representa um avanço em comparação com o modelo plano. Deve ser usado como padrão em inquéritos epidemiológicos, pois permite estudar o efeito de conglomeração das unidades de análise, além de viabilizar a disseminação com dados organizados. O Epi Info pode ser usado para implementar modelos hierárquicos que considerem as variáveis do plano amostral. / Introduction - Concern about the quality and data dissemination in surveys is growing in the world. The integration between database, sample planning, questionnaire and data entry is fundamental to the accuracy and validity of the results. The bibliography showed that investigations rarely produce organized files, standardized and ready to dissemination, which makes impossible the study of various investigation objects based on information already collected. Goals - Implement hierarchical model for data entry in epidemiological surveys. Methods - It was used the UML (Unified Modeling Language) for the logical project and the Epi Info Makeview to obtain the data files. The tests were made in a census block of the Access to Medicines - FAPESP survey. The documentation was generated in Makeview with help of an Excel macro. Results - The model allows you to create flexible relational files, as the need to study subject, with statistical units chosen amongst the 4 hierarchical levels: census blocks, households, individuals and specific issues. Conclusion - The ability to create infinite views on the data represents a breakthrough in comparison to the flat files. It should be used as standard in epidemiological surveys, it allows studying the effect of conglomeration of analysis\' units, besides enabling the dissemination with organized data. The Epi Info can be used to implement hierarchical models that consider the variables of a sampling plan.

Made available in DSpace on 2016-04-25T16:44:34Z (GMT). No. of bitstreams: 1 Ana Lucia Moura Novais.pdf: 1994366 bytes, checksum: 707c3919d6da09df41fa9a012905ad62 (MD5) Previous issue date: 2013-06-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This research work adopts as reference the article by Brouthers awarded as the best of the decade by Journal of International Business Studies (JIBS). One of the aspects to be outlined in such text is the way Brouthers articulate a debate on institutional, cultural and transaction costs on entry mode choice by firms aiming the best performance in market. This thesis aims to investigate the actual research art involving the relationship among institutional, cultural and transaction costs aspects in international business. The discussion proposed here is justified as relevant in both academic and business environments, due to the way different authors have approached transaction costs subjects along the time. As methodological procedures, the articles were obtained in electronic databases, such as, ISI Web of Science and UMI-ProQuest. The key words were transaction cost , entry mode , cultural aspects , institutional . The selected articles were published in the period from 2002 to 2012. Articles structured in meta-analysis procedures were also selected in the referred database. All selected articles are quantitative approach, since it is an essential condition to adopt in the future meta-analytical procedures / Esta pesquisa tem por referência o artigo de Brouthers que recebeu em 2012 o prêmio de melhor da década pelo periódico Journal of International Business Studies (JIBS). Um dos motivos que chama a atenção neste texto premiado de Brouthers é a articulação de influências institucionais, culturais e de custos de transação no processo de escolha do modo de entrada e meios para obter o melhor desempenho das empresas. Estabelece-se como objetivo geral desta dissertação investigar o estado atual da pesquisa acadêmica envolvendo a relação entre aspectos institucionais, culturais e custos de transação no modo de entrada em negócios internacionais. Como justificativa para a relevância da discussão do tema em meios acadêmicos e empresariais, pode-se destacar a ênfase que diferentes autores têm atribuído à teoria de custos de transação no decorrer do tempo. Como procedimento metodológico, obteve-se a seleção de artigos pela consulta às bases eletrônicas do ISI Web of Science e UMI-ProQuest. Escolheram-se as palavras-chave em inglês transaction cost , entry mode , cultural aspects , institutional . Optou-se por artigos publicados no período de 2002 a 2012. A partir daí, selecionaram-se alguns artigos já estruturados na metodologia de meta-análise com temas relacionados à teoria de custos de transação. Procedimento semelhante foi adotado com os demais artigos, com o intuito de averiguar como são analisados aspectos institucionais, culturais e/ou de custos de transação na escolha do modo de entrada em negócios internacionais. Os estudos selecionados constituem abordagens quantitativas sobre os assuntos propostos, condição essencial para se adotar futuramente a metodologia de meta-análise