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.
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.
33773
An Agent-Based Optimal Bidding Function
Problems such as price volatility have been observed in electric power markets. Demand-side participation is often offered as a potential solution by promising to increase market efficiency when hockey-stick type offer curves are present. However, individual end-consumer will surely value electricity differently, which makes demand-side participation as a group and at a bus difficult. In this paper demand is categorized into two groups: one that highly values reliability and the other that does not. The two types are modeled separately and a new optimal bidding function is developed and tested based on this model.
37344904
Power System Bidding Tournaments for a Deregulated Environment
In this paper we describe certain tools for understanding and operating power systems in a deregulated environment. Many of the current models for this competitive market that employ an independent system operator (ISO) for controlling transmission, ensuring fair access and security, and providing a spot market for power will be studied. This centrally-dispatched power pool also ensures that generation meets demand based on bids submitted daily from independent generators (and from customers offering interruptible loads). Currently, most I S 0 bidding models allow only a single bid per day. In this paper, we present an asynchronous bidding scheme as a possible alternative. In particular, we examine the effects of including a feedback mechanism such that upon receiving generation levels from the ISO, independent generators (IGs) be allowed to modify their bid if they so desire. This competitive or ‘sequential’ bidding process should be allowed to take place each day for a predetermined period of time; in this way, IGs will have a chance to compete and hopefully optimize their profit margins. This paper also discusses the development tools necessary for examining the effects of different bidding processes on the I S 0 model and evaluating their capability of driving the market to an efJicient state of operation.
6233472
Underlying technical issues in electricity deregulation
This paper reports on the results of an attempt by the Power Systems Engineering Research Center (Pserc) and EPRI to determine the technical tools missing in currently unfolding electric power restructuring scenarios. Needed tools have been divided into the functional categories of generation, transmission and distribution. In each category, there seems to be a common need to interface existing technical tools with the new economic unbundling.
10283778
An Internet-based platform for testing generation scheduling auctions
The paper describes the uses and architecture of a network-centered computing-rich software platform called PowerWeb. PowerWeb was designed and built as a simulation environment for experimentally testing various power exchange auction markets through tournaments. It is designed to host simulations of a competitive "day-ahead" electric energy market in the content of a restructured electric power industry. The PowerWeb environment is meant to be flexible so as to accommodate different "rules of the game". The authors describe its interactive, distributed and Web-based character.
8512382
Five-Connected Toroidal Graphs Are Hamiltonian
We prove that every edge in a 5-connected graph embedded in the torus is contained in a Hamilton cycle. Our proof is constructive and implies a polynomial time algorithm for finding a Hamilton cycle.
1883056
An Investigation into Keystroke Latency Metrics as an Indicator of Programming Performance
Typing has long been studied in psychology and HCI, and strong cognitive models for transcription typing exist. The goal of the present research was to test if there is any correlation between students' keystroking speed and performance while they are programming. We present the results from two studies with computer science students conducted in different contexts. Keystroke timings were recorded while they worked on Java and Ada source code. Quality of their programming work was measured mainly in terms of completeness. In the controlled experiment that lasted six hours, 39 students undertook three change tasks on a 6000 LOC Java application. In the field study, data was collected over 6 weeks from 141 students while they worked unsupervised on Ada programming in first year laboratories. In both cases there were highly significant (P=0.001), moderately strong, negative correlations between speed and coding performance. With additional development, these techniques may have promise for user modelling and assessment as well as in educational diagnostics.
5705388
Three-coloring Klein bottle graphs of girth five
We prove that every graph of girth at least five which admits an embedding in the Klein bottle is 3-colorable. This solves a problem raised by Woodburn, and complements a result of Thomassen who proved the same for projective planar and toroidal graphs.
12496489
Studying long-term system use
here have been many studies of computer users but few that extend over very long periods. The reasons for this include costs, the quality of the data that can be obtained and satisfactorily analyzed , and the requirement to obtain results in the short term. We were interested in building long-term user models for teaching systems and wished to track the total development of a guru as well as other types of users. Such goals require tracking large numbers of people over a very long period, because guru-level experience takes years to acquire, and it cannot be predicted in advance who will turn out to develop this level of skill. Therefore, to find even one guru may require the tracking of around 20 to 100 users for a year or two. Finding 10 gurus might require 1,000 users. It is possible to observe such numbers over years only by using a method that is very careful about costs. The objective of this article is to present a methodology for monitoring many users in their natural settings over the long term and to give an example of its application to the domain of students learning an editor for three years. We show how data obtained from this methodology permits the construction of individual user models. Monitoring Methodology We developed a monitoring system to study the use of the sam text editor [13]. It is essentially a modeless editor, with most basic commands invoked using the mouse. It also has powerful keyboard commands, issued through the command window, including the usual Unix regular expressions and an elegant interface to the Unix shell. We had a number of design goals for our system, which strongly influenced our methods. First, we were restricted to low system-building costs followed by very low operational costs. Second, the system needed to be highly reliable; it would not be possible to make changes once the monitoring was under way, nor could the immediate availability of people to fix problems during operation be guaranteed. Third, the impact on the computing resources had to be negligible-a degradation in performance during the day was not an option. Fourth, we wanted to give the users some control over their own data, they should be able to read it and delete it if they really wanted. Finally, and most demandingly, we wanted to measure the time of first use of each command, but …
7527272
On possible counterexamples to Negami's planar cover conjecture
A simple graph H is a cover of a graph G if there exists a mapping φ from H onto G such that φ maps the neighbors of every vertex v in H bijectively to the neighbors of φ(v) in G. Negami conjectured in 1986 that a connected graph has a finite planar cover if and only if it embeds in the projective plane. The conjecture is still open. It follows from the results of Archdeacon, Fellows, Negami, and the first author that the conjecture holds as long as the graph K1,2,2,2 has no finite planar cover. However, those results seem to say little about counterexamples if the conjecture was not true. We show that there are, up to obvious constructions, at most 16 possible counterexamples to Negami’s conjecture. Moreover, we exhibit a finite list of sets of graphs such that the set of excluded minors for the property of having finite planar cover is one of the sets in our list.