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

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

帮助

条数/页：排序方式：
	基于属性的远程证明模型期刊论文 OAI收割通信学报, 2010, 卷号: 31, 期号: 8, 页码: 40551 于爱民; 冯登国; 汪丹 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/05/23 基于属性的远程证明信任图可信策略可判定性property based remote attestation trust graph trusted policy decidability
	一种基于图重写的计算机安全风险分析系统期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274 李娜; 谢冬青 \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2011/07/13 风险分析图重写终止最小覆盖图重写计算机安全风险分析系统 Graph Rewriting Analysis Model 重写规则风险分析模型方法最小覆盖统一视图决策集合基础攻击步骤项重写利用图复杂度二分图证明
	核心化多级安全数据库系统未决提交事务日志写出依赖研究期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1438-1446 徐震; 张敏 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2011/07/13 核心化体系结构多级安全数据库系统未决提交依赖图核心化事务日志日志记录持久存储高级事务依赖关系协调系统崩溃维护体系结构算法事务提交事务数据实例处理分析论证处理过程状态证明同级Algorithms Architecture Data storage equipment Graph theory Mathematical models Security of data Topology
	基于穹顶提取的边缘选取算法期刊论文 OAI收割计算机学报, 2005, 卷号: 28, 期号: 2, 页码: 259-267 王仪科; 窦万春; 张习文; 蔡士杰 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/28 边缘检测多重响应数学形态学灰度形态学重建穹顶提取穹顶提取边缘的检测选取算法极大值点多重响应灰度形态学重建梯度图噪声斜坡特性抑制法复杂度证明移位显示实验内存Algorithms Domes Image reconstruction Mathematical morphology
	时间符号迁移图上的可达性分析期刊论文 OAI收割计算机学报, 2003, 卷号: 26, 期号: 1, 页码: 19-25 陈靖 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/29 模型检测协议可达性分析实时时间符号迁移图时间符号迁移图检测算法正确性证明硬件设计协议验证建模语言可达性通信模型Algorithms Computer simulation Mathematical models Network protocols Theorem proving
	传值进程模型检测中诊断信息的生成期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 1, 页码: 40186 刘剑; 林惠民 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/08/24 进程代数模型检测证明图示例诊断生成 process algebra model checking proof graph witness diagnosis generation
	二维轴对称图象高阶胡氏不变矩快速算法的改进期刊论文 OAI收割光子学报, 2002, 卷号: 31, 期号: 12, 页码: 1491-1496 丘江; 周津慧; 杨静; 郑伟; 胡岩峰 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/07/29 中心矩轴对称图象平移关系旋转角度胡氏不变矩二维轴对称轴对称图象高阶胡氏不变矩快速算法实用化改进目标轴对称性命题证明中心矩图象矩命题的证明旋转实时性能计算坐标系对称轴质心误差实验