机构

• 软件研究所 [15]
• 计算技术研究所 [5]
• 上海应用物理研究所 [4]
• 长春光学精密机械与物... [3]
• 上海微系统与信息技术... [2]
• 沈阳自动化研究所 [2]
• 更多

采集方式

• OAI收割 [38]

内容类型

• 期刊论文 [32]
• 学位论文 [6]

发表日期

• 2018 [2]
• 2017 [1]
• 2014 [1]
• 2013 [4]
• 2010 [2]
• 2008 [3]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]
• 天文和天体物理 [1]
• 环境催化与氢能 [1]

筛选

浏览/检索结果: 共38条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 面向异构语义映射的D3L转换算法及其性质研究 期刊论文  OAI收割 计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715 作者:  赵晓非;  史忠植;  冯志勇   |  收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04 分布式动态描述逻辑  异构桥规则  正则性  集中式推理  计算复杂度   A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文  OAI收割 中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101 作者:  Li Wei;  Sui Yuefei   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订   化学中的计算——DNA计算的发展与模型概述 期刊论文  OAI收割 化学进展, 2017, 期号: 11, 页码: "19" 作者:  尹晓尧;  李非;  伯晓晨;  骆志刚;  左小磊   |  收藏  |  浏览/下载：80/0  |  提交时间：2018/08/17 Dna  计算  Np  难问题  并行重叠组装模型  粘贴模型  剪接模型  Dna  Tile  自组装  生化信号逻辑门   基于可信芯片的平台身份证明方案研究 期刊论文  OAI收割 通信学报, 2014, 卷号: 35, 期号: 8, 页码: 95-106 张倩颖; 冯登国; 赵世军   |  收藏  |  浏览/下载：36/0  |  提交时间：2014/12/16 可信计算  平台身份证明  协议组合逻辑  匿名性  trusted computing  platform identity attestation  protocol composition logic  anonymity   光子计算机的发展状况 期刊论文  OAI收割 福建电脑, 2013, 期号: 10, 页码: 77-78+140 作者:  李博;  李博 收藏  |  浏览/下载：37/0  |  提交时间：2014/03/07 光子计算机  光学逻辑  光子储存   基于DNA/RNA的逻辑门与逻辑运算 期刊论文  OAI收割 科学通报, 2013, 期号: 2, 页码: 131-140 俞洋; 陆建华; 王东方; 裴昊; 樊春海 收藏  |  浏览/下载：45/0  |  提交时间：2014/06/13 逻辑门  DNA计算  分子识别  自组装  生物计算机   基于扩展 LS2的可信虚拟平台信任链分析 期刊论文  OAI收割 通信学报, 2013, 卷号: 34, 期号: 5, 页码: 31-41 常德显; 冯登国; 秦宇; 张倩颖   |  收藏  |  浏览/下载：29/0  |  提交时间：2014/12/16 可信计算  可信虚拟平台  安全系统逻辑  信任链  虚拟信任根  trusted computing  trusted virtualization platform  logic of secure system  trust chain  virtual root of trust   基于扩展LS~2的可信虚拟平台信任链分析 期刊论文  OAI收割 通信学报, 2013, 卷号: 34, 期号: 5, 页码: 31-41 常德显; 冯登国; 秦宇; 张倩颖   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 可信计算  可信虚拟平台  安全系统逻辑  信任链  虚拟信任根   分子逻辑器件研究进展 期刊论文  OAI收割 分析测试技术与仪器, 2010, 卷号: 16, 期号: 3, 页码: 129-140 作者:  吕功煊;  吕功煊 收藏  |  浏览/下载：21/0  |  提交时间：2012/09/21 分子器件  分子逻辑  分子计算  荧光  molecular device  molecular logic  molecular computation  fluorescence   改进的以SMT为基础的实时系统限界模型检测 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502 徐亮   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/05/23 限界模型检测  可满足性模块理论  实时系统  时间自动机  时间Kripke结构  带时间参数的计算树逻辑bounded model checking  satisfiability modulo theories  real-time system  timed automata  timed Kripke structure  TCTL (timed computation tree logic)