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.展开更多
In this article, principle and mathematical method of determining the phase fractions of multiphase flows by using a dual-energy γ -ray system have been described. The dual-energy γ -ray device is composed of radioa...In this article, principle and mathematical method of determining the phase fractions of multiphase flows by using a dual-energy γ -ray system have been described. The dual-energy γ -ray device is composed of radioactive isotopes of 241Am and 137Cs with γ -ray energies of 59.5 and 662 keV, respectively. A rational method to calibrate the absorption coefficient was introduced in detail. The modified arithmetic is beneficial to removing the extra Compton scattering from the measured value. The result shows that the dual-energy γ -ray technique can be used in three-phase flow with average accuracy greater than 95%, which enables us to determine phase fractions almost independent of the flow regime. Improvement has been achieved on measurement accuracy of phase fractions.展开更多
This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processo...This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.展开更多
Based on the momentum theorem, the fluid governing equation in a lifting pipe is proposed by use of the method combining theoretical analysis with empirical correlations related to the previous research, and the perfo...Based on the momentum theorem, the fluid governing equation in a lifting pipe is proposed by use of the method combining theoretical analysis with empirical correlations related to the previous research, and the performance of an airlift pump can be clearly characterized by the triangular relationship among the volumetric flux of air, water and solid particles, which are obtained respectively by using numerical calculation. The meso-scale river sand is used as tested particles to examine the theoretical model. Results of the model are compared with the data in three-phase flow obtained prior to the development of the present model, by an independent experimental team that used the physical conditions of the present approach. The analytical error can be controlled within 12% for predicting the volumetric flux of water and is smaller than that （±16%） of transporting solid particles in three-phase flow. The experimental results and computations are in good agreement for air-water two-phase flow within a margin of ±8%. Reasonable agreement justifies the use of the present model for engineering design purposes.展开更多
This paper presents a new method for soft error detection using software redundancy (SEDSR) that is able to detect transient faults. Soft errors damage the control flow and data of programs and designers usually use h...This paper presents a new method for soft error detection using software redundancy (SEDSR) that is able to detect transient faults. Soft errors damage the control flow and data of programs and designers usually use hardware-based solutions to handle them. Software-based techniques for soft error detection force less cost and delay to systems and do not change their configuration. Therefore, these kinds of methods are appropriate alternatives for hardware-based techniques. SEDSR has two separate parts for data and control flow errors detection. Fault injection method is used to compare SEDSR with previous methods of this field based on the new parameter of “Evaluation Factor” that takes in account fault coverage, memory and performance overheads. These parameters are important in real time safety critical applications. Experimental results on SPEC2000 and some traditional benchmarks of this field show that SEDSR is much better than previous methods of this field. SEDSR’s evaluation factor is about 50% better than other methods of this field. These results show its success in satisfaction of the existing tradeoff between fault coverage, performance and memory overheads.展开更多
This paper presents an anisotropic adaptive finite element method （FEM） to solve the governing equations of steady magnetohydrodynamic （MHD） duct flow. A resid- ual error estimator is presented for the standard FE...This paper presents an anisotropic adaptive finite element method （FEM） to solve the governing equations of steady magnetohydrodynamic （MHD） duct flow. A resid- ual error estimator is presented for the standard FEM, and two-sided bounds on the error independent of the aspect ratio of meshes are provided. Based on the Zienkiewicz-Zhu es- timates, a computable anisotropic error indicator and an implement anisotropic adaptive refinement for the MHD problem are derived at different values of the Hartmann number. The most distinguishing feature of the method is that the layer information from some directions is captured well such that the number of mesh vertices is dramatically reduced for a given level of accuracy. Thus, this approach is more suitable for approximating the layer problem at high Hartmann numbers. Numerical results show efficiency of the algorithm.展开更多
Externally pressurized spherical air bearings are the key component of the three-axis air bearing table, and the manufacturing errors of the bearing affects the performance of the air bearing table. However, the manuf...Externally pressurized spherical air bearings are the key component of the three-axis air bearing table, and the manufacturing errors of the bearing affects the performance of the air bearing table. However, the manufacturing errors are unavoidable, and the pursuit to enhance the manufacturing accuracy will increase the cost greatly. In order to provide some theoretical guideline for the tolerance choice in the design of the externally pressurized spherical air bearings with inherent compensation, the effects of several manufacturing errors on the static characteristics of the air bearing are studied. Due to the complex geometry of the computational domain, an unstructured meshing technology is used for mesh generation. A finite-volume method is adopted to discretize the three-dimensional steady-state compressible Navier-Stokes equations. A modified SIMPLE algorithm which is suitable for compressible flows is applied to solve the discretized governing equations. The effects of the dimension error and the roundness error of the ball head and the ball socket on the static characteristics are investigated. The investigation result shows that the positive dimension error and the oblate spheroid-type roundness error of the ball head as well as the negative dimension error and the prolate spheroid-type roundness error of the ball socket can improve the bearing capacity and static stiffness of the air bearings by reducing the mass flow. The calculation method proposed in this paper fits well for the general principle, which can be extended to the characteristics analysis of other air bearings.展开更多
Abstract Single event upset （SEU） effect, caused by highly energized particles in aerospace, threatens the reliability and security of small satellites composed of commercialofftheshelves （COTS）. SEU induced contr...Abstract Single event upset （SEU） effect, caused by highly energized particles in aerospace, threatens the reliability and security of small satellites composed of commercialofftheshelves （COTS）. SEU induced control flow errors （CFEs） may cause unpredictable behavior or crashes of COTSbased small satellites. This paper proposes a generic softwarebased control flow checking technique （CFC） and bipartite graphbased control flow checking （BGCFC）. To simplify the types of illegal branches, it transforms the conventional control flow graph into the equivalent bipartite graph. It checks the legal ity of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead. Theoretical analysis shows that BGCFC can detect all types of internode CFEs with constant time and memory overhead. Practical tests verify the result of theoretical analysis. Compared with previous techniques, BGCFC achieves the highest error detection rate, lower time and memory overhead; the composite result in evaluation fac tor shows that BGCFC is the most effective one among all these techniques. The results in both theory and practice verify the applicability of BGCFC for COTSbased small satellites.展开更多
基金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.
基金Supported by National Natural Science Foundation of China (No.10572143) and Joint Project between the Royal Society and the Chinese Academy of Sciences (No.15933).
文摘In this article, principle and mathematical method of determining the phase fractions of multiphase flows by using a dual-energy γ -ray system have been described. The dual-energy γ -ray device is composed of radioactive isotopes of 241Am and 137Cs with γ -ray energies of 59.5 and 662 keV, respectively. A rational method to calibrate the absorption coefficient was introduced in detail. The modified arithmetic is beneficial to removing the extra Compton scattering from the measured value. The result shows that the dual-energy γ -ray technique can be used in three-phase flow with average accuracy greater than 95%, which enables us to determine phase fractions almost independent of the flow regime. Improvement has been achieved on measurement accuracy of phase fractions.
基金supported by National Natural Science Foundation of China (No. 60904090)
文摘This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.
基金financially supported by the National Natural Science Foundation of China(Grant Nos.51374101 and 51474158)the National Basic Research Program of China(973 Program,Grant No.2014CB239203)the Scientific Research Project of Education Department of Hunan Province(Grant No.14B047)
文摘Based on the momentum theorem, the fluid governing equation in a lifting pipe is proposed by use of the method combining theoretical analysis with empirical correlations related to the previous research, and the performance of an airlift pump can be clearly characterized by the triangular relationship among the volumetric flux of air, water and solid particles, which are obtained respectively by using numerical calculation. The meso-scale river sand is used as tested particles to examine the theoretical model. Results of the model are compared with the data in three-phase flow obtained prior to the development of the present model, by an independent experimental team that used the physical conditions of the present approach. The analytical error can be controlled within 12% for predicting the volumetric flux of water and is smaller than that （±16%） of transporting solid particles in three-phase flow. The experimental results and computations are in good agreement for air-water two-phase flow within a margin of ±8%. Reasonable agreement justifies the use of the present model for engineering design purposes.
文摘This paper presents a new method for soft error detection using software redundancy (SEDSR) that is able to detect transient faults. Soft errors damage the control flow and data of programs and designers usually use hardware-based solutions to handle them. Software-based techniques for soft error detection force less cost and delay to systems and do not change their configuration. Therefore, these kinds of methods are appropriate alternatives for hardware-based techniques. SEDSR has two separate parts for data and control flow errors detection. Fault injection method is used to compare SEDSR with previous methods of this field based on the new parameter of “Evaluation Factor” that takes in account fault coverage, memory and performance overheads. These parameters are important in real time safety critical applications. Experimental results on SPEC2000 and some traditional benchmarks of this field show that SEDSR is much better than previous methods of this field. SEDSR’s evaluation factor is about 50% better than other methods of this field. These results show its success in satisfaction of the existing tradeoff between fault coverage, performance and memory overheads.
基金Project supported by the National Natural Science Foundation of China(Nos.11471329,11321061,and 91430215)the National Magnetic Confinement Fusion Science Program of China(No.2015GB110000)+1 种基金the Youth Innovation Promotion Association of Chinese Academy of Sciences(CAS)(No.2016003)the National Center for Mathematics and Interdisciplinary Sciences of CAS
文摘This paper presents an anisotropic adaptive finite element method （FEM） to solve the governing equations of steady magnetohydrodynamic （MHD） duct flow. A resid- ual error estimator is presented for the standard FEM, and two-sided bounds on the error independent of the aspect ratio of meshes are provided. Based on the Zienkiewicz-Zhu es- timates, a computable anisotropic error indicator and an implement anisotropic adaptive refinement for the MHD problem are derived at different values of the Hartmann number. The most distinguishing feature of the method is that the layer information from some directions is captured well such that the number of mesh vertices is dramatically reduced for a given level of accuracy. Thus, this approach is more suitable for approximating the layer problem at high Hartmann numbers. Numerical results show efficiency of the algorithm.
基金supported by National Natural Science Foundation ofChina (Grant No. 50335010)
文摘Externally pressurized spherical air bearings are the key component of the three-axis air bearing table, and the manufacturing errors of the bearing affects the performance of the air bearing table. However, the manufacturing errors are unavoidable, and the pursuit to enhance the manufacturing accuracy will increase the cost greatly. In order to provide some theoretical guideline for the tolerance choice in the design of the externally pressurized spherical air bearings with inherent compensation, the effects of several manufacturing errors on the static characteristics of the air bearing are studied. Due to the complex geometry of the computational domain, an unstructured meshing technology is used for mesh generation. A finite-volume method is adopted to discretize the three-dimensional steady-state compressible Navier-Stokes equations. A modified SIMPLE algorithm which is suitable for compressible flows is applied to solve the discretized governing equations. The effects of the dimension error and the roundness error of the ball head and the ball socket on the static characteristics are investigated. The investigation result shows that the positive dimension error and the oblate spheroid-type roundness error of the ball head as well as the negative dimension error and the prolate spheroid-type roundness error of the ball socket can improve the bearing capacity and static stiffness of the air bearings by reducing the mass flow. The calculation method proposed in this paper fits well for the general principle, which can be extended to the characteristics analysis of other air bearings.
基金support from the National Natural Science Foundation of Chinathe Fundamental Research Funds for the Central Universities of China
文摘Abstract Single event upset （SEU） effect, caused by highly energized particles in aerospace, threatens the reliability and security of small satellites composed of commercialofftheshelves （COTS）. SEU induced control flow errors （CFEs） may cause unpredictable behavior or crashes of COTSbased small satellites. This paper proposes a generic softwarebased control flow checking technique （CFC） and bipartite graphbased control flow checking （BGCFC）. To simplify the types of illegal branches, it transforms the conventional control flow graph into the equivalent bipartite graph. It checks the legal ity of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead. Theoretical analysis shows that BGCFC can detect all types of internode CFEs with constant time and memory overhead. Practical tests verify the result of theoretical analysis. Compared with previous techniques, BGCFC achieves the highest error detection rate, lower time and memory overhead; the composite result in evaluation fac tor shows that BGCFC is the most effective one among all these techniques. The results in both theory and practice verify the applicability of BGCFC for COTSbased small satellites.
