登录
首页 » MultiPlatform » Static-Analysis-of-Software

Static-Analysis-of-Software

于 2015-03-24 发布 文件大小:11632KB
0 87
下载积分: 1 下载次数: 2

代码说明:

  Static Analysis of Software The Abstract Interpretation Edited by Jean-Louis Boulanger 1. Computer software Testing. 2. Debugging in computer science. 3. Computer software Quality control.

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

发表评论

0 个回复

  • plaincontrolnetcomputation
    平面控制网平差程序,使用平面控制网测量数据进行最小二乘法平差拟合,得到平面控制网结果(use of TSL and surveying datas to get horizontal control network result)
    2011-01-01 15:51:17下载
    积分:1
  • 6787-14807-1-PB
    A Novel Image Reconstruction Algorithm Based on Concatenated Dictionary This paper presents a novel method for image reconstruction, which decomposites the image by concatenating a redundant dictionary of several bases and then reconstruct the image efficiently by means of Matching Pursuit algorithm. The proposed method constructs the concatenated dictionary with cosine bases, wavelet bases and contourlet bases, which will lead to a better approximation of the original image. The experimental results show that the proposed algorithm can greatly reduce the computational complexity and generate a better reconstruction effect compared with previous methods.(A Novel Image Reconstruction Algorithm Based on Concatenated Dictionary This paper presents a novel method for image reconstruction, which decomposites the image by concatenating a redundant dictionary of several bases and then reconstruct the image efficiently by means of Matching Pursuit algorithm. The proposed method constructs the concatenated dictionary with cosine bases, wavelet bases and contourlet bases, which will lead to a better approximation of the original image. The experimental results show that the proposed algorithm can greatly reduce the computational complexity and generate a better reconstruction effect compared with previous methods.)
    2013-11-24 21:37:52下载
    积分:1
  • LBGK_D2Q9
    2D flow in channel,poiseuille_channel
    2015-04-11 06:30:08下载
    积分:1
  • PV inverter grid connected
    以单相光伏发电并网系统为研究对象,针对光伏发电并网技术,深入分析了光伏发电最大功率点跟踪技术和逆变器并网控制技术。在Simulink中搭建了光伏电池模型、基于扰动观测法的MPPT模型和使用电压电流双闭环SPWM控制策略来并网。(Taking the single-phase photovoltaic power grid system as the research object, aiming at the photovoltaic power grid technology, this paper analyzes the maximum power point tracking technology and inverter grid control technology. In Simulink, photovoltaic cell model, MPPT model based on disturbance observation method and voltage current double closed-loop SPWM control strategy are built.)
    2021-04-10 15:38:59下载
    积分:1
  • MATLABsuanfa
    (包含了规划问题、数据分析、解方程、绘图、插值与拟合的matlab源程序及相关说明)((Includes planning, data analysis, solving equations, plotting, interpolation and fitting matlab source code and instructions))
    2010-08-23 10:38:39下载
    积分:1
  • libsvm-mat-2[2].89-3-GA
    包含有粒子群和遗传算法寻优的代码,是非常好的支持向量机代码(libsvm and Ga and pso)
    2010-01-03 20:28:24下载
    积分:1
  • shiyan
    用matlab实现画出基本概率密度函数的相位,能量,实部等的功能(Using matlab to achieve basic probability density function of the draw phase, energy, real function of such)
    2011-11-02 17:02:41下载
    积分:1
  • random_sequence
    生成(0,1)随机序列,白噪声。生成M序列。(Generating (0,1) random sequence, the white noise. Generate an M-sequence.)
    2013-09-26 20:08:26下载
    积分:1
  • Fast-ICA
    FASTICA语音信号分离MATLAB源代码(FASTICA MATLAB source separation of speech signals)
    2011-06-06 09:45:26下载
    积分:1
  • control-deg
    This is control design and simulation document of PMSM. Hope you can edit and use it to your exercise. It is not actually integrated but I think it will be useful for you.
    2013-11-07 23:16:33下载
    积分:1
  • 696518资源总数
  • 104349会员总数
  • 32今日下载