In order to describe the impacts of adjustment ability of logistics system on the profit and cost of logistics system, we constructed a model of logistics system based on stochastic Petri net ( SPN), and proposed a ...In order to describe the impacts of adjustment ability of logistics system on the profit and cost of logistics system, we constructed a model of logistics system based on stochastic Petri net ( SPN), and proposed a theorem for the adjustment ability of logistics system under supply chain circumstances on condition that the payoff of supply chain is a steadily increasing process. Then we put forward that a sequence of MGF ( moment generating function ) of out-of-goods risk process for logistics system is a martingale. The model we proposed can overcome shortcomings of the previous ones that can not describe the characteristics of the adjustment ability of logistics system. The results of simulation experiments are consistent with theoretical analysis.展开更多
The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the r...The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.展开更多
The post-disaster emergency medical rescue(EMR) is critical for people’s lives. This paper presents a stochastic Petri net(SPN) model based on the process of the rescue structure and a Markov chain model(MC), which i...The post-disaster emergency medical rescue(EMR) is critical for people’s lives. This paper presents a stochastic Petri net(SPN) model based on the process of the rescue structure and a Markov chain model(MC), which is applied to the optimization of the EMR process, with the aim of identifying the key activities of EMR. An isomorphic MC model is developed for measuring and evaluating the time performance of the EMR process during earthquakes with the data of the 2008 Wenchuan earthquake.This paper provides a mathematical approach to simulate the process and to evaluate the efficiency of EMR. Simultaneously, the expressions of the steady state probabilities of this system under various states are obtained based on the MC, and the variations of the probabilities are analyzed by changing the firing rates for every transition. Based on the concrete data of the event, the authors find the most time consuming and critical activities for EMR decisions. The model results show that the key activities can improve the efficiency of medical rescue, providing decision-makers with rescue strategies during the large scale earthquake.展开更多
Circular economy enables to restore product value at the end of life i.e.when no longer used or damaged.Thus,the product life cycle is extended and this economy permits to reduce waste increase and resources rarefacti...Circular economy enables to restore product value at the end of life i.e.when no longer used or damaged.Thus,the product life cycle is extended and this economy permits to reduce waste increase and resources rarefaction.There are several revaluation options(reuse,remanufacturing,recycling,...).So,decisionmakers need to assess these options to determine which is the best decision.Thus,we will present a study about an End-Of-Life(EoL)decision making which aims to facilitate the industrialization of circular economy.For this,it is essential to consider all variables and parameters impacting the decision of the product trajectory.A first part of the work proposes to identify the variables and parameters impacting the decision making.A second part proposes an assessment approach based on a modeling by Generalized Colored Stochastic Petri Net(GCSPN)and on a Monte-Carlo simulation.The approach developed is tested on an industrial example from the literature to analyze the efficiency and effectiveness of the model.This first application showed the feasibility of the approach,and also the limits of the GCSPN modelling.展开更多
Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transi...Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.展开更多
A new category of system model, multiserver multiqueuenetwork(MSMQN), is proposed for distributed systems such as thegeographically distributed Web-server clusters. A MSMQN comprisesmultiple multiserver multiqueue(MSM...A new category of system model, multiserver multiqueuenetwork(MSMQN), is proposed for distributed systems such as thegeographically distributed Web-server clusters. A MSMQN comprisesmultiple multiserver multiqueue(MSMQ)nodes distributed over thenetwork, and every node consists of a number of servers that eachcontains multiple priority queues for waiting customers. An in-coming request can be distributed to a waiting queue of any server inany node, according to the routing policy integrated by the node-selection policy at network-level, request-dispatching policy atnode-level, and request-scheduling policy at server-level.展开更多
Controller area networks(CANs),as one of the widely used fieldbuses in the industry,have been extended to the automation field with strict standards for safety and reliability.In practice,factors such as fatigue and i...Controller area networks(CANs),as one of the widely used fieldbuses in the industry,have been extended to the automation field with strict standards for safety and reliability.In practice,factors such as fatigue and insulation wear of the cables can cause intermittent connection(IC)faults to occur frequently in the CAN,which will affect the dynamic behavior and the safety of the system.Hence,quantitatively evaluating the performance of the CAN under the influence of IC faults is crucial to real-time health monitoring of the system.In this paper,a novel methodology is proposed for real-time quantitative evaluation of CAN availability when considering IC faults,with the system availability parameter being calculated based on the network state transition model.First,the causal relationship between IC fault and network error response is constructed,based on which the IC fault arrival rate is estimated.Second,the states of the network considering IC faults are analyzed,and the deterministic and stochastic Petri net(DSPN)model is applied to describe the transition relationship of the states.Then,the parameters of the DSPN model are determined and the availability of the system is calculated based on the probability distribution and physical meaning of markings in the DSPN model.A testbed is constructed and case studies are conducted to verify the proposed methodology under various experimental setups.Experimental results show that the estimation results obtained using the proposed method agree well with the actual values.展开更多
In this paper,an interesting Hybrid Stochastic Timed Petri Net(HSTPN)is proposed for a class of hybrid systems.The proposed HSTPN can be adopted to represent hybrid systems with discrete,continuous,conflicting,time-de...In this paper,an interesting Hybrid Stochastic Timed Petri Net(HSTPN)is proposed for a class of hybrid systems.The proposed HSTPN can be adopted to represent hybrid systems with discrete,continuous,conflicting,time-delay and stochastic characteristics simultaneously.The proposed HSTPN outperforms conventional hybrid Petri net models in terms of describing the scalability and immediacy of hybrid systems.Advantages of the HSTPN on describing hybrid system are verified by establishing some equivalent models of HPN and its derived models.展开更多
With the rapid development of information technology,the cyberspace security problem is increasingly serious.Kinds of dynamic defense technology have emerged such as moving target defense and mimic defense.This paper ...With the rapid development of information technology,the cyberspace security problem is increasingly serious.Kinds of dynamic defense technology have emerged such as moving target defense and mimic defense.This paper aims to describe the architecture and analyze the performance of Cyberspace Mimic DNS based on generalized stochastic Petri net.We propose a general method of anti-attacking analysis.For general attack and special attack model,the available probability,escaped probability and nonspecial awareness probability are adopted to quantitatively analyze the system performance.And we expand the GSPN model to adjust to engineering practice by specifying randomness of different output vectors.The result shows that the proposed method is effective,and Mimic system has high anti-attacking performance.To deal with the special attack,we can integrate the traditional defense mechanism in engineering practice.Besides,we analyze the performance of mimic DNSframework based on multi-ruling proxy and input-output desperation,the results represent we can use multi ruling or high-speed cache servers to achieve the consistent cost of delay,throughput compared with single authorized DNS,it can effectively solve 10%to 20%performance loss caused by general ruling proxy.展开更多
The problem of state space explosion is still ran outstanding challenge in Markovian performance analysis for multiserver multiqueue (MSMQ) systems. The system behavior of a MSMQ system is described using stochastic h...The problem of state space explosion is still ran outstanding challenge in Markovian performance analysis for multiserver multiqueue (MSMQ) systems. The system behavior of a MSMQ system is described using stochastic high-level Petri net (SHLPN) models, and an approximate performance analysis technique is proposed based on decomposition and refinement methods as well as iteration technique. A real MSMQ system, Web-server cluster, is investigated. The performance of an integrated scheme of request dispatching and scheduling is analyzed with both Poisson and self-similar request arrivals. The study shows that the approximate analysis technique significantly reduces the complexity of the model solution and is also efficient for accuracy of numerical results.展开更多
The technology of Ultra-High Voltage (UHV) transmission requires higher dependability for electric power grid. Power Grid Communication Networking (PGCN), the fundamental information infrastructure, severs data tr...The technology of Ultra-High Voltage (UHV) transmission requires higher dependability for electric power grid. Power Grid Communication Networking (PGCN), the fundamental information infrastructure, severs data transmission including control signal, protection signal, and common data services. Dependability is the necessary requirement to ensure services timely and accurately. Dependability analysis aims to predicate operation status and provide suitable strategies getting rid of the potential dangers. Due to the dependability of PGCN may be affected by external environment, devices quality, implementation strategies, and so on, the scale explosion and the structure complexity make the PGCN's dependability much challenging. In this paper, with the observation of interdependency between power grid and PGCN, we propose an electricity services based dependability analysis model of PGCN. The model includes methods of analyzing its dependability and procedures of designing the dependable strategies. We respectively discuss the deterministic analysis method based on matrix analysis and stochastic analysis model based on stochastic Petri nets.展开更多
The World Wide Web has become the primary means for information dissemination. Due to the limited resources of the network bandwidth, users always suffer from long time waiting. Web prefetching and web caching are the...The World Wide Web has become the primary means for information dissemination. Due to the limited resources of the network bandwidth, users always suffer from long time waiting. Web prefetching and web caching are the primary approaches to reducing the user perceived access latency and improving the quality of services. In this paper, a Stochastic Petri Nets (SPN) based integrated web prefetching and caching model (IWPCM) is presented and the performance evaluation of IWPCM is made. The performance metrics, access latency, throughput, HR (hit ratio) and BHR (byte hit ratio) are analyzed and discussed. Simulations show that compared with caching only model (CM), IWPCM can further improve the throughput, HR and BHR efficiently and reduce the access latency. The performance evaluation based on the SPN model can provide a basis for implementation of web prefetching and caching and the combination of web prefetching and caching holds the promise of improving the QoS of web systems.展开更多
The energy consumption in large-scale data centers is attracting more and more attention today with the increasing data center energy costs making the enhanced performance very expensive. This is becoming a bottleneck...The energy consumption in large-scale data centers is attracting more and more attention today with the increasing data center energy costs making the enhanced performance very expensive. This is becoming a bottleneck to further developments in terms of both scale and performance of cloud computing. Thus, the reduction of the energy consumption by data centers is becoming a key research topic in green IT and green computing. The web servers providing cloud service computing run at various speeds for different scenarios. By shifting among these states using speed scaling, the energy consumption is proportional to the workload, which is termed energy-proportionality. This study uses stochastic service decision nets to investigate energy-efficient speed scaling on web servers. This model combines stochastic Petri nets with Markov decision process models. This enables the model to dynamically optimize the speed scaling strategy and make performance evaluations. The model is graphical and intuitive enough to characterize complicated system behavior and decisions. The model is service-oriented using the typical service patterns to reduce the complex model to a simple model with a smaller state space. Performance and reward equivalent analyse substantially reduces the system behavior sub-net. The model gives the optimal strategy and evaluates performance and energy metrics more concisely.展开更多
High volume conveyor systems in distribution centers have very large footprint and can handlelarge volumes and hold thousands of items.Traditional discrete-event cell-based approach to simulatesuch networks becomes co...High volume conveyor systems in distribution centers have very large footprint and can handlelarge volumes and hold thousands of items.Traditional discrete-event cell-based approach to simulatesuch networks becomes computationally challenging.An alternative approach,in which the traffic isrepresented by segments of fluid flow of different density instead of individual packages,is presentedin this paper to address this challenge.The proposed fluid-based simulation approach is developedusing a Hybrid Petri Nets framework.The underlying model is a combination of an extension of aBatches Petri Nets(BPN)and a Stochastic Petri Nets(SPN).The extensions are in the inclusion ofrandom elements and relaxation of certain structural constraints.Some adaptations are also made to fitthe target system modeling.The approach is presented with an example.展开更多
Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the...Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development.Human factors like the physical environment are the most important part of particular risk assessment.Therefore,it is necessary to analyze the safety of the system considering human factor and physical factor.In this paper,we propose a new particular risk model(PRM)to improve the modeling ability of the Architecture Analysis and Design Language(AADL).An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system.To simulate the PRM with the proposed PRA method,model transformation from PRM to a deterministic and stochastic Petri net model is implemented.Finally,a case study on the power grid system of CPS is modeled and analyzed using the proposed method.展开更多
As a significant measure of software security evaluation, software reliability evaluation is also the basis of software safe operation. Traditional software system security evaluation methods are qualitative evaluatio...As a significant measure of software security evaluation, software reliability evaluation is also the basis of software safe operation. Traditional software system security evaluation methods are qualitative evaluation based on the functional and structural measurements, and it often ignores quantitative research based on invalidity and fault. This paper propose a stochastic transition function as a measure parameters of the reliability of stochastic Petri nets (SPN) theory. By calculating the probability of stability of the system, failure and mean time to first failure, it establishes an evaluation and measurement method for software reliability. With example analysis, the method can conduct effective evaluation on the software reliability index quickly and accurately, and meanwhile provides a new method for the software security evaluation.展开更多
Breeze/architecture description language(ADL), is an eX tensible markup language(XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL pr...Breeze/architecture description language(ADL), is an eX tensible markup language(XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net(GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN(Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2(PIPE2) to carry out a reliability assessment.Abstract: Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net (GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool-EXGSPN (Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2 (PIPE2) to carry out a reliability assessment.展开更多
文摘In order to describe the impacts of adjustment ability of logistics system on the profit and cost of logistics system, we constructed a model of logistics system based on stochastic Petri net ( SPN), and proposed a theorem for the adjustment ability of logistics system under supply chain circumstances on condition that the payoff of supply chain is a steadily increasing process. Then we put forward that a sequence of MGF ( moment generating function ) of out-of-goods risk process for logistics system is a martingale. The model we proposed can overcome shortcomings of the previous ones that can not describe the characteristics of the adjustment ability of logistics system. The results of simulation experiments are consistent with theoretical analysis.
基金supported by the National Grand Fundamental Research Program of China (Nos. 2010CB328105, 2009CB320504)the Tsinghua University Initiative Scientific Research Programthe National Natural Science Foundation of China (Nos. 61070182,60973107, 60973144, 61173008, 61070021)
文摘The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.
基金supported by the National Natural Science Foundation of China under Grant Nos. 71974121and 71774019。
文摘The post-disaster emergency medical rescue(EMR) is critical for people’s lives. This paper presents a stochastic Petri net(SPN) model based on the process of the rescue structure and a Markov chain model(MC), which is applied to the optimization of the EMR process, with the aim of identifying the key activities of EMR. An isomorphic MC model is developed for measuring and evaluating the time performance of the EMR process during earthquakes with the data of the 2008 Wenchuan earthquake.This paper provides a mathematical approach to simulate the process and to evaluate the efficiency of EMR. Simultaneously, the expressions of the steady state probabilities of this system under various states are obtained based on the MC, and the variations of the probabilities are analyzed by changing the firing rates for every transition. Based on the concrete data of the event, the authors find the most time consuming and critical activities for EMR decisions. The model results show that the key activities can improve the efficiency of medical rescue, providing decision-makers with rescue strategies during the large scale earthquake.
文摘Circular economy enables to restore product value at the end of life i.e.when no longer used or damaged.Thus,the product life cycle is extended and this economy permits to reduce waste increase and resources rarefaction.There are several revaluation options(reuse,remanufacturing,recycling,...).So,decisionmakers need to assess these options to determine which is the best decision.Thus,we will present a study about an End-Of-Life(EoL)decision making which aims to facilitate the industrialization of circular economy.For this,it is essential to consider all variables and parameters impacting the decision of the product trajectory.A first part of the work proposes to identify the variables and parameters impacting the decision making.A second part proposes an assessment approach based on a modeling by Generalized Colored Stochastic Petri Net(GCSPN)and on a Monte-Carlo simulation.The approach developed is tested on an industrial example from the literature to analyze the efficiency and effectiveness of the model.This first application showed the feasibility of the approach,and also the limits of the GCSPN modelling.
基金This project is supported by National Natural Science Foundation of China (No.50085003).
文摘Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.
基金[This work is financially supported by the National Natural Science Foundation of China (No. 90104002 and 60173012), the Projects of Development Plan of the State Key Fundamental Research (No. G1999032707) and the Projects of Development Plan of the Stat
文摘A new category of system model, multiserver multiqueuenetwork(MSMQN), is proposed for distributed systems such as thegeographically distributed Web-server clusters. A MSMQN comprisesmultiple multiserver multiqueue(MSMQ)nodes distributed over thenetwork, and every node consists of a number of servers that eachcontains multiple priority queues for waiting customers. An in-coming request can be distributed to a waiting queue of any server inany node, according to the routing policy integrated by the node-selection policy at network-level, request-dispatching policy atnode-level, and request-scheduling policy at server-level.
基金supported by the National Natural Science Foundation of China(No.52072341)。
文摘Controller area networks(CANs),as one of the widely used fieldbuses in the industry,have been extended to the automation field with strict standards for safety and reliability.In practice,factors such as fatigue and insulation wear of the cables can cause intermittent connection(IC)faults to occur frequently in the CAN,which will affect the dynamic behavior and the safety of the system.Hence,quantitatively evaluating the performance of the CAN under the influence of IC faults is crucial to real-time health monitoring of the system.In this paper,a novel methodology is proposed for real-time quantitative evaluation of CAN availability when considering IC faults,with the system availability parameter being calculated based on the network state transition model.First,the causal relationship between IC fault and network error response is constructed,based on which the IC fault arrival rate is estimated.Second,the states of the network considering IC faults are analyzed,and the deterministic and stochastic Petri net(DSPN)model is applied to describe the transition relationship of the states.Then,the parameters of the DSPN model are determined and the availability of the system is calculated based on the probability distribution and physical meaning of markings in the DSPN model.A testbed is constructed and case studies are conducted to verify the proposed methodology under various experimental setups.Experimental results show that the estimation results obtained using the proposed method agree well with the actual values.
基金This work was supported by the Fundamental Research Funds for the Central Universities of China[grant number N160306002]National Natural Science Foundation of China[grant number 61573093].
文摘In this paper,an interesting Hybrid Stochastic Timed Petri Net(HSTPN)is proposed for a class of hybrid systems.The proposed HSTPN can be adopted to represent hybrid systems with discrete,continuous,conflicting,time-delay and stochastic characteristics simultaneously.The proposed HSTPN outperforms conventional hybrid Petri net models in terms of describing the scalability and immediacy of hybrid systems.Advantages of the HSTPN on describing hybrid system are verified by establishing some equivalent models of HPN and its derived models.
基金This work was supported by the specific issues of national cyberspace security(Grant No.2018YFB0804001)the Innovative Research Groups of the National key R&D plan(Grant No.2020YFB18040803).
文摘With the rapid development of information technology,the cyberspace security problem is increasingly serious.Kinds of dynamic defense technology have emerged such as moving target defense and mimic defense.This paper aims to describe the architecture and analyze the performance of Cyberspace Mimic DNS based on generalized stochastic Petri net.We propose a general method of anti-attacking analysis.For general attack and special attack model,the available probability,escaped probability and nonspecial awareness probability are adopted to quantitatively analyze the system performance.And we expand the GSPN model to adjust to engineering practice by specifying randomness of different output vectors.The result shows that the proposed method is effective,and Mimic system has high anti-attacking performance.To deal with the special attack,we can integrate the traditional defense mechanism in engineering practice.Besides,we analyze the performance of mimic DNSframework based on multi-ruling proxy and input-output desperation,the results represent we can use multi ruling or high-speed cache servers to achieve the consistent cost of delay,throughput compared with single authorized DNS,it can effectively solve 10%to 20%performance loss caused by general ruling proxy.
文摘The problem of state space explosion is still ran outstanding challenge in Markovian performance analysis for multiserver multiqueue (MSMQ) systems. The system behavior of a MSMQ system is described using stochastic high-level Petri net (SHLPN) models, and an approximate performance analysis technique is proposed based on decomposition and refinement methods as well as iteration technique. A real MSMQ system, Web-server cluster, is investigated. The performance of an integrated scheme of request dispatching and scheduling is analyzed with both Poisson and self-similar request arrivals. The study shows that the approximate analysis technique significantly reduces the complexity of the model solution and is also efficient for accuracy of numerical results.
基金supported by the National Key Basic Research and Development (973) Program of China(No. 2010CB328105)the National Natural Science Foundation of China (Nos. 61020106002,61071065,and 11171368)+2 种基金China Postdoctoral Science Foundation (No. 2013M540952)Tsinghua University Initiative Scientific Research Program (No. 20121087999)SGCC research and development projects
文摘The technology of Ultra-High Voltage (UHV) transmission requires higher dependability for electric power grid. Power Grid Communication Networking (PGCN), the fundamental information infrastructure, severs data transmission including control signal, protection signal, and common data services. Dependability is the necessary requirement to ensure services timely and accurately. Dependability analysis aims to predicate operation status and provide suitable strategies getting rid of the potential dangers. Due to the dependability of PGCN may be affected by external environment, devices quality, implementation strategies, and so on, the scale explosion and the structure complexity make the PGCN's dependability much challenging. In this paper, with the observation of interdependency between power grid and PGCN, we propose an electricity services based dependability analysis model of PGCN. The model includes methods of analyzing its dependability and procedures of designing the dependable strategies. We respectively discuss the deterministic analysis method based on matrix analysis and stochastic analysis model based on stochastic Petri nets.
基金Supported by the National Natural Science Foundation of China under Grant No. 60472044. The authors would like to thank research fellow Dr. Yun Shi of China State Post Bureau and Professor Dr. Jun Zou of Tsinghua University for their helpful and constructive comments.
文摘The World Wide Web has become the primary means for information dissemination. Due to the limited resources of the network bandwidth, users always suffer from long time waiting. Web prefetching and web caching are the primary approaches to reducing the user perceived access latency and improving the quality of services. In this paper, a Stochastic Petri Nets (SPN) based integrated web prefetching and caching model (IWPCM) is presented and the performance evaluation of IWPCM is made. The performance metrics, access latency, throughput, HR (hit ratio) and BHR (byte hit ratio) are analyzed and discussed. Simulations show that compared with caching only model (CM), IWPCM can further improve the throughput, HR and BHR efficiently and reduce the access latency. The performance evaluation based on the SPN model can provide a basis for implementation of web prefetching and caching and the combination of web prefetching and caching holds the promise of improving the QoS of web systems.
基金supported by the National Key Basic Research and Development (973) Program (Nos. 2012CB315801, 2011CB302805, 2010CB328105,and 2009CB320504)the National Natural Science Foundation of China (Nos. 60932003, 61020106002, and 61161140320)the Intel Research Council with the title of "Security Vulnerability Analysis based on Cloud Platform with Intel IA Architecture"
文摘The energy consumption in large-scale data centers is attracting more and more attention today with the increasing data center energy costs making the enhanced performance very expensive. This is becoming a bottleneck to further developments in terms of both scale and performance of cloud computing. Thus, the reduction of the energy consumption by data centers is becoming a key research topic in green IT and green computing. The web servers providing cloud service computing run at various speeds for different scenarios. By shifting among these states using speed scaling, the energy consumption is proportional to the workload, which is termed energy-proportionality. This study uses stochastic service decision nets to investigate energy-efficient speed scaling on web servers. This model combines stochastic Petri nets with Markov decision process models. This enables the model to dynamically optimize the speed scaling strategy and make performance evaluations. The model is graphical and intuitive enough to characterize complicated system behavior and decisions. The model is service-oriented using the typical service patterns to reduce the complex model to a simple model with a smaller state space. Performance and reward equivalent analyse substantially reduces the system behavior sub-net. The model gives the optimal strategy and evaluates performance and energy metrics more concisely.
文摘High volume conveyor systems in distribution centers have very large footprint and can handlelarge volumes and hold thousands of items.Traditional discrete-event cell-based approach to simulatesuch networks becomes computationally challenging.An alternative approach,in which the traffic isrepresented by segments of fluid flow of different density instead of individual packages,is presentedin this paper to address this challenge.The proposed fluid-based simulation approach is developedusing a Hybrid Petri Nets framework.The underlying model is a combination of an extension of aBatches Petri Nets(BPN)and a Stochastic Petri Nets(SPN).The extensions are in the inclusion ofrandom elements and relaxation of certain structural constraints.Some adaptations are also made to fitthe target system modeling.The approach is presented with an example.
基金the State Power Grid Company Science and Technical Plan Project,China(No.5100-201940008A-0-0-00)。
文摘Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development.Human factors like the physical environment are the most important part of particular risk assessment.Therefore,it is necessary to analyze the safety of the system considering human factor and physical factor.In this paper,we propose a new particular risk model(PRM)to improve the modeling ability of the Architecture Analysis and Design Language(AADL).An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system.To simulate the PRM with the proposed PRA method,model transformation from PRM to a deterministic and stochastic Petri net model is implemented.Finally,a case study on the power grid system of CPS is modeled and analyzed using the proposed method.
基金Supported by the Education Reform Project in Guizhou Province(SJJG201404)Engineering Center of Avionics Electrical and Information Network of Guizhou Province Colleges and Universities(HKDZ201406)
文摘As a significant measure of software security evaluation, software reliability evaluation is also the basis of software safe operation. Traditional software system security evaluation methods are qualitative evaluation based on the functional and structural measurements, and it often ignores quantitative research based on invalidity and fault. This paper propose a stochastic transition function as a measure parameters of the reliability of stochastic Petri nets (SPN) theory. By calculating the probability of stability of the system, failure and mean time to first failure, it establishes an evaluation and measurement method for software reliability. With example analysis, the method can conduct effective evaluation on the software reliability index quickly and accurately, and meanwhile provides a new method for the software security evaluation.
基金supported by Jilin Province Science Foundation for Youths(No.20150520060JH)
文摘Breeze/architecture description language(ADL), is an eX tensible markup language(XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net(GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN(Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2(PIPE2) to carry out a reliability assessment.Abstract: Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net (GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool-EXGSPN (Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2 (PIPE2) to carry out a reliability assessment.