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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

软件研究所 [6]

北京大学 [5]

兰州大学 [4]

数学与系统科学研究院 [3]

清华大学 [2]

厦门大学 [1]

内容类型

期刊论文 [12]

会议论文 [5]

学位论文 [1]

发表日期

学科主题

Computer S... [1]

automobile... [1]

computer t... [1]

computer t... [1]

informatio... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共21条，第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
	Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata 期刊论文 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 卷号: 61, 期号: 9, 页码: 2733-2738 作者: Zhang, Kuize; Zhang, Lijun 收藏 \| 浏览/下载：17/0 \| 提交时间：2018/07/30 Boolean control network finite automaton formal language observability semi-tensor product of matrices weighted pair graph
	SMT-based scheduling for multiprocessor real-time systems 会议论文 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016 作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Real time systems Computational complexity Formal logic Information science Interactive computer systems Multiprocessing systems Problem solving Scheduling Surface mount technology First-order language Multiple processors multiprocessor Real time scheduling Satisfiability modulo Theories Satisfiability problems Scheduling constraints Scheduling methods
	Scheduling overload for real-time systems using SMT solver 会议论文 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30, 2016 - June 1, 2016 作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/01/18 Real time systems Artificial intelligence Computation theory Formal logic Interactive computer systems Problem solving Scheduling Software engineering Surface mount technology First-order language overload Overload condition Real time scheduling Satisfiability modulo Theories Satisfiability problems Scheduling methods System performance degradation
	Finite automata approach to observability of switched Boolean control networks 期刊论文 NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 卷号: 19, 页码: 186-197 作者: Zhang, Kuize; Zhang, Lijun; Xie, Lihua 收藏 \| 浏览/下载：15/0 \| 提交时间：2018/07/30 Switched Boolean control network Observability Weighted pair graph Finite automaton Formal language Semi-tensor product of matrices
	A WEIGHTED PAIR GRAPH REPRESENTATION FOR RECONSTRUCTIBILITY OF BOOLEAN CONTROL NETWORKS 期刊论文 SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2016, 卷号: 54, 期号: 6, 页码: 3040-3060 作者: Zhang, Kuize; Zhang, Lijun; Su, Rong 收藏 \| 浏览/下载：24/0 \| 提交时间：2018/07/30 Boolean control network reconstructibility weighted pair graph finite automaton formal language semitensor product of matrices
	面向无穷数据的形式模型综述期刊论文软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林收藏 \| 浏览/下载：10/0 \| 提交时间：2016/12/09 无穷数据自动机逻辑非空性语言包含可满足性可判定性复杂性
	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
	A case study: SOFL + Model checking for OSEK/VDX application 会议论文 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, November 6, 2015 - November 6, 2015 作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto 收藏 \| 浏览/下载：6/0 \| 提交时间：2017/01/18 Formal specification Automobiles Computational linguistics Computer control Formal languages Formal methods Model checking Specifications Automotive applications Development process Feasible solution Formal engineerings High quality Requirement specification
	A hybrid model of connectors in cyber-physical systems 其他 2014-01-01 Chen, Xiaohong; Sun, Jun; Sun, Meng 收藏 \| 浏览/下载：3/0 \| 提交时间：2015/11/13

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

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

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

中文简体

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