机构

• 软件研究所 [16]
• 自动化研究所 [4]
• 地理科学与资源研究所 [1]
• 中国科学院大学 [1]
• 沈阳自动化研究所 [1]
• 生态环境研究中心 [1]
• 更多

采集方式

• OAI收割 [23]
• iSwitch采集 [1]

内容类型

• 期刊论文 [18]
• 会议论文 [6]

发表日期

• 2024 [1]
• 2022 [3]
• 2014 [3]
• 2012 [2]
• 2011 [1]
• 2010 [1]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]

筛选

浏览/检索结果: 共24条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 10, 页码: 2082-2098 作者:  Wei Ren;  Zhuo-Rui Pan;  Weiguo Xia;  Xi-Ming Sun   |  收藏  |  浏览/下载：2/0  |  提交时间：2024/09/03 Abstraction-based control design  dynamic quantization  formal methods  linear temporal logic (LTL)   Fuzzy Logic Modeling of Land Degradation in a Loess Plateau Watershed, China 期刊论文  OAI收割 REMOTE SENSING, 2022, 卷号: 14, 期号: 19, 页码: 19 作者:  Lu, Ang;  Tian, Peng;  Mu, Xingmin;  Zhao, Guangju;  Feng, Qingyu   |  收藏  |  浏览/下载：41/0  |  提交时间：2022/11/09 land degradation index  fuzzy logic modeling  spatial and temporal distribution  Huangfuchuan watershed  Loess Plateau   SE-GRU: Structure Embedded Gated Recurrent Unit Neural Networks for Temporal Link Prediction 期刊论文  OAI收割 IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, 2022, 卷号: 9, 期号: 4, 页码: 2495-2509 作者:  Yin, Yanting;  Wu, Yajing;  Yang, Xuebing;  Zhang, Wensheng;  Yuan, Xiaojie   |  收藏  |  浏览/下载：51/0  |  提交时间：2022/07/25 Time-frequency analysis  Feature extraction  Predictive models  Optimization  Topology  Measurement  Logic gates  Temporal link prediction  dynamic graphs  graph embedding  neural networks   Fuzzy Logic Modeling of Land Degradation in a Loess Plateau Watershed, China 期刊论文  OAI收割 REMOTE SENSING, 2022, 卷号: 14, 期号: 19, 页码: 4779-1-19 作者:  Lu, Ang;  Tian, Peng;  Mu, Xingmin;  Zhao, Guangju;  Feng, Qingyu   |  收藏  |  浏览/下载：21/0  |  提交时间：2023/02/02 land degradation index  fuzzy logic modeling  spatial and temporal distribution  Huangfuchuan watershed  Loess Plateau   A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文  OAI收割 Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174 Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)   |  收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 Model checking  Linear temporal logic  Distributed memory algorithm  Formal method  Scalable algorithm  Reliable model checker   Compensation by design 期刊论文  OAI收割 Formal Aspects of Computing, 2014, 卷号: 26, 期号: 4, 页码: 623-676 Liu, Xi (1); Yang, Shaofa (2); Sanders, J.W. (3)   |  收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16 Service computing  Long-running transaction  Compensation  Temporal logic   Plan library and conventions of space robot system 期刊论文  OAI收割 International Journal of Control and Automation, 2014, 卷号: 7, 期号: 8, 页码: 103-116 作者:  Yu C(余岑)   |  收藏  |  浏览/下载：31/0  |  提交时间：2014/11/03 Discrete Event Simulation  Petri Nets  Planning  Space Research  Temporal Logic   a concurrent temporal programming model with atomic blocks 会议论文  OAI收割 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12, 2012 - November 16, 2012 Yang Xiaoxiao; Zhang Yu; Fu Ming; Feng Xinyu   |  收藏  |  浏览/下载：28/0  |  提交时间：2013/09/22 Logic programming  Temporal logic   productive information system oriented trust chain scheme 期刊论文  OAI收割 Telkomnika, 2012, 卷号: 10, 期号: 5, 页码: 1093-1100 Tian Li-Ye; Shen Chang-Xiang   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17 Temporal logic   probabilistic model checking on propositional projection temporal logic 会议论文  OAI收割 International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16, Yang Xiaoxiao 收藏  |  浏览/下载：18/0  |  提交时间：2011/10/10 Algorithms  Computer hardware  Computer science  Engineers  Markov processes  Probabilistic logics  Temporal logic