表示式

作品数：182被引量：218H指数：7
导出分析报告
相关领域：理学更多>>
相关作者：吴明娒石建新刘春梦梁宏斌黄曾阳更多>>
相关机构：中山大学中国科学院广东省科学院资源利用与稀土开发研究所日产化学工业株式会社更多>>
相关期刊：更多>>
相关基金：国家自然科学基金福建省自然科学基金博士科研启动基金甘肃省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于关联语义的密钥交换协议分析算法设计
《赣南师范大学学报》2017年第6期80-86,共7页胡声洲 曾志朋 康小强 
国家自然科学基金项目(61562003;31660321);江西省科技厅重点研发计划项目(20151BBF60071;20171BBE50065);江西省自然科学基金项目(20151BAB207029)
安全协议的关联语义是刻画协议的核心性质,针对密钥交换协议关联特性,从分析主体认证关联语义、会话密钥关联语义、消息步骤间关联语义、消息内部关联语义和条件关联语义等方面来描述协议的内在语义,设计了基于关联语义密钥交换协议的...
关键词：关联语义 密钥交换协议 表示式 验证分析 
Co-regular集上的可计算算子
《中国学术期刊文摘》2008年第17期10-10,共1页邱玉文 赵希顺 
Co-regular集是R^d上的一类集合，在第二类能行性理论（简称TTE）的框架下，研究co-regular集组成的类P上若干算子的可计算性，这些算子主要包括交、并、象、原象、补集的内部运算和开集的co-regularization等。结果表明，此前提出的所...
关键词：第二类能行性理论 co-regular集 表示式 可计算算子 
测量误差分解方法的研究被引量：1
《仪器仪表学报》1984年第2期115-123,共9页钱钟泰 
本文根据产生误差的原因,提出了将测量误差分解成一系列误差项的方法。这些误差项的估计值都可以用理论和实验方法加以确定。文中按产生误差的原因,将目前广为应用的基本误差,附加误差,方法误差等概念汇集在一起,给以确切的定义。本文...
关键词：分解方法 估计值 误差项 数值分析 误差分析 被测对象 附加误差 参数值 完全相关 函数关系 表示式 条件参数 测量结果 固有误差 基本误差 测量装置 被测量 测量误差 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部