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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

软件研究所 [12]

北京大学 [8]

清华大学 [2]

兰州理工大学 [2]

西安交通大学 [2]

厦门大学 [1]

内容类型

期刊论文 [23]

会议论文 [10]

学位论文 [2]

发表日期

学科主题

Computer S... [2]

Hardware &... [1]

Software ... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

已选(0)清除条数/页：排序方式：
	The Security Assessment on Programmable Logic Controller based on Attack Tree Model and FAHP 会议论文 Shenyang, China, July 12, 2019 - July 14, 2019 作者: Feng, Tao; Shi, Yanxia; Gong, Renbin; Zhao, Qianchuan 收藏 \| 浏览/下载：7/0 \| 提交时间：2020/11/15 Analytic hierarchy process Computation theory Computer circuits Controllers Data acquisition Decision making Forestry Intelligent computing Probability Programmable logic controllers Programmed control systems Security of data Attack tree Fuzzy analytic hierarchy process Industrial control systems Programmable logic controllers (PLC) Protective measures Security attributes Shapiro-Wilk tests Supervisory control and data acquisition
	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
	Constructing Service Clusters Based on Service Space 期刊论文 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2017, 卷号: 45, 期号: 4, 页码: 982-1000 作者: Du, Yuyue; Wang, Lu; Qi, Man 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/12 Service cluster Service space Logic Petri net Dynamic library Ontology tree
	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
	Model checking quantum key distribution protocols 会议论文作者: Huang, Baichuan; Huang, Yan; Kong, Jiaming; Huang, Xin 收藏 \| 浏览/下载：10/0 \| 提交时间：2019/11/26 BB84 Discrete time Markov chains Group QKD Probabilistic computation tree logic Quantum information theory Quantum key distribution protocols Security properties Verification techniques
	Study on FMEA for electromechanical systems based on model checking 期刊论文 Jixie Gongcheng Xuebao/Journal of Mechanical Engineering, 2016, 卷号: 52, 页码: 162-168 作者: Yang, Peilin; Xu, Kai; Xue, Chongchong; Jia, Huanru 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/11/26 CNC machine tools Component failures Computation tree logic Electromechanical systems Failure modes and effects analysis FMEA Reliability Evaluation States and events
	On Invariance of Dynamic CTL Model Checking in Iterative Design of Moore Machine-based System 期刊论文 2015, 2015 LI Shao-rong; YANG Shi-han; WU Jin-zhao 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/06/19 omputation tree logic ynamic model checking invariance iterative design Moore machine
	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
	Mobile Robot Path Planning based on Probabilistic Model Checking under Uncertainties 会议论文 PROCEEDINGS OF THE 2015 3RD INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND INFORMATION TECHNOLOGY APPLICATIONS, 2015-01-01 作者: Lou, Wei; Xia, Chunrui 收藏 \| 浏览/下载：4/0 \| 提交时间：2020/01/06 Mobile robot Path planning Probabilistic model checking Markov decision process Probabilistic computation tree logic
	Set Cover, Set Packing and Hitting Set for Tree Convex and Tree-Like Set Systems 其他 2014-01-01 Lu, Min; Liu, Tian; Tong, Weitian; Lin, Guohui; Xu, Ke 收藏 \| 浏览/下载：10/0 \| 提交时间：2015/11/13 Tree convex set systems tree-like set systems set cover set packing hitting set polynomial time NP-complete RESTRICTED BIPARTITE GRAPHS FEEDBACK VERTEX SETS

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

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

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

中文简体

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