Ambiguity resolution for smartphone GNSS precise positioning: effect factors and performance von Li, Bofeng, Miao, Weikai, Chen, Guang’e, Li, Zhong

Volltext

A Survey on Data-Flow Testing von Su, Ting, Wu, Ke, Miao, Weikai, Pu, Geguang, He, Jifeng, Chen, Yuting, Su, Zhendong

Volltext

Vectorial integer bootstrapping of best integer equivariant estimation (VIB-BIE) for efficient and reliable GNSS ambiguity resolution von Miao, Weikai, Li, Bofeng, Gao, Yang, Chen, Guang’e

Volltext

Models, methods and assessment of four-frequency carrier ambiguity resolution for BeiDou-3 observations von Zhang, Zhetao, Li, Bofeng, He, Xiufeng, Zhang, Zhiteng, Miao, Weikai

Volltext

A Formal Engineering Framework for Service-Based Software Modeling von Miao, Weikai, Liu, Shaoying

Volltext

A formal specification animation method for operation validation von Liu, Shaoying, Miao, Weikai

Volltext

Automated coverage-driven testing： combining symbolic execution and model checking von Su, Ting, Pu, Geguang, Miao, Weikai, He, Jifeng, Su, Zhendong

Volltext

An Enhanced Piezoelectric Vibration Energy Harvesting System with Macro Fiber Composite von Xu, Minglong, Yan, Bo, Luo, Yajun, Miao, Weikai, Zhang, Shuwen

Volltext

The Superiority of Multi-GNSS L5/E5a/B2a Frequency Signals in Smartphones: Stochastic Modeling, Ambiguity Resolution, and RTK Positioning von Miao, Weikai, Li, Bofeng, Gao, Yang

Volltext

Improved precise positioning with BDS-3 quad-frequency signals von Li, Bofeng, Zhang, Zhiteng, Miao, Weikai, Chen, Guang’e

Volltext

DISTRIBUTION OF BTEX IN FREEZE-THAW SOIL SYSTEM AND ITS RELATIONSHIP WITH SOIL PHYSICAL AND CHEMICAL PROPERTIES von Miao, Yue, Cao, Weikai, Zhang, Lei, Zhao, Qi, Ding, Ruidong, Wang, Song

Volltext

An Automated Test Case Generation Approach based on Activity Diagrams of SysML von Yin, Yufei, Xu, Yiqun, Miao, Weikai, Chen, Yixiang

Volltext

Automated Safety Analysis on Scenario-Based Requirements for Train Control System von Wang, Xi, Miao, Huaikou, Miao, Weikai

Volltext

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction von Liu, Shaoying, Wang, Xi, Miao, Weikai

Volltext

Research progress in the enhancement technology of soil vapor extraction of volatile petroleum hydrocarbon pollutants von Cao, Weikai, Zhang, Lei, Miao, Yue, Qiu, Lufan

Volltext

Design and Performance Analysis of a New M -Ary Differential Chaos Shift Keying With Index Modulation von Cai, Xiangming, Xu, Weikai, Miao, Meiyuan, Wang, Lin

Volltext

Design and Analysis of Replica Piecewise M-Ary DCSK Scheme for Power Line Communications With Asynchronous Impulsive Noise von Miao, Meiyuan, Wang, Lin, Chen, Guanrong, Xu, Weikai

Volltext

Hybrid Modulation Scheme Combining PPM With Differential Chaos Shift Keying Modulation von Miao, Meiyuan, Wang, Lin, Katz, Marcos, Xu, Weikai

Volltext

Closed-Form Expressions of Upper Bound for Polarization-MDCSK System von Miao, Meiyuan, Wang, Lin, Xu, Weikai

Volltext

Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study von Tang, Xudong, Wang, Qiang, Miao, Weikai

Volltext