为了减少用户接通客服热线电话的等待时间,同时控制企业在客服热线方面的投入成本,结合用户行为,基于企业数据,采用连续时间马尔可夫链(continuous time Markov chain,CTMC)的数学模型对企业热线话务进行信道预测分析,寻求影响信道需求...为了减少用户接通客服热线电话的等待时间,同时控制企业在客服热线方面的投入成本,结合用户行为,基于企业数据,采用连续时间马尔可夫链(continuous time Markov chain,CTMC)的数学模型对企业热线话务进行信道预测分析,寻求影响信道需求的相关参数。对不同规模企业的话务进行仿真,比对在不同客户量、不同通话保持时间需求、不同通话频率条件下的成功通话率、阻塞通话率及系统占线率,实现一种企业客服热线信道最佳资源配置的预测模型。展开更多
To provide an optimal alternative to traditional Transmission Control Protocol(TCP)-based transport technologies,Aspera's Fast and Secure Protocol(FASP)is proposed as an innovative bulky data transport technology....To provide an optimal alternative to traditional Transmission Control Protocol(TCP)-based transport technologies,Aspera's Fast and Secure Protocol(FASP)is proposed as an innovative bulky data transport technology.To accurately analyse the reliability and rapidness of FASP,an automated formal technique - probabilistic model checking - is used for formally analysing FASP in this paper.First,FASP's transmission process is decomposed into three modules:the Sender,the Receiver and the transmission Channel.Each module is then modelled as a Continuous-Time Markov Chain(CTMC).Second,the reward structure for CTMC is introduced so that the reliability and rapidness can be specified with the Continuous-time Stochastic Logic(CSL).Finally,the probabilistic model checker,PRISM is used for analysing the impact of different parameters on the reliability and rapidness of FASP.The probability that the Sender finishes sending data and the Receiver successfully receives data is always 1,which indicates that FASP can transport data reliably.The result that FASP takes approximately 10 s to complete transferring the file of 1 G irrespective of the network configuration shows that FASP can transport data very quickly.Further,by the comparison of throughput between FASP and TCP under various latency and packet loss conditions,FASP's throughput is shown to be perfectly independent of network delays and robust to extreme packet loss.展开更多
With the development of railway construction in China,the computing demand of the train control system is increasing day by day.The application of cloud computing technology on the rail transit signal system has becom...With the development of railway construction in China,the computing demand of the train control system is increasing day by day.The application of cloud computing technology on the rail transit signal system has become a research hotspot in recent years.How to improve the safety and availability of the safety computer platform in the cloud computing environment is the key problem when applying cloud computing to the train operation control system.Since the cloud platform is in an open network environment,fac-ing many security vulnerabilities and malicious network attacks,it is necessary to monitor the operation of computer programmes through edge safety nodes.Firstly,this paper encrypts the logical monitoring method,and then proposes a secure computer de fence model based on the dynamic heterogeneous redundancy structure.Then the continuous time Markov chain(CTMC)is used to quantitatively solve the stable probability of the system,and the influence of different logical monitoring methods on the anti-attack performance of the system is analysed.Finally,the experiment proves that the dynamic heterogeneous redundancy structure composed of encryption logic monitoring can guarantee the safe and stable operation of the safety computer more effectively.展开更多
文摘为了减少用户接通客服热线电话的等待时间,同时控制企业在客服热线方面的投入成本,结合用户行为,基于企业数据,采用连续时间马尔可夫链(continuous time Markov chain,CTMC)的数学模型对企业热线话务进行信道预测分析,寻求影响信道需求的相关参数。对不同规模企业的话务进行仿真,比对在不同客户量、不同通话保持时间需求、不同通话频率条件下的成功通话率、阻塞通话率及系统占线率,实现一种企业客服热线信道最佳资源配置的预测模型。
基金supported by the National Natural Science Foundation of China under Grants No. 60773049,No. 61003288,No.61111130184the Ph.D. Programs Foundation of Ministry of Education of China under Grant No. 20093227110005the Natural Science Foundation of Jiangsu Province under Grant No.BK2010192
文摘To provide an optimal alternative to traditional Transmission Control Protocol(TCP)-based transport technologies,Aspera's Fast and Secure Protocol(FASP)is proposed as an innovative bulky data transport technology.To accurately analyse the reliability and rapidness of FASP,an automated formal technique - probabilistic model checking - is used for formally analysing FASP in this paper.First,FASP's transmission process is decomposed into three modules:the Sender,the Receiver and the transmission Channel.Each module is then modelled as a Continuous-Time Markov Chain(CTMC).Second,the reward structure for CTMC is introduced so that the reliability and rapidness can be specified with the Continuous-time Stochastic Logic(CSL).Finally,the probabilistic model checker,PRISM is used for analysing the impact of different parameters on the reliability and rapidness of FASP.The probability that the Sender finishes sending data and the Receiver successfully receives data is always 1,which indicates that FASP can transport data reliably.The result that FASP takes approximately 10 s to complete transferring the file of 1 G irrespective of the network configuration shows that FASP can transport data very quickly.Further,by the comparison of throughput between FASP and TCP under various latency and packet loss conditions,FASP's throughput is shown to be perfectly independent of network delays and robust to extreme packet loss.
基金funded by the National Natural Science Foundation of China (Grant No.U1934219)the National Science Fund for Excellent Young Scholars (Grant No.52022010)the Technological Research and Development Program of China Railway Corporation under grants (Grant No.L2021G008).
文摘With the development of railway construction in China,the computing demand of the train control system is increasing day by day.The application of cloud computing technology on the rail transit signal system has become a research hotspot in recent years.How to improve the safety and availability of the safety computer platform in the cloud computing environment is the key problem when applying cloud computing to the train operation control system.Since the cloud platform is in an open network environment,fac-ing many security vulnerabilities and malicious network attacks,it is necessary to monitor the operation of computer programmes through edge safety nodes.Firstly,this paper encrypts the logical monitoring method,and then proposes a secure computer de fence model based on the dynamic heterogeneous redundancy structure.Then the continuous time Markov chain(CTMC)is used to quantitatively solve the stable probability of the system,and the influence of different logical monitoring methods on the anti-attack performance of the system is analysed.Finally,the experiment proves that the dynamic heterogeneous redundancy structure composed of encryption logic monitoring can guarantee the safe and stable operation of the safety computer more effectively.
