搜索资源列表
ModelicaBookExcerpts
- Modelica由位于瑞典Linkö ping的非赢利组织Modelica协会开发，可以免费使用。它是一种为支持有效的模型库开发和模型交换而设计的，建立在非因果模型之上、支持数学方程和模型知识重用的，用于大型、复杂、多种成分组成的物理系统建模的现代面向对象语言。它适合于多领域建模，例如机器人，包含机械、电子、水力、控制子系统的汽车、宇航应用，面向（化工）过程的应用及电力系统发配电等中的机电模型。Modelica中的模型是用微分、代数和离散方程进行数学描述的。无需人工求解特定的变量。Mod
5
- 小议图论，图论算法，关于用图论解题方法,离散数学有介绍-tu lun
4
- 卡尔曼于1960年提出了离散系统线性滤波的递推求解方法即卡尔曼滤波算法。该滤波算法是基于线性最小平方法的、进行有效递推计算的一组数学方程式,算法功能强大,支持对过去、现在和将来状态的估算。-Kalman in 1960 proposed a linear discrete-time systems to solve recursive filtering methods for the Kalman filter. The filtering algorithm is based on the
4
- 卡尔曼于1960年提出了离散系统线性滤波的递推求解方法即卡尔曼滤波算法。该滤波算法是基于线性最小平方法的、进行有效递推计算的一组数学方程式,算法功能强大,支持对过去、现在和将来状态的估算。-Kalman in 1960 proposed a linear discrete-time systems to solve recursive filtering methods for the Kalman filter. The filtering algorithm is based on the
mathematical-logic-lecture-notes
- 中山大学离散数学-数理逻辑课程讲义，周晓聪版-Zhongshan university discrete mathematics-mathematical logic course notes, ZhouXiaoCong version
detail-plan
- 离散数学课程网站的开发 详细设计文档 包含用例图 流程图等-the development of discretemathstudy detail describe use case photo
SE1-Abstraction-and-Modelling
- 第1卷，涵盖了基本的原则和技术，形式化方法和抽象造型。首先，这本书提供了一个良好的，但简单的基础上洞察离散数学：号码，电视机， cartesians ，类型，功能，的lambda演算，代数，数理逻辑。那么列车，其读者的基本财产和示范导向的规范原则和技巧。示范导向的观念，是共同的，如语言规范包括b ， vdm的-晚上八时，和z是解释，在这里用提高规范语言（出rsl ） 。这本书则涵盖的基本原则的应用（功能） ，势在必行，并发（并行）的规格规划。最后，卷载有一个全面的词汇，软件工程等，以及大量的索引
Dijkstra
- 这是一个C++编的Dijkstra算法，用于离散数学中求最短路径的问题。-This is a C++ compiled Dijkstra algorithm for shortest path problems in discrete mathematics.
psoalgorithms
- 求解0-1二次规划的粒子群算法 先将离散的0-1变量约束转化成了不光滑方程的约束，再用磨光函数方法对其光滑化。最终，把原来的数学模型转化为可微的非线性规划问题。最后，粒子群优化算法求解-0-1 first discrete particle swarm algorithm for solving 0-1 quadratic programming variable constraint transformed into smooth equations and constraints, it
BardLeahCA
- 生物模型的元胞自动机的方法 元胞自动机作为简单的数学模型，自组织的调查统计力学。一个详细的分析，给出了“基本”细胞自动机组成的序列值0或1行的网站，每个网站不断变化的确定性离散时间步长，根据一定的规则，涉及其最近的邻居的值。简单的初始配置，元胞自动机趋向于同质化的状态，或产生自相似的模式，与分形维数≃ 1.59或≃ 1.69。随着“随机”的初始配置，元胞自动机演化不可逆转的特性，导致一些自组织现象。产生的结构被发现的统计性质在于两种普遍性类，独立的初始状态的详细信
tongtai
- 利用算法编程判断离散数学中的两个代数是否同态？-Determine whether two algebraic homomorphism
Matlab-Simulink-and-control-system
- 《MATLAB/Simulink与控制系统仿真（第3版）》从应用角度出发，系统地介绍了MATLAB/Simulink及其在自动控制中的应用，结合MATLAB/Simulink的使用，通过典型实例，全面阐述了自动控制的基本原理以及控制系统分析与设计的主要方法。《MATLAB/Simulink与控制系统仿真（第3版）》共分13章，包括自动控制系统与仿真概述、MATLAB计算基础、Simulink仿真、控制系统数学模型、时域分析法、根轨迹分析法、频域分析法、控制系统校正与综合、线性系统状态空间分析、线
离散数学
- 离散数学离散数学离散数学离散数学离散数学