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

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

帮助

条数/页：排序方式：
	现场可编程门阵列（FPGA）异质逻辑与存储互连结构研究学位论文 OAI收割博士, 北京: 中国科学院大学, 2016 黄志洪收藏 \| 浏览/下载：36/0 \| 提交时间：2016/06/15 FPGA异质逻辑可编程存储互连结构与非锥与或非锥
	面向无穷数据的形式模型综述期刊论文 OAI收割软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2016/12/09 无穷数据自动机逻辑非空性语言包含可满足性可判定性复杂性
	概率安全评价软件RiskA中的非逻辑处理方法期刊论文 OAI收割原子能科学技术, 2010, 卷号: 044 - \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2020/10/26 概率安全评价非逻辑非单调关联系统
	基于FPGA的红外焦平面阵列实时非均匀性校正学位论文 OAI收割 : 中国科学院研究生院, 2009 作者: 苗丽峰 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2012/08/22 红外焦平面红外成像非均匀性校正现场可编程逻辑阵列实时图像处理
	语义Web中描述逻辑本体的可伸缩推理和非一致处理学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2009 杜剑峰 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 语义Web 本体描述逻辑可伸缩性非一致处理一阶逻辑析取Datalog 命题逻辑非一致容忍推理字典序推理
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：69/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	一种新型的非否认协议期刊论文 OAI收割软件学报, 2000, 卷号: 11, 期号: 10, 页码: 1338-1343 卿斯汉 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/07/29 非否认协议 SVO逻辑可信第三方仲裁方非否认协议概念和方法欺骗行为逻辑分析证明信道缺陷扩展扩充基础草案安全Algorithms Communication channels (information theory) Cryptography Data processing Formal logic Security of data
	标记逻辑程序理论研究:说明语义与过程语义学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994 作者: 周生炳收藏 \| 浏览/下载：60/0 \| 提交时间：2015/09/02 非单调推理容错推理标记逻辑程序支持模型诱导序列不循环程序多次极限多重极限表达式的复盖分解和划分 SLD-博弈树删除策略依赖团 nonmonotonic reasoning error-tolerated reasoning annotated logic program acyclic program supported model induced sequence coveri