Search

Your search keyword '"Wei, Yingxia"' showing total 21 results
Start Over Author "Wei, Yingxia"
21 results on '"Wei, Yingxia"'

6. Direct observation of laser guided corona discharges

Author

Wang, Tie-Jun, Wei, Yingxia, Liu, Yaoxiang, Chen, Na, Liu, Yonghong, Ju, Jingjing, Sun, Haiyi, Wang, Cheng, Lu, Haihe, Liu, Jiansheng, Chin, See Leang, Li, Ruxin, and Xu, Zhizhan

Subjects
Physics - Optics, Physics - Plasma Physics
Abstract

Laser based lightning control holds a promising way to solve the problem of the long standing disaster of lightning strikes. But it is a challenging project due to insufficient understanding of the interaction between laser plasma channel and high voltage electric filed. In this work, a direct observation of laser guided corona discharge is reported. The high voltage corona discharge can be guided along laser plasma filament, and enhanced through the interaction with laser filaments. The fluorescence lifetime of laser filament guided corona discharge was measured to be several microseconds, which is 3 orders of magnitude longer than the fluorescence lifetime of laser filaments. This could be advantageous towards laser assisted leader development in the atmosphere.

Published
2015
Full Text
View/download PDF

13. 飞秒激光成丝的衍射分析方法

Author

Zheng Hengyi, 郑恒毅, primary, Yin Fukang, 尹富康, additional, Wang Tiejun, 王铁军, additional, Liu Yaoxiang, 刘尧香, additional, Wei Yingxia, 魏迎霞, additional, Zhu Bin, 朱斌, additional, Zhou Kainan, 周凯南, additional, and Leng Yuxin, 冷雨欣, additional

Published
2022
Full Text
View/download PDF

14. 飞秒激光成丝的衍射分析方法

Author

郑恒毅 Zheng Hengyi, 尹富康 Yin Fukang, 王铁军 Wang Tiejun, 刘尧香 Liu Yaoxiang, 魏迎霞 Wei Yingxia, 朱斌 Zhu Bin, 周凯南 Zhou Kainan, and 冷雨欣 Leng Yuxin

Subjects
Electrical and Electronic Engineering, Atomic and Molecular Physics, and Optics, Electronic, Optical and Magnetic Materials
Published
2022

15. From Offline Towards Real-Time Verification for Robot Systems

Author

Wei Yingxia, Yong Guan, Yu Jiang, Xiaoyu Song, Xiaojuan Li, Rui Wang, and Houbing Song

Subjects
Correctness, Network packet, Computer science, 020208 electrical & electronic engineering, Real-time computing, Runtime verification, 02 engineering and technology, Computer Science Applications, Robotic systems, Control and Systems Engineering, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Electrical and Electronic Engineering, Formal verification, Collision avoidance, Information Systems
Abstract

Robot systems have been widely used in industry and also play an important role in human social life. Safety critical applications usually demand rigorously formal verification to ensure correctness. But for the increasing complexity of dynamic environments and applications, it is not easy to build a comprehensive model for the traditional offline verification. In this paper, we propose RobotRV , the first data-centered real-time verification approach for the robot system. Within this approach, a domain-specific language named RoboticSpec is designed to specify the complex application scenario of the robot system, the data packets transmitted in the robot system, and the safety critical temporal properties. Then, we develop an engine to automatically translate the RoboticSpec model into a real-time verifier. The generated verifier serves as an independent plug-in component for the runtime verification of concerned temporal properties. We applied the proposed approach to a real robot system. As presented in experiment results, our method detected potential failures, and improved the safety of robot system.

Published
2018

18. Direct observation of laser guided corona discharges

Author

Wang, Tie-Jun, primary, Wei, Yingxia, additional, Liu, Yaoxiang, additional, Chen, Na, additional, Liu, Yonghong, additional, Ju, Jingjing, additional, Sun, Haiyi, additional, Wang, Cheng, additional, Lu, Haihe, additional, Liu, Jiansheng, additional, Chin, See Leang, additional, Li, Ruxin, additional, and Xu, Zhizhan, additional

Published
2015
Full Text
View/download PDF

20. Pulse repetition-rate effect on the intensity inside a femtosecond laser filament in air

Author

Yin, Fukang, Long, Juan, Liu, Yaoxiang, Wei, Yingxia, Zhu, Bin, Zhou, Kainan, Wang, Tie-Jun, Leng, Yuxin, and Li, Ruxin

Abstract

AbstractAs intense, ultrashort, kHz-repetition-rate laser systems become commercially available, pulse cumulative effects are critical for laser filament-based applications. In this work, the pulse repetition-rate effect on femtosecond laser filamentation in air was investigated both numerically and experimentally. The pulse repetition-rate effect has negligible influence at the leading edge of the filament. Clear intensity enhancement from a high-repetition pulse is observed at the peak and tailing edge of the laser filament. As the repetition rate of the laser pulses increases from 100 to 1000 Hz, the length of the filament extends and the intensity inside the filament increases. A physical picture based on the pulse repetition-rate dependent ‘low-density hole’ effect on filamentation is proposed to explain the obtained results well.

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results