下载 >  开发技术 >  其它 > 形式化方法 -从模型到代码的实践应用.pdf (Formal Method-Industrial Use From Model to the Code)

形式化方法 -从模型到代码的实践应用.pdf (Formal Method-Industrial Use From Model to the Code) 评分:

形式化方法简介,着重介绍了B方法及工具、SIMULINK和SCADE在形式化方法中的应用。
2014-11-10 上传大小:10.22MB
分享
收藏 举报
B语言与方法_实用形式化开发指南

B语言与方法 / (英)K. Lano著 , 鲍涌等译 高等教育出版社 出版日期: 1998.7 目录: 第一章 引言 1.1 形式化方法

立即下载
model checking.pdf(英文版),Edmund M. Clarke著作,模型检验入门书籍

model checking.pdf(英文版),Edmund M. Clarke著作,模型检验入门书籍。有名的模型验证方面的专家。书中对model checking有很全面的介绍。

立即下载
Keras TensorFlow教程:如何从零开发一个复杂深度学习模型.pdf

Keras 是提供一些高可用的 Python API ,能帮助你快速的构建和训练自己的深度学习模型。Keras TensorFlow深度学习教程,希望对大家有用

立即下载
形式化方法论文集合

有关形式化方法著名论文的集合,由日本九州大学的教授整理的

立即下载
模型预测控制(model predictive control)

模型预测、自动控制领域大牛Alberto Bemporad的博士课程讲义,内容为MPC模型预测控制,讲解了MPC的基本概念,线性系统的MPC理论

立即下载
信用评分模型技术与应用

内容简介《信用评分模型技术与应用》理论联系实际,深入浅出地阐述了信用评分模型的概念、种类、优越性及其在各种金融管理活动中的重要应用,对信用评分模型的数据基础、数据挖掘的技术方法、信用评分模型的发展流程等进行了系统的分绍,对于一些在管理实践中广泛运用的模型如信用局评分模型(风险、收益、破产等)、市场营销评分模型(市场反应、转账倾向等)、申请风险评分模型、行为评分模型(欺诈性申请、欺诈性交易)等模型的开发技术和应用策略进行了具体的阐述,并对信用评分模型的实施、管理、跟踪、检验等最佳操作经验进行了翔实的论述。

立即下载
信用评分及其应用.pdf

信用评分及其应用,非常好,对于希望了解信用评分的人

立即下载
社会网络分析 方法应用

本书的目标是对网络分析方法进行综述,为那些对分析关系数据感兴趣的研究者提供一本参考书,也可作为社会网络初学者了解该领域基本情况的教科书。

立即下载
数据驱动的管理.pdf

数据驱动的管理.pdf 个人收集电子书,仅用学习使用,不可用于商业用途,如有版权问题,请联系删除!

立即下载
MATLAB数学建模方法实践(第三版)配套程序和数据

1) 所有程序为《MATLAB数学建模方法与实践》的配套程序; 2)《MATLAB数学建模方法与实践》是《MATLAB在数学建模中的应用》(第二版)的升级版,《MATLAB在数学建模中的应用》(第二版)以后将不再加印。 3) 所有程序均在MATLAB2018a版本上测试通过,请大家注意版本,当然大部分程序对版本的兼容能力较强。

立即下载
BarraRiskModel

In recent years the investment management industry has adjusted to continuing changes—theoretical advances, technological devel- opments, and volatility. To address these, investment managers and financial institutions require the most advanced and powerful analytical tools available.

立即下载
多语自然语言处理 从原理到实践_扫描版_带书签.pdf

《计算机科学丛书·多语自然语言处理:从原理到实践》是一本全面阐述如何构建健壮和准确多语种自然语言处理系统的图书,由两位资深专家编辑,集合了该领域众多尖端进展以及从广泛的研究和产业实践中总结的实用解决方案。第一部分介绍现代自然语言处理的核心概念和理论基础,展示了现今理解单词和文件结构、分析语法、建模语言、识别蕴含和检测冗余。第二部分彻底阐述与构建真实应用有关的实际考量,包括信息抽取、机器翻译、信息检索/搜索,总结、问答、提炼、处理流水线等。

立即下载
MATLAB在数学建模中的应用(卓金武pdf+源代码

资源中包含:1.pdf书籍《MATLAB在数学建模中的应用(卓金武)》 2.书籍中所有matlab的源程序

立即下载
统计模型:理论和实践(第2版)【中文版】

【书名】 统计模型:理论和实践 【作者】Freedman 【出版社】机械工业出版社 【版本】原书第2版 【出版日期】2010年9月第一版第一次印刷 【文件格式】PDF 【文件大小】32.1M 【页数】277 【ISBN出版号】978-7-111-30989-5 【资料类别】统计学教材 【市面定价】45.00元 【扫描版还是影印版】:扫描版 【是否缺页】无 【关键词】统计模型、理论和实践 【内容简介】《统计模型:理论和实践(原书第2版)》是一本优秀的统计模型教材,着重讲解线性模型的应用问题,包括广义最小二乘和两步最小二乘模型,以及二分变量的probit及logit模型的应用。《统计模型:理论和实

立即下载
Python网络爬虫从入门到实践代码范例

《Python网络爬虫从入门到实践代码范例》本书范例源代码

立即下载
HL7 v3从模型到消息

HL7 VERSION 3: FROM THE MODEL TO THE MESSAGE从模型到消息

立即下载
keil错误集V1.0.pdf

开发资料\我的资料\keil错误集V1.0.pdf 一、 main.c(35): warning: #128-D: loop is not reachable from preceding code 原因,前面有一个while(1){ …….} 二、 main.c(54): warning: #1-D: last line of file ends without a newline 少了一个回车在}之后 改后是 三、 initSpi.c(6): error: #268: declaration may not appear after executable statement in bloc

立即下载
Arduino从基础到实践

[Arduino编程从零开始]Programming Arduino Getting Started with Sketches、从基础到实践,实战指南

立即下载
自然语言计算机形式分析的理论与方法_冯志伟_完整书签_扫描版.pdf

自然语言计算机形式分析是横跨语言学、计算机科学和数学的一个交叉研究领域,是自然语言计算机处理的关键。自然语言是信息主要的负荷者,在当今信息网络时代,计算机已经日益普及,普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的,它已经成为了极为丰富的语言信息资源;移动通信也是以自然语言为媒介的,它已经渗透到日常生活的各个领域。因此,自然语言计算机形式分析对于国家的信息化建设,对于互联网和移动通信的安全具有重要作用。   本书对自然语言处理中的各种理论和方法进行了系统的总结和梳理。首先讨论了自然语言处理的学科定位;接着介绍了语言计算的一些先驱研究;然后以主要的篇幅讨论自

立即下载
Python编程:从入门到实践pdf书+源代码

Python编程:从入门到实践(pdf书+源代码) Python编程:从入门到实践(pdf书+源代码) Python编程:从入门到实践(pdf书+源代码)

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

形式化方法 -从模型到代码的实践应用.pdf (Formal Method-Industrial Use From Model to the Code)

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
14 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: