Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Some constraints on the modeling using the uranium isotopes U-238 and U-234 for dating groundwaters from Guarany aquifer, South America

Groundwaters from the Guarany aquifer located at the South American continent and sampled at four wells with described geological sections in São Paulo State, Brazil, were chemically and isotopically analysed with two aims: to evaluate the quality of this important hydrological resource and to investigate the possibility of using the natural uranium isotopes U-234 and U-238 as a chronological tool, since the U-234/U-238 activity ratio and dissolved U content data in groundwater systems have generated models for dating purposes.

Some constraints on the modelling using the uranium isotopes 238U and 234U for dating groundwaters from Guarany aquifer, South America

Groundwaters from the Guarany aquifer located at the South American continent and sampled at four wells with described geological sections in São Paulo State, Brazil, were chemically and isotopically analysed with two aims: to evaluate the quality of this important hydrological resource and to investigate the possibility of using the natural uranium isotopes 234U and 238U as a chronological tool, since the 234U/238U activity ratio and dissolved U content data in groundwater systems have generated models for dating purposes.

Financial constraints on economic development: Theory and policy for developing countries

This article contains a theoretical and policy analysis of the financial constraints on economic development in developing countries. Following a Keynesian interpretation, it concludes that financial policies are needed to relieve these constraints, given the natural tendency of financial systems to operate in ways that are dysfunctional to economic development. It then proposes three lines of policy that take account of the special characteristics of developing countries: resource allocation policies targeted at segments of strategic importance for economic and financial development; policies to control financial and external fragility; and compensatory policies of a more interventionist cast, in particular directed credit programmes for both public- and private-sector lending to complement resource allocation policies, and countercyclical regulatory barriers so that fragility can be better controlled.

Cerrado vegetation and global change: the role of functional types, resource availability and disturbance in regulating plant community responses to rising CO2 levels and climate warming

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Costs and benefits of reproducing under unfavorable conditions: an integrated view of ecological and physiological constraints in a cerrado shrub

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Extrafloral nectary morphology and the role of environmental constraints in shaping its traits in a common Cerrado shrub (Maprounea brasiliensis A. St.-Hill: Euphorbiaceae)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Survivable Lightpath Provisioning in WDM Mesh Networks Under Shared Path Protection and Signal Quality Constraints

This paper addresses the problem of survivable lightpath provisioning in wavelength-division-multiplexing (WDM) mesh networks, taking into consideration optical-layer protection and some realistic optical signal quality constraints. The investigated networks use sparsely placed optical–electrical–optical (O/E/O) modules for regeneration and wavelength conversion. Given a fixed network topology with a number of sparsely placed O/E/O modules and a set of connection requests, a pair of link-disjoint lightpaths is established for each connection. Due to physical impairments and wavelength continuity, both the working and protection lightpaths need to be regenerated at some intermediate nodes to overcome signal quality degradation and wavelength contention. In the present paper, resource-efficient provisioning solutions are achieved with the objective of maximizing resource sharing. The authors propose a resource-sharing scheme that supports three kinds of resource-sharing scenarios, including a conventional wavelength-link sharing scenario, which shares wavelength links between protection lightpaths, and two new scenarios, which share O/E/O modules between protection lightpaths and between working and protection lightpaths. An integer linear programming (ILP)-based solution approach is used to find optimal solutions. The authors also propose a local optimization heuristic approach and a tabu search heuristic approach to solve this problem for real-world, large mesh networks. Numerical results show that our solution approaches work well under a variety of network settings and achieves a high level of resource-sharing rates (over 60% for O/E/O modules and over 30% for wavelength links), which translate into great savings in network costs.

Yield potential and resource-use efficiency of maize systems in the western U.S. Corn Belt

Maize demand for food, livestock feed, and biofuel is expected to increase substantially. The Western U.S. Corn Belt accounts for 23% of U.S. maize production, and irrigated maize accounts for 43 and 58% of maize land area and total production, respectively, in this region. The most sensitive parameters (yield potential [YP], water-limited yield potential [YP-W], yield gap between actual yield and YP, and resource-use efficiency) governing performance of maize systems in the region are lacking. A simulation model was used to quantify YP under irrigated and rainfed conditions based on weather data, soil properties, and crop management at 18 locations. In a separate study, 5-year soil water data measured in central Nebraska were used to analyze soil water recharge during the non-growing season because soil water content at sowing is a critical component of water supply available for summer crops. On-farm data, including yield, irrigation, and nitrogen (N) rate for 777 field-years, was used to quantify size of yield gaps and evaluate resource-use efficiency. Simulated average YP and YP-W were 14.4 and 8.3 Mg ha-1, respectively. Geospatial variation of YP was associated with solar radiation and temperature during post-anthesis phase while variation in water-limited yield was linked to the longitudinal variation in seasonal rainfall and evaporative demand. Analysis of soil water recharge indicates that 80% of variation in soil water content at sowing can be explained by precipitation during non-growing season and residual soil water at end of previous growing season. A linear relationship between YP-W and water supply (slope: 19.3 kg ha-1 mm-1; x-intercept: 100 mm) can be used as a benchmark to diagnose and improve farmer’s water productivity (WP; kg grain per unit of water supply). Evaluation of data from farmer’s fields provides proof-of-concept and helps identify management constraints to high levels of productivity and resource-use efficiency. On average, actual yields of irrigated maize systems were 11% below YP. WP and N-fertilizer use efficiency (NUE) were high despite application of large amounts of irrigation water and N fertilizer (14 kg grain mm-1 water supply and 71 kg grain kg-1 N fertilizer). While there is limited scope for substantial increases in actual average yields, WP and NUE can be further increased by: (1) switching surface to pivot systems, (2) using conservation instead of conventional tillage systems in soybean-maize rotations, (3) implementation of irrigation schedules based on crop water requirements, and (4) better N fertilizer management.

Prioritising prevention strategies for patients in antiretroviral treatment programmes in resource-limited settings

Expanded access to antiretroviral therapy (ART) offers opportunities to strengthen HIV prevention in resource-limited settings. We invited 27 ART programmes from urban settings in Africa, Asia and South America to participate in a survey, with the aim to examine what preventive services had been integrated in ART programmes. Twenty-two programmes participated; eight (36%) from South Africa, two from Brazil, two from Zambia and one each from Argentina, India, Thailand, Botswana, Ivory Coast, Malawi, Morocco, Uganda and Zimbabwe and one occupational programme of a brewery company included five countries (Nigeria, Republic of Congo, Democratic Republic of Congo, Rwanda and Burundi). Twenty-one sites (96%) provided health education and social support, and 18 (82%) provided HIV testing and counselling. All sites encouraged disclosure of HIV infection to spouses and partners, but only 11 (50%) had a protocol for partner notification. Twenty-one sites (96%) supplied male condoms, seven (32%) female condoms and 20 (91%) provided prophylactic ART for the prevention of mother-to child transmission. Seven sites (33%) regularly screened for sexually transmitted infections (STI). Twelve sites (55%) were involved in activities aimed at women or adolescents, and 10 sites (46%) in activities aimed at serodiscordant couples. Stigma and discrimination, gender roles and funding constraints were perceived as the main obstacles to effective prevention in ART programmes. We conclude that preventive services in ART programmes in lower income countries focus on health education and the provision of social support and male condoms. Strategies that might be equally or more important in this setting, including partner notification, prompt diagnosis and treatment of STI and reduction of stigma in the community, have not been implemented widely.

"It was hard to come to mutual understanding..." - Multidimensionality of social learning processes in natural resource use in India, Africa and Latin America

Sustainable natural resource use requires that multiple actors reassess their situation in a systemic perspective. This can be conceptualised as a social learning process between actors from rural communities and the experts from outside organisations. A specifically designed workshop oriented towards a systemic view of natural resource use and the enhancement of mutual learning between local and external actors, provided the background for evaluating the potentials and constraints of intensified social learning processes. Case studies in rural communities in India, Bolivia, Peru and Mali showed that changes in the narratives of the participants of the workshop followed a similar temporal sequence relatively independently from their specific contexts. Social learning processes were found to be more likely to be successful if they 1) opened new space for communicative action, allowing for an intersubjective re-definition of the present situation, 2) contributed to rebalance the relationships between social capital and social, emotional and cognitive competencies within and between local and external actors.

Egalitarianism under Earmark Constraints

Agents with single-peaked preferences share a resource coming from different suppliers; each agent is connected to only a subset of suppliers. Examples include workload balancing, sharing earmarked funds, and rationing utilities after a storm. Unlike in the one supplier model, in a Pareto optimal allocation agents who get more than their peak from underdemanded suppliers, coexist with agents who get less from overdemanded suppliers. Our Egalitarian solution is the Lorenz dominant Pareto optimal allocation. It treats agents with equal demands as equally as the connectivity constraints allow. Together, Strategyproofness, Pareto Optimality, and Equal Treatment of Equals, characterize our solution.

Batch scheduling in process industries: an application of resource-constrained project scheduling

The paper deals with batch scheduling problems in process industries where final products arise from several successive chemical or physical transformations of raw materials using multi–purpose equipment. In batch production mode, the total requirements of intermediate and final products are partitioned into batches. The production start of a batch at a given level requires the availability of all input products. We consider the problem of scheduling the production of given batches such that the makespan is minimized. Constraints like minimum and maximum time lags between successive production levels, sequence–dependent facility setup times, finite intermediate storages, production breaks, and time–varying manpower contribute to the complexity of this problem. We propose a new solution approach using models and methods of resource–constrained project scheduling, which (approximately) solves problems of industrial size within a reasonable amount of time.

Patient classification system: An integrated method for measuring nursing intensity and optimizing resource allocation

A patient classification system was developed integrating a patient acuity instrument with a computerized nursing distribution method based on a linear programming model. The system was designed for real-time measurement of patient acuity (workload) and allocation of nursing personnel to optimize the utilization of resources.^ The acuity instrument was a prototype tool with eight categories of patients defined by patient severity and nursing intensity parameters. From this tool, the demand for nursing care was defined in patient points with one point equal to one hour of RN time. Validity and reliability of the instrument was determined as follows: (1) Content validity by a panel of expert nurses; (2) predictive validity through a paired t-test analysis of preshift and postshift categorization of patients; (3) initial reliability by a one month pilot of the instrument in a practice setting; and (4) interrater reliability by the Kappa statistic.^ The nursing distribution system was a linear programming model using a branch and bound technique for obtaining integer solutions. The objective function was to minimize the total number of nursing personnel used by optimally assigning the staff to meet the acuity needs of the units. A penalty weight was used as a coefficient of the objective function variables to define priorities for allocation of staff.^ The demand constraints were requirements to meet the total acuity points needed for each unit and to have a minimum number of RNs on each unit. Supply constraints were: (1) total availability of each type of staff and the value of that staff member (value was determined relative to that type of staff's ability to perform the job function of an RN (i.e., value for eight hours RN = 8 points, LVN = 6 points); (2) number of personnel available for floating between units.^ The capability of the model to assign staff quantitatively and qualitatively equal to the manual method was established by a thirty day comparison. Sensitivity testing demonstrated appropriate adjustment of the optimal solution to changes in penalty coefficients in the objective function and to acuity totals in the demand constraints.^ Further investigation of the model documented: correct adjustment of assignments in response to staff value changes; and cost minimization by an addition of a dollar coefficient to the objective function. ^

Optimal compliance with emission constraints: dynamic characteristics and the choice of technique

The paper analyzes how to comply with an emission constraint, which restricts the use of an established energy technique, given the two options to save energy and to invest in two alternative energy techniques. These techniques differ in their deterioration rates and the investment lags of the corresponding capital stocks. Thus, the paper takes a medium-term perspective on climate change mitigation, where the time horizon is too short for technological change to occur, but long enough for capital stocks to accumulate and deteriorate. It is shown that, in general, only one of the two alternative techniques prevails in the stationary state, although, both techniques might be utilized during the transition phase. Hence, while in a static economy only one technique is efficient, this is not necessarily true in a dynamic economy.