搜索资源列表
Haskell 中文教程1-3章
- Haskell 中文教程1-3章(flw译) 纯粹的函数型编程语言。以著名逻辑学家 Haskell B. Curry 的名字命名。 最初的目的是想要设计出满足下面这些要求的语言: 1,它必须能够适合教学、研究、应用开发,包括一些大系统的构造。 2,它必须能够使用形式语言来准确描述。 3,它必须是自由免费的,任何人只要愿意都可以获取、使用和再次发布它。 4,它必须建立在大家一致认可的基础上。 5,它应该能够消除目前的函数型编程语言的差异。 -Haskell Chap
RadarAnalysisSoftware
- 此为使用VEE Pro开发的雷达信号分析软件,对仪器和雷达系统分析有参考价值-here for the use of VEE Pro development of the radar signal analysis software, the right equipment and radar analysis reference value
unit_3
- 21065L fft fir 源码 对于dsp系统的开发与应用有很大的好处。-21065L fft fir dsp source for the system development and application had a great advantage.
totstat21
- 淘特网独自开发的一套访问统计系统,经过一年的测试使用及大访问量下的压力测试,保证可以准确的统计用户的访问信息。系统提供了在线用户统计、页面访问、来路统计、IP、关键词统计等。为减轻服务器负担,本系统 使用了缓存处理.默认缓存时间为50S。你可以根据需要修改。-Amoy the Internet alone development of a visit statistical system After a year of testing and the use of large amount of
expert
- 用C#开发的录井油气识别专家系统,用于青海和南阳等油田,效果不错,包括源代码和可执行程序
text
- 电力系统中,经常用到潮流计算,这是用C++开发的潮流程序,可计算中高压配电网的潮流,已调试通过
superlu_dist_2.2.tar
- SuperLU 2.2版本。对大型、稀疏、非对称的线性系统的直接求解,用 Gauss 消去法做 LU 分解。用 C 开发。
barcode_system
- 采用Visual C++开发平台开发了一个条形码识别系统。该系统采用图像处理技术对条形码图像的噪声进行处理,然后再通过相似边距离的测量方法识别出条形码的编码,有效地提高了识别结果的准确度。 -Using Visual C++ Development platform to develop a bar code identification system. The system uses image processing technology on the bar code image to
TDS32
- VB开发的塔吊群防碰撞系统。实现基本功能。-VB Development crane Qunfang collision avoidance. Achieve the basic functions.
LTLrobust
- 用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试,本程序采用离线测试。输入为系统运行数据和LTL表达式,输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system control and verification. it i
fft
- 加窗的FFT/IFFT完整计算c++程序,数字信号处理及软件无线电系统开发必备!-Windowing FFT/IFFT calculation complete c++ program, digital signal processing and software radio systems development required!
Mathematical-Theory-of-FEM
- 《有限元方法的数学理论》中不但提供有限元法系统的数学理论。还兼重在工程设计和分析中的应用算法效率、程序开发和较难的收敛问题。目次:基本概念;Sobolev空间;椭圆边界值问题变分公式;有限元空间结构;Sobolev空间中的多项式近似理论.n维变分问题;有限元多栅法;加性Schwarz预条件; 极大范数估计;自适应网格; 变分病态、在平面弹性力学中的应用;混合法;迭代技巧用于混合法;算子插值理论的应用。读者对象;数学、物理和工程专业的研究生和技术人员。-" The mathematical
SAP4code
- 用fortran开发的静态以及动态线性反应系统-Static and Dynamic Response of Linear Systems
Amadeus-air-
- amadues软件公司开发的GDS主机相关质量与系统架构介绍的详细PPT文档,对民航it建设开发人员有重要作用-amadues software developed by the host-related quality of GDS system architecture described in detail with PPT documents, the developer of the air it has an important role in building
fftw-3.2.tar
- 西方快速Fourier变换。FFTW是计算离散Fourier变换(DFT)的快速C程序的一个完整集合,它可计算一维或多维、实和复数据以及任意规模的DFT。FFTW还包含对共享和分布式存储系统的并行变换。FFTW由麻省理工学院计算机科学实验室超级计算技术组开发。 -FFTW is a C subroutine library for computing the discrete Fourier transform (DFT) in one or more dimensions, of arbi
unit
- 一款基于matlab环境开发的系统辨识工具箱。主要涉及频域辨识算法,除了常规的辨识方法之外,还包括状态空间辨识。内有pdf的使用说明。-A matlab toolbox for system identification in frequency domain.
tt
- 随着计算机科学技术的不断提高和发展,其强大的运算功能已经逐渐融入人类社会的各个领域,并且在各个领域中发挥越来越重要的作用。当然,高效的运算速度并不代表无限快,在有限的资源空间里,要大大提高运算处理数据的速率,就需要我们使用那些在时间和空间上体现出高效的算法。本系统是为了演示在同一问题上,不同的算法在效率上存在的巨大差异。本系统采用Visual C++ 6.0中文版为开发工具,实现三种不同排序算法,即:冒泡排序算法、选择排序算法和快速排序算法,以及这三种排序对同一问题的处理并且以图形的形式给出快慢
gps
- 本书是一本实用全球定位系统(GPS)定位程序设计工具书。它包括了GPS应用和开发中全部常用的内容。 全书共分十章,它们是:绪论、数据采集和格式转换、卫星位置计算、绝对定位、相对定位、差分GPS定位、动态定位、辅助计算工具、GPS+GLONASS组合以及菜单界面设计。本书总结了多年的工作实践和研究成果,以38种不同功能的数学模糊及完整的源程序奉献给读者。 本书可供从事航空、航海、港口、航道、公路、铁路、勘测、地质、石油、测绘、水利、公安、保险、银行、探险等专业的应用、开发、研究和
svm
- LIBSVM是台湾大学林智仁(Lin Chih-Jen)副教授等开发设计的一个简单、易于使用和快速有效的SVM模式识别与回归的软件包,他不但提供了编译好的可在Windows系列系统的执行文件,还提供了源代码,方便改进、修改以及在其它操作系统上应用;该软件还有一个特点,就是对SVM所涉及的参数调节相对比较少,提供了很多的默认参数,利用这些默认参数就可以解决很多问题;并且提供了交互检验(Cross Validation)的功能-The LIBSVM Taiwan University Chih- J
NSGAII
- matlab开发环境下的与电力系统有关的遗传算法程序 -and power system related genetic algorithm matlab development environment