|
已选(0)清除
条数/页： 排序方式： |
| 无权访问的条目 期刊论文
作者: 庄福振; 何清
 Adobe PDF(295Kb) |  收藏 | 浏览/下载：0/0 | 提交时间：2014/07/25 |
| 无权访问的条目 期刊论文
作者: 王石; 吴昱明; 臧良俊; 曹存根
Adobe PDF(277Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/25 |
| 无权访问的条目 期刊论文
作者: 叶剑; 朱珍民; 陈援非; 沈燕飞; 王双全; 陈益强
Adobe PDF(281Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/06/11 |
| 无权访问的条目 期刊论文
作者: 崔肖君; 孙毓忠
Adobe PDF(496Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/01/16 |
| 无权访问的条目 期刊论文
作者: 孙毓忠
Adobe PDF(695Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/01/16 |
| 公式分层的谓词模态逻辑 期刊论文
软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014
作者: 孙梅莹; 邓少波; 陈博; 曹存根; 眭跃飞
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
跨可能世界相等 谓词模态逻辑 可变论域语义 Ⅴ-性质 可靠性 完备性 |
| 支持链式桥规则的分布式动态描述逻辑 期刊论文
高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452
作者: 张建华 ; 史忠植; 岳金朋; 齐保元; 蒋运承; 王晓峰
收藏 | 浏览/下载：6/0 | 提交时间：2023/12/04
描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则 |
| SER-Tvpack：基于软错误率评估的SRAM型FPGA的装箱算法 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 008, 页码: 1764
作者: 夏静; 王天成; 吕涛; 李华伟; 邝继顺
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
SRAM型FPGA 软错误率 可靠性 装箱 单粒子翻转 |
| 基于全局同步逻辑时间的访存依赖约减方法 期刊论文
计算机学报, 2014, 卷号: 37.0, 期号: 007, 页码: 1487
作者: 唐士斌; 宋风龙; 张帅; 范东睿; 刘志勇
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
多核 并行程序 确定性重放 访存冲突 |
| 链式桥规则导致的D3L知识传播及推理 期刊论文
计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2419
作者: 赵晓非; 田东平; 史颖欢; 史忠植
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
分布式动态描述逻辑（D3L） 知识传播 合取映射 链式桥规则 |
