码迷,mamicode.com
首页 >  
搜索关键字:数学模型    ( 412个结果
朴素贝叶斯分类器学习
1.朴素贝叶斯概率模型的数学实质:独立条件概率。 朴素在这里的含义就是各影响因子概率发生独立。2.朴素贝叶斯分类器的数学模型:条件概率模型P(C|F1F2...Fn)=P(C)P(F1F2...Fn|C)/P(F1F2...Fn) (1)这里Fn代表的是独立变量C的若干个特征变量(影响因子)。我们知...
分类:其他好文   时间:2015-02-11 18:08:30    阅读次数:204
高等数学总结(完)
经过这些日子的连续性作战,高等数学的复习终于完成了:1)整个高等数学最本质的思想是极限思想;而这一思想贯穿高等数学的全过程;2)函数本质就是映射,映射包含:     A)从现实问题到数学模型的映射;     C)现实空间到向量空间到坐标系空间之间的映射;3)绝对的精确其实很难,退一步则海阔天空(近似思维);4)近似到精确的桥梁是极限;5)分割,化小是极限方法的手术刀。...
分类:其他好文   时间:2015-02-08 16:54:15    阅读次数:149
第五章
1.形式化方法 (1)广义上:将离散数学的方法用于解决软件工程领域的问题。 包括:建立精确的数学模型、对模型的分析活动。 狭义上:进行形式化的规格说明、模型推理、验证。 (2)作用:解决规格说明的二义性、提高精确性、提高确认手段。 (3)根本上,软件的设计过程就是一个建立形式规约的过程。 程序---...
分类:其他好文   时间:2015-02-08 16:50:46    阅读次数:195
2015 数学建模竞赛 入门与提高 读书笔记
《数学建模竞赛入门与提高》 第1章:数学建模概述        近半个多世纪以来,数学已经走进了各大领域,而与其他学科相结合形成交叉学科,首要的关键一步就是建立研究对象的数学模型,并加以计算求解,数学建模和计算机技术在知识经济时代的作用可谓是如虎添翼。   1.1  初入门径——认识数学模型与数学建模 数学建模就是用数学语言描述实际现象的过程,这里的实际现象包含具体的自然现象,也包含抽象...
分类:其他好文   时间:2015-02-04 16:35:24    阅读次数:220
《软件工程中的形式化方法》
在软件工程中,通过建立精确的数学模型以及对软件模型进行分析活动后建立的方法称为软件工程中的形式化方法,包括形式规约,形式证明与验证及程序求精三方面的活动。形式规约是规格说明的形式化;形式证明与验证技术包括模型检测和定理证明;程序求精是从抽象的形式规约推演出的面向程序代码的全过程,包括时态逻辑,Z.....
分类:其他好文   时间:2015-02-03 14:58:34    阅读次数:117
数学建模学习笔记(第一章:建立数学模型)
第一章:建立数学模型 1.    常见模型:是为了一定目的,对客观事物的一部分进行简缩、抽象,提炼出来的原型的替代物。其集中反映了原型中人们需要的那一部分特征。 实物模型:玩具、照片、飞机、火箭; 物理模型:水箱中的舰艇、风洞中的飞机; 符号模型:地图、电路图、分子结构图。 2.    建立数学模型的基本步骤:以航海为例 a) 做出简化假设:船速、水速为常数; b) 模型构成...
分类:其他好文   时间:2015-02-03 09:35:54    阅读次数:126
人工神经网络
人工神经网络初窥人工神经网络(ArtificialNeuralNetwork,简称ANN),以数学模型模拟神经元活动,是基于模仿大脑神经网络结构和功能而建立的一种信息处理系统。人工神经网络具有自学习、自组织、自适应以及很强的非线性函数逼近能力,拥有强大的容错性。它可以实现仿真、预测以及模糊控制等功能...
分类:其他好文   时间:2015-02-03 00:37:14    阅读次数:388
<数据结构与算法分析 C++描述> 表/栈/队列
这一章主要内容: * 抽象数据类型(ADT)的概念 * 实现表/栈/队列 * 了解这三个数据结构的应用场景 1. ADT ADT: abstract data type, 是抽象的数学模型,在该模型上定义了一系列的操作。使用它的人,不需要了解它的存储方式,只关心它的逻辑特征。可以使用三元组的方法来表示(D,S,P),D是数据对象,S是数据之间的关系,P是对数据的基本操作,具体介绍,可以参...
分类:编程语言   时间:2015-02-02 21:35:51    阅读次数:222
大数据能否让地震预警更加快速有效
预测地震为什么如此困难? 说地震预测预报是最重要的世界难题,这绝不为过。重要是因为它的发生会涉及大面积的人生命安全与财产安全,困难是因为其覆盖的科学领域太多,太繁杂。 我们知道,每天的天气预报多数是通过地面气象站收集到的气温数据与风力和空气湿度来判断未来24小时的情况,再结合气象卫星和数学模型进.....
分类:其他好文   时间:2015-02-02 15:21:12    阅读次数:193
Chapter 5 软件工程中的形式化方法
从广义上讲,形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。软件规格说明是软件对软件系统对象,对象的操作方法,以及对象行为的描述。软件的设计过程就是一个建立.....
分类:其他好文   时间:2015-02-02 14:04:02    阅读次数:127
412条   上一页 1 ... 34 35 36 37 38 ... 42 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!