资源列表
LTLrobust
- 用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试，本程序采用离线测试。输入为系统运行数据和LTL表达式，输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system control and verification. it i
HandoutForLogic_fromArizonaStateUniversity
- 这是亚利桑那州立大学计算机课程Logic for Computer Scientists 的原版教程。教程中重点讲述了propositional logic和逻辑编程语言（ASP）Answer set programming. 这是一种非常快速在国外刚兴起的逻辑编程语言。-This is the Arizona State University computer courses Logic for Computer Scientists in the original tutorial. Tut
theory_of_computation
- 国外计算机专业重要研究生课程 theory of computation 的中文第一版和英文原版第二版。以及课后习题答案。-Computer important overseas post-graduate courses in Chinese theory of computation of the first edition and second edition of the English original. And Homework answer.
binaries-2.0.5-win32
- 上传文件包括编译运行平台和许多实例。Answer set programming(简称ASP)是国外近几年兴起的一种重要的逻辑编程语言，对于求解NP问题有良好的时间上限优势。例如图的着色问题，哈密顿回路问题，sudoku问题，生物医学的特征选择问题等等。加上我上传的logic学习资料配套使用。-uploaded file include the compile and develop platform and many examples. Answer set programming is a
43kindoffinitedifferencemethodcode(Fortran)
- 43种计算流体力学有限差分法的格式代码 见证了计算流体力学的发展历程-43 finite difference method of computational fluid dynamics code format witnessed the course of development of computational fluid dynamics
codes
- sph的3d求解程序，不包含前期求解文件 很经典是美国人编的 希望有这方面兴趣的人给我发邮件 共同讨论-sph of 3d solving process to solve file does not contain a classic pre-compiled Americans want people interested in this send me an email to discuss
SIFT
- SIFT程序，用于图像识别,对于各种变换有很强的鲁棒性，是图像标注方面的精典算法-SIFT program for image recognition, for a variety of transformation has a strong robustness, is the classical algorithm for image annotation terms
ercheng
- 最小二乘算法拟合平面,在矩形区域上分别x,y上分布z的值，通过拟合曲面得到z=f(x,y)函数-surface fitting
ch14
- 特殊函数集，包括gamma函数，是一种数学计算上用的特殊函数计算实体变量x的函数值-gamma
ch7
- 非线性方程与方程组的求解中的很多有意义的算法-i dont know how to say
ch4
- 矩阵运算集合，包括乘法，加减法，求逆，转置等-matrix
multinomial
- 多项式求值中用到的一系列的方法，有一维的也有二维的-multinomial