In this paper, a new analytic method for modeling and evaluating mobile ad hoc networks (MANET) is proposed. Petri nets technique is introduced into MANET and a packet-flow parallel scheduling scheme is presented usin...In this paper, a new analytic method for modeling and evaluating mobile ad hoc networks (MANET) is proposed. Petri nets technique is introduced into MANET and a packet-flow parallel scheduling scheme is presented using Stochastic Petri Nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency, one-hop transmission delay etc., can be obtained. Compared with conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from a simulator.展开更多
To provide services in presence of failures or attacks in a timely manner, the network survivability was analyzed. Based on stochastic Petri nets, we put forward an effective model for ad hoe network and adopt a two-p...To provide services in presence of failures or attacks in a timely manner, the network survivability was analyzed. Based on stochastic Petri nets, we put forward an effective model for ad hoe network and adopt a two-phase approach consisting of the steady-state availability analysis and the system transient performance analysis, then provide a quantitative approach for analysis of the network survivability. The results show that the proposed model is useful for the design and evaluation of the wireless ad hoc network.展开更多
将3D打印技术引入飞机备件供应保障,对其可行性进行分析,构建备件供应流程;由于供应过程中各阶段时间的不确定性,在引入3D打印技术前后均采用随机Petri网(Stochastic Petri Net,SPN)建立模型,并采用关联矩阵与状态方程法对模型的有效性...将3D打印技术引入飞机备件供应保障,对其可行性进行分析,构建备件供应流程;由于供应过程中各阶段时间的不确定性,在引入3D打印技术前后均采用随机Petri网(Stochastic Petri Net,SPN)建立模型,并采用关联矩阵与状态方程法对模型的有效性进行分析;经分析,建立的模型是合理的。展开更多
文摘In this paper, a new analytic method for modeling and evaluating mobile ad hoc networks (MANET) is proposed. Petri nets technique is introduced into MANET and a packet-flow parallel scheduling scheme is presented using Stochastic Petri Nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency, one-hop transmission delay etc., can be obtained. Compared with conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from a simulator.
基金the PhD Programs Foundation for Young Researchers of Ministry of Education of China(Grant No.20070217051)the National High Technology Research and Development Program of China(Grant No.2007AA01Z491)
文摘To provide services in presence of failures or attacks in a timely manner, the network survivability was analyzed. Based on stochastic Petri nets, we put forward an effective model for ad hoe network and adopt a two-phase approach consisting of the steady-state availability analysis and the system transient performance analysis, then provide a quantitative approach for analysis of the network survivability. The results show that the proposed model is useful for the design and evaluation of the wireless ad hoc network.
