In this paper, verification of real-time pricing systems of electricity is considered using a probabilistic Boolean network (PBN). In real-time pricing systems, electricity conservation is achieved by manipulating the...In this paper, verification of real-time pricing systems of electricity is considered using a probabilistic Boolean network (PBN). In real-time pricing systems, electricity conservation is achieved by manipulating the electricity price at each time. A PBN is widely used as a model of complex systems, and is appropriate as a model of real-time pricing systems. Using the PBN-based model, real-time pricing systems can be quantitatively analyzed. In this paper, we propose a verification method of real-time pricing systems using the PBN-based model and the probabilistic model checker PRISM. First, the PBN-based model is derived. Next, the reachability problem, which is one of the typical verification problems, is formulated, and a solution method is derived. Finally, the effectiveness of the proposed method is presented by a numerical example.展开更多
A new approach to damage classification for health monitoring of a time-varylng system is presented. The functional-series time-dependent auto regressive moving average （FS-TARMA） time series model is applied to the...A new approach to damage classification for health monitoring of a time-varylng system is presented. The functional-series time-dependent auto regressive moving average （FS-TARMA） time series model is applied to the vibration signal observed in the time-varying system for estimating the TAR/TMA parameters and the innovation variance. These parameters are the functions of the time, represented by a group of projection coefficients on the certain functional subspace with specific basis functions. The estimated TAR/TMA parameters and the innovation variance are further used to calculate the latent components （LCs） as the more informative data for health monitoring evaluation, based on an eigenvalue decomposition technique. LCs are then combined and reduced to numerical values （NVs） as feature sets, which are input to a probabilistic neural network （PNN） for the damage classification. For the evaluation of the proposed method, numerical simulations of the damage classification for a tlme-varylng system are used, in which different classes of damage are modeled by the mass or stiffness reductions. It is demonstrated that the method can identify the damages in the course of operation and the change of parameters on the time-varying background of the system.展开更多
This paper focuses on the image segmentation with probabilistic neural networks(PNNs).Back propagation neural networks(BpNNs)and multi perceptron neural networks(MLPs)are also considered in this study.Especially,this ...This paper focuses on the image segmentation with probabilistic neural networks(PNNs).Back propagation neural networks(BpNNs)and multi perceptron neural networks(MLPs)are also considered in this study.Especially,this paper investigates the implementation of PNNs in image segmentation and optimal processing of image segmentation with a PNN.The comparison between image segmentations with PNNs and with other neural networks is given.The experimental results show that PNNs can be successfully applied to image segmentation for good results.展开更多
In this paper, we discuss how to transform the disordered phase into an ordered phase in random Boolean networks. To increase the effectiveness, a control scheme is proposed, which periodically freezes a fraction of t...In this paper, we discuss how to transform the disordered phase into an ordered phase in random Boolean networks. To increase the effectiveness, a control scheme is proposed, which periodically freezes a fraction of the network based on the average sensitivity of Boolean functions of the nodes. Theoretical analysis is carried out to estimate the expected critical value of the fraction, and shows that the critical value is reduced using this scheme compared to that of randomly freezing a fraction of the nodes. Finally, the simulation is given for illustrating the effectiveness of the proposed method.展开更多
This paper investigates the Morgan＇s problem of Boolean control networks. Based on the matrix expression of logical functions, two key steps are proposed to solve the problem. First, the Boolean control network is co...This paper investigates the Morgan＇s problem of Boolean control networks. Based on the matrix expression of logical functions, two key steps are proposed to solve the problem. First, the Boolean control network is converted into an output- decomposed form by constructing a set of consistent outputfriendly subspaces, and a necessary and sufficient condition for the existence of the consistent output-friendly subspaces is obtained. Secondly, a type of state feedback controllers are designed to solve the Morgan＇s problem if it is solvable. By solving a set of matrix equations, a necessary and sufficient condition for converting an output-decomposed form to an input-output decomposed form is given, and by verifying the output controllability matrix, the solvability of Morgan＇s problem is obtained.展开更多
The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an...The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an arbitrary three-particle state are constructed.展开更多
Observability is a fundamental property of a partially observed dynamical system,which means whether one can use an input sequence and the corresponding output sequence to determine the initial state.Observability pro...Observability is a fundamental property of a partially observed dynamical system,which means whether one can use an input sequence and the corresponding output sequence to determine the initial state.Observability provides bases for many related problems,such as state estimation,identification,disturbance decoupling,controller synthesis,etc.Until now,fundamental improvement has been obtained in observability of Boolean control networks(BCNs)mainly based on two methods-Edward F.Moore's partition and our observability graph or their equivalent representations found later based on the semitensor product(STP)of matrices(where the STP was proposed by Daizhan Cheng),including necessary and sufficient conditions for different types of observability,extensions to probabilistic Boolean networks(PBNs)and singular BCNs,even to nondeterministic finite-transition systems(NFTSs);and the development(with the help of the STP of matrices)in related topics,such as com-putation of smallest invariant dual subspaces of BNs containing a set of Boolean functions,multiple-experiment observability verification/decomposition in BCNs,disturbance decoupling in BCNs,etc.This paper provides a thorough survey for these topics.The contents of the paper are guided by the above two methods.First,we show that Moore's partition-based method closely relates the following problems:computation of smallest invariant dual subspaces of BNs,multiple-experiment observ-ability verification/decomposition in BCNs,and disturbance decoupling in BCNs.However,this method does not apply to other types of observability or nondeterministic systems.Second,we show that based on our observability graph,four different types of observability have been verified in BCNs,verification results have also been extended to PBNs,singular BCNs,and NFTSs.In addition,Moore's partition also shows similarities between BCNs and linear time-invariant(LTI)control systems,e.g.,smallest invariant dual subspaces of BNs containing a set of Boolean functions in BCNs vs unobservable subspaces of LTI control systems,the forms of quotient systems based on observability decomposition in both types of systems.However,there are essential differences between the two types of systems,e.g.,"all plausible definitions of observability in LTI control systems turn out to be equivalent"(by Walter M.Wonham 1985),but there exist nonequivalent definitions of observability in BCNs;the quotient system based on observability decomposition always exists in an LTI control system,while a quotient system based on multiple-experiment observability decomposition does not always exist in a BCN.展开更多
Set stabilization is one of the essential problems in engineering systems, and self-triggered control(STC) can save the storage space for interactive information, and can be successfully applied in networked control s...Set stabilization is one of the essential problems in engineering systems, and self-triggered control(STC) can save the storage space for interactive information, and can be successfully applied in networked control systems with limited communication resources. In this study, the set stabilization problem and STC design of Boolean control networks are investigated via the semi-tensor product technique. On the one hand, the largest control invariant subset is calculated in terms of the strongly connected components of the state transition graph, by which a graph-theoretical condition for set stabilization is derived. On the other hand, a characteristic function is exploited to determine the triggering mechanism and feasible controls. Based on this, the minimum-time and minimum-triggering open-loop, state-feedback and output-feedback STCs for set stabilization are designed,respectively. As classic applications of self-triggered set stabilization, self-triggered synchronization, self-triggered output tracking and self-triggered output regulation are discussed as well. Additionally, several practical examples are given to illustrate the effectiveness of theoretical results.展开更多
We deal with the problem of pinning sampled-data synchronization for a complex network with probabilistic time-varying coupling delay. The sampling period considered here is assumed to be less than a given bound. With...We deal with the problem of pinning sampled-data synchronization for a complex network with probabilistic time-varying coupling delay. The sampling period considered here is assumed to be less than a given bound. Without using the Kronecker product, a new synchronization error system is constructed by using the property of the random variable and input delay approach. Based on the Lyapunov theory, a delay-dependent pinning sampled-data synchronization criterion is derived in terms of linear matrix inequalities （LMIs） that can be solved effectively by using MATLAB LMI toolbox. Numerical examples are provided to demonstrate the effectiveness of the proposed scheme.展开更多
One of the typical properties of biological systems is the law o f conservation o f mass,that is,the property that the mass must remain constant over time in a closed chemical reaction system.However,it is known that ...One of the typical properties of biological systems is the law o f conservation o f mass,that is,the property that the mass must remain constant over time in a closed chemical reaction system.However,it is known that Boolean networks,which are a promising model of biological networks,do not always represent the conservation law.This paper thus addresses a kind of conservation law as a generic property of Boolean networks.In particular,we consider the problem of finding network structures on which,for any Boolean operation on nodes,the number of active nodes,i.ev nodes whose state is one,is constant over time.As a solution to the problem,we focus on the strongly-connected network structures and present a necessary and sufficient condition.展开更多
The outbreak of corona virus disease 2019 has profoundly affected people’s way of life.It is increasingly necessary to investigate epidemics over social networks.This paper studies susceptible-infected-removed(SIR)ep...The outbreak of corona virus disease 2019 has profoundly affected people’s way of life.It is increasingly necessary to investigate epidemics over social networks.This paper studies susceptible-infected-removed(SIR)epidemics via the semi-tensor product.First,a formal susceptible-infected-removed epidemic dynamic model over probabilistic dynamic networks(SIRED-PDN)is given.Based on an evolutionary rule,the algebraic form for the dynamics of individual states and network topologies is given,respectively.Second,the SIRED-PDN can be described by a probabilistic mix-valued logical network.After providing an algorithm,all possible final spreading equilibria can be obtained for any given initial epidemic state and network topology by seeking attractors of the network.And the shortest time for all possible initial epidemic state and network topology profiles to evolve to the final spreading equilibria can be obtained by seeking the transient time of the network.Finally,an illustrative example is given to show the effectiveness of our model.展开更多
Design of control strategies for gene regulatory networks is a challenging and important topic in systems biology. In this paper, the problem of finding both a minimum set of control nodes (control inputs) and a contr...Design of control strategies for gene regulatory networks is a challenging and important topic in systems biology. In this paper, the problem of finding both a minimum set of control nodes (control inputs) and a controller is studied. A control node corresponds to a gene that expression can be controlled. Here, a Boolean network is used as a model of gene regulatory networks, and control specifications on attractors, which represent cell types or states of cells, are imposed. It is important to design a gene regulatory network that has desired attractors and has no undesired attractors. Using a matrix-based representation of BNs, this problem can be rewritten as an integer linear programming problem. Finally, the proposed method is demonstrated by a numerical example on a WNT5A network, which is related to melanoma.展开更多
This study explored the potential of using probabilistic neural networks (PNN) to predict shrinkage of thermal insulation mortar.Probabilistic results were obtained from the PNN model with the aid of Parzen non-parame...This study explored the potential of using probabilistic neural networks (PNN) to predict shrinkage of thermal insulation mortar.Probabilistic results were obtained from the PNN model with the aid of Parzen non-parametric estimator of the probability density functions (PDF).Five variables,water-cementitious materials ratio,content of cement,fly ash,aggregate and plasticizer,were employed for input variables,while a category of 56-d shrinkage of mortar was used for the output variable.A total of 192 groups of experimental data from 64 mixtures designed using JMP7.0 software were collected,of which 120 groups of data were used for training the model and the other 72 groups of data for testing.The simulation results showed that the PNN model with an optimal smoothing parameter determined by the curves of the mean square error (MSE) and the number of unrecognized probability densities (UPDs) exhibited a promising capability of predicting shrinkage of mortar.展开更多
A Bayesian network approach is presented for probabilistic safety analysis(PSA)of railway lines.The idea consists of identifying and reproducing all the elements that the train encounters when circulating along a rail...A Bayesian network approach is presented for probabilistic safety analysis(PSA)of railway lines.The idea consists of identifying and reproducing all the elements that the train encounters when circulating along a railway line,such as light and speed limit signals,tunnel or viaduct entries or exits,cuttings and embankments,acoustic sounds received in the cabin,curves,etc.In addition,since the human error is very relevant for safety evaluation,the automatic train protection(ATP)systems and the driver behaviour and its time evolution are modelled and taken into account to determine the probabilities of human errors.The nodes of the Bayesian network,their links and the associated probability tables are automatically constructed based on the line data that need to be carefully given.The conditional probability tables are reproduced by closed formulas,which facilitate the modelling and the sensitivity analysis.A sorted list of the most dangerous elements in the line is obtained,which permits making decisions about the line safety and programming maintenance operations in order to optimize them and reduce the maintenance costs substantially.The proposed methodology is illustrated by its application to several cases that include real lines such as the Palencia-Santander and the Dublin-Belfast lines.展开更多
The rapid expansion of offshore wind energy necessitates robust and cost-effective electrical collector system(ECS)designs that prioritize lifetime operational reliability.Traditional optimization approaches often sim...The rapid expansion of offshore wind energy necessitates robust and cost-effective electrical collector system(ECS)designs that prioritize lifetime operational reliability.Traditional optimization approaches often simplify reliability considerations or fail to holistically integrate them with economic and technical constraints.This paper introduces a novel,two-stage optimization framework for offshore wind farm(OWF)ECS planning that systematically incorporates reliability.The first stage employs Mixed-Integer Linear Programming(MILP)to determine an optimal radial network topology,considering linearized reliability approximations and geographical constraints.The second stage enhances this design by strategically placing tie-lines using a Mixed-Integer Quadratically Constrained Program(MIQCP).This stage leverages a dynamic-aware adaptation of Multi-Source Multi-Terminal Network Reliability(MSMT-NR)assessment,with its inherent nonlinear equations successfully transformed into a solvable MIQCP form for loopy networks.A benchmark case study demonstrates the framework’s efficacy,illustrating how increasing the emphasis on reliability leads to more distributed and interconnected network topologies,effectively balancing investment costs against enhanced system resilience.展开更多
Dear Editor,This letter presents a joint probabilistic scheduling and resource allocation method(PSRA) for 5G-based wireless networked control systems(WNCSs). As a control-aware optimization method, PSRA minimizes the...Dear Editor,This letter presents a joint probabilistic scheduling and resource allocation method(PSRA) for 5G-based wireless networked control systems(WNCSs). As a control-aware optimization method, PSRA minimizes the linear quadratic Gaussian(LQG) control cost of WNCSs by optimizing the activation probability of subsystems, the number of uplink repetitions, and the durations of uplink and downlink phases. Simulation results show that PSRA achieves smaller LQG control costs than existing works.展开更多
文摘In this paper, verification of real-time pricing systems of electricity is considered using a probabilistic Boolean network (PBN). In real-time pricing systems, electricity conservation is achieved by manipulating the electricity price at each time. A PBN is widely used as a model of complex systems, and is appropriate as a model of real-time pricing systems. Using the PBN-based model, real-time pricing systems can be quantitatively analyzed. In this paper, we propose a verification method of real-time pricing systems using the PBN-based model and the probabilistic model checker PRISM. First, the PBN-based model is derived. Next, the reachability problem, which is one of the typical verification problems, is formulated, and a solution method is derived. Finally, the effectiveness of the proposed method is presented by a numerical example.
文摘A new approach to damage classification for health monitoring of a time-varylng system is presented. The functional-series time-dependent auto regressive moving average （FS-TARMA） time series model is applied to the vibration signal observed in the time-varying system for estimating the TAR/TMA parameters and the innovation variance. These parameters are the functions of the time, represented by a group of projection coefficients on the certain functional subspace with specific basis functions. The estimated TAR/TMA parameters and the innovation variance are further used to calculate the latent components （LCs） as the more informative data for health monitoring evaluation, based on an eigenvalue decomposition technique. LCs are then combined and reduced to numerical values （NVs） as feature sets, which are input to a probabilistic neural network （PNN） for the damage classification. For the evaluation of the proposed method, numerical simulations of the damage classification for a tlme-varylng system are used, in which different classes of damage are modeled by the mass or stiffness reductions. It is demonstrated that the method can identify the damages in the course of operation and the change of parameters on the time-varying background of the system.
文摘This paper focuses on the image segmentation with probabilistic neural networks(PNNs).Back propagation neural networks(BpNNs)and multi perceptron neural networks(MLPs)are also considered in this study.Especially,this paper investigates the implementation of PNNs in image segmentation and optimal processing of image segmentation with a PNN.The comparison between image segmentations with PNNs and with other neural networks is given.The experimental results show that PNNs can be successfully applied to image segmentation for good results.
基金supported in part by the National Natural Science Foundation of China (Grant Nos. 60874018,60736022,and 60821091)
文摘In this paper, we discuss how to transform the disordered phase into an ordered phase in random Boolean networks. To increase the effectiveness, a control scheme is proposed, which periodically freezes a fraction of the network based on the average sensitivity of Boolean functions of the nodes. Theoretical analysis is carried out to estimate the expected critical value of the fraction, and shows that the critical value is reduced using this scheme compared to that of randomly freezing a fraction of the nodes. Finally, the simulation is given for illustrating the effectiveness of the proposed method.
文摘This paper investigates the Morgan＇s problem of Boolean control networks. Based on the matrix expression of logical functions, two key steps are proposed to solve the problem. First, the Boolean control network is converted into an output- decomposed form by constructing a set of consistent outputfriendly subspaces, and a necessary and sufficient condition for the existence of the consistent output-friendly subspaces is obtained. Secondly, a type of state feedback controllers are designed to solve the Morgan＇s problem if it is solvable. By solving a set of matrix equations, a necessary and sufficient condition for converting an output-decomposed form to an input-output decomposed form is given, and by verifying the output controllability matrix, the solvability of Morgan＇s problem is obtained.
文摘The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an arbitrary three-particle state are constructed.
文摘Observability is a fundamental property of a partially observed dynamical system,which means whether one can use an input sequence and the corresponding output sequence to determine the initial state.Observability provides bases for many related problems,such as state estimation,identification,disturbance decoupling,controller synthesis,etc.Until now,fundamental improvement has been obtained in observability of Boolean control networks(BCNs)mainly based on two methods-Edward F.Moore's partition and our observability graph or their equivalent representations found later based on the semitensor product(STP)of matrices(where the STP was proposed by Daizhan Cheng),including necessary and sufficient conditions for different types of observability,extensions to probabilistic Boolean networks(PBNs)and singular BCNs,even to nondeterministic finite-transition systems(NFTSs);and the development(with the help of the STP of matrices)in related topics,such as com-putation of smallest invariant dual subspaces of BNs containing a set of Boolean functions,multiple-experiment observability verification/decomposition in BCNs,disturbance decoupling in BCNs,etc.This paper provides a thorough survey for these topics.The contents of the paper are guided by the above two methods.First,we show that Moore's partition-based method closely relates the following problems:computation of smallest invariant dual subspaces of BNs,multiple-experiment observ-ability verification/decomposition in BCNs,and disturbance decoupling in BCNs.However,this method does not apply to other types of observability or nondeterministic systems.Second,we show that based on our observability graph,four different types of observability have been verified in BCNs,verification results have also been extended to PBNs,singular BCNs,and NFTSs.In addition,Moore's partition also shows similarities between BCNs and linear time-invariant(LTI)control systems,e.g.,smallest invariant dual subspaces of BNs containing a set of Boolean functions in BCNs vs unobservable subspaces of LTI control systems,the forms of quotient systems based on observability decomposition in both types of systems.However,there are essential differences between the two types of systems,e.g.,"all plausible definitions of observability in LTI control systems turn out to be equivalent"(by Walter M.Wonham 1985),but there exist nonequivalent definitions of observability in BCNs;the quotient system based on observability decomposition always exists in an LTI control system,while a quotient system based on multiple-experiment observability decomposition does not always exist in a BCN.
基金supported by the National Natural Science Foundation of China (62273201,62173209,72134004,62303170)the Research Fund for the Taishan Scholar Project of Shandong Province of China (TSTP20221103)。
文摘Set stabilization is one of the essential problems in engineering systems, and self-triggered control(STC) can save the storage space for interactive information, and can be successfully applied in networked control systems with limited communication resources. In this study, the set stabilization problem and STC design of Boolean control networks are investigated via the semi-tensor product technique. On the one hand, the largest control invariant subset is calculated in terms of the strongly connected components of the state transition graph, by which a graph-theoretical condition for set stabilization is derived. On the other hand, a characteristic function is exploited to determine the triggering mechanism and feasible controls. Based on this, the minimum-time and minimum-triggering open-loop, state-feedback and output-feedback STCs for set stabilization are designed,respectively. As classic applications of self-triggered set stabilization, self-triggered synchronization, self-triggered output tracking and self-triggered output regulation are discussed as well. Additionally, several practical examples are given to illustrate the effectiveness of theoretical results.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.61203049 and 61303020)the Natural Science Foundation of Shanxi Province of China(Grant No.2013021018-3)the Doctoral Startup Foundation of Taiyuan University of Science and Technology,China(Grant No.20112010)
文摘We deal with the problem of pinning sampled-data synchronization for a complex network with probabilistic time-varying coupling delay. The sampling period considered here is assumed to be less than a given bound. Without using the Kronecker product, a new synchronization error system is constructed by using the property of the random variable and input delay approach. Based on the Lyapunov theory, a delay-dependent pinning sampled-data synchronization criterion is derived in terms of linear matrix inequalities （LMIs） that can be solved effectively by using MATLAB LMI toolbox. Numerical examples are provided to demonstrate the effectiveness of the proposed scheme.
基金supported by Grant-in-Aid for Scientific Research(B)#17H03280 from the Ministry of Education,Culture,Sports,Science and Technology of Japan.
文摘One of the typical properties of biological systems is the law o f conservation o f mass,that is,the property that the mass must remain constant over time in a closed chemical reaction system.However,it is known that Boolean networks,which are a promising model of biological networks,do not always represent the conservation law.This paper thus addresses a kind of conservation law as a generic property of Boolean networks.In particular,we consider the problem of finding network structures on which,for any Boolean operation on nodes,the number of active nodes,i.ev nodes whose state is one,is constant over time.As a solution to the problem,we focus on the strongly-connected network structures and present a necessary and sufficient condition.
基金supported by the National Natural Science Foundation of China(Nos.61973175,62203328)the Tianjin Natural Science Foundation(Nos.20JCYBJC01060,21JCQNJC00840)the General Terminal IC Interdisciplinary Science Center of Nankai University.
文摘The outbreak of corona virus disease 2019 has profoundly affected people’s way of life.It is increasingly necessary to investigate epidemics over social networks.This paper studies susceptible-infected-removed(SIR)epidemics via the semi-tensor product.First,a formal susceptible-infected-removed epidemic dynamic model over probabilistic dynamic networks(SIRED-PDN)is given.Based on an evolutionary rule,the algebraic form for the dynamics of individual states and network topologies is given,respectively.Second,the SIRED-PDN can be described by a probabilistic mix-valued logical network.After providing an algorithm,all possible final spreading equilibria can be obtained for any given initial epidemic state and network topology by seeking attractors of the network.And the shortest time for all possible initial epidemic state and network topology profiles to evolve to the final spreading equilibria can be obtained by seeking the transient time of the network.Finally,an illustrative example is given to show the effectiveness of our model.
文摘Design of control strategies for gene regulatory networks is a challenging and important topic in systems biology. In this paper, the problem of finding both a minimum set of control nodes (control inputs) and a controller is studied. A control node corresponds to a gene that expression can be controlled. Here, a Boolean network is used as a model of gene regulatory networks, and control specifications on attractors, which represent cell types or states of cells, are imposed. It is important to design a gene regulatory network that has desired attractors and has no undesired attractors. Using a matrix-based representation of BNs, this problem can be rewritten as an integer linear programming problem. Finally, the proposed method is demonstrated by a numerical example on a WNT5A network, which is related to melanoma.
基金Project (No. 2006BAJ05B03) supported by the National Key Tech-nologies Supporting Program of China during the 11th Five-Year Plan Period
文摘This study explored the potential of using probabilistic neural networks (PNN) to predict shrinkage of thermal insulation mortar.Probabilistic results were obtained from the PNN model with the aid of Parzen non-parametric estimator of the probability density functions (PDF).Five variables,water-cementitious materials ratio,content of cement,fly ash,aggregate and plasticizer,were employed for input variables,while a category of 56-d shrinkage of mortar was used for the output variable.A total of 192 groups of experimental data from 64 mixtures designed using JMP7.0 software were collected,of which 120 groups of data were used for training the model and the other 72 groups of data for testing.The simulation results showed that the PNN model with an optimal smoothing parameter determined by the curves of the mean square error (MSE) and the number of unrecognized probability densities (UPDs) exhibited a promising capability of predicting shrinkage of mortar.
基金Acknowledgements： This work is supported by grants from the National Natural Science Foundation of China （No. 60203044, 90412010） and 242 program #（242）2007A07.
文摘A Bayesian network approach is presented for probabilistic safety analysis(PSA)of railway lines.The idea consists of identifying and reproducing all the elements that the train encounters when circulating along a railway line,such as light and speed limit signals,tunnel or viaduct entries or exits,cuttings and embankments,acoustic sounds received in the cabin,curves,etc.In addition,since the human error is very relevant for safety evaluation,the automatic train protection(ATP)systems and the driver behaviour and its time evolution are modelled and taken into account to determine the probabilities of human errors.The nodes of the Bayesian network,their links and the associated probability tables are automatically constructed based on the line data that need to be carefully given.The conditional probability tables are reproduced by closed formulas,which facilitate the modelling and the sensitivity analysis.A sorted list of the most dangerous elements in the line is obtained,which permits making decisions about the line safety and programming maintenance operations in order to optimize them and reduce the maintenance costs substantially.The proposed methodology is illustrated by its application to several cases that include real lines such as the Palencia-Santander and the Dublin-Belfast lines.
基金supported by the Science and Technology Project of China South Power Grid Co.,Ltd.,Grant Nos.036000KK52222044,GDKJXM20222430。
文摘The rapid expansion of offshore wind energy necessitates robust and cost-effective electrical collector system(ECS)designs that prioritize lifetime operational reliability.Traditional optimization approaches often simplify reliability considerations or fail to holistically integrate them with economic and technical constraints.This paper introduces a novel,two-stage optimization framework for offshore wind farm(OWF)ECS planning that systematically incorporates reliability.The first stage employs Mixed-Integer Linear Programming(MILP)to determine an optimal radial network topology,considering linearized reliability approximations and geographical constraints.The second stage enhances this design by strategically placing tie-lines using a Mixed-Integer Quadratically Constrained Program(MIQCP).This stage leverages a dynamic-aware adaptation of Multi-Source Multi-Terminal Network Reliability(MSMT-NR)assessment,with its inherent nonlinear equations successfully transformed into a solvable MIQCP form for loopy networks.A benchmark case study demonstrates the framework’s efficacy,illustrating how increasing the emphasis on reliability leads to more distributed and interconnected network topologies,effectively balancing investment costs against enhanced system resilience.
基金supported by the Liaoning Revitalization Talents Program(XLYC2203148)
文摘Dear Editor,This letter presents a joint probabilistic scheduling and resource allocation method(PSRA) for 5G-based wireless networked control systems(WNCSs). As a control-aware optimization method, PSRA minimizes the linear quadratic Gaussian(LQG) control cost of WNCSs by optimizing the activation probability of subsystems, the number of uplink repetitions, and the durations of uplink and downlink phases. Simulation results show that PSRA achieves smaller LQG control costs than existing works.
