QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Radl 形式规格说明相对正确性研究 期刊论文 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun 收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   Radl形式规格说明相对正确性研究 期刊论文 软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云 收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   基于多源知识的二型模糊系统设计及其控制方法研究 学位论文 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2011 作者:  王铁超 收藏  |  浏览/下载：56/0  |  提交时间：2015/09/02 二型模糊逻辑系统  多源知识  最小二乘法  积极集法  遗传算法  NARX模型  逆控制  type-2 fuzzy logic system  multi-source knowledge  least squares algorithm  active-set algorithm  genetic algorithm  NARX model  inverse control   SRL→Radl生成系统及其相关理论研究 学位论文 博士, 北京: 中国科学院研究生院, 2010 王昌晶 收藏  |  浏览/下载：10/0  |  提交时间：2012/06/20 结构化需求语言  形式化软件规约  生成系统  范畴论  规约相对正确性   可重构轮手一体机器人的控制及群体构形研究 学位论文 沈阳: 中国科学院沈阳自动化研究所, 2007 作者:  王明辉 收藏  |  浏览/下载：11/0  |  提交时间：2010/11/29 可重构轮手一体机器人  模块化分布式控制系统  群体构形  模块状态向量  构形状态矩阵   基于LOBA逻辑的言语行为表示 期刊论文 计算机研究与发展, 2007, 期号: 第3期, 页码: 420～426页 作者:  眭跃飞;  潘 瑜;  曹存根 收藏  |  浏览/下载：7/0  |  提交时间：2010/10/13 可信主体  认知过程  言语行为  Loba逻辑