机构

• 软件研究所 [11]
• 自动化研究所 [4]
• 地质与地球物理研究所 [2]
• 国家空间科学中心 [2]
• 中国科学院大学 [2]
• 新疆理化技术研究所 [1]
• 更多

采集方式

• OAI收割 [22]
• iSwitch采集 [2]

内容类型

• 期刊论文 [19]
• 会议论文 [4]
• 学位论文 [1]

发表日期

• 2022 [1]
• 2021 [1]
• 2020 [1]
• 2019 [1]
• 2018 [2]
• 2017 [1]
• 更多

学科主题

• Computer S... [3]
• Computer S... [1]
• 空间物理 [1]

筛选

浏览/检索结果: 共24条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Day-To-Day Variability of the MLT DE3 Using Joint Analysis on Observations From TIDI-TIMED and a Meteor Radar Meridian Chain 期刊论文  OAI收割 JOURNAL OF GEOPHYSICAL RESEARCH-ATMOSPHERES, 2022, 卷号: 127, 期号: 3, 页码: 16 作者:  Zhou, Xu;  Yue, Xinan;  Yu, You;  Hu, Lianhuan   |  收藏  |  浏览/下载：26/0  |  提交时间：2022/07/06 atmospheric tides  day-to-day variability  TIDI-TIMED  meteor radar  WACCM-X   Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 179-188 作者:  Zhou He;  Ziyue Ma;  Zhiwu Li;  Alessandro Giua   |  收藏  |  浏览/下载：37/0  |  提交时间：2021/04/09 Discrete event system  resource allocation  timed Petri net  weighted marked graph   Design and model checking of timed automata oriented architecture for Internet of thing 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2020, 卷号: 16, 期号: 5, 页码: 1-13 作者:  Chen, G (Chen, Guang)[ 1,2,3,4 ];  Jiang, TH (Jiang, Tonghai)[ 1,5 ];  Wang, M (Wang, Meng)[ 1,3,4 ];  Tang, XY (Tang, Xinyu)[ 1,3,4 ];  Ji, WF (Ji, Wenfei)[ 1,2,3,4 ]   |  收藏  |  浏览/下载：23/0  |  提交时间：2020/07/06 Internet of thing  architecture  timed automata  modeling  model checking  UPPAAL   Gravity Wave Propagation from the Stratosphere into the Mesosphere Studied with Lidar, Meteor Radar, and TIMED/SABER 期刊论文  OAI收割 ATMOSPHERE, 2019, 卷号: 10, 期号: 2, 页码: 81 作者:  Gong, Shaohua;  Yang, Guotao;  Xu, Jiyao;  Liu, Xiao;  Li, Qinzeng   |  收藏  |  浏览/下载：59/0  |  提交时间：2019/04/04 Gravity Wave  Lidar  Meteor Radar  Timed  Saber  The Middle And Upper Atmosphere   The Responses of Ozone Density to Solar Activity in the Mesopause Region and the Mutual Relationship Based on SABER Measurements During 2002-2016 期刊论文  OAI收割 JOURNAL OF GEOPHYSICAL RESEARCH-SPACE PHYSICS, 2018, 期号: 4, 页码: 3039-3049 作者:     |  收藏  |  浏览/下载：30/0  |  提交时间：2019/08/26 cold-point mesopause  ozone density  solar response  solar activity  TIMED  SABER   Model Predictive Control for Discrete and Continuous Timed Petri Nets 期刊论文  OAI收割 International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 1, 页码: 25-38 作者:  Marwa Taleb;  Edouard Leclercq;  Dimitri Lefebvre   |  收藏  |  浏览/下载：10/0  |  提交时间：2021/02/23 Model predictive control  timed continuous Petri net (TCPN)  T-timed discrete Petri net (T-TDPN)  fluidification  optimization  constant control.   An Improved Timed Communication Buoy System 期刊论文  OAI收割 MARINE TECHNOLOGY SOCIETY JOURNAL, MARINE TECHNOLOGY SOCIETY JOURNAL, 2017, 2017, 卷号: 51, 51, 期号: 4, 页码: 23-30, 23-30 作者:  Xu, Ming;  Tian, Jiwei;  Zhao, Wei;  Yang, Qingxuan;  Tian, Chuan   |  收藏  |  浏览/下载：28/0  |  提交时间：2017/11/24 Timed Communication Buoy System  Timed Communication Buoy System  Subsurface Mooring System  Autonomous Communication Float  Subsurface Mooring System  Autonomous Communication Float   具体反例生成与图形化显示系统 期刊论文  OAI收割 计算机系统应用, 2013, 期号: 11, 页码: 51-57 信贤卫   |  收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16 时间自动机  模型检测  LTL性质  反例生成  模拟器  timed automata  model checking  LTL properties  counterexample generation  simulator   Analysis on the global morphology of middle atmospheric gravity waves 期刊论文  OAI收割 CHINESE JOURNAL OF GEOPHYSICS-CHINESE EDITION, 2011, 卷号: 54, 期号: 7, 页码: 1711-1717 作者:  Zhang Yun;  Xiong Jian-Gang;  Wan Wei-Xing   |  收藏  |  浏览/下载：14/0  |  提交时间：2018/09/26 Gravity wave  Middle atmosphere  SABER/TIMED  Temperature perturbation   RFID基准测试系统设计及性能分析研究 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2010 作者:  刘禹 收藏  |  浏览/下载：33/0  |  提交时间：2015/09/02 射频识别  基准测试  方法学  赋时Petri网  试验设计方法  RFID  Benchmarking  methodology  Timed Petri Nets  design of experiments