机构

• 软件研究所 [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   |  收藏  |  浏览/下载：26/0  |  提交时间：2018/07/30 Asymptotic normality  Hammerstein system  kernel function  nonparametric approach  recursive estimation  stochastic approximation  strong consistency   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   |  收藏  |  浏览/下载：23/0  |  提交时间：2019/12/13 Hoare logic  recursive function  computable function  nonstandard model of Peano arithmetic   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. 收藏  |  浏览/下载：36/0  |  提交时间：2013/03/25 The quality of vehicle vacuum booster with brake master cylinder is related to the safe of drivers and automobiles. The testing experiment must be executed strictly before leaving factory based on the national standards.The paper introduces the controlling system of multi-function durability testing device  which is designed for doing durable testing experiments and Anti-lock braking system (ABS) performance experiments. The structure and theory of device is presented. The controlling system is illuminated in detail. To test the dynamic property  this system was identified by a recursive BP neural network. According to the character of a great deal of sensors and actuators  the high precision  capabilities and reliability  the distributed control mode (DCS) including the computer and PLC by RS-485 bus is utilized. The four channels testing experiments are achieved at the same time. The test data is directly memorized into the computer. The results of general endurance and ABS endurance testing experiments are shown to demonstrate the excellent performance of the testing device. 2012 Springer-Verlag Berlin Heidelberg.   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   |  收藏  |  浏览/下载：17/0  |  提交时间：2018/07/30 Kernel function  Markov chain  nonlinear ARX system  recursive identification  stochastic approximation   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   |  收藏  |  浏览/下载：19/0  |  提交时间：2018/07/30 Wiener system  recursive identification  strong consistency  piecewise-linear function  stochastic approximation   Identification for Wiener systems with RTF subsystems 期刊论文  OAI收割 EUROPEAN JOURNAL OF CONTROL, 2006, 卷号: 12, 期号: 6, 页码: 581-594 作者:  Hu, Xiao-Li;  Chen, Han-Fu   |  收藏  |  浏览/下载：36/0  |  提交时间：2018/07/30 recursive identification  Wiener systems  rational transfer function  strong consistency  stochastic approximation   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   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/28 recursive function  context-free language  structured data  operator  computability   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   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   |  收藏  |  浏览/下载：20/0  |  提交时间：2010/07/22 Formal specification language  Context-free language  Recursive function  Specification acquisition  Specification validation   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   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/13 绵羊  胚胎  成纤维细胞formal specification language  context-free language  recursive function  specification acquisition  specification validation