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

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

帮助

条数/页：排序方式：
	模式匹配问题的描述框架与算法模型期刊论文 OAI收割模式识别与人工智能, 2006, 卷号: 19, 期号: 6, 页码: 715-721 张治; 车皓阳; 施鹏飞 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/13 模式匹配同态模式同态模式匹配匹配问题数学描述框架代数理论结构证明模式映射关系研究模式算法模型数学理论数学基础求解模式建立模式等价关系形式化应用归约
	两种X~2形式等价性证明的推广(英文) 期刊论文 OAI收割高能物理与核物理, 2006, 期号: 2, 页码: 140-146 作者: 莫晓虎收藏 \| 浏览/下载：17/0 \| 提交时间：2015/12/21 等价性 X2形式线性函数 R值测量
	通用CPU设计验证中的等价性检验方法期刊论文 OAI收割计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 2 作者: 李光辉; 邵明; 李晓维 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/11/23 形式验证模拟等价性检验比较点匹配
	基于增量可满足性的等价性检验方法期刊论文 OAI收割计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者: 李光辉; 李晓维 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 增量可满足性等价性检验组合电路形式验证数字集成电路等价结点
	领域本体的形式分析学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 高颖收藏 \| 浏览/下载：26/0 \| 提交时间：2011/03/17 领域本体框架形式概念分析等价
	两种χ~2形式的等价性(英文) 期刊论文 OAI收割高能物理与核物理, 2003, 期号: 5, 页码: 371-376 作者: 莫晓虎; 朱永生收藏 \| 浏览/下载：15/0 \| 提交时间：2015/12/21 等价性 χ2形式有偏性 R值测量
	基于BDD的组合电路等价性检验方法期刊论文 OAI收割微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者: 李光辉; 邵明; 李晓维 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 BDD 形式验证等价性检验符号模拟三叉判决图组合电路专用集成电路
	部分边界固定的自由边值问题期刊论文 OAI收割科学通报, 1995, 期号: 14, 页码: 1301-1303 于锦海; 灼文; 操华胜收藏 \| 浏览/下载：18/0 \| 提交时间：2012/02/14 卫星测高扰动位等价形式高阶逼近收敛性