形式化描述

  • 词语矩阵论文-贾璐

    词语矩阵论文-贾璐

    导读:本文包含了词语矩阵论文开题报告文献综述及选题提纲参考文献,主要关键词:同义关系,模糊矩阵,形式化描述词语矩阵论文文献综述贾璐[1](2012)在《词语同义关系的模糊矩阵描...
  • 主引导记录论文-金戈,薛质,齐开悦

    主引导记录论文-金戈,薛质,齐开悦

    导读:本文包含了主引导记录论文开题报告文献综述及选题提纲参考文献,主要关键词:主引导记录,形式化描述,协同隐藏,静态特征主引导记录论文文献综述金戈,薛质,齐开悦[1](2015...
  • 以网络为中心的作战论文-王德鑫

    以网络为中心的作战论文-王德鑫

    导读:本文包含了以网络为中心的作战论文开题报告文献综述及选题提纲参考文献,主要关键词:联合作战,计划描述框架,概念模型,形式化描述以网络为中心的作战论文文献综述王德鑫[1](2...
  • 部分正确性论文-张锦,刘曼霞,赵二群,柳军飞

    部分正确性论文-张锦,刘曼霞,赵二群,柳军飞

    导读:本文包含了部分正确性论文开题报告文献综述及选题提纲参考文献,主要关键词:形式化描述,部分正确性验证,结构化XYZ,E,国库信息处理系统部分正确性论文文献综述张锦,刘曼霞,...
  • 磁盘文件搜索论文-金戈,薛质,齐开悦

    磁盘文件搜索论文-金戈,薛质,齐开悦

    导读:本文包含了磁盘文件搜索论文开题报告文献综述及选题提纲参考文献,主要关键词:恶意行为,协同隐藏,形式化描述,PE文件磁盘文件搜索论文文献综述金戈,薛质,齐开悦[1](201...
  • 无人化平台论文-鲍广宇,吴亚宁

    无人化平台论文-鲍广宇,吴亚宁

    导读:本文包含了无人化平台论文开题报告文献综述及选题提纲参考文献,主要关键词:作战命令,形式化描述,与,或树,语法检验无人化平台论文文献综述鲍广宇,吴亚宁[1](2015)在《...