当前位置:全部 >  论文
   
FJ公司IaaS云计算服务成本法定价策略研究81 p
pdfFJ公司IaaS云计算服务成本法定价策略研究
暂无描述
  • 上传人: david24
  • 2020-01-27 12:16
  • 0
  • 评论0
  • 收藏1
  • 基于云计算的港口船舶生产信息平台的开发60 p
    pdf基于云计算的港口船舶生产信息平台的开发
    基于云计算的港口船舶生产信息平台的开发
  • 上传人: bhlhh
  • 2020-01-27 12:16
  • 0
  • 评论0
  • 收藏0
  • 探析云计算中的版权问题55 p
    pdf探析云计算中的版权问题
    探析云计算中的版权问题 - 硕士研究生学位论文
  • 上传人: bossj830p2l9
  • 2020-01-27 12:16
  • 0
  • 评论0
  • 收藏0
  • 基于云计算平台的电子政务系统研究67 p
    pdf基于云计算平台的电子政务系统研究
    基于云计算平台的电子政务系统研究
  • 上传人: ftjm482
  • 2020-01-27 12:16
  • 0
  • 评论0
  • 收藏0
  • 廊坊供电公司班组建设信息化管理系统的设计与实现66 p
    pdf廊坊供电公司班组建设信息化管理系统的设计与实现
    廊坊供电公司班组建设信息化管理系统的设计与实现班组,管理,供电,管理与建设,企业的,供电公司,班组的,系统管理,班组建设,班组管理
  • 上传人: yaoming
  • 2020-01-27 12:16
  • 0
  • 评论0
  • 收藏2
  • 浅析连锁装饰的工程管理模式2 p
    docx浅析连锁装饰的工程管理模式
    暂无描述
  • 上传人: sabrina_1982
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏1
  • 【doc】浅谈电力工程管理的进度控制8 p
    doc【doc】浅谈电力工程管理的进度控制
    【doc】浅谈电力工程管理的进度控制
  • 上传人: xiajiaxz
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏3
  • C-Minus词法分析和语法分析设计编译器编译原理课程设计[精]56 p
    docC-Minus词法分析和语法分析设计编译器编译原理课程设计[精]
    C-Minus词法分析和语法分析设计编译器编译原理课程设计[精],编译原理词法分析程序,编译原理词法分析实验,编译原理词法分析器,编译原理词法分析,编译原理词法分析代码,编译原理词法分析报告,编译器词法分析,词法编译器,c minus词法分析器
  • 上传人: fv5e2d47ogejwu0p
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏12
  • 液力行星齿轮复合传动技术应用研究59 p
    pdf液力行星齿轮复合传动技术应用研究
    暂无描述
  • 上传人: 来者是客
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏6
  • 电子商务中信任机制的研究40 p
    doc电子商务中信任机制的研究
    电子商务中信任机制的研究
  • 上传人: bv70drwpb998a1v1
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏2
  • 趣味性设计在童装中的应用研究45 p
    pdf趣味性设计在童装中的应用研究
    趣味性设计在童装中的应用研究
  • 上传人: ωǒ 专业好文档
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏2
  • LT通信公司数据库营销应用研究61 p
    pdfLT通信公司数据库营销应用研究
    LT通信公司数据库营销应用研究
  • 上传人: 957157666
  • 2020-01-27 12:15
  • 2
  • 评论0
  • 收藏2
  • B语言与方法在算法形式化中的应用研究74 p
    pdfB语言与方法在算法形式化中的应用研究
    B方法是一种用于描述、设计计算机软件的严格方法,其作用一直延伸到代
    码生成。它用伪程序语言来描述需求模型,进行软件设计和实现。B方法建立在
    Zermelo-Frankel集合理论的基础上,使用符号表示法(广义代换)来表达状态的转换,使程序及其规格说明处于统一的数学框架之下,这样可以大幅度减少出现语义错误的可能性,借助于B工具的支持,可以极大提高软件可靠性和软件开发的自动化程度。
    算法形式化主要研究算法的形式化描述,以及通过形式化推导实现算法程序
    自动化构造的相关问题。借助B方法及B工具集研究算法形式化可以使算法正确
    性证明与算法的开发过程结合在一起,B工具集的证明技术将使算法形式化推导
    的正确性证明过程简单化、自动化。B方法中精化理论以及自动精化器的研究对
    于算法构造的自动化也将有重要意义。
    本文对运用形式化方法B进行算法形式化描述、推导的可行性进行了深入分
    析;重点探讨了在BToolkit集成开发环境下运用B方法对数据模型、算法进行形式化描述的基本方法;提出在B方法中进行算法形式化推导的基本策略以及通过B方法中证明义务进行算法形式化推导正确性证明的基本原理,并对上述分析出的方法与策略进行实例验证,给出了自然数定义域内函数求逆、排序、数基转换算法的形式化描述与推导;最后,本文指出了结合B语言与方法进行算法形式化研究的进一步的工作方向和目标。
    关键词:形式化推导B方法抽象机精化证明义务
  • 上传人: qqq09668
  • 2020-01-27 12:15
  • 2
  • 评论0
  • 收藏1
  • 企业环境责任及其供应链推广87 p
    pdf企业环境责任及其供应链推广
    企业环境责任及其供应链推广企业,环境,及其,环境责任,供应链,企业环境,企业责任,责任推广,企业供应链,供应链企业
  • 上传人: baibbei
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏2
  • 情景教学法在高职酒店英语教学中的应用研究45 p
    pdf情景教学法在高职酒店英语教学中的应用研究
    情景教学法在高职酒店英语教学中的应用研究高职,情景,研究,饭店英语,情境教学法,中的应用,在高职,教学中的,英语教学,英语教学的
  • 上传人: yaoming
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏4
  • 基于EVA视角的供应链融资研究——以X石油贸易公司为例64 p
    pdf基于EVA视角的供应链融资研究——以X石油贸易公司为例
    暂无描述
  • 上传人: woloin
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏4
  • 土家织锦纹样及其在现代设计中的应用研究65 p
    pdf土家织锦纹样及其在现代设计中的应用研究
    【精品专业论文】土家织锦纹样及其在现代设计中的应用研究,文化艺术理论,文化艺术,审美,艺术,文学,毕业论文,学位论文,硕士论文,精品专业论文
  • 上传人: 精品专业论文
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏6
  • 基于合作博弈的我国原油供应链协同利益分配模型研究58 p
    pdf基于合作博弈的我国原油供应链协同利益分配模型研究
    暂无描述
  • 上传人: liwenbiao1950
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏2
  • 云计算中基于XEN的虚拟机动态迁移的研究54 p
    pdf云计算中基于XEN的虚拟机动态迁移的研究
    云计算中基于XEN的虚拟机动态迁移的研究
  • 上传人: beny00010
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏0
  • 云计算下多式联运管理系统研究81 p
    pdf云计算下多式联运管理系统研究
    云计算下多式联运管理系统研究
  • 上传人: beny00010
  • 2020-01-27 12:15
  • 0
  • 评论0
  • 收藏1
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • >
  • 没找到文档?点击这里可以向万博官方网站求助