this paper presents an application of benders decomposition to deal with the complexities in the simultaneous generation expansion planning (gep) and transmission expansion planning (tep). unlike the power system operation fields of study, the power system planning methods are not expected to be fast. however, it is always preferable to speed up computations to provide more analysis options for...

<table width="593" border="1" cellspacing="0" cellpadding="0"><tbody><tr><td valign="top" width="387"><p>Success in learning is evidenced by student achievement that appears both during and after learning. Students who excel certainly have the motivation to be best their class, this factor underlies researchers conduct research related aspects of competition encour...

Introduction/purpose: Starting from the Hamiltonian an alternative description of quantum mechanics has been given, based on sum all possible paths between initial and a final point. Methods: Theoretical methods mathematical physics. Integral method path integral. Results: The concepts integral could be applied to other branches physics, not limited mechanics. Conclusions: Path approach gives g...

conclusions precise evaluation of patients with one renal abnormality could lead to detection of other associated anomalies. application of minimally invasive procedures such as ureteroscopic incision is highly recommended in ureterocele treatment. case presentation a middle-aged male was known to have horseshoe kidney, bilateral ureteroceles and a stone, 1 cm in diameter, in his right ureter. ...

In this paper the notion of autoregressive systems over an integral domain R is introduced, as a generalization of AR-systems over the rings Rs] and Rs;s ?1 ]. Unlike the behavioral approach, the signal space is considered as a module M over the ring R. In this setup the problem of system equivalence is studied: when do two diierent AR-representations characterize the same behavior? This proble...

The role of pair programming process in software development is controversial. This controversy arises in part from their being presented as alternatives, yet it would be more helpful to see them as complementary software management tools. This paper describes the application of such a complementary model, software process fusion (SPF), in a real-world software management situation in China. Pa...

We present a formalization of first-order predicate calculus with equality which, unlike traditional systems with axiom schemata or substitution rules, is finitely axiomatized in the sense that each step in a formal proof admits only finitely many choices. This formalization is primarily based on the inference rule of condensed detachment of C. A. Meredith. The usual primitive notions of free v...