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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

北京大学 [5]

兰州大学 [5]

兰州理工大学 [1]

内容类型

期刊论文 [6]

会议论文 [5]

发表日期

学科主题

computer p... [1]

digital co... [1]

industrial... [1]

medicine a... [1]

medicine a... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

已选(0)清除条数/页：排序方式：
	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
	Bisimulation-based consistency checking on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis between textbook and clinical practice 会议论文 Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014, Kunming, Yunnan, China, August 16, 2014 - August 17, 2014 作者: Zheng, Guang; Wang, Ling-Ru; Shi, Huan-Huan; Li, Rong; Jiang, Miao 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/01/18 Diseases Formal methods Medicine Textbooks Bisimulations Clinical practices Consistency checking Equivalence relationship Herbal medicines Knowledge items Rheumatoid arthritis Traditional Chinese Medicine
	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
	Value-passing CCS with noisy channels 期刊论文理论计算机科学, 2012 Huang, Shuqin; Cao, Yongzhi; Wang, Hanpin; Qu, Wanling 收藏 \| 浏览/下载：5/0 \| 提交时间：2015/11/12 Barbed congruence Bisimilarity Noisy channel Probabilistic modal logic Value-passing CCS EXPANSIVE EPSILON-BISIMULATIONS MOBILE PROCESSES PROBABILISTIC PROCESSES INFORMATION LEAKAGE PI-CALCULUS SYSTEMS COMMUNICATION VERIFICATION EQUIVALENCES HIERARCHY
	Stochastic process algebra with value-passing and weak time restrictions 期刊论文 Journal of Software, 2011, 卷号: 6, 期号: 5, 页码: 769-782 作者: 收藏 \| 浏览/下载：2/0 \| 提交时间：2016/07/15 Bisimulations Equivalence Stochastic process algebras Time restriction Value passing
	Process algebra with goal based bisimulation 会议论文 3rd International Symposium on Electronic Commerce and Security, ISECS 2010, Guangzhou, China, July 29, 2010 - July 31, 2010 作者: Zheng, Guang; Jiang, Miao; Chen, Gao; Zha, Qinglin; Lu, Aiping 收藏 \| 浏览/下载：1/0 \| 提交时间：2017/01/18 Algebra Electronic commerce Bisimulations Complex systems Equivalent Goal based Process algebras
	Goal based bisimulation for testing therapies in traditional Chinese medicine 会议论文 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010, HongKong, China, December 18, 2010 - December 21, 2010 作者: Zheng, Guang; He, Xiaojuan; Jiang, Miao; Lu, Aiping 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Disease control Algebra Bioinformatics Medicine Bisimulations Equivalent relationship Goal based equivalent Process algebras Therapy Traditional Chinese Medicine
	Stochastic Process Algebra with Value-Passing 会议论文 International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, December 12, 2008 - December 14, 2008 作者: Guang, Zheng; Jinzhao, Wu; Lian, Li 收藏 \| 浏览/下载：5/0 \| 提交时间：2017/01/18 Algebra Computer programming languages Random processes Semantics Software engineering Stochastic systems Bisimulations Concurrent systems Operational semantics Process algebras Process expression Sstochastic process algebra Stochastic process algebras Value passing

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

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

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

中文简体

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