机构

• 软件研究所 [9]
• 数学与系统科学研究院 [4]
• 计算技术研究所 [1]
• 长春光学精密机械与物... [1]
• 武汉物理与数学研究所 [1]
• 自动化研究所 [1]
• 更多

采集方式

• OAI收割 [17]

内容类型

• 期刊论文 [15]
• 会议论文 [2]

发表日期

• 2017 [1]
• 2016 [1]
• 2012 [1]
• 2010 [1]
• 2008 [1]
• 2006 [6]
• 更多

学科主题

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

筛选

浏览/检索结果: 共17条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Recursive Identification of Hammerstein Systems: Convergence Rate and Asymptotic Normality 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 卷号: 62, 期号: 7, 页码: 3277-3292 作者:  Mu, Biqiang;  Chen, Han-Fu;  Wang, Le Yi;  Yin, George;  Zheng, Wei Xing   |  收藏  |   The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725 作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue   |  收藏  |   Design of controlling system in multi-function durability testing device for vehicle vacuum booster with brake master cylinder (EI CONFERENCE) 会议论文  OAI收割 2012 International Conference on Mechanical and Electronic Engineering, ICMEE 2012, June 23, 2012 - June 24, 2012, Hefei, China Hao X.; Zhang R.; Li X.; Wang M. 收藏  |   Recursive Identification for Nonlinear ARX Systems Based on Stochastic Approximation Algorithm 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 卷号: 55, 期号: 6, 页码: 1287-1299 作者:  Zhao, Wen-Xiao;  Chen, Han-Fu;  Zheng, Wei Xing   |  收藏  |   Identification of Wiener systems with nonlinearity being piecewise-linear function 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2008, 卷号: 51, 期号: 1, 页码: 1-12 作者:  Huang YiQing;  Chen HanFu;  Fang HaiTao;  CHEN HanFu;  FANG HaiTao   |  收藏  |   Identification for Wiener systems with RTF subsystems 期刊论文  OAI收割 EUROPEAN JOURNAL OF CONTROL, 2006, 卷号: 12, 期号: 6, 页码: 581-594 作者:  Hu, Xiao-Li;  Chen, Han-Fu   |  收藏  |   towards practical computable functions on context-free languages 会议论文  OAI收割 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20, Chen Haiming; Dong Yunmei   |  收藏  |   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   |  收藏  |   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 Knowledge-Based Systems, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen Haiming; Yunmei Dong   |  收藏  |   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   |  收藏  |