中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [10]

内容类型

期刊论文 [10]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共10条，第1-10条

帮助

限定条件	专题：北京大学第一署名单位第一作者单位通讯作者单位

已选(0)清除条数/页：排序方式：
	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
	Lattice-valued simulations for quantitative transition systems 期刊论文 international journal of approximate reasoning, 2015 Pan, Haiyu; Li, Yongming; Cao, Yongzhi 收藏 \| 浏览/下载：3/0 \| 提交时间：2015/11/11 Simulation Fuzzy automata Hennessy-Milner logic Residuated lattices Heyting algebra RESIDUATED LATTICE FUZZY AUTOMATA PROBABILISTIC PROCESSES INFERENCE METHOD LOGIC BISIMULATIONS ROBUSTNESS DISTANCE METRICS
	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
	Simulation for lattice-valued doubly labeled transition systems 期刊论文 international journal of approximate reasoning, 2014 Pan, Haiyu; Cao, Yongzhi; Zhang, Min; Chen, Yixiang 收藏 \| 浏览/下载：6/0 \| 提交时间：2015/11/11 Simulation Fuzzy automata Residuated lattices Hennessy-Milner logic Transition systems MULTIVALUED MODEL-CHECKING RESIDUATED LATTICE FUZZY AUTOMATA LOGIC ROBUSTNESS BISIMULATIONS GAMES
	A Behavioral Distance for Fuzzy-Transition Systems 期刊论文 ieee transactions on fuzzy systems, 2013 Cao, Yongzhi; Sun, Sherry X.; Wang, Huaiqing; Chen, Guoqing 收藏 \| 浏览/下载：3/0 \| 提交时间：2015/11/10 Behavioral distance bisimulation fuzzy automaton fuzzy-transition system (FTS) nonexpansiveness pseudo-ultrametric DISCRETE-EVENT SYSTEMS PROBABILISTIC PROCESSES DECENTRALIZED CONTROL BISIMULATION AUTOMATA WORDS HOMOMORPHISMS METRICS MODEL
	Probabilistic automata for computing with words 期刊论文 journal of computer and system sciences, 2013 Cao, Yongzhi; Xia, Lirong; Ying, Mingsheng 收藏 \| 浏览/下载：6/0 \| 提交时间：2015/11/10 Computing with words Extension principle Probabilistic automata Probabilistic grammars FUZZY-LOGIC NEURAL NETWORKS MODEL MANIPULATION PERCEPTIONS LANGUAGES
	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
	A Fuzzy Petri-Nets Model for Computing With Words 期刊论文 ieee transactions on fuzzy systems, 2010 Cao, Yongzhi; Chen, Guoqing 收藏 \| 浏览/下载：2/0 \| 提交时间：2015/11/10 Computing with words (CWs) fuzzy automata fuzzy Petri nets (FPNs) fuzzy reasoning granular computing DISCRETE-EVENT SYSTEMS REPRESENTATION MODEL DECISION-MAKING FORMAL APPROACH UNCERTAINTY LOGIC

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace