Designing for workstyle transitions: interaction design tools for software engineering

Supervisor: Duarte Nuno Jardim Nunes

SysPRE: systematized process for requirements engineering in knowledge discovery projects

The domain of Knowledge Discovery (KD) and Data Mining (DM) is of growing importance in a time where more and more data is produced and knowledge is one of the most precious assets. Having explored both the existing underlying theory, the results of the ongoing research in academia and the industry practices in the domain of KD and DM, we have found that this is a domain that still lacks some systematization. We also found that this systematization exists to a greater degree in the Software Engineering and Requirements Engineering domains, probably due to being more mature areas. We believe that it is possible to improve and facilitate the participation of enterprise stakeholders in the requirements engineering for KD projects by systematizing requirements engineering process for such projects. This will, in turn, result in more projects that end successfully, that is, with satisfied stakeholders, including in terms of time and budget constraints. With this in mind and based on all information found in the state-of-the art, we propose SysPRE - Systematized Process for Requirements Engineering in KD projects. We begin by proposing an encompassing generic description of the KD process, where the main focus is on the Requirements Engineering activities. This description is then used as a base for the application of the Design and Engineering Methodology for Organizations (DEMO) so that we can specify a formal ontology for this process. The resulting SysPRE ontology can serve as a base that can be used not only to make enterprises become aware of their own KD process and requirements engineering process in the KD projects, but also to improve such processes in reality, namely in terms of success rate.

Activity modeling in practice: a case-based guide to human-centered software engineering

The purpose of this study was to identify whether activity modeling framework supports problem analysis and provides a traceable and tangible connection from the problem identification up to solution modeling. Methodology validation relied on a real problem from a Portuguese teaching syndicate (ASPE), regarding courses development and management. The study was carried out with a perspective to elaborate a complete tutorial of how to apply activity modeling framework to a real world problem. Within each step of activity modeling, we provided a summary elucidation of the relevant elements required to perform it, pointed out some improvements and applied it to ASPE’s real problem. It was found that activity modeling potentiates well structured problem analysis as well as provides a guiding thread between problem and solution modeling. It was concluded that activity-based task modeling is key to shorten the gap between problem and solution. The results revealed that the solution obtained using activity modeling framework solved the core concerns of our customer and allowed them to enhance the quality of their courses development and management. The principal conclusion was that activity modeling is a properly defined methodology that supports software engineers in problem analysis, keeping a traceable guide among problem and solution.

Application of multivariable control using artificial neural networks in a debutanizer distillation column

LOPES, Jose Soares Batista et al. Application of multivariable control using artificial neural networks in a debutanizer distillation column.In: INTERNATIONAL CONGRESS OF MECHANICAL ENGINEERING - COBEM, 19, 5-9 nov. 2007, Brasilia. Anais... Brasilia, 2007

Controle aplicado a poços com método de elevação e bombeio centrífugo submerso

The Electrical Submersible Pumping is an artificial lift method for oil wells employed in onshore and offshore areas. The economic revenue of the petroleum production in a well depends on the oil flow and the availability of lifting equipment. The fewer the failures, the lower the revenue shortfall and costs to repair it. The frequency with which failures occur depends on the operating conditions to which the pumps are submitted. In high-productivity offshore wells monitoring is done by operators with engineering support 24h/day, which is not economically viable for the land areas. In this context, the automation of onshore wells has clear economic advantages. This work proposes a system capable of automatically control the operation of electrical submersible pumps, installed in oil wells, by an adjustment at the electric motor rotation based on signals provided by sensors installed on the surface and subsurface, keeping the pump operating within the recommended range, closest to the well s potential. Techniques are developed to estimate unmeasured variables, enabling the automation of wells that do not have all the required sensors. The automatic adjustment, according to an algorithm that runs on a programmable logic controller maintains the flow and submergence within acceptable parameters avoiding undesirable operating conditions, as the gas interference and high engine temperature, without need to resort to stopping the engine, which would reduce the its useful life. The control strategy described, based on modeling of physical phenomena and operational experience reported in literature, is materialized in terms of a fuzzy controller based on rules, and all generated information can be accompanied by a supervisory system

Sistemas de automação e supervisão do laboratório de avaliação dos processos de medição de vazão e BSW

During a petroleum well production process, It is common the slmultaneous oil and water production, in proportion that can vary from 0% up to values close to 100% of water. Moreover, the production flows can vary a lot, depending on the charaeteristies of eaeh reservoir. Thus being, the meters used in field for the flow and BSW (water in the oil) measurement must work well in wide bands of operation. For the evaluation of the operation of these meters, in the different operation conditions, a Laboratory will be built in UFRN, that has for objective to evaluate in an automatic way the processes of flow and BSW petroleum measurement, considering different operation conditions. The good acting of these meters is fundamental for the accuracy of the measures of the volumes of production liquid and rude of petroleum. For the measurement of this production, the petroleum companies use meters that should indicate the values with tha largast possible accuracy and to respect a series of conditions and minimum requirements, estabelished by the united Entrance ANP/INMETRO 19106/2000. The laboratory of Evafuation of the Processes of Measurement of Flow and BSW to be built will possess an oil tank basically, a tank of water, besides a mixer, a tank auditor, a tank for separation and a tank of residues for discard of fluids, fundamental for the evaluation of the flow metars and BSW. The whole process will be automated through the use of a Programmable Logicat Controller (CLP) and of a supervisory system.This laboratory besides allowing the evaluation of flow meters and BSW used by petroleum companies, it will make possible the development of researches related to the automation. Besides, it will be a collaborating element to the development of the Computer Engineering and Automation Department, that it will propitiate the evolution of the faculty and discente, qualifying them for a job market in continuous growth. The present work describes the project of automation of the laboratory that will be built at of UFRN. The system will be automated using a Programmable Logical Controller and a supervisory system. The programming of PLC and the screens of the supervisory system were developed in this work

Resposta térmica de um compósito PEEK+PTFE+Fibra de carbono+grafite

Composites based on PEEK + PTFE + CARBON FIBER + Graphite (G_CFRP) has increased application in the top industries, as Aerospace, Aeronautical, Petroleum, Biomedical, Mechanical and Electronics Engineering challenges. A commercially available G_CFRP was warmed up to three different levels of thermal energy to identify the main damage mechanisms and some evidences for their intrinsic transitions. An experimental test rig for systematize a heat flux was developed in this dissertation, based on the Joule Effect. It was built using an isothermal container, an internal heat source and a real-time measurement system for test a sample by time. A standard conical-cylindrical tip was inserted into a soldering iron, commercially available and identified by three different levels of nominal electrical power, 40W (manufacturer A), 40W (manufacturer B), 100W and 150W, selected after screening tests: these power levels for the heat source, after one hour of heating and one hour of cooling in situ, carried out three different zones of degradation in the composite surface. The bench was instrumented with twelve thermocouples, a wattmeter and a video camera. The twelve specimens tested suffered different degradation mechanisms, analyzed by DSC (Differential Scanning Calorimetry) and TG (Thermogravimetry) techniques, Scanning Electron Microscopy (SEM) and Energy-Dispersive X-Rays (EDX) Analysis. Before and after each testing, it was measured the hardness of the sample by HRM (Hardness Rockwell M). Excellent correlations (R2=1) were obtained in the plots of the evaporated area after one hour of heating and one hour of cooling in situ versus (1) the respective power of heat source and (2) the central temperature of the sample. However, as resulting of the differential degradation of G_CFRP and their anisotropy, confirmed by their variable thermal properties, viscoelastic and plastic properties, there were both linear and non-linear behaviour between the temperature field and Rockwell M hardness measured in the radial and circumferential directions of the samples. Some morphological features of the damaged zones are presented and discussed, as, for example, the crazing and skeletonization mechanism of G_CFRP

Estudo da hidrodinâmica de um novo separador líquido-líquido: aplicação ao sistema óleo-bruto/água produzida

This work aims to use a different hydrodynamic condition applied to a new design of mixer-settler on treating wastewater produced by petroleum industry, called MDIF (Misturador-Decantador à Inversão de Fases/ Mixer-Settler based on Phase Inversion MSPI). The use of this different hydrodynamic behaviour is possible due to vertical disposition of the device and the principle of Phase Inversion that controls the MDIF, providing the generation (creation) of a cascade of drops, into an organic layer, that works as micro-decanters, thus making possible the formation of a bed of non-coalesced drops, called Bed Formation . The use of this new hydrodynamics condition allows to increase the residence time of the oil carrier drops, into an organic layer, and the device can treat a greater volume of wastewater. In view of to get this condition it is necessary to operate at high throughput (58,6 m3.m-2.h-1). By results, the condition of Bed Formation is the best one to be used when MSPI operates with throughput up to 58,6 m3.m-2.h-1. The results using the condition of Bed Formation show that increasing the height of the bed of non-coalesced drops and/or decreasing the volumetric ratio (O/A) an increase of the separation efficiency is detected

Comparação entre planejamento estatístico experimental e análise dimensional em operações de mistura e separação para sistema óleo-água

This work aims to determine a better methodology to help predicting some operational parameters to a new design of mixer-settler on treating wastewater produced by petroleum industry, called MDIF (Misturador-Decantador à Inversão de Fases/ Mixer-Settler based on Phase Inversion MSPI). The data from this research were obtained from the wastewater treatment unit, called MSPI-TU, installed on a wastewater treatment plant (WTP) of PETROBRAS/UO-RNCE. The importance in determining the better methodology to predict the results of separation and extraction efficiency of the equipment, contributes significantly to determine the optimum operating variables for the control of the unit. The study was based on a comparison among the experimental efficiency (E) obtained by operating MSPI-TU, the efficiency obtained by experimental design equation (Eplan) from the software Statistica Experimental Design® (version 7.0), and the other obtained from a modeling equation based on a dimensional analysis (Ecalc). The results shows that the experimental design equation gives a good prediction of the unit efficiencies with better data reliability, regarding to the condition before a run operation. The average deviation between the proposed by statistic planning model equation and experimental data was 0.13%. On the other hand, the efficiency calculated by the equation which represents the dimensional analysis, may result on important relative deviations (up 70%). Thus, the experimental design is confirmed as a reliable tool, with regard the experimental data processing of the MSPI-TU

An Intelligent System for Petroleum Well Drilling Cutting Analysis

Cutting analysis is a important and crucial task task to detect and prevent problems during the petroleum well drilling process. Several studies have been developed for drilling inspection, but none of them takes care about analysing the generated cutting at the vibrating shale shakers. Here we proposed a system to analyse the cutting's concentration at the vibrating shale shakers, which can indicate problems during the petroleum well drilling process, such that the collapse of the well borehole walls. Cutting's images are acquired and sent to the data analysis module, which has as the main goal to extract features and to classify frames according to one of three previously classes of cutting's volume. A collection of supervised classifiers were applied in order to allow comparisons about their accuracy and efficiency. We used the Optimum-Path Forest (OPF), Artificial Neural Network using Multi layer Perceptrons (ANN-MLP), Support Vector Machines (SVM) and a Bayesian Classifier (BC) for this task. The first one outperformed all the remaining classifiers. Recall that we are also the first to introduce the OPF classifier in this field of knowledge. Very good results show the robustness of the proposed system, which can be also integrated with other commonly system (Mud-Logging) in order to improve the last one's efficiency.

Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Periodontal Tissue Engineering After Tooth Replantation

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

PDGF-B gene therapy accelerates bone engineering and oral implant osseointegration

Platelet-derived growth factor-BB (PDGF-BB) stimulates repair of healing-impaired chronic wounds such as diabetic ulcers and periodontal lesions. However, limitations in predictability of tissue regeneration occur due, in part, to transient growth factor bioavailability in vivo. Here, we report that gene delivery of PDGF-B stimulates repair of oral implant extraction socket defects. Alveolar ridge defects were created in rats and were treated at the time of titanium implant installation with a collagen matrix containing an adenoviral (Ad) vector encoding PDGF-B (5.5 x 10(8) or 5.5 x 10(9) pfu ml (1)), Ad encoding luciferase (Ad-Luc; 5.5 x 10(9) pfu ml (1); control) or recombinant human PDGF-BB protein (rhPDGF-BB, 0.3 mg ml (1)). Bone repair and osseointegration were measured through backscattered scanning electron microscopy, histomorphometry, microcomputed tomography and biomechanical assessments. Furthermore, a panel of local and systemic safety assessments was performed. Results indicated that bone repair was accelerated by Ad-PDGF-B and rhPDGF-BB delivery compared with Ad-Luc, with the high dose of Ad-PDGF-B more effective than the low dose. No significant dissemination of the vector construct or alteration of systemic parameters was noted. In summary, gene delivery of Ad-PDGF-B shows regenerative and safety capabilities for bone tissue engineering and osseointegration in alveolar bone defects comparable with rhPDGF-BB protein delivery in vivo. Gene Therapy (2010) 17, 95-104; doi: 10.1038/gt.2009.117; published online 10 September 2009

Characterization and in vitro evaluation of bacterial cellulose membranes functionalized with osteogenic growth peptide for bone tissue engineering

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