机构

• 软件研究所 [10]
• 力学研究所 [2]
• 自动化研究所 [2]
• 高能物理研究所 [1]

采集方式

• OAI收割 [15]

内容类型

• 期刊论文 [10]
• 学位论文 [5]

发表日期

• 2015 [2]
• 2014 [1]
• 2013 [2]
• 2008 [2]
• 2006 [3]
• 1998 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共15条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 ROS中XML-RPC协议实现的形式化验证 期刊论文  OAI收割 小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633 贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴   |  收藏  |  浏览/下载：50/0  |  提交时间：2016/12/09 ROS系统  XML-RPC协议  有界模型检测  定理证明   数据库形式化安全策略模型建模及分析方法 期刊论文  OAI收割 通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151 王榕; 张敏; 冯登国; 李昊   |  收藏  |  浏览/下载：28/0  |  提交时间：2016/12/09 形式化建模  数据库  定理证明  安全策略模型   一种具有多级安全标记的权能访问控制模型及隔离性证明 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2014 周鹏颖   |  收藏  |  浏览/下载：13/0  |  提交时间：2014/06/27 访问控制模型  权能  隔离性  定理证明  Coq   基于余代数的模型检测和定理证明 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2013 高建华   |  收藏  |  浏览/下载：9/0  |  提交时间：2013/05/30 模型检测  定理证明  下推系统  相继式演算  余归纳  模型最小化  子句范式化   基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 形式化方法  数据库管理系统  PVS  定理证明  formal method  DBMS  PVS  theorem proving   语义Web中的自动推理和主动规则终止性分析 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 徐贵红   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/03/17 语义Web  自动推理  描述逻辑  一阶逻辑推理  自动定理证明  有限模型查找  ECA规则  终止性  约束  约束求解   线性系统同时镇定若干问题的研究与基于BOTTEMA的一类全局优化问题的解 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2008 作者:  何冠男 收藏  |  浏览/下载：88/0  |  提交时间：2015/09/02 线性系统  同时镇定  不等式型定理机器证明  比利时巧克力问题  法国香槟问题  复分析  全局优化  BOTTEMA程序包  linear systems  simultaneous stabilization  automated inequality-type theorem proving  Belgian chocolate problem  French champagne problem  complex analysis  global optimization  BOTTEMA   线性系统同时镇定若干问题的研究与射频识别网络规划 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2006 作者:  关强 收藏  |  浏览/下载：31/0  |  提交时间：2015/09/02 同时镇定  香槟问题  广义香槟问题  巧克力问题  不等式型定理机器证明  复分析  射频识别网络  网络规划  组合优化  simultaneous stabilization  Champagne Problem  Generalized Champagne Problem  Chocolate Problem  automated inequality-type theorem proving  complex analysis  RFID network  network planning  combinational optimization   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/13 BLP模型  MLS策略  安全不变式  Z语言  Z/EVES定理证明器  多级安全模型  安全性  形式化分析  不变式  验证模型  形式化规范  验证工具  系统安全  策略  表述形式  分析表  语言  思想  理论  客体  方法Computer programming languages  Formal languages  Functions  Mathematical models  Security of data  Security systems  Specifications  Theorem prov   安全策略模型规范及其形式分析技术研究 期刊论文  OAI收割 通信学报, 2006, 期号: 6, 页码: 94-101 李丽萍; 卿斯汉; 周洲仪; 何建波; 温红子   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/13 安全策略模型  形式规范  形式分析  定理证明  Bell-LaPadula模型