可验计算理论中若干问题研究—博士毕业论文下载

	载入中...

可验计算理论中若干问题研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→安全保密论文

可验计算理论中若干问题研究

论文目录
摘要	第1-10页
ABSTRACT	第10-12页
1 绪论	第12-20页
· 国内外研究现状	第14-17页
· 本文的研究内容	第17-18页
· 本文的组织结构	第18-19页
· 符号和术语	第19-20页
2 基本知识	第20-33页
· 可验计算的模型和安全性	第20-22页
· 简明非交互知识论证的模型	第22-26页
· 经典的基于PCP理论的简明论证	第26-27页
· 基于二次张成程序的简明论证	第27-31页
· 数据代理	第31页
· 明携带数据	第31-33页
3 可提取性和不可混淆性	第33-40页
· 可提取求值器和简明论证	第33-35页
· 提取求值器和不可混淆函数族	第35-38页
· 本章小结	第38-40页
4 基于张成程序的简明论证	第40-61页
· 改进的二次张成程序构造	第40-55页
· 作为电路检查器的准良张成程序	第40-44页
· 线路良性检查器和二次张成程序	第44-48页
· 二次张成程序的多项式形式	第48-50页
· 基于二次张成程序的简明论证	第50-55页
· 基于二次张成程序简明论证的计算正确性	第55-59页
· 简明论证系统的应用	第59页
· 本章小结	第59-61页
5 张成程序和数据代理	第61-74页
· 数据的张成程序和三次张成程序	第61-65页
· 三次张成程序	第65-67页
· 基于三次张成程序的流代理	第67-72页
· 数据代理的应用	第72-73页
· 本章小结	第73-74页
6 条件数据流的证明携带数据系统	第74-92页
· 常数深度条件数据流的证明携带数据系统	第77-83页
· 条件数据流的伴随谓词	第77-78页
· 递归组合条件数据流的简明论证	第78-83页
· 明携带数据的自举	第83-89页
· 条件数据流的树伴随谓词	第83-87页
· 即时构造树数据流	第87-89页
· 证明携带数据的应用	第89-90页
· 本章小结	第90-92页
7 总结与展望	第92-95页
· 总结	第92页
· 展望	第92-95页
参考文献	第95-105页
博士期间发表及已接收的论文	第105-106页
致谢	第106-107页
附件	第107-108页

本篇论文共108页，点击这进入下载页面。

更多论文
可验计算理论中若干问题研究
BPEL流程异常处理的可终止性验证研
Web服务组合及其异常处理的关键技术
基于区域的遥感影像多尺度表达方法
执政党公共形象传播研究
数字图书馆知识服务的情境影响因素
改革开放以来中国新闻记者的职业意
基于激光诱导击穿光谱技术的原油元
长湖浮游生物群落结构及水质生物学
氧化石墨烯对作物种子萌发及幼苗生
植物耐铝相关GmNramp5Like基因和Os
猪脑心肌炎HB10株的3C蛋白酶对Ⅰ型
基于多源遥感的江苏省油菜及其同物
参与式GIS在国土空间规划中的应用研
基于SVG的地图符号库扩展及可视化编
基于MODIS-TVDI方法的新疆干旱监测
苏里格气田东区下古生界马家沟组马
剩余油分布规律与评价方法研究——
焦石坝地区志留系龙马溪组含气页岩
裂缝性碳酸盐岩储层饱和度评价方法
大庆油田北二西区剩余油成因分析
一种电火花震源的控制监护系统设计
楚雄盆地构造演化及油气成藏条件研
基于prony变换的地震波吸收衰减特性
利用测井和三维地震资料综合进行沉
桂中坳陷泥盆系沉积相及岩相古地理
柴达木盆地昆北油田切12区下干柴沟
麻黄山西区块长6、长8油组油藏储层
松辽盆地南部让53致密区扶余油层储
鄂尔多斯盆地红河油田长8油层组储层
晋县凹陷古近系油气运移与富集规律
南方富有机质页岩复电阻率测试分析
高性能超声反射测井仪控制部分设计
苏里格气田苏14、桃7区块盒_8-
南海西部油田高温高压储层敏感性研
准噶尔盆地南缘霍玛吐背斜带中上组
大民屯凹陷变质岩潜山裂缝储层预测
准噶尔盆地南缘霍玛吐背斜带中上组
一种新型钻孔雷达天线仿真设计
页岩气地质建模分析——以四川盆地
地—井高精度电磁法探测煤田积水采
准噶尔盆地车排子凸起春光区块古近
英东地区产能评价研究
蠡县斜坡北段沙一下成藏过程研究
江汉盆地陈沱口地区新沟嘴组下段沉
江陵凹陷新沟嘴组新下1沉积体系研究
济阳坳陷页岩油测井评价方法研究
微地震数据去噪方法研究
薄储层识别与评价在伊拉克H油田的应
新沟地区新下Ⅱ油组储层特征研究
基于Bayes理论的遗传退火反演方法研

可验计算论文数据代理论文
版权申明：目录由用户xiajunj**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved