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

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

帮助

条数/页：排序方式：
	改进的布尔公式学习算法期刊论文 OAI收割计算机系统应用, 2014, 期号: 9, 页码: 83-88 哈晓琳; 李勇坚 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2014/12/16 布尔公式学习算法询问模型单调理论最小赋值向量 boolean formula learning algorithm query model monotone theory minterms
	应用规律下的BLP模型密级赋值方法期刊论文 OAI收割通信学报, 2013, 卷号: 34, 期号: 9, 页码: 144-151 董婵; 范修斌; 李有文; 王建荣 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2014/12/16 信息安全 BLP模型常值赋值条件修改赋值全局解条件解 information security BLP model constant valuation condition modification valuation global solution con-dition solution
	基于带赋值符号迁移图的Monte Carlo模型检测学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 马明 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2012/06/13 Monte Carlo 模型检测线性时序逻辑模型检测带赋值符号迁移图有导向的随机搜索启发式算法
	区域滑坡坡体结构因素连续概率值域确定方法期刊论文 OAI收割山地学报, 2011, 卷号: 39, 期号: S, 页码: 112-115 作者: 杨宗佶; 乔建平 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2018/07/13 区域滑坡坡体结构概率值域赋值模型
	描述Web服务的一阶动态逻辑期刊论文 OAI收割计算机科学, 2011, 卷号: 38.0, 期号: 011, 页码: 109 作者: 吴晓庆 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 一阶动态逻辑 Web服务模型本体 Web服务程序赋值
	带复杂数据结构的模型检测工具期刊论文 OAI收割计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999 张轶; 林惠民 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/08/24 模型检测传值进程带赋值符号迁移图谓词μ演算复杂数据结构 model-checking value-passing process STGA predicate μ-calculus non-trivial data structures
	一个并发传值系统自动验证工具的图形界面实现学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 肖颖奇收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 形式化方法模型检测并发传值系统带赋值符号迁移图仿真
	井发传值进程模型检测工具的数据类型扩展学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 张轶收藏 \| 浏览/下载：16/0 \| 提交时间：2011/03/17 形式化方法模型检侧并发传值进程复杂数据类型传值CCS 带赋值符号迁移图