Modelagem de decisão na seleção de equipamento: um estudo usando o processo analítico hierárquico na contratação de sondas de perfuração de poços de petróleo

The main goal of this dissertation is to develop a Multi Criteria Decision Aid Model to be used in Oils and Gas perforation rigs contracts choices. The developed model should permit the utilization of multiples criterions, covering problems that exist with models that mainly use the price of the contracts as its decision criterion. The AHP has been chosen because its large utilization, not only academic, but in many other areas, its simplicity of use and flexibility, and also fill all the requirements necessary to complete the task. The development of the model was conducted by interviews and surveys with one specialist in this specific area, who also acts as the main actor on the decision process. The final model consists in six criterions: Costs, mobility, automation, technical support, how fast the service could be concluded and availability to start the operations. Three rigs were chosen as possible solutions for the problem. The results reached by the utilizations of the model suggests that the utilization of AHP as a decision support system in this kind of situation is possible, allowing a simplifications of the problem, and also it s a useful tool to improve every one involved on the process s knowledge about the problem subject, and its possible solutions

Análise de critérios de decisão em estratégia de arranjos produtivos locais: um estudo aplicando o processo de hierarquia analítica (AHP) no setor de cerâmica

This master thesis has the objective of investigating the strategic decision criteria of participants of Local Production Arrangements (LPA) in Brazil. The LPA s are an initiative of support agents to enterprises with the purpose of organizing joint actions for the development of groups (clusters) of enterprises. The choice of the actions is a decision of the participating enterprises and this paper aims at applying a Multi-criteria Analysis Method to analyze the criteria of entrepreneurs that are participating of a LPA. The used method is the Process of Analytical Hierarchy (PAH) and an application is presented along with questionnaires to participants of a ceramic LPA in the northeast of Brazil. The main results show that, in first place, from the implicit strategy of each enterprise there is only one objective for the LPA group and so, at the beginning, an action decided by all of them tends to favor some more than others. In second place, it was observed that there are general inconsistencies between the strategic objectives and the importance as to criteria, even though there have been cases of coherency. As the main conclusion it is pointed that the use of Methods of MCDA is useful to improve the decision making process and to bring more transparency to the logic of the found results

Avaliação da produção de sedimento na bacia hidrográfica do rio Potengi através do modelo SWAT

Anthropic disturbances in watersheds, such as inappropriate building development, disorderly land occupation and unplanned land use, may strengthen the sediment yield and the inflow into the estuary, leading to siltation, changes in the reach channel conformation, and ecosystem/water quality problems. Faced with such context, this study aims to assess the applicability of SWAT model to estimate, even in a preliminary way, the sediment yield distribution along the Potengi River watershed, as well as its contribution to the estuary. Furthermore, an assessment of its erosion susceptibility was used for comparison. The susceptibility map was developed by overlaying rainfall erosivity, soil erodibility, the slope of the terrain and land cover. In order to overlap these maps, a multi-criteria analysis through AHP method was applied. The SWAT was run using a five year period (1997-2001), considering three different scenarios based on different sorts of human interference: a) agriculture; b) pasture; and c) no interference (background). Results were analyzed in terms of surface runoff, sediment yield and their propagation along each river section, so that it was possible to find that the regions in the extreme west of the watershed and in the downstream portions returned higher values of sediment yield, reaching respectively 2.8 e 5.1 ton/ha.year, whereas central areas, which were less susceptible, returned the lowest values, never more than 0.7 ton/ha.ano. It was also noticed that in the west sub-watersheds, where one can observe the headwaters, sediment yield was naturally forced by high declivity and weak soils. In another hand, results suggest that the eastern part would not contribute to the sediment inflow into the estuary in a significant way, and the larger part of the sediment yield in that place is due to anthropic activities. For the central region, the analysis of sediment propagation indicates deposition predominance in opposition to transport. Thus, it s not expected that isolated rain storms occurring in the upstream river portions would significantly provide the estuary with sediment. Because the model calibration process hasn t been done yet, it becomes essential to emphasize that values presented here as results should not be applied for pratical aims. Even so, this work warns about the risks of a growth in the alteration of natural land cover, mainly in areas closer to the headwaters and in the downstream Potengi River

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Uso de confiabilidade na rotulação de exemplos em problemas de classificação multirrótulo com aprendizado semissupervisionado

The techniques of Machine Learning are applied in classification tasks to acquire knowledge through a set of data or information. Some learning methods proposed in literature are methods based on semissupervised learning; this is represented by small percentage of labeled data (supervised learning) combined with a quantity of label and non-labeled examples (unsupervised learning) during the training phase, which reduces, therefore, the need for a large quantity of labeled instances when only small dataset of labeled instances is available for training. A commom problem in semi-supervised learning is as random selection of instances, since most of paper use a random selection technique which can cause a negative impact. Much of machine learning methods treat single-label problems, in other words, problems where a given set of data are associated with a single class; however, through the requirement existent to classify data in a lot of domain, or more than one class, this classification as called multi-label classification. This work presents an experimental analysis of the results obtained using semissupervised learning in troubles of multi-label classification using reliability parameter as an aid in the classification data. Thus, the use of techniques of semissupervised learning and besides methods of multi-label classification, were essential to show the results

Investigando a combinação de técnicas de aprendizado semissupervisionado e classificação hierárquica multirrótulo

Data classification is a task with high applicability in a lot of areas. Most methods for treating classification problems found in the literature dealing with single-label or traditional problems. In recent years has been identified a series of classification tasks in which the samples can be labeled at more than one class simultaneously (multi-label classification). Additionally, these classes can be hierarchically organized (hierarchical classification and hierarchical multi-label classification). On the other hand, we have also studied a new category of learning, called semi-supervised learning, combining labeled data (supervised learning) and non-labeled data (unsupervised learning) during the training phase, thus reducing the need for a large amount of labeled data when only a small set of labeled samples is available. Thus, since both the techniques of multi-label and hierarchical multi-label classification as semi-supervised learning has shown favorable results with its use, this work is proposed and used to apply semi-supervised learning in hierarchical multi-label classication tasks, so eciently take advantage of the main advantages of the two areas. An experimental analysis of the proposed methods found that the use of semi-supervised learning in hierarchical multi-label methods presented satisfactory results, since the two approaches were statistically similar results

Using the Analytic Network Process to evaluate the relation between Reverse Logistics and corporate performance in Brazilian companies

Reverse Logistics activities are practiced by most Brazilian companies. However, a relevant problem is to identify how different Reverse Logistics programs can affect corporate performance indicators. Analytic Network Process is one of the analytical tools, which can be used to handle a multi-criteria decision-making problem and it is the only one that can capture the interdependencies between the criteria under consideration. This method was adopted here to study the influence of Reverse Logistics practices in corporate performance. Preliminary results indicated that the method can be used, reaching a result compatible to the reality of the Brazilian companies.

Dosagem de NGAL no perioperatório de cirurgia bariátrica videolaparoscópica: comparação de Anestesia Venosa Total (TIVA) versus Sevoflurano

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Zoneamento geoambiental da região compreendida pelas folhas topográficas São José dos Campos e Jacareí-SP

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Utilização da lógica difusa na caracterização de áreas favoráveis à disposição de resíduos sólidos no município de Americana (SP)

Pós-graduação em Geociências e Meio Ambiente - IGCE

Método AHP como instrumento de apoio à decisão para a manutenção da qualidade da água do reservatório de Ilha Solteira

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Modelagem da paisagem orientada ao processo decisório da gestão socioambiental na bacia hidrográfica do rio Manso (MT)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise de um conjunto de procedimentos metodológicos para a delimitação de corredores verdes (Greenways) ao longo de cursos fluviais

Pós-graduação em Geociências e Meio Ambiente - IGCE

Energetic-environmental assessment of a scenario for Brazilian cellulosic ethanol

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Geoprocessamento na análise da vulnerabilidade ambiental desencadeada pela monocultura de cana-de-açúcar na bacia do distrito Santa Olímpia (Piracicaba/SP)

Sugar cane production is of the utmost importance to the economy of the entire Brazil, due to its multiple utility, being used as the raw material for the manufacture of various items, particularly, sugar and alcohol. In areas of sugarcane monoculture, the appropriate management of soils and water is essential, not only for the maintenance of the quality of the environment, but also for the quality of life of the population. Among the main impacts generated by the cultivation of sugar cane, stands out the withdrawal of the riparian forest, which is essential to the balance and maintenance of the ecosystem. Before that, the present work aimed at mapping the environmentally vulnerable areas in the basin of a tributary of the Corumbataí river, located in the district Santa Olímpia, in the city of Piracicaba-SP. For the purpose, techniques were used in Geoprocessing, aiming to produce thematic maps of Slope, for the Use and Occupation of Land, of Permanent Preservation Areas (APP), Soil and Geological of the basin of interest. From these mappings, the analysis was performed multi-criteria, which resulted in the Map of Environmental Vulnerability. This mapping environmental assessment of the study area, indicating proposals of practices for the management and conservation of soil and water resources, for the purpose of improving the environmental quality of the analyzed area. In this way, the research of this nature, may help in the decision-making on the part of the governmental bodies as well as civil society