中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	Finite-Time Distributed Identification for Nonlinear Interconnected Systems 期刊论文 OAI收割 IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 7, 页码: 1188-1199 作者: Farzaneh Tatari; Hamidreza Modares; Christos Panayiotou; Marios Polycarpou \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2022/06/27 Distributed concurrent learning finite-time identification nonlinear interconnected systems unknown dynamics
	perfect concurrent signature protocol 会议论文 OAI收割 SNPD 2007: 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Qingdao, China, 37467 Zhenjie Huang; Rufen Huang; Xuanzhi Lin 收藏 \| 浏览/下载：67/3 \| 提交时间：2011/06/29 Concurrent engineering Electronic document identification systems Pattern matching Security of data
	model checking data consistency for cache coherence protocols 期刊论文 OAI收割 Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775 Pan Hong; Lin Huimin; Lv Yi \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/08/11 concurrent systems cache coherence protocols value-passing symbolic transition graphs model checking VERIFICATION
	extended symbolic transition graphs with assignment 会议论文 OAI收割 29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28, Deng WJ; Lin HM \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/28 concurrent systems process algebra value-passing symbolic transition graphs verification model checking bisimulation checking
	模型检测新技术研究期刊论文 OAI收割计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 102-104 戎玫; 张广泉 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/29 Model checking State explosion Symbolic model checking positional reasoning Real-time system Hybrid system 模型检测新技术研究 model checking mathematical methods concurrent system hybrid systems state space