中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

已选(0)清除 条数/页：   排序方式：
Longitudinal Control for Balloon-Borne Launched Solar Powered UAVs in Near-Space 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2022, 卷号: 35, 期号: 3, 页码: 802-819
作者:  Hu Yanpeng;  Guo Jin;  Meng Wenyue;  Liu Guanyu;  Xue Wenchao
收藏  |  浏览/下载：75/0  |  提交时间：2023/02/07
Aeroelastic model  balloon-borne flight test  flight dynamic model  longitudinal control  numerical simulation  solar powered UAV  
Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266
作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan
收藏  |  浏览/下载：94/0  |  提交时间：2018/07/30
Geometry theorem proving  Proof with hierarchical structures  Visually dynamic presentation of proof  Dynamic geometry  Full-angle  Deductive database  Fixpoint  Unordered geometry  Hilbert geometry  Tarski geometry