×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [8]
内容类型
期刊论文 [7]
其他 [1]
发表日期
2017 [2]
2016 [1]
2012 [1]
2011 [2]
2009 [1]
1999 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共8条,第1-8条
帮助
限定条件
专题:北京大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
Nondeterministic fuzzy automata with membership values in complete residuated lattices
期刊论文
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Li, Ping
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
Fuzzy automaton
Complete residuated lattice
Heyting algebra
Language equivalence
Formal verification
DISCRETE-EVENT SYSTEMS
TRANSITION-SYSTEMS
FINITE AUTOMATA
CATEGORICAL APPROACH
SUPERVISORY CONTROL
LOGIC
SIMULATION
WORDS
MODEL
BISIMULATIONS
Model approach to grammatical evolution: theory and case study
期刊论文
SOFT COMPUTING, 2016
He, Pei
;
Deng, Zelin
;
Wang, Houfeng
;
Liu, Zhusong
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/04
Genetic programming
Grammatical evolution
Finite state automaton
Model
Nondeterministic fuzzy automata
期刊论文
information sciences, 2012
Cao, Yongzhi
;
Ezawa, Yoshinori
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/11/10
Fuzzy automaton
Fuzzy language
Nondeterministic finite automaton
Nondeterministic fuzzy automaton
Nondeterministic fuzzy automaton with epsilon-moves
DISCRETE-EVENT SYSTEMS
FINITE AUTOMATA
SUPERVISORY CONTROL
STATE AUTOMATA
TREE AUTOMATA
LANGUAGES
STRINGS
Bisimulations for Fuzzy-Transition Systems
期刊论文
ieee transactions on fuzzy systems, 2011
Cao, Yongzhi
;
Chen, Guoqing
;
Kerre, Etienne E.
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/10
Bisimulation
fuzzy automaton
fuzzy language
fuzzy-transition system (FTS)
homomorphism
DISCRETE-EVENT SYSTEMS
PETRI-NETS
STOCHASTIC AUTOMATA
SUPERVISORY CONTROL
MODEL
WORDS
EQUIVALENCE
Modeling grammatical evolution by automaton
期刊论文
science china information sciences, 2011
He Pei
;
Johnson, Colin G.
;
Wang HouFeng
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/11/12
genetic programming
grammatical evolution
finite state automaton
model
Property generation method for model checking on Clock Domain Crossing design
期刊论文
tien tzu hsueh paoacta electronica sinica, 2009
Feng, Yi
;
Xu, Jing-Wei
;
Yi, Jiang-Fang
;
Tong, Dong
;
Cheng, Xu
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/17
多值特征结构描述
其他
1999-01-01
于江生
;
程民德
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2015/11/12
信念格 多值非循环有限自动机 蕴涵 特征和 最小不相容特征描述逻辑 belief lattice multiple-valued acyclic finite automaton subsumption feature sum mini-mally inconsistent feature description logic
©版权所有 ©2017 CSpace - Powered by
CSpace