中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共6条，第1-6条 帮助

已选(0)清除 条数/页：   排序方式：
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
收藏  |  浏览/下载：92/0  |  提交时间：2018/07/30
Boolean control network  finite automaton  formal language  observability  semi-tensor product of matrices  weighted pair graph  
Finite automata approach to observability of switched Boolean control networks 期刊论文
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 卷号: 19, 页码: 186-197
作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua
收藏  |  浏览/下载：106/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
收藏  |  浏览/下载：126/0  |  提交时间：2018/07/30
Boolean control network  reconstructibility  weighted pair graph  finite automaton  formal language  semitensor product of matrices  
A peep at knowledge science in a categorical prospect 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 5, 页码: 767-768
作者:  Lu Ruqian
收藏  |  浏览/下载：88/0  |  提交时间：2021/01/14
Automating application software generation 期刊论文
EXPERT SYSTEMS, 2003, 卷号: 20, 期号: 2, 页码: 72-78
作者:  Lu, RQ;  Jin, Z
收藏  |  浏览/下载：74/0  |  提交时间：2018/07/30
ontology oriented domain modeling  pre-requirement analysis  executable specification language  automated software generation  
The Structure and Semantics of an Object—Oriented Logic Programming Language：SCKE 期刊论文
计算机科学技术学报：英文版, 1995, 卷号: 10.0, 期号: 1.0, 页码: 74-84
作者:  金芝
收藏  |  浏览/下载：65/0  |  提交时间：2021/01/14
程序设计  逻辑语言  SCKE语言