In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so o...In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.展开更多
Short-term power flow analysis has a significant influence on day-ahead generation schedule. This paper proposes a time series model and prediction error distribution model of wind power output. With the consideration...Short-term power flow analysis has a significant influence on day-ahead generation schedule. This paper proposes a time series model and prediction error distribution model of wind power output. With the consideration of wind speed and wind power output forecast error’s correlation, the probabilistic distributions of transmission line flows during tomorrow’s 96 time intervals are obtained using cumulants combined Gram-Charlier expansion method. The probability density function and cumulative distribution function of transmission lines on each time interval could provide scheduling planners with more accurate and comprehensive information. Simulation in IEEE 39-bus system demonstrates effectiveness of the proposed model and algorithm.展开更多
基金supported in part by the National Key R&D Program of China(2017YFB1001804)Shanghai Science and Technology Innovation Action Plan Project(16511100900)
文摘In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.
文摘Short-term power flow analysis has a significant influence on day-ahead generation schedule. This paper proposes a time series model and prediction error distribution model of wind power output. With the consideration of wind speed and wind power output forecast error’s correlation, the probabilistic distributions of transmission line flows during tomorrow’s 96 time intervals are obtained using cumulants combined Gram-Charlier expansion method. The probability density function and cumulative distribution function of transmission lines on each time interval could provide scheduling planners with more accurate and comprehensive information. Simulation in IEEE 39-bus system demonstrates effectiveness of the proposed model and algorithm.
