Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Economic analysis in health care regulation : three essays

ABSTRACT - It is the purpose of the present thesis to emphasize, through a series of examples, the need and value of appropriate pre-analysis of the impact of health care regulation. Specifically, the thesis presents three papers on the theme of regulation in different aspects of health care provision and financing. The first two consist of economic analyses of the impact of health care regulation and the third comprises the creation of an instrument for supporting economic analysis of health care regulation, namely in the field of evaluation of health care programs. The first paper develops a model of health plan competition and pricing in order to understand the dynamics of health plan entry and exit in the presence of switching costs and alternative health premium payment systems. We build an explicit model of death spirals, in which profitmaximizing competing health plans find it optimal to adopt a pattern of increasing relative prices culminating in health plan exit. We find the steady-state numerical solution for the price sequence and the plan’s optimal length of life through simulation and do some comparative statics. This allows us to show that using risk adjusted premiums and imposing price floors are effective at reducing death spirals and switching costs, while having employees pay a fixed share of the premium enhances death spirals and increases switching costs. Price regulation of pharmaceuticals is one of the cost control measures adopted by the Portuguese government, as in many European countries. When such regulation decreases the products’ real price over time, it may create an incentive for product turnover. Using panel data for the period of 1997 through 2003 on drug packages sold in Portuguese pharmacies, the second paper addresses the question of whether price control policies create an incentive for product withdrawal. Our work builds the product survival literature by accounting for unobservable product characteristics and heterogeneity among consumers when constructing quality, price control and competition indexes. These indexes are then used as covariates in a Cox proportional hazard model. We find that, indeed, price control measures increase the probability of exit, and that such effect is not verified in OTC market where no such price regulation measures exist. We also find quality to have a significant positive impact on product survival. In the third paper, we develop a microsimulation discrete events model (MSDEM) for costeffectiveness analysis of Human Immunodeficiency Virus treatment, simulating individual paths from antiretroviral therapy (ART) initiation to death. Four driving forces determine the course of events: CD4+ cell count, viral load resistance and adherence. A novel feature of the model with respect to the previous MSDEMs is that distributions of time to event depend on individuals’ characteristics and past history. Time to event was modeled using parametric survival analysis. Events modeled include: viral suppression, regimen switch due virological failure, regimen switch due to other reasons, resistance development, hospitalization, AIDS events, and death. Disease progression is structured according to therapy lines and the model is parameterized with cohort Portuguese observational data. An application of the model is presented comparing the cost-effectiveness ART initiation with two nucleoside analogue reverse transcriptase inhibitors (NRTI) plus one non-nucleoside reverse transcriptase inhibitor(NNRTI) to two NRTI plus boosted protease inhibitor (PI/r) in HIV- 1 infected individuals. We find 2NRTI+NNRTI to be a dominant strategy. Results predicted by the model reproduce those of the data used for parameterization and are in line with those published in the literature.

Sofisticação e disponibilidade total dos serviços On-Line da segurança social

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Coherent structures in open channel flows with bed load transport over an hydraulically rough bed

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Estruturas

High or low initial setting price?: Initial setting price as prediction of intention to bid in on line auctions

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Livros on-line da área médica

O trabalho indica alguns sites a serem considerados como alternativa para acesso gratuito a livros on-line disponíveis na Internet e destinados à área médica.

Evaluation of uv spectrophotometry for estimation of nitrite and nitrate in nitrified urine

Water is a limited resource for which demand is growing. Contaminated water from inadequate wastewater treatment provides one of the greatest health challenges as it restricts development and increases poverty in emerging and developing countries. Therefore, the connection between wastewater and human health is linked to access to sanitation and to human waste disposal. Adequate sanitation is expected to create a barrier between disposed human excreta and sources of drinking water. Different approaches to wastewater management are required for different geographical regions and different stages of economic governance depending on the capacity to manage wastewater. Effective wastewater management can contribute to overcome the challenges of water scarcity. Separate collection of human urine at its source is one promising approach that strongly reduces the economic and load demands on wastewater treatment plants (WWTP). Treatment of source-separated urine appears as a sanitation system that is affordable, produces a valuable fertiliser, reduces pollution of water resources and promotes health. However, the technical realisation of urine separation still faces challenges. Biological hydrolysis of urea causes a strong increase of ammonia and pH. Under these conditions ammonia volatilises which can cause odour problems and significant nitrogen losses. The above problems can be avoided by urine stabilisation. Biological nitrification is a suitable process for stabilisation of urine. Urine is a highly concentrated nutrient solution which can lead to strong inhibition effects during bacterial nitrification. This can further lead to process instabilities. The major cause of instability is accumulation of the inhibitory intermediate compound nitrite, which could lead to process breakdown. Enhanced on-line nitrite monitoring can be applied in biological source-separated urine nitrification reactors as a sustainable and efficient way to improve the reactor performance, avoiding reactor failures and eventual loss of biological activity. Spectrophotometry appears as a promising candidate for the development and application of on-line nitrite monitoring. Spectroscopic methods together with chemometrics are presented in this work as a powerful tool for estimation of nitrite concentrations. Principal component regression (PCR) is applied for the estimation of nitrite concentrations using an immersible UV sensor and off-line spectra acquisition. The effect of particles and the effect of saturation, respectively, on the UV absorbance spectra are investigated. The analysis allows to conclude that (i) saturation has a substantial effect on nitrite estimation; (ii) particles appear to have less impact on nitrite estimation. In addition, improper mixing together with instabilities in the urine nitrification process appears to significantly reduce the performance of the estimation model.

Produção e facilitação da visualização on-line de uma carta de desporto de natureza

Os Sistemas de Informação Geográfica detêm um papel de crescente importância para a tomada de decisão ao nível do ordenamento do território, conforme o que a própria legislação evidencia. Existe uma carência de uniformização da informação para que possa existir um cruzamento eficiente e uma disponibilização mais facilitada à população e às diversas entidades. As instituições públicas, como é o caso do Instituto de Conservação e Florestas (ICNF I.P.), reconhecem esta necessidade, pelo que se propôs uma série de tarefas, para a concretização deste estágio, no sentido de a colmatar. Este instituto detém um papel de especial relevo na conservação do património natural assim como no ordenamento das áreas protegidas para que se possa usufruir das mesmas, sob um ponto de vista cada vez mais ecológico e promotor de desenvolvimento sustentável. A elaboração de um instrumento de gestão territorial, como se pode classificar a Carta de Desporto de Natureza (CDN), acarreta grande responsabilidade e exige um forte empenho, não apenas no envolvimento da população e das entidades que dele fruirão, mas no cumprimento da legislação existente quer para as atividades quer para o próprio território, no sentido da sua proteção, preservação e promoção de usos adequados. Neste trabalho procurou-se cumprir todas estas disposições sempre com o objetivo de, ao se construir normas de uniformização e ao se elaborar um exemplo de CDN para um território com tanto valor como é a Reserva Natural do Estuário do Tejo, tornar acessível a informação sobre esta área protegida. A intensão é também promover a motivação para a prática de um desporto natureza, saudável e em equilíbrio com o ambiente. O desafio não se ficou por aqui, havendo também a procura de utilização de Free Open Source Software, para que o processo de utilização e disponibilização informação SIG seja cada vez mais acessível e direta.

Avaliação da sustentabilidade corporativa: estudo das relações híbridas pelo modelo do Hybrid Bottom Line

A presente tese reflete sobre os temas do desenvolvimento sustentável, da sustentabilidade corporativa, da responsabilidade social corporativa e das dimensões do Triple Bottom Line. O principal objetivo do nosso trabalho é contribuir para o conhecimento das relações que se estabelecem nas interseções entre a dimensão económica, social e ambiental da sustentabilidade corporativa, aqui designadas de relações híbridas. Neste sentido, desenvolveu-se um enquadramento teórico que fundamenta o modelo proposto, designado por Hybrid Bottom Line. De acordo com este enquadramento procurou-se conceber uma metodologia que permitisse analisar como é que estas relações de interseção entre economia-ambiente e economia-social se verificam e de que forma os seus resultados podem beneficiar a compreensão, avaliação e melhorias no entendimento da sustentabilidade corporativa, bem como possibilitar uma análise dirigida a fatores recombinantes específicos. Em complemento, foi desenvolvida uma proposta que permite posicionar o esforço desenvolvido pela empresa no âmbito da sustentabilidade e desta forma tipificar as suas ações. Nesta tese a abordagem empírica recaiu na análise dos relatórios de sustentabilidade publicados pelas empresas e baseados nas diretivas de relato propostas pelo Global Reporting Initiative. A amostra para o estudo abrangeu um total de 85 empresas de diferentes dimensões de 36 sectores económicos e representando 36 países de 5 continentes. A análise dos resultados foi feita utilizando diversos métodos de análise de dados (de frequência e de conteúdo) e análises estatísticas (análise de contingência, variância e de correspondências múltiplas) que permitiram observar as relações entre as dimensões do Triple Bottom Line, dando lugar à construção de uma matriz de relações híbridas. Seguidamente foi realizada uma análise longitudinal de uma das empresas da amostra tendo como referência a matriz híbrida obtida, assim como a tipificação da empresa no âmbito da sustentabilidade. Os resultados alcançados nas diferentes fases indicam que o enquadramento teórico que foi utilizado é útil para a análise das interseções entre as dimensões e permite uma avaliação dirigida a fatos ocorridos entre pares dimensionais, bem como projetar análises e posicionamentos futuros. Os resultados obtidos sugerem que a proposta apresentada é útil e deverá ser utilizada e desenvolvida noutros contextos. Esta tese contribui para a ideia de que a responsabilidade corporativa não deve ser só vista e operacionalizada como uma realidade de dimensões segmentadas mas também deve ser observada como um conjunto possível de interações que se manifestam nas interseções das suas diferentes dimensões.

Progression of the load of waterborne and intestinal parasitic diseases in the State of Amazonas

In the State of Amazonas, Brazil, urban expansion together with precarious basic sanitation conditions and human settlement on river banks has contributed to the persistence of waterborne and intestinal parasitic diseases. Time series of the recorded cases of cholera, typhoid fever, hepatitis A and leptospirosis are described, using data from different levels of the surveillance systems. The sources for intestinal parasitosis prevalence data (non-compulsory reporting in Brazil) were Medical Literature Analysis and Retrieval System Online (MEDLINE), Literatura Latino-Americana (LILACS) and the annals of major scientific meetings. Relevant papers and abstracts in all languages were accessed by two independent reviewers. The references cited by each relevant paper were scrutinized to locate additional papers. Despite its initial dissemination across the entire State of Amazonas, cholera was controlled in 1998. The magnitude of typhoid fever has decreased; however, a pattern characterized by eventual outbreaks still remains. Leptospirosis is an increasing cause of concern in association with the annual floods. The overall prevalence of intestinal parasites is high regardless of the municipality and the characteristics of areas and populations. The incidence of hepatitis A has decreased over the past decade. A comparison of older and recent surveys shows that the prevalence of intestinal parasitic diseases has remained constant. The load of waterborne and intestinal parasitic diseases ranks high among the health problems present in the State of Amazonas. Interventions aiming at basic sanitation and vaccination for hepatitis A were formulated and implemented, but assessment of their effectiveness in the targeted populations is still needed.

Tube-jack and sonic testing for the evaluation of the state of stress in historical masonry

In the investigation and diagnosis of damages to historical masonry structures, the state of stress of the masonry is an important characteristic that must be determined with as much accuracy as possible. Flat-jack testing is a traditional method used to determine the state of stress in historical masonry structures. However, when irregular masonry is tested the method can cause damage to the masonry units and the accuracy of the method is reduced. An enhanced technique, called tube-jack testing, is being developed at the University of Minho to reduce the damage caused during testing and improve the accuracy when used on irregular masonry. This method uses multiple cylindrical jacks inserted in a line of holes drilled in the mortar joints of the masonry, avoiding damage to the masonry units. Concurrently with the development of tube-jack testing, the effect of stress state on sonic testing is being studied. Sonic testing is often used to determine locations of voids and damage in masonry. The focus of these studies was to determine if the state of stress is influencing the sonic test results. In this paper the results of tube-jack testing and sonic testing on masonry walls, built for the purpose of this study in the laboratory, loaded in compression is presented. The tube-jack testing is used to estimate the state of stress in the masonry and the sonic test results are evaluated based on the effect of the applied load on the wall. Future testing and study are suggested for continued development of these test methods.

In-line rheo-optical characterization during small-scale polymer processing and compounding

As increasingly more sophisticated materials and products are being developed and times-to-market need to be minimized, it is important to make available fast response characterization tools using small amounts of sample, capable of conveying data on the relationships between rheological response, process-induced material structure and product characteristics. For this purpose, a single / twin-screw mini-extrusion system of modular construction, with well-controlled outputs in the range 30-300 g/h, was coupled to a in- house developed rheo-optical slit die able to measure shear viscosity and normal-stress differences, as well as performing rheo-optical experiments, namely small angle light scattering (SALS) and polarized optical microscopy (POM). In addition, the mini-extruder is equipped with ports that allow sample collection, and the extrudate can be further processed into products to be tested later. Here, we present the concept and experimental set-up [1, 2]. As a typical application, we report on the characterization of the processing of a polymer blend and of the properties of extruded sheets. The morphological evolution of a PS/PMMA industrial blend along the extruder, the flow-induced structures developed and the corresponding rheological characteristics are presented, together with the mechanical and structural characteristics of produced sheets. The application of this experimental tool to other material systems will also be discussed.

Implementation of a lean six sigma project in a production line

Companies from the motorcycles components branch are dealing with a dynamic environment, resulting from the introduction of new products and the increase of market demand. This dynamic environment requires frequent changes in production lines and requires flexibility in the processes, which can cause reductions in the level of quality and productivity. This paper presents a Lean Six Sigma improvement project performed in a production line of the company's machining sector, in order to eliminate losses that cause low productivity, affecting the fulfillment of the production plan and customer satisfaction. The use of Lean methodology following the DMAIC stages allowed analyzing the factors that influence the line productivity loss. The major problems and causes that contribute to a reduction on productivity and that were identified in this study are the lack of standardization in the setup activities and the excessive stoppages for adjustment of the processes that caused an increase of defects. Control charts, Pareto analysis and cause-and-effect diagrams were used to analyze the problem. On the improvement stage, the changes were based on the reconfiguration of the line layout as well as the modernization of the process. Overall, the project justified an investment in new equipment, the defective product units were reduced by 84% and an increase of 29% of line capacity was noticed.

On line pre-concentration for simultaneous determination of low molecular weight organic acids and inorganic anions in Amazonian river water samples employing ion chromatography with conductivity detection

An ion chromatography procedure, employing an IonPac AC15 concentrator column was used to investigate on line preconcentration for the simultaneous determination of inorganic anions and organic acids in river water. Twelve organic acids and nine inorganic anions were separated without any interference from other compounds and carry-over problems between samples. The injection loop was replaced by a Dionex AC15 concentrator column. The proposed procedure employed an auto-sampler that injected 1.5 ml of sample into a KOH mobile phase, generated by an Eluent Generator, at 1.5 mL min-1, which carried the sample to the chromatographic columns (one guard column, model AG-15, and one analytical column, model AS15, with 250 x 4mm i.d.). The gradient elution concentrations consisted of a 10.0 mmol l-1 KOH solution from 0 to 6.5 min, gradually increased to 45.0 mmol l-1 KOH at 21 min., and immediatelly returned and maintained at the initial concentrations until 24 min. of total run. The compounds were eluted and transported to an electro-conductivity detection cell that was attached to an electrochemical detector. The advantage of using concentrator column was the capability of performing routine simultaneous determinations for ions from 0.01 to 1.0 mg l-1 organic acids (acetate, propionic acid, formic acid, butyric acid, glycolic acid, pyruvate, tartaric acid, phthalic acid, methanesulfonic acid, valeric acid, maleic acid, oxalic acid, chlorate and citric acid) and 0.01 to 5.0 mg l-1 inorganic anions (fluoride, chloride, nitrite, nitrate, bromide, sulfate and phosphate), without extensive sample pretreatment and with an analysis time of only 24 minutes.