Formulação de pasta de cimento flexível utilizando planejamento experimental

Steam injection is an oil recovery method accomplished by introducing steam directly into the oil well to the reservoir. The steam causes dilation of the casing, which, after reduction in temperature, tends to return to the initial dimensions: causing the formation of cracks in the cement and loss of hydraulic isolation.. In this context, the type of the SBR latex is used to improve the flexibility of the cement matrix by reducing the amount of fatigue failure. To prevent these failures, the mechanical resistance parameters should be carefully adjusted to well conditions. This work aims to study the mechanical behavior of cement slurry systems additivated with SBR latex for cementing oil wells subject to steam injection. Through the central composite factorial design was studied the behavior of the compressive strength by varying the density of the paste between 1.75 g /cm³ (14.6 lb/ Gal) and 1.89 g/cm³ (15,8lb / Gal), curing time between 4 days and 28 days and concentration of SBR Latex between 0 L / m³ and 534.722 L / m³ (0 gpc and 4 gpc). The results showed that increasing the concentration of SBR latex, within the given ranges, there was a decreased compression resistance and elastic modulus by increasing the elastic deformability of the slurry. From the results it can determine best slurries formulation conditions in oil well cementing operations subject to steam injection.

Projectos de consultoria em SAP e tecnologias microsoft: análise e desenvolvimento de soluções de software à medida

À medida que a sociedade evolui, também as profissões evoluem com ela. Uma profissão que tem crescido de forma notável é a de consultor na área das tecnologias de informação. De facto, há alguns anos atrás, esta profissão não tinha o relevo que tem na actualidade, pois com a evolução das tecnologias da informação, as ferramentas ao dispor das empresas diversificaram-se e como tal, a mão-de-obra vai-se especializando nestas ferramentas. As empresas, na impossibilidade de contratar mão-de-obra para instalar, manter e evoluir todas as suas ferramentas, recorrem cada vez mais à experiência de consultores externos; estes são contratados para realizar tarefas específicas que as empresas não têm capacidade de executar com os próprios recursos e a sua ligação com estas entidades termina após a conclusão destas tarefas. Cada vez mais as empresas procuram tirar o máximo partido das ferramentas informáticas à sua disposição e os sistemas de Enterprise Resource Planning não são excepção. À medida que os utilizadores vão usufruindo dos sistemas, surgem novas necessidades que, depois de colmatadas, permitem a sua optimização. Além disso, com a alteração das leis, é preciso adaptar os sistemas para que estes evoluam e possam reflectir os novos requisitos legais. Com o aumento da regulação bancária, as entidades bancárias são obrigadas a comunicar informação sobre as suas finanças ao Banco de Portugal, de modo a que o banco possa analisar a saúde financeira das entidades e emitir recomendações sobre a sua forma de actuar. Esta nova forma de comunicação será efectuada por meio de relatórios em eXtended Business Reporting Language (XBRL). Pretende-se caracterizar a profissão de consultor e apresentar alguns projectos realizados enquanto consultor numa consultora de grande dimensão.

Experimental and RANS-CFD Study of Nacelle Drag

The drag on a nacelle model was investigated experimentally and computationally to provide guidance and insight into the capabilities of RANS-based CFD. The research goal was to determine whether industry constrained CFD could participate in the aerodynamic design of nacelle bodies. Grid refinement level, turbulence model and near wall treatment settings, to predict drag to the highest accuracy, were key deliverables. Cold flow low-speed wind tunnel experiments were conducted at a Reynolds number of 6∙〖10〗^5, 293 K and a Mach number of 0.1. Total drag force was measured by a six-component force balance. Detailed wake analysis, using a seven-hole pressure probe traverse, allowed for drag decomposition via the far-field method. Drag decomposition was performed through a range of angles of attack between 0o and 45o. Both methods agreed on total drag within their respective uncertainties. Reversed flow at the measurement plane and saturation of the load cell caused discrepancies at high angles of attack. A parallel CFD study was conducted using commercial software, ICEM 15.0 and FLUENT 15.0. Simulating a similar nacelle geometry operating under inlet boundary conditions obtained through wind tunnel characterization allowed for direct comparisons with experiment. It was determined that the Realizable k-ϵ was best suited for drag prediction of this geometry. This model predicted the axial momentum loss and secondary flow in the wake, as well as the integrated surface forces, within experimental error up to 20o angle of attack. SST k-ω required additional surface grid resolution on the nacelle suction side, resulting in 15% more elements, due to separation point prediction sensitivity. It was further recommended to apply enhanced wall treatment to more accurately capture the viscous drag and separated flow structures. Overall, total drag was predicted within 5% at 0o angle of attack and 10% at 20o, each within experimental uncertainty. What is more, the form and induced drag predicted by CFD and measured by the wake traverse shared good agreement. Which indicated CFD captured the key flow features accurately despite simplification of the nacelle interior geometry.

Estudo Experimental do Tempo de Residência de Particulas em Secador "SPRAY

No presente trabalho é apresentado um estudo do tempo de resistência de partículas em um 'spray dryer' com contato ar/'spray' predominantemente co-corrente e sistema rotativo de atomização de amostra. Propõe-se aplicação de uma técnica nuclear, utilizando como traçador o radioisótopo La140.

Diseño de una turbina experimental de vapor de baja potencia.

Este trabajo se enfoca en el diseño de una turbina de vapor de carácter experimental para simular, en un laboratorio de transferencia térmica, la dinámica propia de una turbina de mayor tamaño en el circuito secundario de un ciclo de potencia. La máquina diseñada produciría 185 kW de potencia en el eje a 9.000 RPM con un rendimiento interno del 88 %, tomando en la entrada 0,4 kg/s de vapor saturado a 40 bar y descargando a una presión de 1,5 bar. Se desarrolló la teoría de turbomáquinas necesaria para realizar los cálculos fuidodinámicos y se propuso un método de diseño apropiado para el alcance del trabajo. Se decidió que la turbina sería de tres etapas, dos Curtis y una de impulso, y se realizaron los cálculos correspondientes. Una vez que el diseño fluidodinámico estaba definido, se procedió a dimensionar los distintos elementos mecánicos, con el alcance correspondiente a ingeniería conceptual y básica. Se realizaron detalladamente los cálculos propios del dimensionado del rotor (eje y discos), rodamientos, carcasa, válvula de seguridad de presión y asociados. Además se presentó el diseño conceptual de los elementos restantes, sistema de control y otros auxiliares. Finalmente, se realizaron los modelos en software 3D de todas las piezas y se produjeron los planos correspondientes.

Probabilistic Graphical Modelling for Software Product Lines: A Frameweork for Modeling and Reasoning under Uncertainty

This work provides a holistic investigation into the realm of feature modeling within software product lines. The work presented identifies limitations and challenges within the current feature modeling approaches. Those limitations include, but not limited to, the dearth of satisfactory cognitive presentation, inconveniency in scalable systems, inflexibility in adapting changes, nonexistence of predictability of models behavior, as well as the lack of probabilistic quantification of model’s implications and decision support for reasoning under uncertainty. The work in this thesis addresses these challenges by proposing a series of solutions. The first solution is the construction of a Bayesian Belief Feature Model, which is a novel modeling approach capable of quantifying the uncertainty measures in model parameters by a means of incorporating probabilistic modeling with a conventional modeling approach. The Bayesian Belief feature model presents a new enhanced feature modeling approach in terms of truth quantification and visual expressiveness. The second solution takes into consideration the unclear support for the reasoning under the uncertainty process, and the challenging constraint satisfaction problem in software product lines. This has been done through the development of a mathematical reasoner, which was designed to satisfy the model constraints by considering probability weight for all involved parameters and quantify the actual implications of the problem constraints. The developed Uncertain Constraint Satisfaction Problem approach has been tested and validated through a set of designated experiments. Profoundly stating, the main contributions of this thesis include the following: • Develop a framework for probabilistic graphical modeling to build the purported Bayesian belief feature model. • Extend the model to enhance visual expressiveness throughout the integration of colour degree variation; in which the colour varies with respect to the predefined probabilistic weights. • Enhance the constraints satisfaction problem by the uncertainty measuring of the parameters truth assumption. • Validate the developed approach against different experimental settings to determine its functionality and performance.

Diseño de una turbina experimental de vapor de baja potencia.

Este trabajo se enfoca en el diseño de una turbina de vapor de carácter experimental para simular, en un laboratorio de transferencia térmica, la dinámica propia de una turbina de mayor tamaño en el circuito secundario de un ciclo de potencia. La máquina diseñada produciría 185 kW de potencia en el eje a 9.000 RPM con un rendimiento interno del 88 %, tomando en la entrada 0,4 kg/s de vapor saturado a 40 bar y descargando a una presión de 1,5 bar. Se desarrolló la teoría de turbomáquinas necesaria para realizar los cálculos fuidodinámicos y se propuso un método de diseño apropiado para el alcance del trabajo. Se decidió que la turbina sería de tres etapas, dos Curtis y una de impulso, y se realizaron los cálculos correspondientes. Una vez que el diseño fluidodinámico estaba definido, se procedió a dimensionar los distintos elementos mecánicos, con el alcance correspondiente a ingeniería conceptual y básica. Se realizaron detalladamente los cálculos propios del dimensionado del rotor (eje y discos), rodamientos, carcasa, válvula de seguridad de presión y asociados. Además se presentó el diseño conceptual de los elementos restantes, sistema de control y otros auxiliares. Finalmente, se realizaron los modelos en software 3D de todas las piezas y se produjeron los planos correspondientes.

A comparison of predictions from the buildingEXODUS evacuation model with experimental data

Abstract not available

Análise da fluência em vigas de concreto armado simplesmente apoiadas usando o método dos elementos finitos

Reinforced concrete creep is a phenomenon of great importance. Despite being appointed as the main cause of several pathologies, its effects are yet considered in a simplified way by the structural designers. In addition to studying the phenomenon in reinforced concrete structures and its current account used in the structural analysis, this paper compares creep strains at simply supported reinforced concrete beams in analytical and in experimental forms with the finite element method (FEM) simulation results. The strains and deflections obtained through the analytical form were calculated with the Brazilian code NBR 6118 (2014) recommendations and the simplified method from CEB-FIP 90 and the experimental results were extracted from tests available in the literature. Finite element simulations are performed using ANSYS Workbench software, using its 3D SOLID 186 elements and the structure symmetry. Analyzes of convergence using 2D PLANE 183 elements are held as well. At the end, it is concluded that FEM analyses are quantitative and qualitative efficient for the estimation of this non-linearity and that the method utilized to obtain the creep coefficients values is sufficiently accurate.

Análise experimental e numérica do comportamento de estruturas de solo reforçado com geossintéticos : solo granular versus fino

As estruturas de solo reforçado com geossintéticos são normalmente constituídas por solos granulares com boas propriedades físicas e mecânicas. O uso de apenas este tipo de solos pode proporcionar o aumento, por vezes insustentável, do custo da execução das estruturas e o aumento do seu impacto ambiental. Deste modo, as estruturas de solo reforçado perdem a sua vantagem competitiva em relação a outros tipos de estruturas (muros de betão, muros de gravidade, muros de gabiões, etc.). Para resolver este problema podem ser utilizados outros tipos de solos (solos locais, finos, com propriedades físicas e mecânicas piores mas, no entanto, mais baratos) para a execução deste tipo de estruturas. De forma geral, com este estudo pretendeu-se contribuir para o incremento do conhecimento sobre a utilização de solos finos para a construção de estruturas de solo reforçado (muros e taludes). Para tal avaliaram-se as diferenças no comportamento mecânico dos materiais compósitos (solo granular reforçado versus solo fino reforçado) e das estruturas de solo reforçado constituídas com os dois tipos de solos. Assim, os objetivos deste estudo foram avaliar: a influência de vários parâmetros nas propriedades mecânicas e na capacidade de carga dos solos reforçados com geossintéticos; a influência de vários parâmetros no dimensionamento das estruturas de solo reforçado; e o comportamento das estruturas dimensionadas (incluindo a estabilidade global e a influência do processo construtivo) recorrendo a uma ferramenta numérica (PLAXIS). Para cumprir os objetivos propostos foram realizadas análises experimentais em laboratório (análise do comportamento do solo reforçado através de ensaios triaxiais e de California Bearing Ratio) e análises numéricas (dimensionamento de estruturas de solo reforçado; modelação numérica do comportamento através de uma ferramenta numérica comercial com o método dos elementos finitos). Os resultados dos ensaios experimentais mostraram que o comportamento mecânico e a capacidade de carga do solo foram incrementados com a inclusão das camadas de geossintético. Este efeito variou com os diversos parâmetros analisados mas, de forma geral, foi mais importante no solo fino (solo com propriedades mecânicas piores). As análises numéricas mostraram que as estruturas de solo fino precisaram de maior densidade de reforços para serem estáveis. Além disso, as estruturas de solo fino foram mais deformáveis e o efeito do seu processo construtivo foi mais importante (principalmente para estruturas de solo fino saturado).

Dynamic set pieces for CAMBADA team

Robotics is an emergent branch of engineering that involves the conception, manufacture, and control of robots. It is a multidisciplinary field that combines electronics, design, computer science, artificial intelligence, mechanics and nanotechnology. Its evolution results in machines that are able to perform tasks with some level of complexity. Multi-agent systems is a researching topic within robotics, thus they allow the solving of higher complexity problems, through the execution of simple routines. Robotic soccer allows the study and development of robotics and multiagent systems, as the agents have to work together as a team, having in consideration most problems found in our quotidian, as for example adaptation to a highly dynamic environment as it is the one of a soccer game. CAMBADA is the robotic soccer team belonging to the group of research IRIS from IEETA, composed by teachers, researchers and students of the University of Aveiro, which annually has as main objective the participation in the RoboCup, in the Middle Size League. The purpose of this work is to improve the coordination in set pieces situations. This thesis introduces a new behavior and the adaptation of the already existing ones in the offensive situation, as well as the proposal of a new positioning method in defensive situations. The developed work was incorporated within the competition software of the robots. Which allows the presentation, in this dissertation, of the experimental results obtained, through simulation software as well as through the physical robots on the laboratory.

Goal detection using laser range finder for goalkeeper and striker from CAMBADA team

For a robot be autonomous and mobile, it requires being attached with a set of sensors that helps it to have a better perception of the surrounding world, to manage to localize itself and the surrounding objects. CAMBADA is the robotic soccer team of the IRIS research group, from IEETA, University of Aveiro, that competes in the Middle-Size League of RoboCup. In competition, in order to win, the main objective of the game it's to score more goals than the conceded, so not conceding goals, and score as much as possible it's desirable, thus, this thesis focus on adapt an agent with a better localization capacity in defensive and offensive moments. It was introduced a laser range finder to the CAMBADA robots, making them capable of detecting their own and the opponent goal, and to detect the opponents in specific game situations. With the new information and adapting the Goalie and Penalty behaviors, the CAMBADA goalkeeper is now able to detect and track its own goal and the CAMBADA striker has a better performance in a penalty situation. The developed work was incorporated within the competition software of the robots, which allows the presentation, in this thesis, of the experimental results obtained with physical robots on the laboratory field.

A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software

Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful attention to context. Model-based testing (MBT) approaches first acquire a model of an application, then use the model to construct test cases covering relevant contexts. A major shortcoming of state-of-the-art automated model-based testing is that many test cases proposed by the model are not actually executable. These \textit{infeasible} test cases threaten the integrity of the entire model-based suite, and any coverage of contexts the suite aims to provide. In this research, I develop and evaluate a novel approach for classifying the feasibility of test cases. I identify a set of pertinent features for the classifier, and develop novel methods for extracting these features from the outputs of MBT tools. I use a supervised logistic regression approach to obtain a model of test case feasibility from a randomly selected training suite of test cases. I evaluate this approach with a set of experiments. The outcomes of this investigation are as follows: I confirm that infeasibility is prevalent in MBT, even for test suites designed to cover a relatively small number of unique contexts. I confirm that the frequency of infeasibility varies widely across applications. I develop and train a binary classifier for feasibility with average overall error, false positive, and false negative rates under 5\%. I find that unique event IDs are key features of the feasibility classifier, while model-specific event types are not. I construct three types of features from the event IDs associated with test cases, and evaluate the relative effectiveness of each within the classifier. To support this study, I also develop a number of tools and infrastructure components for scalable execution of automated jobs, which use state-of-the-art container and continuous integration technologies to enable parallel test execution and the persistence of all experimental artifacts.