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

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

帮助

条数/页：排序方式：
	语义Web中的自动推理和主动规则终止性分析学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 徐贵红 \| 收藏 \| 浏览/下载：32/0 \| 提交时间：2011/03/17 语义Web 自动推理描述逻辑一阶逻辑推理自动定理证明有限模型查找 ECA规则终止性约束约束求解
	一种基于图重写的计算机安全风险分析系统期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274 李娜; 谢冬青 \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2011/07/13 风险分析图重写终止最小覆盖图重写计算机安全风险分析系统 Graph Rewriting Analysis Model 重写规则风险分析模型方法最小覆盖统一视图决策集合基础攻击步骤项重写利用图复杂度二分图证明
	UNITY与典型程序设计模型的比较期刊论文 OAI收割计算机工程与应用, 2003, 卷号: 39, 期号: 32, 页码: 52-54,104 肖美华; 薛锦云; 化志章 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 程序设计模型 UNITY 形式语义程序转换 Seuss 程序转换证明系统设计模型结构模式计算模型程序映射新策略命令式逻辑式计算机函数式规则式体系能力理论基础机理
	基于幂表的并行加法器的归纳验证期刊论文 OAI收割电子学报, 2003, 卷号: 31, 期号: 6, 页码: 932-936 张欢欢; 邵志清; 宋国新 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/07/29 重写归纳加法器描述验证并行加法器描述和验证重写规则硬件电路技术验证归纳证明功能描述基础
	经典BLP安全公理的一种适应性标记实施方法及其正确性期刊论文 OAI收割计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/29 Bell & LaPadula,计算机安全,模型,公理,Linux,实现经典安全操作系统适应性记实实施方法基础访问控制规则正确性证明多级安全性判定增加敏感标记基本安全安全系统灵活性计算机模型理论开发构造构成
	一种面向软件工程的时序逻辑语言期刊论文 OAI收割软件学报, 1994, 卷号: 5, 期号: 12, 页码: 1 唐稚松; 赵琛 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2010/08/25 时序逻辑语言一阶逻辑描述验证证明规则 Hoare逻辑
	基于重写技术的自动定理证明期刊论文 OAI收割计算机科学, 1992, 期号: 2, 页码: 79-80,24 张健 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/08/11 一阶逻辑自动定理证明技术推理规则重写规则完备化过程项重写系统基本思想证明方法不等式