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

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

帮助

条数/页：排序方式：
	基于 TPM 2.0 的协议设计与分析研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2019 作者: 王微谨 \| 收藏 \| 浏览/下载：203/0 \| 提交时间：2019/07/03 可信计算 TPM 2.0 API 分析形式化方法匿名认证协议
	下一代可信计算协议的设计与分析学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2016 邵健雄 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2016/06/06 可信计算 TPM 2.0 API分析形式化方法匿名认证协议
	保墒增的高阶人工黏性法会议论文 OAI收割中国力学大会——2013, 中国北京, 2013-08-19 作者: 李理; 李新亮收藏 \| 浏览/下载：20/0 \| 提交时间：2014/04/02 黏性人工高阶傅里叶分析方法离散形式利用人离散格式最大值最小值四阶扩散问题适用性对流项计算偏差可调参数能量守恒最优参数 DNS 各项同性三维可压缩 0
	基于LoCMD的软件修改分析技术期刊论文 OAI收割软件学报, 2012, 卷号: 23, 期号: 6, 页码: 1368-1381 孙小兵; 李必信; 陶传奇 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2013/09/17 形式概念分析修改影响分析修改评估修改分析类与方法依赖格
	系统时间的互操作方法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 李孝辉; 许龙霞; 张慧君; 薛艳荣收藏 \| 浏览/下载：15/0 \| 提交时间：2012/10/19 多模导航系统时间算法互操作性\|Abstract 系统时间的互操作性要求能使用多个卫星导航系统的时间。在分析系统时间偏差在用户端的表现形式的基础上研究了目前的两种系统时差处理方法在开阔环境中用户级处理方法要好于系统级处理方法但在遮挡环境中由于观测卫星的几何精度因子不好导致用户级处理方法的性能下降。针对用户级处理方法的局限性提出系统时间偏差辅助导航算法在观测卫星几何结构不好时将系统时间偏差的外推值作为已知量通过减少未知数个数来提高定位精度并用仿真实验对这种方法进行验证证明系统时差辅助导航方法在提高可用性和该善定位精度方面有明显优势。
	安全操作系统策略模型的关键问题研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 何建波收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/17 安全操作系统安全策略安全模型形式化方法信息流分析
	基于DTE策略的安全域隔离Z形式模型期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/01 安全域隔离信息流 DTE 可信管道形式化策略安全域域隔离形式模型系统安全性形式定义隔离技术形式分析方法信息流分析验证系统状态可信系统建模问题安全状态安全性质安全目标不变量语言基础Formal languages Magnetic domains Query languages Servers Specifications Verification
	基于产生式的工作流模型分析技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 陈亮收藏 \| 浏览/下载：25/0 \| 提交时间：2011/03/17 工作流模型分析形式化方法产生式归约
	对一类多级安全模型安全性的形式化分析期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超 \| 收藏 \| 浏览/下载：29/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