|
|
|
|
|
Dongye Lv, Hanbing Liu, Qiang Miao, Wensheng Wang, Guojin Tan, Chengwei Shi and Hanjun Li
The passivation behavior of steel reinforcements in concrete is significantly influenced by the environment, concrete pore solution, and the passive film formed on the steel surface. The present study used electrochemical methods to successfully characte...
ver más
|
|
|
|
|
|
|
|
|
|
|
Guoqiang Hao, Qiang Lv, Zhen Huang, Huanlong Zhao and Wei Chen
The obstacle avoidance system of a drone affects the quality of its flight path. The artificial potential field method can react quickly when facing obstacles; however, the traditional artificial potential field method lacks consideration of the position...
ver más
|
|
|
|
|
|
|
|
|
|
|
Heng Wei, Qiang Lv, Nanxun Duo, GuoSheng Wang and Bing Liang
In recent years, the formation control of multi-mobile robots has been widely investigated by researchers. With increasing numbers of robots in the formation, distributed formation control has become the development trend of multi-mobile robot formation ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Chang?an Wang, Qinqin Feng, Qiang Lv, Lin Zhao, Yongbo Du, Pengqian Wang, Jingwen Zhang and Defu Che
|
|
|
|
|
|
|
|
|
|
|
Xiguang Liu, Ditao Niu, Xingchen Li, Yao Lv and Qiang Fu
This paper presents an in-situ inspection and experimental investigation on the pore solution pH of concrete cover for the corrosion initiation of rebars under a long-term natural carbonation reaction. A 77-year-old steel mill was inspected, and 35 concr...
ver más
|
|
|
|
|
|
|
|
|
|
|
Wei Gao, Hengyi Lv, Qiang Zhang and Dunbo Cai
The satisfiability modulo theories (SMT) problem is to decide the satisfiability of a logical formula with respect to a given background theory. This work studies the counting version of SMT with respect to linear integer arithmetic (LIA), termed SMT(LIA...
ver más
|
|
|
|
|
|