机构

• 软件研究所 [13]
• 数学与系统科学研究院 [3]
• 自动化研究所 [1]

采集方式

• OAI收割 [17]

内容类型

• 期刊论文 [9]
• 会议论文 [7]
• 学位论文 [1]

发表日期

• 2016 [3]
• 2014 [1]
• 2010 [2]
• 2008 [1]
• 2006 [6]
• 2005 [1]
• 更多

学科主题

• Artificial... [3]
• Computer S... [3]

筛选

浏览/检索结果: 共17条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 卷号: 61, 期号: 9, 页码: 2733-2738 作者:  Zhang, Kuize;  Zhang, Lijun   |  收藏  |  浏览/下载：27/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 期刊论文  OAI收割 NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 卷号: 19, 页码: 186-197 作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua   |  收藏  |  浏览/下载：25/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 期刊论文  OAI收割 SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2016, 卷号: 54, 期号: 6, 页码: 3040-3060 作者:  Zhang, Kuize;  Zhang, Lijun;  Su, Rong   |  收藏  |  浏览/下载：32/0  |  提交时间：2018/07/30 Boolean control network  reconstructibility  weighted pair graph  finite automaton  formal language  semitensor product of matrices   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：32/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   a memory model for static analysis of c programs 会议论文  OAI收割 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834 Xu Zhongxing; Kremenek Ted; Zhang Jian   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/03/31 C (programming language)  Formal methods  Storage allocation (computer)   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/03/31 CAS monitor  Spin PROMELA language  model checking  platform-virtualization software  secure hypervisor  formal verification  operating systems (computers)  security of data  virtual machines   a mechanical approach for deriving algorithmic programs 会议论文  OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/06/13 MPAR  algorithm correctness  automatic algorithm design  executable language program  formal algorithm program derivation  mechanical partition-and-recur approach  problem specification  software reliability  formal specification  program verification  software rel   distinguishing between automatic and manual aspects of model driven development 会议论文  OAI收割 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/28 automation level  automation tasks  entity relationship model  model driven development  model driven software development  model transformations  Unified Modeling Language  entity-relationship modelling  formal specification   distinguishing between automatic and manual aspects of model driven development 会议论文  OAI收割 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/07/28 automation level  automation tasks  entity relationship model  model driven development  model driven software development  model transformations  Unified Modeling Language  entity-relationship modelling  formal specification   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation