760 resultados para constraint satisfaction
Resumo:
This work presents exact algorithms for the Resource Allocation and Cyclic Scheduling Problems (RA&CSPs). Cyclic Scheduling Problems arise in a number of application areas, such as in hoist scheduling, mass production, compiler design (implementing scheduling loops on parallel architectures), software pipelining, and in embedded system design. The RA&CS problem concerns time and resource assignment to a set of activities, to be indefinitely repeated, subject to precedence and resource capacity constraints. In this work we present two constraint programming frameworks facing two different types of cyclic problems. In first instance, we consider the disjunctive RA&CSP, where the allocation problem considers unary resources. Instances are described through the Synchronous Data-flow (SDF) Model of Computation. The key problem of finding a maximum-throughput allocation and scheduling of Synchronous Data-Flow graphs onto a multi-core architecture is NP-hard and has been traditionally solved by means of heuristic (incomplete) algorithms. We propose an exact (complete) algorithm for the computation of a maximum-throughput mapping of applications specified as SDFG onto multi-core architectures. Results show that the approach can handle realistic instances in terms of size and complexity. Next, we tackle the Cyclic Resource-Constrained Scheduling Problem (i.e. CRCSP). We propose a Constraint Programming approach based on modular arithmetic: in particular, we introduce a modular precedence constraint and a global cumulative constraint along with their filtering algorithms. Many traditional approaches to cyclic scheduling operate by fixing the period value and then solving a linear problem in a generate-and-test fashion. Conversely, our technique is based on a non-linear model and tackles the problem as a whole: the period value is inferred from the scheduling decisions. The proposed approaches have been tested on a number of non-trivial synthetic instances and on a set of realistic industrial instances achieving good results on practical size problem.
Resumo:
Classic group recommender systems focus on providing suggestions for a fixed group of people. Our work tries to give an inside look at design- ing a new recommender system that is capable of making suggestions for a sequence of activities, dividing people in subgroups, in order to boost over- all group satisfaction. However, this idea increases problem complexity in more dimensions and creates great challenge to the algorithm’s performance. To understand the e↵ectiveness, due to the enhanced complexity and pre- cise problem solving, we implemented an experimental system from data collected from a variety of web services concerning the city of Paris. The sys- tem recommends activities to a group of users from two di↵erent approaches: Local Search and Constraint Programming. The general results show that the number of subgroups can significantly influence the Constraint Program- ming Approaches’s computational time and e�cacy. Generally, Local Search can find results much quicker than Constraint Programming. Over a lengthy period of time, Local Search performs better than Constraint Programming, with similar final results.
Resumo:
To investigate whether next of kin can be addressed as proxy to assess patients' satisfaction with care in the intensive care unit (ICU).
Resumo:
PURPOSE OF REVIEW: Family satisfaction in the ICU reflects the extent to which perceived needs and expectations of family members of critically ill patients are met by healthcare professionals. Here, we present recently developed tools to assess family satisfaction, with a special focus on their psychometric properties. Assessing family satisfaction, however, is not of much use if it is not followed by interpretation of the results and, if needed, consecutive measures to improve care of the patients and their families, or improvement in communication and decision-making. Accordingly, this review will outline recent findings in this field. Finally, possible areas of future research are addressed. RECENT FINDINGS: To assess family satisfaction in the ICU, several domains deserve attention. They include, among others, care of the patient, counseling and emotional support of family members, information and decision-making. Overall, communication between physicians or nurses and members of the family remains a key topic, and there are many opportunities to improve. They include not only communication style, timing and appropriate wording but also, for example, assessments to see if information was adequately received and also understood. Whether unfulfilled needs of individual members of the family or of the family as a social system result in negative long-term sequels remains an open question. SUMMARY: Assessing and analyzing family satisfaction in the ICU ultimately will support healthcare professionals in their continuing effort to improve care of critically ill patients and their families.
Resumo:
Model based calibration has gained popularity in recent years as a method to optimize increasingly complex engine systems. However virtually all model based techniques are applied to steady state calibration. Transient calibration is by and large an emerging technology. An important piece of any transient calibration process is the ability to constrain the optimizer to treat the problem as a dynamic one and not as a quasi-static process. The optimized air-handling parameters corresponding to any instant of time must be achievable in a transient sense; this in turn depends on the trajectory of the same parameters over previous time instances. In this work dynamic constraint models have been proposed to translate commanded to actually achieved air-handling parameters. These models enable the optimization to be realistic in a transient sense. The air handling system has been treated as a linear second order system with PD control. Parameters for this second order system have been extracted from real transient data. The model has been shown to be the best choice relative to a list of appropriate candidates such as neural networks and first order models. The selected second order model was used in conjunction with transient emission models to predict emissions over the FTP cycle. It has been shown that emission predictions based on air-handing parameters predicted by the dynamic constraint model do not differ significantly from corresponding emissions based on measured air-handling parameters.
Resumo:
The authors examine children's access to and caregiver's satisfaction with organizations that provide leisure time activities for children on Saturdays. The authors argue that access and satisfaction are a function of familie's financial, cultural and social capital. Using data on 1,036 households in the Phoenix metropolitan area in 2003-04, the authors found that families' financial and cultural capital affected whether or not children participate din activities organized by organizations, but family ties to the organization directly (e.g., either worked there, volunteered, donated) resulted in caregivers being more satisfied with the services. The authors also found that the benefits of network closure (caregivers knowing the parents of other children on site) were greater the riskier the activities of the child (e.g., sports or cheerleading). Contrary to the authors expectations, having family or friends in the area did not affect caregiver's satisfaction with the child's provider.
Resumo:
Using survey data from natural experiments in three countries that simultaneously received food aid sourced locally and from the United States, we test the hypothesis that locally-sourced commodities are more culturally appropriate and thus preferred over traditional food aid commodities sourced from the donor country. We use a semi-nonparametric regression method to estimate recipients' satisfaction with these commodities across a range of criteria. We establish that recipients of locally procured rations are generally more satisfied with the commodities they receive than are recipients of US-sourced foods. This pattern is especially pronounced among less-well-off recipients. (C) 2013 Elsevier Ltd. All rights reserved.
Resumo:
Given increased survival rates and treatment-related late effects, follow-up for cancer survivors is increasingly recommended. However, information about adverse events (e.g. possibility of late effects) may be distressing for the cancer survivor and lead to poor clinic attendance. Survivor satisfaction with appointments and the information provided are important. The Monitoring Process Model provides a theoretical framework to understand how survivors cope with threatening information, and consequences for follow-up care. Our aims were to describe satisfaction with routine follow-up and association between monitoring/blunting and satisfaction with care.
Resumo:
Stress and depressive symptoms have been associated with impaired endothelial function as measured by brachial artery flow-mediated dilation (FMD), possibly through repeated and heightened activation of the sympathetic nervous system. Behavioral correlates of depression, such as satisfaction with leisure activities (i.e., leisure satisfaction), may also be associated with endothelial function via their association with depressive symptoms. This study examined the longitudinal associations between stress, depressive symptoms, leisure satisfaction, and endothelial function as measured by FMD.