Graffiti is a computer program that checks for relationships among certain graph invariants. It uses a database of graphs and has generated well over 700 conjectures. Having obtained a readily available computer tape of all the nonisomorphic graphs with 10 or fewer vertices, we have tested approxima
Folk theorems on transmission access: Proofs and counterexamples
β Scribed by Felix Wu; Pravin Varaiya; Pablo Spiller; Shmuel Oren
- Publisher
- Springer US
- Year
- 1996
- Tongue
- English
- Weight
- 943 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0922-680X
No coin nor oath required. For personal study only.
β¦ Synopsis
Nodal prices, congestion revenues, transmission capacity rights, and compensation for wire ownership are key concepts used to formulate claims about proposals to organize competitive and open transmission access. Underlying those claims are implicit assertions (folk theorems) concerning the regulation of transmission access, the determination of power flows, properties of economic dispatch, and the operations of competitive nodal markets for power. The paper has two objectives. We first formulate these folk theorems as explicit mathematical assertions. We then prove that some of these assertions are true, and we present counterexamples to other assertions.
The counterexamples are interesting because they negate plausible propositions, including: (1) uncongested lines do not receive congestion rents (defined through node price differences); (2) nodal prices clear markets for power only if the allocation is efficient; (3) in an efficient allocation power can only flow from nodes with lower prices to nodes with higher prices; (4) strengthening transmission lines or building additional lines increases transmission capacity; (5) transmission capacity rights are compatible with any economically efficient dispatch.
π SIMILAR VOLUMES
This article deals with the claims that "a standard version of fuzzy logic collapses mathematically to two-valued logic" made by Charles Elkan in two papers @Proc 11th National Conf on
## Abstract Using an unpublished result of Tartar about some integrals depending upon a parameter, we give quite elementary proofs of various fixed point theorems and of the fundamental theorems of algebra for complex numbers and quaternions. (Β© 2005 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)