10032152
Parallel processing implementation of the unit commitment problem with full AC power flow constraints
The authors describe a parallel implementation of the Lagrangian Relaxation Algorithm with variable duplication for the thermal unit commitment problem. The formulation was previously reported by the authors and allows inclusion of the full nonlinear AC network power flow model, which permits addressing voltage limits, as well as more realistic branch flow limits than is possible with a linear DC flow model. Thus, potential VAr production can be used as another criterion for commitment of otherwise expensive generators in strategic locations. The algorithm is highly parallelizable, and the authors have taken advantage of this in a version currently being developed for the Cornell Theory Center's Velocity AC3 NT cluster.
2943319
Thermal unit commitment including optimal AC power flow constraints
The authors propose a new algorithm for unit commitment that employs a Lagrange relaxation technique with a new augmentation of the Lagrangian. The new augmentation involves a duplication of variables that allows relaxation of the coupling between generator time-spanning constraints and system-wide instantaneous constraints. This framework allows the possibility of committing units that are required for the VArs that they can produce, as well as for their real power. Furthermore, although the algorithm is very CPU-intensive, the separation structure of the Lagrangian allows its implementation in parallel computers. Their work builds upon that of Batut and Renaud (1992), as well as that of Baldick (1995).
13961083
Experimental tests of competitive markets for electric power
Testing the performance of electricity markets using POWERWEB has already shown that relatively inexperienced players can identify and exploit market power in load pockets. When transmission constraints are not binding, however, auctions with six players have been shown to be efficient. There is evidence from operating electricity markets that prices can be driven above competitive levels when the largest supplier controls less than 20% of total installed capacity. This is accomplished by causing price spikes to occur. In experiments, uncertainty about the actual load and paying standby costs regardless of whether or not a unit is actually dispatched contribute to volatile price behavior. The objective of this paper is to investigate characteristics of a market that affect price volatility. The tests consider three different sets of rules for setting price when there are capacity shortfalls, and the following four market structures: load is responsive to price; price forecasts are made before market settlement; a day-ahead market and a balancing market auction; and suppliers are paid actual offers (a discriminatory auction).
6798576
Locational pricing and scheduling for an integrated energy-reserve market
It is well known that given a network that can become constrained on voltage or real power flows, reserves must also be spatially located in order to handle all credible contingencies. However, to date, there is no credible science-based method for assigning and pricing reserves in this way. Presented in this paper is a new scheduling algorithm incorporating constraints imposed by grid security considerations, which include one base case (intact system) and a list of possible contingencies (line-out, unit-lost, and load-growth) of the system. By following a cost-minimizing co-optimization procedure, both power and reserve are allocated spatially for the combined energy and reserve markets. With the Lagrange multipliers (dual variables) obtained, the scheduling algorithm also reveals the locational shadow prices for the reserve and energy requirements. Unlike other pricing and scheduling methods in use, which are usually ad-hoc and are based on engineering judgment and experience, this proposed formulation is likely to perform better in restructured markets when market power is a potential problem. An illustrative example of a modified IEEE 30-bus system is used to introduce concepts and present results.
17884360
Experimental results for single period auctions
The objective of the paper is to present experimental results for testing the performance of different auction mechanisms related to the introduction of competitive markets for the generation of electricity. The research is based on the concept of smart markets introduced by Vernon Smith (K.A. McCabe et al., 1991) and a simulation model (PowerWeb) of a realistic bulk power system. There are unique physical aspects associated with the supply of electricity (e.g. required instantaneous matching of supply and demand, unintended congestion of parallel transmission routes and maintenance of system stability in response to disturbances). As a result, traditional theories of efficient markets and auction structures developed for other commodities may not be efficient if applied without alteration to markets for electricity. Conversely, current utility rules of operation developed for a centrally planned regime may not be appropriate in a competitive environment. The research does not address the issues of multiperiod operations (unit commitment) and multidimensional markets (ancillary services), and considers only real power in a single time period. The main objective is to test three alternative auction mechanisms when market power is a potential problem. This situation occurs when limits on transmission lines are binding to form a load pocket in which demand is met by a few (in this case two) generators.
2733176
The pervasiveness of evolution in GRUMPS software
This paper describes the evolution of the design and implementation of a distributed run-time system that itself is designed to support the evolution of the topology and implementation of an executing, distributed system. The three different versions of the run-time architecture that have been designed and implemented are presented, together with how each architecture addresses the problems of topological and functional evolution. In addition, the reasons for the rapid evolution of the design and implementation of the architecture are also described.From the lessons learned in both evolving the design of the architecture and in trying to provide a run-time system that can support run-time evolution, this paper discusses two generally applicable observations: evolution happens all the time, and it is not possible to anticipate how systems will evolve as designs; and large, run-time systems do not follow a predictable path. In addition to this, rapid prototyping has proved to be extremely useful in the production of the three architectures; this kind of prototyping has been made much easier by designing the core set of Java abstractions in terms of interfaces; and building an architecture that allows as many decisions as possible to be made at run-time which has produced a support system that is more responsive to the user as well as the distributed environment in which it is executing.
5416434
Generation of simple quadrangulations of the sphere
A simple quadrangulation of the sphere is a finite simple graph embedded on the sphere such that every face is bounded by a walk of 4 edges. We consider the following classes of simple quadrangulations: arbitrary, minimum degree 3, 3-connected, and 3-connected without non-facial 4-cycles. In each case, we show how the class can be generated by starting with some basic graphs in the class and applying a sequence of local modifications. The duals of our algorithms generate classes of quartic (4-regular) planar graphs. In the case of minimum degree 3, our result is a strengthening of a theorem of Nakamoto and almost implicit in Nakamoto's proof. In the case of 3-connectivity, a corollary of our theorem matches a theorem of Batagelj. However, Batagelj's proof contained a serious error which cannot easily be corrected. We also give a theoretical enumeration of rooted planar quadrangulations of minimum degree 3, and some counts obtained by a program of Brinkmann and McKay that implements our algorithm.
2645465
Algorithms Finding Tree-Decompositions of Graphs
Abstract A graph G has tree-width at most w if it admits a tree-decomposition of width ≤ w . It is known that once we have a tree-decomposition of a graph G of bounded width, many NP-hard problems can be solved for G in linear time. For w ≤ 3 we give a linear time algorithm for finding such a decomposition and for a general fixed w we obtain a probabilistic algorithm with execution time O ( n log 2 n + n log n ∥log p ∥), which for a graph G on n vertices and a real number p > 0 either finds a tree-decomposition of width ≤ 6 w or answers that the tree-width of G is ≥ w ; this second answer may be wrong but with probability at most p . The second result is based on a separator technique which may be of independent interest.
33726107
A menger-like property of tree-width: The finite case
The notion of tree-width was introduced by Robertson and Symour. A graph has tree-width ≦ w if it admits a tree-decomposition of tree-width ≦ w. We prove here that if G is finite and has tree-width ≦ w then it admits a tree-decomposition of tree-width ≦ w which satisfies a certain Menger-like condition. This result will be used in a future paper on well-quasi-ordering infinite graphs of bounded tree-width.
12699179
Developing the Software Engineering Team
Teamwork is often considered one of the most important "generic skills" that we can provide to graduates entering the information technology profession. Often though, through the rush of covering important content, we short change our students by giving them limited opportunities to learn how to work effectively in teams. Students also often complain that although they are expected to work in teams on projects, they are never given any advice or guidance on how to work in a team (Hart and Stone, 2002). Or, if they are given guidance, it is often from a business perspective that students find difficult to integrate into their software development practice.In this paper we discuss a course-spanning initiative to help students learn teamwork skills. This initiative starts in first year by emphasising a core set of skills directly related to working in teams. These skills are applied in small software development teams, with close tutor supervision focusing students on teamwork rather than upon individual software development. The theme then continues into second and third year where the growing sophistication of the students' teamwork skills is complemented by increasing their independence and requiring students to apply a professional software engineering process as a development team. By the end of their course students are then in a position to work together effectively solving complex problems for a real industry client.