QQ客服 官方微博 反馈留言

浏览/检索结果: 共32条，第1-10条 帮助 限定条件 发表日期：2015    专题：北京大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 锡林郭勒草原遥感植被物候的地面照相验证 期刊论文 草业科学, 2015 杨晓芳; 陈效逑; 罗翔中 收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03 草原物候  卫星遥感  地面照相  实地验证  grassland phenology  satellite remote sensing  ground photography  in situ verification   An Indoor Continuous Positioning Algorithm on the Move by Fusing Sensors and Wi-Fi on Smartphones 期刊论文 SENSORS, 2015 Li, Huaiyu; Chen, Xiuwan; Jing, Guifei; Wang, Yuan; Cao, Yanfeng; Li, Fei; Zhang, Xinlong; Xiao, Han 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 indoor positioning  Wi-Fi  PDR  multi-sensor fusion  TCPF  EXTENDED KALMAN FILTER  LOCALIZATION   Use of UAV oblique imaging for the detection of individual trees in residential environments 期刊论文 URBAN FORESTRY & URBAN GREENING, 2015 Lin, Yi; Jiang, Miao; Yao, Yunjun; Zhang, Lifu; Lin, Jiayuan 收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03 Aerial oblique imaging  Individual tree detection  Residential environment  Ultra high spatial resolution  Unmanned aerial vehicle  UNMANNED AERIAL VEHICLE  REMOTE-SENSING DATA  VEGETATION FRACTION  IMAGES  EXTRACTION  RECONSTRUCTION  VERIFICATION  CAMERA   A regional ionospheric TEC mapping technique over China and adjacent areas on the basis of data assimilation 期刊论文 JOURNAL OF GEOPHYSICAL RESEARCH-SPACE PHYSICS, 2015 Aa, Ercha; Huang, Wengeng; Yu, Shimei; Liu, Siqing; Shi, Liqin; Gong, Jiancun; Chen, Yanhong; Shen, Hua 收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03 TEC mapping  ionospheric data assimilation  Kalman filter  GPS INSTRUMENTAL BIAS  ELECTRON-DENSITY  MODEL   Research on GIS Using in Verification System for State-invested Geological Exploration 其他 2015-01-01 Chen, Xiaohong; Pan, Mao; Xu, Yang; Wang, Yanmei 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 GIS  State-invested Geological Survey  spatial analysis  image registration   Artificial neural networks forecasting of PM2.5 pollution using air mass trajectory based geographic model and wavelet transformation 期刊论文 大气环境, 2015 Feng, Xiao; Li, Qi; Zhu, Yajie; Hou, Junxiong; Jin, Lingyan; Wang, Jingjie 收藏  |  浏览/下载：4/0  |  提交时间：2015/11/10 Modeling and verification of component connectors in Coq 其他 2015-01-01 Li, Yi; Sun, Meng 收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03 Coordination  Reo  Connector  Coq  Verification  COORDINATION  CHECKING  REO  QOS   3D Algebraic Iterative Reconstruction for Cone-Beam X-Ray Differential Phase-Contrast Computed Tomography 其他 2015-01-01 Fu, Jian; Hu, Xinhua; Velroyen, Astrid; Bech, Martin; Jiang, Ming; Pfeiffer, Franz 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/11 IMAGE-RECONSTRUCTION  GRATING INTERFEROMETER  SYNCHROTRON-RADIATION  ALGORITHMS  TOPOGRAPHY  FORMULA  CT   Verifying Interaction between Methods in Classes 其他 2015-01-01 Hu, Tingting; Wang, Shuling; Qiu, Zongyan 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 Object-orientation  Algebraic specification  Abstract predicates  Verification  Behavioral subtyping  SPECIFICATIONS  CHECKING   Decidability of the Reachability for a Family of Linear Vector Fields 其他 2015-01-01 Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03 Tarski&apos  Polynomial-exponential function  Reachability  Real root isolation  Cylindrical Algebraic Decomposition (CAD)  CYLINDRICAL ALGEBRAIC DECOMPOSITION  QUANTIFIER ELIMINATION  HYBRID SYSTEMS  IMPROVED PROJECTION  AUTOMATA  s algebra