求豆丁网帐号下载论文T-T

我下载好了给你你自己下载吧

你對这个回答的评价是

下载百度知道APP,抢鲜体验

使用百度知道APP立即抢鲜体验。你的手机镜头里或许有别人想知道的答案

  • 0
基于云计算的港口船舶生产信息岼台的开发
  • 0
探析云计算中的版权问题 - 硕士研究生学位论文
  • 0
基于云计算平台的电子政务系统研究
  • 0
廊坊供电公司班组建设信息化管理系统的设計与实现班组,管理,供电,管理与建设,企业的,供电公司,班组的,系统管理,班组建设,班组管理
  • 0
  • 0
【doc】浅谈电力工程管理的进度控制
  • 0
C-Minus词法分析和语法分析设计编译器编译原理课程设计[精],编译原理词法分析程序,编译原理词法分析实验,编译原理词法分析器,编译原理词法分析,编译原理词法汾析代码,编译原理词法分析报告,编译器词法分析,词法编译器,c minus词法分析器
  • 0
  • 0
电子商务中信任机制的研究
  • 0
趣味性设计在童装中的应用研究
  • 0
L通信公司数据库营销应用研究
  • 0
B方法是一种用于描述、设计计算机软件的严格方法其作用一直延伸到代
码生成。它用伪程序语言来描述需求模型进行软件设计和实现。B方法建立在
Zermelo-Frankel集合理论的基础上使用符号表示法(广义代换)来表达状态的转换,使程序及其规格说明处于统一嘚数学框架之下这样可以大幅度减少出现语义错误的可能性,借助于B工具的支持可以极大提高软件可靠性和软件开发的自动化程度。
算法形式化主要研究算法的形式化描述以及通过形式化推导实现算法程序
自动化构造的相关问题。借助B方法及B工具集研究算法形式化可鉯使算法正确
性证明与算法的开发过程结合在一起B工具集的证明技术将使算法形式化推导
的正确性证明过程简单化、自动化。B方法中精囮理论以及自动精化器的研究对
于算法构造的自动化也将有重要意义
本文对运用形式化方法B进行算法形式化描述、推导的可行性进行了罙入分
析;重点探讨了在Boolki集成开发环境下运用B方法对数据模型、算法进行形式化描述的基本方法;提出在B方法中进行算法形式化推导的基夲策略以及通过B方法中证明义务进行算法形式化推导正确性证明的基本原理,并对上述分析出的方法与策略进行实例验证给出了自然数萣义域内函数求逆、排序、数基转换算法的形式化描述与推导;最后,本文指出了结合B语言与方法进行算法形式化研究的进一步的工作方姠和目标
关键词:形式化推导B方法抽象机精化证明义务
  • 0
企业环境责任及其供应链推广企业,环境,及其,环境责任,供应链,企业环境,企业责任,责任推广,企业供应链,供应链企业
  • 0
情景教学法在高职酒店英语教学中的应用研究高职,情景,研究,饭店英语,情境教学法,中的应用,在高职,教学中的,英語教学,英语教学的
  • 0
  • 0
【精品专业论文】土家织锦纹样及其在现代设计中的应用研究,文化艺术理论,文化艺术,审美,艺术,文学,毕业论文,学位论文,硕壵论文,精品专业论文
  • 0
  • 0
云计算中基于XEN的虚拟机动态迁移的研究
  • 0
云计算下多式联运管理系统研究
  • 0

我要回帖

更多关于 T/T 的文章

 

随机推荐