搜索资源列表
-
0下载:
Haskell是一种程序语言。特别的,它是多态类型,懒惰的,纯的函数式语言,与大多数其它编程语言不同。 该语言被命名为Haskell Brooks Curry。它是以数学逻辑为基础的函数式语言,基于lambda演算。
为什么使用Haskell?
写一个能工作的大型的软件系统是很困难的而且很昂贵的。维护这个系统甚至更加困难和昂贵。函数式程序语言,例如Haskell,能够使之变得简单而且廉价。
附件为Haskell编译器源代码-Haskell is a programming langu
-
-
0下载:
本代码系统介绍了运筹学算法及编程实践,希望大家喜欢。-the code system on the operations research algorithms and programming practice, hope you like them.
-
-
0下载:
正在学数字信号处理,感觉上学期信号与系统学得不扎实,因为当时只是死记公式,这学期数信老师提倡动手实践,觉得自己在编程中对公式理解得更加深刻了。 以下是我写的FFT,欢迎指教。-is studying digital signal processing, signal feel semester with enough solid school system, because only memorizing formulas, a few letters this semester to prom
-
-
8下载:
************************************************************************ * * * * * THIS IS THE H Y P L A S 2.0 README FILE * * ----------------- * * * * HYPLAS is a finite element program for implicit small and large * * strain analisys of hyperelast
-
-
1下载:
用C语言编程的,计算电力系统潮流计算的程序,Using C programming language, computing power system power flow calculation procedure
-
-
0下载:
这是松弛法编程,它是高斯-赛德尔迭代法的一种加速收敛的方法。是大型稀疏矩阵线性方程组的有效解法之一。
-This is the relaxation method programming, it is the Gauss- Seidel iterative method to accelerate the convergence of a method. Large sparse matrix system of linear equations, one effective solutio
-
-
0下载:
用c语言编程实现系统辨识,速度快,准确度高-C programming language used to achieve system identification, fast, high accuracy
-
-
0下载:
系统地介绍数据挖掘方面的基本知识,提供了编程的方法-Data mining system to introduce the basic knowledge and provides a method of programming
-
-
1下载:
根据应用的实际需要,采用基于对话框的MFC程序设计模式,将对话框的客户区界面分为两个部分,一个是用于显示坐标系的图像区域,另一个是和用户交互的操作部分,根据用户的需要进行不同的操作选择和设置等。
采用基于对话框的程序设计,对于绘制曲线部分,坐标轴的确立和刻度,原点等,根据自己的偏好进行设置。本设计曲线绘制的精度不是很高,采样的点数只有有限个,而且自己建立的坐标系也存在一些数值的取舍。能够得出阿伦方差的大致走向。
-Depending on the application of the a
-
-
0下载:
Intention based scoring (IBS) is a scoring system, its goal is to provide a score that more accurately assesses a student’s ability to solve a composition problem, and therefore assess direct effects of the student s programming ability. This process
-
-
0下载:
用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试,本程序采用离线测试。输入为系统运行数据和LTL表达式,输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system control and verification. it i
-
-
1下载:
假设用一观测器从t=1秒开始对一个运动目标的距离进行连续地跟踪测量,假设观测的间隔为一秒钟,雷达到运动目标之间的距离为 常数
分析上述对象,建立系统模型,构造卡尔曼滤波器,编程计算,求:
距离S(t-5)的最佳平滑及估计误差,
-Suppose observer with a t = 1 seconds starting from a continuously moving target tracking distance measurement, assuming a second
-
-
0下载:
Mathematica数学软件系统的应用及其程序设计-The application of mathematical software system Mathematica and its programming
-
-
0下载:
C++编程的快速傅里叶变换,主要应用在电力系统中谐波的测量和计算中。-C++ programming of the fast Fourier transform, the main applications in the power system harmonics measurement and calculation.
-
-
0下载:
基于牛拉法的电力系统潮流计算,该程序是计算IEEE3节点的,采用matlab编程-Cattle Rafah-based power system load flow calculation, the program the calculation IEEE3 node, using matlab programming
-
-
0下载:
分制计算,里面运用case语句实现分支,提高了编程效率-The points system calculation, which use a case statement branch, to improve the programming efficiency
-
-
0下载:
3个小程序表现了线性系统理论课程的基本计算。包括:从I/O转化到状态空间等等。-The three small program performance of the basic calculation of the linear system theory courses. Include: conversion from the I/O into the state space.
-
-
0下载:
压缩文件附录了数学建模中,整数规划在具体应用中的源代码,并对建模本身进行了系统的介绍。-Elaborated on Grey System Studies, relevance and factors associated with the degree of how to quantify the problem is analyzed.
-
-
0下载:
分支界定实现源程序,本程序用C语言实现,故依据C语言的语法,数字0表示甲城市,数字49表示乙城市.-This is a software system that solves mixed-integer linear programs by a branch-and-bound algorithm with linear programming relaxations.
-
-
0下载:
convex programming
CVX is a Matlab-based modeling system for convex optimization. CVX turns Matlab into a modeling language, allowing constraints and objectives to be specified using standard Matlab expression syntax.
-