Supply function equilibrium (SFE) developed by Klemperer and Mayer is a popular approach to analyze market power and study gaming strategies in electricity markets. We extend the notion of SFE to the case where power ...
详细信息
Supply function equilibrium (SFE) developed by Klemperer and Mayer is a popular approach to analyze market power and study gaming strategies in electricity markets. We extend the notion of SFE to the case where power generating companies own multiple generating units with asymmetric generation costs and upper and lower generation limits. Such a SFE is characterized by a set of differential equations subject to inequality constraints which can be expressed as a mixed-integer program (MIP). We then numerically solve and examine the behaviour of affine SFE with generation constraints by solving the defining MIP using standard MIP solvers. the behavior of the affine SFE exhibits enlightening and reasonable results when units switch from (or to) one of their generations limits.
We present a novel parallel auction algorithm implementation for solving the linear sum assignment problem. It is implemented using the message passing interface (MPI) on a computer cluster. Our approach enables dynam...
详细信息
ISBN:
(纸本)9781424458288;9789774033964
We present a novel parallel auction algorithm implementation for solving the linear sum assignment problem. It is implemented using the message passing interface (MPI) on a computer cluster. Our approach enables dynamic computational load balancing over all processors throughout all steps of the algorithm's execution. We show that the performance of our approach is superior to existing approaches in the literature.
Overbooking is not only an important content of revenue management, but also an effective way to increase airlines' profits. Arrival rate of ticketed passengers is a key factor to determine the number of overbooki...
详细信息
Overbooking is not only an important content of revenue management, but also an effective way to increase airlines' profits. Arrival rate of ticketed passengers is a key factor to determine the number of overbooking, but its information is often limited. Based on the limited distribution information of arrival rate, this paper establishes a single-fare-class overbooking model, and obtains a robust overbooking strategy. Numerical analysis shows characteristics and stability of the strategy.
Regression testing is a maintenance activity applied to modified software to provide confidence that the changed parts are correct and that the unchanged parts have not been adversely affected by the modifications. Re...
详细信息
ISBN:
(纸本)9781424458288;9789774033964
Regression testing is a maintenance activity applied to modified software to provide confidence that the changed parts are correct and that the unchanged parts have not been adversely affected by the modifications. Regression test selection techniques reduce the cost of regression testing, by selecting a subset of an existing test suite to use in retesting modified programs. this paper presents the first general regression-test-selection technique, which based on code and allows selecting test cases for any programs written in any programming language. then it handles incomplete program. We also describe RTSDiff, a regression-test-selection system that implements the proposed technique. the results of the empirical studied that performed in four programming languages Java, C#, C++ and Visual basic show that the efficiency and effective in reducing the size of test suit.
We propose a method for generating distributed implementations from high-level models expressed in terms of a set of components glued by rendezvous interactions. the method is a 2-phase transformation preserving all f...
详细信息
this paper analyzes the requirement of a real-life assembly job-shop scheduling, which is different from the classical scheduling problems, ensuring not only the sequences having the minimization makespan as possible,...
详细信息
this paper analyzes the requirement of a real-life assembly job-shop scheduling, which is different from the classical scheduling problems, ensuring not only the sequences having the minimization makespan as possible, but also the operations processed withthe a period. Solving the conflicts of the equipments on which many process will be operated be used at the same time in actual production. First modeling the kind of assembly job-shop schedule problem by timed colored Petri nets, then resolves it in a Branch and Bound way with heuristic rules which gives a near optimization. At the end of the paper, a practical example is described, and the results show that the proposed method is effective.
Design patterns provided experienced solutions to common problems in software development, but recent studies have shown that several design patterns involve crosscutting concerns where object oriented abstractions fa...
详细信息
ISBN:
(纸本)9781424458288;9789774033964
Design patterns provided experienced solutions to common problems in software development, but recent studies have shown that several design patterns involve crosscutting concerns where object oriented abstractions failed to handle, this led to decreasing system modularity, reusability and maintainability. this encourages investigating the impact of aspect oriented approaches on design patterns not only on the implementation level but also on the design level. In this paper, the effect of applying the aspect oriented concepts on the design and implementation levels of GoF design patterns is examined.
Software reuse is the use of software resources from all stages of the software development process in new applications. this paper introduces a novel framework that helps to identify automatically the segments of sof...
详细信息
ISBN:
(纸本)9781424458288;9789774033964
Software reuse is the use of software resources from all stages of the software development process in new applications. this paper introduces a novel framework that helps to identify automatically the segments of software that can be reused in building new software. this framework is based on a UML use-case textual specification and a recent natural language processing technique called Textual Entailment. this approach will reduce software development cycle time and cost. In addition, it improves the software quality.
In Intelligent Video Systems, most of the recent advanced performance evaluation metrics perform a stage of mapping data between the system results and ground truth. this paper aims to review these metrics using a pro...
详细信息
In Intelligent Video Systems, most of the recent advanced performance evaluation metrics perform a stage of mapping data between the system results and ground truth. this paper aims to review these metrics using a proposed framework. It will focus on metrics for events detection, objects detection and objects tracking systems.
Testing in software product lines plays an important role to insuring quality not only for software products put also for the product line itself. In this paper we investigated different approaches that start the test...
详细信息
ISBN:
(纸本)9781424458288;9789774033964
Testing in software product lines plays an important role to insuring quality not only for software products put also for the product line itself. In this paper we investigated different approaches that start the testing process from requirements in the context of software product line. Two approaches have been selected, analyzed and evaluated. then we improved one of the analyzed approaches to solve the problems facing software product line testing.
暂无评论