维普中文期刊产品整合服务
3篇 您的检索式:作者名="Weikai MIAO"
    题名 作者 年代 出处 被引量
1Improved precise positioning with BDS-3 quad-frequency signals显示文摘The establishment of the BeiDou global navigation satellite system(BDS-3)has been completed,and the current constellation can independently provide positioning service globally.BDS-3 satellites provide quad-frequency signals,which can benefit the ambiguity resolution(AR)and high-precision positioning.This paper discusses the benefits of quad-frequency observations,including the precision gain of multi-frequency high-precision positioning and the sophisticated choice of extra-wide-lane(EWL)or wide-lane(WL)combinations for instantaneous EWL/WL AR.Additionally,the performance of EWL real-time kinematic(ERTK)positioning that only uses EWL/WL combinations is investigated.The results indicate that the horizontal positioning errors of ERTK positioning using ionosphere-free(IF)EWL observations are approximately 0.5 m for the baseline of 27 km and 1 m for the baseline of 300 km.Furthermore,the positioning errors are reduced to the centimetre level if the IF EWL observations are smoothed by narrow-lane observations for a short period.Bofeng Li Zhiteng Zhang Weikai Miao Guang’e Chen 2020Satellite Navigation2020,1,1:4
2Automated coverage-driven testing: combining symbolic execution and model checking显示文摘Software testing is the primary way to ensure software quality,but occupies more than 50%the cost of software development[1].It was estimated that software failures cost the US economy alone about 60 billion each year largely due to inadequate software testing infrastructures[2].Ting SU Geguang PU Weikai MIAO Jifeng HE Zhendong SU 2016Science China(Information Sciences)2016,59,9:0
3Performance Predictable ServiceBSP Model for Grid Computing显示文摘This paper proposes a performance prediction model for grid computing model ServiceBSP to support developing high quality applications in grid environment. In ServiceBSP model,the agents carrying computing tasks are dispatched to the local domain of the selected computation services. By using the IP(in-teger program) approach,the Service Selection Agent selects the computation services with global optimized QoS(quality of ser-vice) consideration. The performance of a ServiceBSP application can be predicted according to the performance prediction model based on the QoS of the selected services. The performance pre-diction model can help users to analyze their applications and improve them by optimized the factors which affects the perform-ance. The experiment shows that the Service Selection Agent can provide ServiceBSP users with satisfied QoS of applications.TONG Weiqin MIAO Weikai 2007Wuhan University Journal of Natural Sciences2007,12,5:0
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费