资源列表
QtCalculator
- 手机平台上使用的计算器源码,QT编码，简易计算器-Calculator for moilephone，base in QT
system_monitor
- 用于系统行为验证。给出系统运行的观测数据，给定一个用MTL形式化语言描述的表达式，运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.
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
SIFT
- SIFT程序，用于图像识别,对于各种变换有很强的鲁棒性，是图像标注方面的精典算法-SIFT program for image recognition, for a variety of transformation has a strong robustness, is the classical algorithm for image annotation terms
ch14
- 特殊函数集，包括gamma函数，是一种数学计算上用的特殊函数计算实体变量x的函数值-gamma
ch7
- 非线性方程与方程组的求解中的很多有意义的算法-i dont know how to say
ch4
- 矩阵运算集合，包括乘法，加减法，求逆，转置等-matrix
multinomial
- 多项式求值中用到的一系列的方法，有一维的也有二维的-multinomial
nihequxian
- 得到一些列的离散数据，用matlab，进行曲线拟合-Get some out of discrete data with matlab, for curve fitting