×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [10]
北京大学 [7]
大连理工大学 [2]
上海大学 [2]
安徽大学 [2]
清华大学 [1]
更多...
内容类型
期刊论文 [20]
会议论文 [5]
专著章节/文集论文 [1]
其他 [1]
学位论文 [1]
发表日期
2020 [1]
2018 [1]
2017 [1]
2016 [4]
2015 [1]
2013 [3]
更多...
学科主题
Computer S... [2]
Computer S... [1]
计算机软件::软件理... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共28条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Applying Multi-Temporal Landsat Satellite Data and Markov-Cellular Automata to Predict Forest Cover Change and Forest Degradation of Sundarban Reserve Forest, Bangladesh
期刊论文
FORESTS, 2020, 卷号: 11, 期号: 9, 页码: 35
作者:
Hasan, Mohammad Emran
;
Nath, Biswajit
;
Sarker, A. H. M. Raihan
;
Wang, Zhihua
;
Zhang, Li
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2021/03/16
land cover
forest cover change
spatial forest health quality
forest degradation
multi-temporal Landsat satellite image
Markov-cellular automata model
Sundarban Reserve Forest
Bangladesh
Learning Automata-Based Data Aggregation Tree Construction Framework for Cyber-Physical Systems
期刊论文
IEEE SYSTEMS JOURNAL, 2018, 卷号: 12, 页码: 1467-1479
作者:
Ren, Jiankang
;
Wu, Guowei
;
Su, Xiaoyan
;
Cui, Guanghai
;
Xia, Feng
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2019/12/02
Cyber-physical system (CPS)
data aggregation tree
energy-efficient
learning automata (LA)
real-time
Reachability in Fuzzy Game Graphs
期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Li, Dechao
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/12/03
Fuzzy automaton
fuzzy logic
fuzzy transition system (FTS)
game graph
reachability
DISCRETE-EVENT SYSTEMS
COMPUTATION TREE LOGIC
OMEGA-REGULAR GAMES
MODEL CHECKING
TRANSITION-SYSTEMS
SUPERVISORY CONTROL
FINITE AUTOMATA
MOBILE ROBOT
APPROXIMATION
SIMULATION
Model checking computation tree logic over finite lattices
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Ma, Zhanyou
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
Model checking
Computation tree logic
Lattice
Weighted automata
QUANTUM LOGIC
MULTIVALUED LOGICS
AUTOMATA
TIME
Trace Abstraction Refinement for Solving Horn Clauses
期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF
;
Jiao, L
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2016/12/09
Horn clauses
trace abstraction refinement
program verification
solvability
基于Pushdown系统证明的可视化
学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2016/06/21
deductive reasoning
formal verification
alternating pushdown system
infinite state systems
Learning Automata-Based Data Aggregation Tree Construction Framework for Cyber-Physical Systems
期刊论文
IEEE Systems Journal, 2016
作者:
Ren JK(任健康)
;
Wu GW(吴国伟)
;
Xia F(夏锋)
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/09
Model checking fuzzy computation tree logic
期刊论文
fuzzy sets and systems, 2015
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Ma, Zhanyou
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2015/11/11
Model checking
Temporal logic
Computation tree logic
Fuzzy logic
Triangular norm
TEMPORAL LOGIC
MULTIVALUED LOGICS
RESIDUATED LATTICE
AUTOMATA
BISIMULATIONS
SYSTEMS
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA
期刊论文
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2
Song, Lei
;
Zhang, Lijun
;
Godskesen, Jens Chr.
;
Nielson, Flemming
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
PCTL
Probabilistic automata
Characterization
Bisimulation
Incremental bisimulation abstraction refinement
会议论文
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1)
;
Zhang, Lijun (2)
;
Hermanns, Holger (1)
;
Godskesen, Jens Chr. (3)
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2014/12/16
Algorithms
Experimentation
Verification
Bisimulation
CEGAR
probabilistic automata
©版权所有 ©2017 CSpace - Powered by
CSpace