登录
首页 » Others » sf.tar

sf.tar

于 2011-01-25 发布 文件大小:611KB
0 115
下载积分: 1 下载次数: 4

代码说明:

  携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论


0 个回复

  • shengjingwangluo
    用matlab实现神经网络的城市交通流量预测。主要以大脑生理变化过程为基础、模仿大脑的结构和功能(Neural network using matlab implementation of the urban traffic flow prediction. Major physiological changes to brain-based process, to imitate the structure and function of the brain)
    2009-03-08 11:27:34下载
    积分:1
  • path_generator2
    Find the path selector
    2010-12-21 15:13:26下载
    积分:1
  • DoubleInvertedPendulum
    Double Inverted Pendulum Full-order observer design Reduced-order observer design Pole-placement method LQR method LQE method
    2010-12-02 11:20:24下载
    积分:1
  • Matlab_and_auto_adapted_neural_network_fuzzy_reaso
    本书着重介绍MATLAB在工程数据数学处理中应用的基础知识和计算方式,其内容涉及MATLAB主包和部分工具箱内容。本书另外涉及MATLAB系统的模糊逻辑工具箱的自适应神经网络模糊推理系统,对自适应神经网络模糊推理系统的数学原理、功能使用和程序调用进行了较详细的论述。(This book focuses on MATLAB mathematical treatment in the application of engineering data, the basic knowledge and methods of calculation, involving the main package and part of the MATLAB toolbox contents. This book also involve MATLAB Fuzzy Logic toolbox of adaptive neural network fuzzy inference system, adaptive neural network on the mathematical theory of fuzzy inference system, functions and procedures call for using a more detailed discussion.)
    2010-05-18 13:27:39下载
    积分:1
  • tabu
    this is file for traffic networks benchmarks...
    2013-03-11 15:31:07下载
    积分:1
  • xj
    说明:  软硬阈值的语音增强处理,可直接运行出结果,可做语音增强算法参考(Hard and soft threshold speech enhancement processing, can be run directly the results, can be reference for speech enhancement algorithm )
    2015-05-21 20:23:56下载
    积分:1
  • LMS
    说明:  一种基于LMS的改进变步长算法及其应用,一种基于LMS的改进变步长算法及其应用(Improvements based on variable step size LMS algorithm and its application)
    2011-04-06 16:24:28下载
    积分:1
  • 8
    说明:  它主要研究的是多因变量对多自变量的回归建模,特别当各变量内部高度线性相关时,用偏最小二乘回归法更有效。另外,偏最小二乘回归较好地解决了样本个数少于变量个数等问题。 偏最小二乘法是集主成分分析、典型相关分析和多元线性回归分析3种分析方法的优点于一身。它与主成分分析法都试图提取出反映数据变异的最大信息,但主成分分析法只考虑一个自变量矩阵,而偏最小二乘法还有一个“响应”矩阵,因此具有预测功能。(It is mainly a result of the study is a multi-variable regression modeling and more independent variables, especially when the internal height of each variable linear correlation, partial least squares regression method is more effective. In addition, partial least squares regression solves the number of samples is less than the number of variables and other issues. Partial least squares method is a set of principal component analysis, canonical correlation analysis and multiple linear regression analysis of the advantages of the three methods in one. It is the principal component analysis are trying to extract the maximum information reflects data variability, but the principal component analysis considers only one independent variable matrix, and partial least squares and a &quot response&quot matrix, predictive capabilities.)
    2015-04-21 16:52:15下载
    积分:1
  • kiunei_v76
    结合PCA的尺度不变特征变换(SIFT)算法,双向PCS控制仿真,使用matlab实现智能预测控制算法。( Combined with PCA scale invariant feature transform (SIFT) algorithm, Two-way PCS control simulation, Use matlab intelligent predictive control algorithm.)
    2016-05-20 15:45:56下载
    积分:1
  • matlab_calibration
    matlab标定箱即标定要用的图片,主要是用于立体标定,图像对有40张,能得到很好的标定结果。(matlab calibration box that is calibrated to use the picture, mainly for three-dimensional calibration, the image of a 40, can get good calibration results.)
    2011-01-20 15:48:33下载
    积分:1
  • 696518资源总数
  • 104552会员总数
  • 20今日下载