In this paper, the influence of uncertain factors in the power supply system is considered by applying scenario-based programming techniques. A multi-period network design model for composite power system expansion pl...
详细信息
In this paper, the influence of uncertain factors in the power supply system is considered by applying scenario-based programming techniques. A multi-period network design model for composite power system expansion planning is formulated as a mixed integer programming model. This model aims to identity the allocations of fossil fuel, cleaner energy sources, and nuclear power as well as the corresponding to construct transmission network to account for all scenarios of the uncertain factors of the power system. Electricity demands, a limitation of greenhouse gas emissions, and other operational constraints are deliberated in this model. This model is solved using CPLEX, and the Taiwan electric power system is used to illustrate the proposed model. Feasibility analysis of nuclear power energy policies and a low carbon power policy is also been conducted. Corporately implementing the low carbon energy policy increases the feasibility that Taiwan will gradually become nuclear free and more environmentally friendly. The cost per ton of carbon dioxide is estimated to be about NT$ 470.
In order to find out the optimal bidding strategies (BSs) of generating companies (GENCOs) in a competitive electricity market, it is necessary to solve a bilevel optimization problem. The first level of the problem r...
详细信息
In order to find out the optimal bidding strategies (BSs) of generating companies (GENCOs) in a competitive electricity market, it is necessary to solve a bilevel optimization problem. The first level of the problem relates to the GENCOs to strategically bid, and the second level solves the independent system operator's market clearing problem based on the maximization of social welfare. In order to model the incomplete information of participants in the market about cost coefficients of opponents and their forecast errors, a scenario-based programming framework is presented. In addition, a roulette wheel mechanism is used for scenario-generation process so that the forecast errors of coefficients are considered as random variables with known probability distribution functions. Then, each GENCO solves the bilevel optimization problem and maximizes its expected profit function. These bilevel problems are nonconvex, and the mathematical-based optimization technique is unable to handle the problem and obtain the nearly global optima. In order to resolve this issue, a novel prey-predator optimization algorithm is suggested to solve the first level of the bilevel problem and using the iterative method to find out the supply function equilibrium that is the optimal BSs of GENCOs. Applying to the IEEE 57- and 118-bus test systems with incomplete information studies, the performance of the proposed approach is successfully approved.
We consider the problem of the automatic generation of reactive systems from specifications given in the scenario-based language of live sequence charts (LSCs). We start by extending the language so that it becomes mo...
详细信息
We consider the problem of the automatic generation of reactive systems from specifications given in the scenario-based language of live sequence charts (LSCs). We start by extending the language so that it becomes more suitable for synthesis. We then translate a system specification given in the language into a two-player game between the system and the environment. By solving the game, we generate a winning strategy for the system, which corresponds to a correct implementation of the specification. We also define two notions of system correctness, and show how each can be synthesized. (C) 2011 Elsevier Inc. All rights reserved.
We introduce a way to program adaptive reactive systems, using behavioral, scenario-based programming. Extending the semantics of live sequence charts with reinforcements allows the programmer not only to specify what...
详细信息
ISBN:
(纸本)9780769545967
We introduce a way to program adaptive reactive systems, using behavioral, scenario-based programming. Extending the semantics of live sequence charts with reinforcements allows the programmer not only to specify what the system should do or must not do, but also what it should try to do, in an intuitive and incremental way. By integrating scenario-based programs with reinforcement learning methods, the program can adapt to the environment, and try to achieve the desired goals. Visualization methods and modular learning decompositions, based on the unique structure of the program, are suggested, and result in an efficient development process and a fast learning rate.
We address the problem of comprehending cause and effect relationships between relatively independent behavior components of a single application. Our focus is on the paradigm of behavioral, scenario-based, programmin...
详细信息
ISBN:
(纸本)9780769543987
We address the problem of comprehending cause and effect relationships between relatively independent behavior components of a single application. Our focus is on the paradigm of behavioral, scenario-based, programming, as captured by the language of live sequence charts (LSC) or its Java-based counterpart, BPJ. In this programming paradigm, multi-modal behaviors can be specified separately, and are integrated only at run time. We present a tool, with which the user can easily follow the decisions of the collective execution mechanism. It shows the behaviors and events that were executed at each point in time, and those that were delayed or abandoned, as well as the causes and reasons behind these run-time choices. The dynamic effects of such decisions on the system's behavior can be seen easily too.
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification, in order to construct a new way of executing systems based on the latter....
详细信息
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification, in order to construct a new way of executing systems based on the latter. Specifically, we transform multimodal scenario-based specifications, given in the visual language of live sequence charts (LSC), into what we call scenario aspects, implemented in AspectJ. Unlike synthesis approaches, which attempt to take the inter-object scenarios and construct intra-object state-based per-object specifications or a single controller automaton, we follow the ideas behind the LSC play-out algorithm to coordinate the simultaneous monitoring and direct execution of the specified scenarios. Thus, the structure of the specification is reflected in the structure of the generated code;the high-level inter-object requirements and their structure are not lost in the translation. The transformation/compilation scheme is fully implemented in a UML2-compliant tool we term the S2A compiler (for scenarios to Aspects), which provides full code generation of reactive behavior from inter-object multimodal scenarios. S2A supports advanced scenario-based programming features, such as multiple instances and exact and symbolic parameters. We demonstrate our work with an application whose inter-object behaviors are specified using LSCs. We discuss advantages and challenges of the compilation scheme in the context of the more general vision of scenario-based programming.
We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale up the design and development cycle of reactive system...
详细信息
We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale up the design and development cycle of reactive systems. InterPlay involves a number of related ideas. In the first, we concentrate on the interobject design approach involving live sequence charts (LSCs) and its support tool, the Play-Engine, enabling multiple Play-Engines to run in cooperation. This makes possible the distributed design of large-scale systems by different teams, as well as the refinement of parts of a system using different Play-Engines. The second idea concerns combining the interobject approach with the more conventional intraobject approach, involving, for example, statecharts and Rhapsody. InterPlay makes it possible to run the Play-Engine in cooperation with Rhapsody, and is very useful when some system objects have clear and distinct internal behavior, or in an iterative development process where the design is implementation- oriented and the ultimate goal is to end up with an intraobject implementation. Finally, we have expanded the Play-Engine's ability to delegate some of the system's functionality to complex GUIs. This enables beneficial interaction with "smart" GUIs that have built-in behavior of their own, and which are more naturally implemented in code.
Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems. In this paper, we introduce a logic-based framework to check the con...
详细信息
ISBN:
(纸本)9781605585680
Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems. In this paper, we introduce a logic-based framework to check the consistency of an LSC specification. An LSC simulator has been implemented in logic programming, utilizing a memoized depth-first search strategy, to show how a reactive system in LSCs would response to a set of external event sequences. A formal notation is defined to specify external event sequences, extending the regular expression with a parallel operator and a testing control. The parallel operator allows interleaved parallel external events to be tested in LSCs simultaneously;while the testing control provides users to a new approach to specify and test certain temporal properties (e.g., CTL formula) in a form of LSC. Our framework further provides either a state transition graph or a failure trace to justify the consistency checking results.
暂无评论