SUNNY-CP and the MiniZinc Challenge

In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore architectures are exploited. In this work we give a brief overview of the portfolio solver sunny-cp, and we discuss its performance in the MiniZinc Challenge---the annual international competition for CP solvers---where it won two gold medals in 2015 and 2016. Under consideration in Theory and Practice of Logic Programming (TPLP)Comment: Under consideration in Theory and Practice of Logic Programming (TPLP

Exploring the episodic structure of algebra story problem solving

This paper analyzes the quantitative and situational structure of algebra story problems, uses these materials to propose an interpretive framework for written problem-solving protocols, and then presents an exploratory study of the episodic structure of algebra story problem solving in a sizable group of mathematically competent subjects. Analyses of written protocols compare the strategic, tactical, and conceptual content of solution attempts, looking within these attempts at the interplay between problem comprehension and solution. Comprehension and solution of algebra story problems are complimentary activities, giving rise to a succession of problem solving episodes. While direct algebraic problem solving is sometimes effective, results suggest that the algebraic formalism may be of little help in comprehending the quantitative constraints posed in a problem text. Instead, competent problem solvers often reason within the situational context presented by a story problem, using various forms of "model-based reasoning" to identify, pursue, and verify quantitative constraints required for solution. The paper concludes by discussing the implications of these findings for acquiring mathematical concepts (e.g., related linear functions) and for supporting their acquisition through instruction

Unsplittable Load Balancing in a Network of Charging Stations Under QoS Guarantees

The operation of the power grid is becoming more stressed, due to the addition of new large loads represented by Electric Vehicles (EVs) and a more intermittent supply due to the incorporation of renewable sources. As a consequence, the coordination and control of projected EV demand in a network of fast charging stations becomes a critical and challenging problem. In this paper, we introduce a game theoretic based decentralized control mechanism to alleviate negative impacts from the EV demand. The proposed mechanism takes into consideration the non-uniform spatial distribution of EVs that induces uneven power demand at each charging facility, and aims to: (i) avoid straining grid resources by offering price incentives so that customers accept being routed to less busy stations, (ii) maximize total revenue by serving more customers with the same amount of grid resources, and (iii) provide charging service to customers with a certain level of Quality-of-Service (QoS), the latter defined as the long term customer blocking probability. We examine three scenarios of increased complexity that gradually approximate real world settings. The obtained results show that the proposed framework leads to substantial performance improvements in terms of the aforementioned goals, when compared to current state of affairs.Comment: Accepted for Publication in IEEE Transactions on Smart Gri

Applications of fuzzy theories to multi-objective system optimization

Most of the computer aided design techniques developed so far deal with the optimization of a single objective function over the feasible design space. However, there often exist several engineering design problems which require a simultaneous consideration of several objective functions. This work presents several techniques of multiobjective optimization. In addition, a new formulation, based on fuzzy theories, is also introduced for the solution of multiobjective system optimization problems. The fuzzy formulation is useful in dealing with systems which are described imprecisely using fuzzy terms such as, 'sufficiently large', 'very strong', or 'satisfactory'. The proposed theory translates the imprecise linguistic statements and multiple objectives into equivalent crisp mathematical statements using fuzzy logic. The effectiveness of all the methodologies and theories presented is illustrated by formulating and solving two different engineering design problems. The first one involves the flight trajectory optimization and the main rotor design of helicopters. The second one is concerned with the integrated kinematic-dynamic synthesis of planar mechanisms. The use and effectiveness of nonlinear membership functions in fuzzy formulation is also demonstrated. The numerical results indicate that the fuzzy formulation could yield results which are qualitatively different from those provided by the crisp formulation. It is felt that the fuzzy formulation will handle real life design problems on a more rational basis

Models for Reducing Deadheading through Carrier and Shipper Collaboration

The competitive nature in the trucking industry has forced trucking firms to develop innovative solutions to improve their operational efficiency and decrease marginal costs. There is also a great need to reduce deadheading miles of heavy trucks to help reduce the amount of air pollutants they emit. One way carriers and shippers are attempting to accomplish these goals is through various collaborative operational strategies. This work focuses on developing multiple collaboration frameworks and formulating optimization models for each framework that demonstrates the operations and reveals the potential cost savings of each framework.;The first collaboration framework focuses on how a medium level shipper or carrier can introduce collaboration in their operations by fulfilling a collaborative carrier\u27s or shipper\u27s delivery requests on its backhaul route. Two optimization models are developed to route the carrier of interest\u27s backhaul routes and select collaborative shipments to fulfill; one is formulated as an integer program and the other is formulated as a mixed integer program. Two solution methodologies, a greedy heuristic and tabu search, are used to solve the two problems, and numerical analysis is performed with a real world freight network. Numerical analysis on a real world freight network reveals that the percentage of cost savings for backhaul routes can be as high as 27%.;The second collaboration framework focuses on a group of shippers that collaborate their operations and form cycles between their long-haul shipping lanes. If the shippers provide the bundled lanes, as loops, to a common carrier they can realize cost savings from the carrier. The problem is formulated as a mixed integer program and forms least cost loops between the shipping lanes. A tabu search heuristic is used to solve the second collaboration framework and results using a real freight network reveal collaborative network costs savings between 7% to 12%. Three cost allocation mechanisms are proposed for the problem to distribute the costs to the shippers involved in the collaboration and computational results are provided for each of the allocation mechanisms

Sensor networks and distributed CSP: communication, computation and complexity

We introduce SensorDCSP, a naturally distributed benchmark based on a real-world application that arises in the context of networked distributed systems. In order to study the performance of Distributed CSP (DisCSP) algorithms in a truly distributed setting, we use a discrete-event network simulator, which allows us to model the impact of different network traffic conditions on the performance of the algorithms. We consider two complete DisCSP algorithms: asynchronous backtracking (ABT) and asynchronous weak commitment search (AWC), and perform performance comparison for these algorithms on both satisfiable and unsatisfiable instances of SensorDCSP. We found that random delays (due to network traffic or in some cases actively introduced by the agents) combined with a dynamic decentralized restart strategy can improve the performance of DisCSP algorithms. In addition, we introduce GSensorDCSP, a plain-embedded version of SensorDCSP that is closely related to various real-life dynamic tracking systems. We perform both analytical and empirical study of this benchmark domain. In particular, this benchmark allows us to study the attractiveness of solution repairing for solving a sequence of DisCSPs that represent the dynamic tracking of a set of moving objects.This work was supported in part by AFOSR (F49620-01-1-0076, Intelligent Information Systems Institute and MURI F49620-01-1-0361), CICYT (TIC2001-1577-C03-03 and TIC2003-00950), DARPA (F30602-00-2- 0530), an NSF CAREER award (IIS-9734128), and an Alfred P. Sloan Research Fellowship. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the US Government

Should Economists Listen to Educational Psychologists? : Some Economics of Student Motivation

This paper sheds light on the role of student motivation in the success of schooling. We develop a model in which a teacher engages in the management of student motivation through the choice of the classroom environment. We show that the teacher is able to motivate high-ability students, at least in the short run, by designing a competitive environment. For students with low ability, risk aversion, or when engaged in a long-term relationship, the teacher designs a classroom environment that is more focused on mastery and self-referenced standards. In doing so, the teacher helps to develop the intrinsic motivation of students and their capacity to overcome failures.Education; Student Achievement; Intrinsic and Extrinsic Motivation; Effort; Goal Theory.