机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 学位论文 [1]

发表日期

• 2010 [1]
• 2002 [1]
• 1998 [1]

学科主题

• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 关于可满足性问题的一些研究及其在模型检测中的应用 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2010 陈伟   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/06/04 命题逻辑证明系统，OBDD证明系统，鸽笼问题，限界模型检测，CTL   二维轴对称图象高阶胡氏不变矩快速算法的改进 期刊论文  OAI收割 光子学报, 2002, 卷号: 31, 期号: 12, 页码: 1491-1496 丘江; 周津慧; 杨静; 郑伟; 胡岩峰   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/29 中心矩  轴对称图象  平移关系  旋转角度  胡氏不变矩  二维轴对称  轴对称图象  高阶  胡氏不变矩  快速算法  实用化改进  目标  轴对称性  命题证明  中心矩  图象矩  命题的证明  旋转  实时性能  计算  坐标系  对称轴  质心  误差  实验   模态逻辑推理的翻译方法 期刊论文  OAI收割 计算机研究与发展, 1998, 卷号: 35, 期号: 5, 页码: 389-392 张健   |  收藏  |  浏览/下载：13/0  |  提交时间：2010/08/11 命题模态逻辑  自动定理证明  可满足性判定