机构

• 计算技术研究所 [4]
• 测量与地球物理研究所 [4]
• 力学研究所 [2]
• 心理研究所 [2]
• 高能物理研究所 [2]
• 长春应用化学研究所 [2]
• 更多

采集方式

• OAI收割 [20]

内容类型

• 期刊论文 [20]

发表日期

• 2009 [1]
• 2006 [2]
• 2005 [1]
• 2004 [3]
• 2003 [3]
• 2002 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共20条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 可信密码模块符合性测试方法与实施 期刊论文  OAI收割 武汉大学学报(理学版), 2009, 期号: 1, 页码: 31-34 李昊; 冯登国; 陈小峰   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/03/18 可信密码模块,符合性测试,扩展有限状态机模型,等价类测试   两种X~2形式等价性证明的推广(英文) 期刊论文  OAI收割 高能物理与核物理, 2006, 期号: 2, 页码: 140-146 作者:  莫晓虎 收藏  |  浏览/下载：15/0  |  提交时间：2015/12/21 等价性  X2形式  线性函数  R值测量   一种多副本一致性控制方法 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32.0, 期号: 011, 页码: 52 作者:  谈华芳;  孙丽丽;  侯紫峰   |  收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04 多副本一致性  单一拷贝等价  线性化  分布式存储系统   通用CPU设计验证中的等价性检验方法 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 2 作者:  李光辉   |  收藏  |  浏览/下载：9/0  |  提交时间：2010/11/23 形式验证  模拟  等价性检验  比较点匹配   社会称许性量表的测量等价性探讨 期刊论文  OAI收割 心理科学, 2004, 卷号: 27, 期号: 5, 页码: 1083-1086 作者:  白新文;  李锋;  陈毅文   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/01/11 测量等价性  结构方程模型  社会称许性  称许性平衡量表   测量等价性的概念及其判定条件 期刊论文  OAI收割 心理科学进展, 2004, 卷号: 12, 期号: 2, 页码: 231-239 作者:  白新文;  陈毅文   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/01/11 测量等价性  结构方程模型  拟合度   基于增量可满足性的等价性检验方法 期刊论文  OAI收割 计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者:  李光辉;  李晓维   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 增量可满足性  等价性检验  组合电路  形式验证  数字集成电路  等价结点   两种χ~2形式的等价性(英文) 期刊论文  OAI收割 高能物理与核物理, 2003, 期号: 5, 页码: 371-376 作者:  莫晓虎;  朱永生 收藏  |  浏览/下载：13/0  |  提交时间：2015/12/21 等价性  χ2形式  有偏性  R值测量   瞬态与稳态瑞利波法频散曲线等价性研究 期刊论文  OAI收割 岩土力学, 2003, 期号: 04, 页码: 500-504 作者:  刘明贵   |  收藏  |  浏览/下载：11/0  |  提交时间：2018/06/25 瑞利波  频散曲线  等价性  SASW法  优化相干函数   基于BDD的组合电路等价性检验方法 期刊论文  OAI收割 微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者:  李光辉;  邵明;  李晓维   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 BDD  形式验证  等价性检验  符号模拟  三叉判决图  组合电路  专用集成电路