为了进一步提高平台配置远程证明机制的实用性,针对RAMT(remote attestation based on Merkle hashtree)方案的不足,基于Chameleon哈希算法,采用软件分组的思想,改进了RAMT方案,给出了实验证明。认真讨论了RAMT方案的特点,详细描述了改...为了进一步提高平台配置远程证明机制的实用性,针对RAMT(remote attestation based on Merkle hashtree)方案的不足,基于Chameleon哈希算法,采用软件分组的思想,改进了RAMT方案,给出了实验证明。认真讨论了RAMT方案的特点,详细描述了改进后的RAMT方案的体系结构、度量及验证过程,并深入讨论了新机制的特点。实验结果表明,新机制不仅提高了远程证明机制的可伸缩性,而且进一步增强了隐私保护能力,从而进一步提高了方案的实用性。展开更多
互联网和IT化的发展,给运营商带来了前所未有的机遇和挑战。通信网和IT化技术融合,有助于解决新业务发展面临的问题。为此,分析现阶段云网专线业务调度方式存在业务部署周期较长的情况,提出传输网引入软件定义网络(Software Defined Net...互联网和IT化的发展,给运营商带来了前所未有的机遇和挑战。通信网和IT化技术融合,有助于解决新业务发展面临的问题。为此,分析现阶段云网专线业务调度方式存在业务部署周期较长的情况,提出传输网引入软件定义网络(Software Defined Network,SDN)架构的方案,通过新旧调度模式的对比说明软件定义的分组传送网(Software Defined Packet Transport Network,SPTN)智能调度为云网专线的建设和维护带来的效率提升。展开更多
By the use of ANSYS/LS-DYNA FEA software,numerical simulation on the cutting process of cutting plates with a reamer was carried out in the paper. The logical improvement was brought forward and the phenomenon of stre...By the use of ANSYS/LS-DYNA FEA software,numerical simulation on the cutting process of cutting plates with a reamer was carried out in the paper. The logical improvement was brought forward and the phenomenon of stress concentration was deceased by weighted analysis. The effects of different cut velocities and cutting thickness on life-spans of reamers were investigated, and the cutting parameters were optimized to satisfy the cutting precision and cutting efficiency. The study will provide a guide for the practical production.展开更多
In this paper, we propose a software component under Windows that generates pseudo random numbers using RDS （Refined Descriptive Sampling） as required by the simulation. RDS is regarded as the best sampling method a...In this paper, we propose a software component under Windows that generates pseudo random numbers using RDS （Refined Descriptive Sampling） as required by the simulation. RDS is regarded as the best sampling method as shown in the literature. In order to validate the proposed component, its implementation is proposed on approximating integrals. The simulation results from RDS using ＂RDSRnd＂ generator were compared to those obtained using the generator ＂Rnd＂ included in the Pascal programming language under Windows. The best results are given by the proposed software component.展开更多
Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debuggin...Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point(CP) problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model(MMISQM) is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.展开更多
文摘为了进一步提高平台配置远程证明机制的实用性,针对RAMT(remote attestation based on Merkle hashtree)方案的不足,基于Chameleon哈希算法,采用软件分组的思想,改进了RAMT方案,给出了实验证明。认真讨论了RAMT方案的特点,详细描述了改进后的RAMT方案的体系结构、度量及验证过程,并深入讨论了新机制的特点。实验结果表明,新机制不仅提高了远程证明机制的可伸缩性,而且进一步增强了隐私保护能力,从而进一步提高了方案的实用性。
文摘互联网和IT化的发展,给运营商带来了前所未有的机遇和挑战。通信网和IT化技术融合,有助于解决新业务发展面临的问题。为此,分析现阶段云网专线业务调度方式存在业务部署周期较长的情况,提出传输网引入软件定义网络(Software Defined Network,SDN)架构的方案,通过新旧调度模式的对比说明软件定义的分组传送网(Software Defined Packet Transport Network,SPTN)智能调度为云网专线的建设和维护带来的效率提升。
文摘By the use of ANSYS/LS-DYNA FEA software,numerical simulation on the cutting process of cutting plates with a reamer was carried out in the paper. The logical improvement was brought forward and the phenomenon of stress concentration was deceased by weighted analysis. The effects of different cut velocities and cutting thickness on life-spans of reamers were investigated, and the cutting parameters were optimized to satisfy the cutting precision and cutting efficiency. The study will provide a guide for the practical production.
文摘In this paper, we propose a software component under Windows that generates pseudo random numbers using RDS （Refined Descriptive Sampling） as required by the simulation. RDS is regarded as the best sampling method as shown in the literature. In order to validate the proposed component, its implementation is proposed on approximating integrals. The simulation results from RDS using ＂RDSRnd＂ generator were compared to those obtained using the generator ＂Rnd＂ included in the Pascal programming language under Windows. The best results are given by the proposed software component.
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Natural ScienceFoundation of China(No.60503015)+1 种基金the National Key R&D Program of China(No.2013BA17F02)the Shandong Province Science andTechnology Program of China(No.2011GGX10108,2010GGX10104)
文摘Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point(CP) problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model(MMISQM) is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.
