900 resultados para Condition-based maintenance


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Geografia - FCT

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Many rural communities are experiencing population decline. However, rural residents have continued to show a strong attachment to their communities. How do rural Nebraskans feel about their community? Are they satisfied with the services provided? Do they own their home? What is the condition of their home? This report details 2,851 responses to the 2005 Nebraska Rural Poll, the tenth annual effort to understand rural Nebraskans’ perceptions. Respondents were asked a series of questions about their community and housing. Trends for some of these questions are examined by comparing data from the nine previous polls to this year’s results. For all questions, comparisons are made among different respondent subgroups, that is, comparisons by age, occupation, region, etc. Based on these analyses, some key findings emerged: Rural Nebraskans’ views of the change in their community are similar to those expressed last year. This year, 28 percent believe their community has changed for the better, compared to 26 percent last year. And, in 2005, only 20 percent think their community has changed for the worse, compared to 22 percent last year. The proportion of expected movers who plan to leave the state decreased this year. Last year, 56 percent of the persons planning to move from their community expected to leave the state. That proportion decreased to 47 percent this year. Rural Nebraskans living in or near the largest communities are more likely than persons living in or near the smaller communities to say their community has changed for the better. Thirty-nine percent of persons living in or near communities with populations of 10,000 or more believe their community has changed for the better during the past year, but only 15 percent of persons living in or near communities with less than 500 people share this opinion. The community services and amenities that rural Nebraskans are most dissatisfied with include: entertainment, retail shopping and restaurants. At least one-third of rural Nebraskans express dissatisfaction with these three services. They are most satisfied with parks and recreation, library services, basic medical care services, highways and bridges, and education (K - 12). At least one-half of rural Nebraskans are satisfied with the following items in their community: appearance of residential areas (66%), crime control (61%), maintenance of sidewalks and public areas (57%) and noise (54%). Rural Nebraskans generally have positive views about their community. Sixty percent agree that their community is an ideal place to live and 52 percent say their community has good business leaders. Rural Nebraskans have mixed opinions about the future of their community. Fortyfour percent agree that their community’s future looks bright, but 42 percent disagree with this statement. Fourteen percent have no opinion. Rural Nebraskans living in or near the larger communities are more likely than residents of the smaller communities to think their community’s future looks bright. Fifty-nine percent of persons living in or near communities with populations of 10,000 or more agree with this statement, compared to only 25 percent of residents living in or near communities with less than 500 people. Further, 61 percent of the residents of the smallest communities disagree with this statement, compared to only 28 percent of the residents of the largest communities. Over three-quarters of rural Nebraskans disagree that younger residents of their community tend to stay there after completing high school. Seventy-six percent disagree with this statement, 16 percent have no opinion and eight percent agree that younger residents stay after completing high school. When comparing responses by age, younger persons are more likely than older persons to agree that younger residents stay in their community after high school. Sixteen percent of persons age 19 to 29 agree with this statement, compared to only six percent of persons age 50 to 64. Younger persons are more likely than older persons to be planning to move from their community next year. Fifteen percent of persons between the ages of 19 and 29 are planning to move next year, compared to only two percent of persons age 65 and older. An additional 17 percent of the younger respondents indicate they are uncertain if they plan to move. Most rural Nebraskans own their home. Eighty-four percent of rural Nebraskans own their home. Older persons are more likely than younger persons to own their home. Eighty-eight percent of persons over the age of 50 own their home, compared to only 52 percent of persons age 19 to 29. Housing in rural Nebraska has an average age of 50 years. Twenty-four percent of residences were built before 1930. Another 24 percent were built between 1930 and 1959. Twenty-nine percent were built between 1960 and 1979 and the remaining 24 percent were built in 1980 or later. The housing stock in smaller communities is older than the housing located in larger communities. Over one-third (35%) of the residences in communities with less than 1,000 people were built before 1930. Only 12 percent of the homes in communities with populations of 10,000 or more were built in this time period. Most rural Nebraskans appear satisfied with their home. Only 24 percent say the current size of their home does not meet their needs. The same proportion (24%) say their home is in need of major repairs. Thirty-eight percent agree that their home needs a lot of routine maintenance, but 87 percent like the location (neighborhood) of their home. One-third of rural Nebraskans living in or near the smallest communities say their home is in need of major repairs. Only 19 percent of persons living in or near communities with populations of 5,000 or more are facing this problem. Home ownership is very important to most rural Nebraskans. Eighty-two percent believe it is very important to own their home. An additional 12 percent say it is somewhat important and six percent say it is not at all important. However, persons who do not currently own their home do not feel it is important for them to do so. Only 32 percent of renters say it is very important to own their home, compared to 91 percent of home owners. And, 35 percent of renters say it is not at all important to own their home.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

OBJECTIVE: To assess the prevalence of asthma and risk factors associated in children and adolescents. METHODS: Population-based cross-sectional study with 1,185 female and male children and adolescents carried out in the city of Sao Paulo, Southeastern Brazil, from 2008 to 2009. Data were collected through home interviews. Respondents were selected from two-stage (census tract, household) cluster random sampling stratified by gender and age. Multiple Poisson regression was used in the adjusted analysis between the outcome and socioeconomic, demographic, lifestyle and health condition variables. RESULTS: Of all respondents, 9.1% (95%CI 7.0; 11.7) reported asthma. After adjustment, the following variables were found independently associated with asthma: age (0 to 4 years vs. 15 to 19) (PR 3.18, 95%CI 1.20;8.42); age (5 to 9 years vs. 15 to 19) (PR 6.37, 95%CI 2.64;15.39); age (10 to 14 years vs. 15 to 19) (PR 4.51,95%CI 1.95;10.40); allergy (yes vs. no) (PR 2.22, 95%CI 1.24;4.00); rhinitis (yes vs. no) (PR 2.13, 95%CI 1.22;3.73); health conditions in the 15 days preceding the interview (yes vs. no) (PR 1.96, 95%CI 1.23;3.11); number of rooms in the household (1 to 3 vs. 4 and more) (PR 1.67, 95%CI 1.05;2.66); and skin color (black and mixed vs. white) (PR 2.00, 95%CI 1.14;3.49). CONCLUSIONS: This study showed the importance of factors associated with asthma including rhinitis and allergy; age between 5 to 9 years old; black and mixed skin color; and household with few rooms. Frequent health problems are seen as a common consequence of asthma.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Exclusive paternal care is the rarest form of parental investment in nature and theory predicts that the maintenance of this behavior depends on the balance between costs and benefits to males. Our goal was to assess costs of paternal care in the harvestman Iporangaia pustulosa, for which the benefits of this behavior in terms of egg survival have already been demonstrated. We evaluated energetic costs and mortality risks associated to paternal egg-guarding in the field. We quantified foraging activity of males and estimated how their body condition is influenced by the duration of the caring period. Additionally, we conducted a one-year capture-mark-recapture study and estimated apparent survival probabilities of caring and non-caring males to assess potential survival costs of paternal care. Our results indicate that caring males forage less frequently than non-caring individuals (males and females) and that their body condition deteriorates over the course of the caring period. Thus, males willing to guard eggs may provide to females a fitness-enhancing gift of cost-free care of their offspring. Caring males, however, did not show lower survival probabilities when compared to both non-caring males and females. Reduction in mortality risks as a result of remaining stationary, combined with the benefits of improving egg survival, may have played an important and previously unsuspected role favoring the evolution of paternal care. Moreover, males exhibiting paternal care could also provide an honest signal of their quality as offspring defenders, and thus female preference for caring males could be responsible for maintaining the trait.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Most studies investigating the impact of oral contraceptives have been performed some years ago, when the level of sexual hormones was greater than the actual formulations. Objective: The aim of this study was to evaluate the effects of current combined oral contraceptives (COC) on periodontal tissues, correlating the clinical parameters examined with the total duration of continuous oral contraceptive intake. Material and methods: Twenty-five women (19-35 years old) taking combined oral contraceptives for at least 1 year were included in the test group. The control group was composed by 25 patients at the same age range reporting no use of hormone-based contraceptive methods. Clinical parameters investigated included pocket probing depth (PD), clinical attachment level (CAL), sulcular bleeding index (SBI) and plaque index (PI.I). Data were statistically evaluated by unpaired t test, Pearson's correlation test and Spearman's correlation test. Results: The test group showed increased PD (2.228+/-0.011 x 2.154+/-0.012; p<0.0001) and SBI (0.229+/-0.006 x 0.148+/-0.005, p<0.0001) than controls. No significant differences between groups were found in CAL (0.435+/-0.01 x 0.412+/-0.01; p=0.11). The control group showed greater PI.I than the test group (0.206+/-0.007 x 0.303+/-0.008; p<0.0001). No correlation between the duration of oral contraceptive intake, age and periodontal parameters was observed. Conclusions: These findings suggest that the use of currently available combined oral contraceptives can influence the periodontal conditions of the patients, independently of the level of plaque accumulation or total duration of medication intake, resulting in increased gingival inflammation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Introduction. Posttransplant thrombotic microangiopathy (TMA)/hemolytic uremic syndrome (HUS) can occur as a recurrent or de novo disease. Methods. A retrospective single-center observational study was applied in order to examine the incidence and outcomes of de novo TMA/HUS among transplantations performed between 2000 and 2010. Recurrent HUS or antibody-mediated rejections were excluded. Results. Seventeen (1.1%) among 1549 kidney transplant recipients fulfilled criteria for de novo TMA. The mean follow-up was 572 days (range, 69-1769). Maintenance immunosuppression was prednisone, tacrolimus (TAC), and mycophenolic acid in 14 (82%) patients. Mean age at onset was 40 +/- 15 years, and serum creatinine was 6.1 +/- 4.1 mg/dL. TMA occurred at a median of 25 days (range, 1-1755) after transplantation. Nine (53%) patients developed TMA within 1 month of transplantation and only 12% after 1 year. Clinical features were anemia (hemoglobin < 10 g/dL) in 9 (53%) patients, thrombocytopenia in 7 (41%), and increased lactate dehydrogenase in 12 (70%). Decreased haptoglobin was observed in 64% and schistocytes in 35%. Calcineurin inhibitor (CM) withdrawal or reduction was the first step in the management of 10/15 (66%) patients, and 6 (35%) received fresh frozen plasma (FFP) and/or plasmapheresis. TAC was successfully reintroduced in six patients after a median of 17 days. Eight (47%) patients needed dialytic support after TMA diagnosis and 75% remained on dialysis. At 4 years of follow-up, death-censored graft survival was worse for TMA group (43.0% versus 85.6%, log-rank = 0.001; hazard ratio = 3.74) and there was no difference in patient survival (53.1% versus 82.2%, log-rank = 0.24). Conclusion. De novo TMA after kidney transplantation is a rare but severe condition with poor graft outcomes. This syndrome may not be fully manifested, and clinical suspicion is essential for early diagnosis and treatment, based mainly in CM withdrawal and FFP infusions and/or plasmapheresis.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Influence of nutritional variables and obesity on health and metabolism Obesity is a recurring theme in current scientific literature. This can easily be explained by its exponential increase in all layers of society. The popularity of this subject has also given rise to associated questions, which have achieved greater prominence in health-related publications. In order to assess what has been studied in the field of obesity and nutrition, an overview of all articles published on these subjects in some of the main Brazilian scientific journals over the past two years was performed. Among the subthemes selected for this study, those related to childhood obesity attracted attention due to their greater frequency. These were subdivided into: prevalence, intrauterine and breastfeeding influences that may lead to the development of this condition, impact on quality of life, cardiovascular system and metabolism, and possible prevention strategies. Furthermore, issues related to obesity in adults were explored, such as risk factors and new strategies for prevention, with special attention given to the many studies evaluating different aspects of bariatric surgery. Finally, the subject of malnutrition and the impact of the deficiency of specific micronutrients such as selenium, vitamin D, and vitamin B12 were assessed. Based on the results, it was possible to assess the actual importance of obesity and nutrition in health maintenance, and also the several lines of research regarding these issues. Thus, it is essential to create new methods, which must be quick and efficient, to update health professionals involved in the treatment of obesity.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper, the effects of uncertainty and expected costs of failure on optimum structural design are investigated, by comparing three distinct formulations of structural optimization problems. Deterministic Design Optimization (DDO) allows one the find the shape or configuration of a structure that is optimum in terms of mechanics, but the formulation grossly neglects parameter uncertainty and its effects on structural safety. Reliability-based Design Optimization (RBDO) has emerged as an alternative to properly model the safety-under-uncertainty part of the problem. With RBDO, one can ensure that a minimum (and measurable) level of safety is achieved by the optimum structure. However, results are dependent on the failure probabilities used as constraints in the analysis. Risk optimization (RO) increases the scope of the problem by addressing the compromising goals of economy and safety. This is accomplished by quantifying the monetary consequences of failure, as well as the costs associated with construction, operation and maintenance. RO yields the optimum topology and the optimum point of balance between economy and safety. Results are compared for some example problems. The broader RO solution is found first, and optimum results are used as constraints in DDO and RBDO. Results show that even when optimum safety coefficients are used as constraints in DDO, the formulation leads to configurations which respect these design constraints, reduce manufacturing costs but increase total expected costs (including expected costs of failure). When (optimum) system failure probability is used as a constraint in RBDO, this solution also reduces manufacturing costs but by increasing total expected costs. This happens when the costs associated with different failure modes are distinct. Hence, a general equivalence between the formulations cannot be established. Optimum structural design considering expected costs of failure cannot be controlled solely by safety factors nor by failure probability constraints, but will depend on actual structural configuration. (c) 2011 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

On the moderately complex terrain covered by dense tropical Amazon Rainforest (Reserva Biologica do Cuieiras-ZF2-02 degrees 36'17.1 '' S, 60 degrees 12'24.4 '' W), subcanopy horizontal and vertical gradients of the air temperature, CO2 concentration and wind field were measured for the dry and wet periods in 2006. We tested the hypothesis that horizontal drainage flow over this study area is significant and can affect the interpretation of the high carbon uptake rates reported by previous works at this site. A similar experimental design as the one by Tota et al. (2008) was used with a network of wind, air temperature, and CO2 sensors above and below the forest canopy. A persistent and systematic subcanopy nighttime upslope (positive buoyancy) and daytime downslope (negative buoyancy) flow pattern on a moderately inclined slope (12%) was observed. The microcirculations observed above the canopy (38 m) over the sloping area during nighttime presents a downward motion indicating vertical convergence and correspondent horizontal divergence toward the valley area. During the daytime an inverse pattern was observed. The microcirculations above the canopy were driven mainly by buoyancy balancing the pressure gradient forces. In the subcanopy space the microcirculations were also driven by the same physical mechanisms but probably with the stress forcing contribution. The results also indicated that the horizontal and vertical scalar gradients (e. g., CO2) were modulated by these micro-circulations above and below the canopy, suggesting that estimates of advection using previous experimental approaches are not appropriate due to the tridimensional nature of the vertical and horizontal transport locally. This work also indicates that carbon budget from tower-based measurement is not enough to close the system, and one needs to include horizontal and vertical advection transport of CO2 into those estimates.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Measurement-based quantum computation is an efficient model to perform universal computation. Nevertheless, theoretical questions have been raised, mainly with respect to realistic noise conditions. In order to shed some light on this issue, we evaluate the exact dynamics of some single-qubit-gate fidelities using the measurement-based quantum computation scheme when the qubits which are used as a resource interact with a common dephasing environment. We report a necessary condition for the fidelity dynamics of a general pure N-qubit state, interacting with this type of error channel, to present an oscillatory behavior, and we show that for the initial canonical cluster state, the fidelity oscillates as a function of time. This state fidelity oscillatory behavior brings significant variations to the values of the computational results of a generic gate acting on that state depending on the instants we choose to apply our set of projective measurements. As we shall see, considering some specific gates that are frequently found in the literature, the fast application of the set of projective measurements does not necessarily imply high gate fidelity, and likewise the slow application thereof does not necessarily imply low gate fidelity. Our condition for the occurrence of the fidelity oscillatory behavior shows that the oscillation presented by the cluster state is due exclusively to its initial geometry. Other states that can be used as resources for measurement-based quantum computation can present the same initial geometrical condition. Therefore, it is very important for the present scheme to know when the fidelity of a particular resource state will oscillate in time and, if this is the case, what are the best times to perform the measurements.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Objective: Diastolic dysfunction (DD) is a frequent condition in hypertensive patients whose presence increases mortality and whose treatment remains unclear. The aim of this study was to investigate in a prospective, double-blinded, placebo-controlled randomized design the additive effect of simvastatin on DD in enalapril-treated hypertensive patients with average cholesterol levels. Methods: Hypertensive patients with DD and LDL-cholesterol <160 mg/dL underwent a run-in phase to achieve a systolic blood pressure (SBP) <135 mmHg and diastolic blood pressure (DBP) <85 mmHg with enalapril. Hydrochlorothiazide was added when need to achieve blood pressure control. Four weeks after reaching the optimum anti-hypertensive regimen patients were randomized to receive 80 mg simvastatin (n = 27) or placebo (n = 28) for a period of 20 weeks. Echocardiograms were performed before and after treatment with measurement of maximum left atrial volume (LAV), conventional and tissue Doppler velocities in early diastole (E, e') and late diastole (A, a'). Results: After 20 weeks, the simvastatin group presented reduction in SBP (-4 +/- 2 mmHg, p = 0.02), increase in E/A ratio (1.0 +/- 0.05 to 1.2 +/- 0.06, p = 0.03) and decrease of LAV indexed to body surface area (24.5 +/- 0.9 to 21.1 +/- 0.8 ml/m(2), p = 0.048), as compared with placebo arm. No change in systolic function and no correlation between the E/A ratio, LAV and changes in blood pressure or lipid profile were observed. Conclusions: The addition of simvastatin to enalapril in hypertensive patients with average cholesterol levels improves parameters of diastolic function independently of changes in blood pressure or cholesterol. (C) 2012 Elsevier Ireland Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Neuromyelitis optica (NMO) is an inflammatory disease of the central nervous system characterized by severe optic neuritis and transverse myelitis, usually with a relapsing course. Aquaporin-4 antibody is positive in a high percentage of NMO patients and it is directed against this water channel richly expressed on foot processes of astrocytes. Due to the severity of NMO attacks and the high risk for disability, treatment should be instituted as soon as the diagnosis is confirmed. There is increasing evidence that NMO patients respond differently from patients with multiple sclerosis (MS), and, therefore, treatments for MS may not be suitable for NMO. Acute NMO attacks usually are treated with high dose intravenous corticosteroid pulse and plasmapheresis. Maintenance therapy is also required to avoid further attacks and it is based on low-dose oral corticosteroids and non-specific immunosuppressant drugs, like azathioprine and mycophenolate mofetil. New therapy strategies using monoclonal antibodies like rituximab have been tested in NMO, with positive results in open label studies. However, there is no controlled randomized trial to confirm the safety and efficacy for the drugs currently used in NMO.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

[EN]Gender recognition has achieved impressive results based on the face appearance in controlled datasets. Its application in the wild and large datasets is still a challenging task for researchers. In this paper, we make use of classical techniques to analyze their performance in controlled and uncontrolled condition respectively with the LFW and MORPH datasets. For both sets the benchmarking protocol follows the 5-fold cross-validation proposed by the BEFIT challenge.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Asset Management (AM) is a set of procedures operable at the strategic-tacticaloperational level, for the management of the physical asset’s performance, associated risks and costs within its whole life-cycle. AM combines the engineering, managerial and informatics points of view. In addition to internal drivers, AM is driven by the demands of customers (social pull) and regulators (environmental mandates and economic considerations). AM can follow either a top-down or a bottom-up approach. Considering rehabilitation planning at the bottom-up level, the main issue would be to rehabilitate the right pipe at the right time with the right technique. Finding the right pipe may be possible and practicable, but determining the timeliness of the rehabilitation and the choice of the techniques adopted to rehabilitate is a bit abstruse. It is a truism that rehabilitating an asset too early is unwise, just as doing it late may have entailed extra expenses en route, in addition to the cost of the exercise of rehabilitation per se. One is confronted with a typical ‘Hamlet-isque dilemma’ – ‘to repair or not to repair’; or put in another way, ‘to replace or not to replace’. The decision in this case is governed by three factors, not necessarily interrelated – quality of customer service, costs and budget in the life cycle of the asset in question. The goal of replacement planning is to find the juncture in the asset’s life cycle where the cost of replacement is balanced by the rising maintenance costs and the declining level of service. System maintenance aims at improving performance and maintaining the asset in good working condition for as long as possible. Effective planning is used to target maintenance activities to meet these goals and minimize costly exigencies. The main objective of this dissertation is to develop a process-model for asset replacement planning. The aim of the model is to determine the optimal pipe replacement year by comparing, temporally, the annual operating and maintenance costs of the existing asset and the annuity of the investment in a new equivalent pipe, at the best market price. It is proposed that risk cost provide an appropriate framework to decide the balance between investment for replacing or operational expenditures for maintaining an asset. The model describes a practical approach to estimate when an asset should be replaced. A comprehensive list of criteria to be considered is outlined, the main criteria being a visà- vis between maintenance and replacement expenditures. The costs to maintain the assets should be described by a cost function related to the asset type, the risks to the safety of people and property owing to declining condition of asset, and the predicted frequency of failures. The cost functions reflect the condition of the existing asset at the time the decision to maintain or replace is taken: age, level of deterioration, risk of failure. The process model is applied in the wastewater network of Oslo, the capital city of Norway, and uses available real-world information to forecast life-cycle costs of maintenance and rehabilitation strategies and support infrastructure management decisions. The case study provides an insight into the various definitions of ‘asset lifetime’ – service life, economic life and physical life. The results recommend that one common value for lifetime should not be applied to the all the pipelines in the stock for investment planning in the long-term period; rather it would be wiser to define different values for different cohorts of pipelines to reduce the uncertainties associated with generalisations for simplification. It is envisaged that more criteria the municipality is able to include, to estimate maintenance costs for the existing assets, the more precise will the estimation of the expected service life be. The ability to include social costs enables to compute the asset life, not only based on its physical characterisation, but also on the sensitivity of network areas to social impact of failures. The type of economic analysis is very sensitive to model parameters that are difficult to determine accurately. The main value of this approach is the effort to demonstrate that it is possible to include, in decision-making, factors as the cost of the risk associated with a decline in level of performance, the level of this deterioration and the asset’s depreciation rate, without looking at age as the sole criterion for making decisions regarding replacements.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.