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.展开更多
基金supported by the National Key Research and Development Program of China(2016YFB0100204)National Natural Science Foundation of China(21373028)+1 种基金Joint Funds of the National Natural Science Foundation of China(U1564206)Major achievements Transformation Project for Central University in Beijing,Beijing Science and Technology Project(D151100003015001)~~
文摘以海藻酸为碳源,采用流变相法制备出碳包覆改性的Li_3V_2(PO_4)_3/C(LVP/C)正极材料。X射线衍射(XRD)结果显示所合成样品均为标准的单斜结构Li_3V_2(PO_4)_3。扫描电子显微镜(SEM)和透射电子显微镜(TEM)图像显示所合成的LVP/C活性材料颗粒尺寸较均匀。海藻酸质量分数为10%的LVP/C样品展现出最优的循环稳定性。0.1C放电电流下,首次放电容量为117.5 m Ah?g^(-1),50周循环后容量保持在116.5m Ah?g^(-1)。LVP/C-10%材料在3.0–4.3 V和3.0–4.8 V电压范围内循环50周后的容量保持率分别为99.1%和76.8%,明显优于未包覆的LVP材料。海藻酸基碳包覆层可以有效增加材料的电子导电性、缓冲活性材料在脱嵌锂过程产生的机械损伤,进而提高材料的电化学性能。
基金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.
