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

Static-Analysis-of-Software

于 2015-03-24 发布 文件大小:11632KB
0 208
下载积分: 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 个回复

  • OFDM_J
    This program is simulate how OFDM works, with 4 modulation,
    2010-07-02 02:36:35下载
    积分:1
  • matlab_ebook
    有关MATLAB软件的超详细介绍 适合初学者(For details of MATLAB software for beginners super)
    2010-11-23 19:48:37下载
    积分:1
  • logistic1
    logistic映射分岔图的四种实现方法(logistic map bifurcation diagram of the four implementations)
    2011-02-15 18:17:49下载
    积分:1
  • gravity
    function dg=gplus(x,y,z,x1,x2,y1,y2,z1,z2,p) G=6.67e-11 t222=myfun(x,y,z,x2,y2,z2) t122=myfun(x,y,z,x1,y2,z2) t212=myfun(x,y,z,x2,y1,z2) t221=myfun(x,y,z,x2,y2,z1) t211=myfun(x,y,z,x2,y1,z1) t121=myfun(x,y,z,x1,y2,z1) t112=myfun(x,y,z,x1,y1,z2) t111=myfun(x,y,z,x1,y1,z1) dg=-G*p*1e6*(t222-t122-t212-t221+t211+t121+t112-t111) 转化为g.u. function y=myfun(x,y,z,xi,eta,zeta) R=sqrt((xi-x).^2+(eta-y).^2+(zeta-z).^2) temp1=(xi-x).*log((eta-y)+R) temp2=(eta-y).*log((xi-x)+R) temp3=(zeta-z).*atan((zeta-z).*R/((xi-x).*(eta-y))) 书中所给公式 temp3=-(zeta-z).*atan((xi-x).*(eta-y)./(zeta-z)./R) 上式变换 y=temp1+temp2+temp3 (function dg = gplus (x, y, z, x1, x2, y1, y2, z1, z2, p) G = 6.67e-11 t222 = myfun (x, y, z, x2, y2, z2) t122 = myfun (x, y, z, x1, y2, z2) t212 = myfun (x, y, z, x2, y1, z2) t221 = myfun (x, y, z, x2, y2, z1) t211 = myfun (x, y, z, x2, y1, z1) t121 = myfun (x, y, z, x1, y2, z1) t112 = myfun (x, y, z, x1, y1, z2) t111 = myfun (x, y, z, x1, y1, z1) dg =-G* p* 1e6* (t222-t122-t212-t221+t211+t121+t112-t111) converted the Gu function y = myfun, (x y, z, xi, eta, zeta) R = sqrt ((xi-x). ^ 2+ (eta-y). ^ 2+ (zeta-z). ^ 2) temp1 = (xi-x).* log ((eta-y)+R) temp2 = (eta-y).* log ((xi-x)+R) temp3 = (zeta-z).* atan ((zeta-z).* R/( (xi-x).* (eta-y))) book given formula Temp3 =- (Zeta-z)* ATAN ((Xi-X)* (ETA-y)/(Zeta- Z)/R) the above formula transform Y = temp1+temp2+temp3 )
    2013-03-20 20:25:15下载
    积分:1
  • xiaobobianhuanjiance
    说明:  应用MATLAB中的小波变换的方法进行边缘检测(MATLAB)
    2010-03-16 16:44:20下载
    积分:1
  • Comparative
    Comparative Performance Analysis of Wireless Communication Protocols for Intelligent Sensors and Their Applications
    2014-10-19 20:18:06下载
    积分:1
  • pathfollowing_curve
    基于LQR方法的曲线航向跟踪,输入为圆形轨迹,输出为左右推进器控制命令(Based heading LQR method of tracking, enter the desired heading, the output is about propulsion control commands)
    2016-04-14 17:57:56下载
    积分:1
  • 221237351720061192258333067065
    说明:  光流算法代码,实现对单运动目标,多运动目标的检测(optical flow code)
    2009-08-31 17:54:57下载
    积分:1
  • baoluo
    利用时域数据计算数组的RMS值,利用时域数据计算冲击功率谱密度的试验包络条件。(An array of time-domain data using the RMS value of the time-domain data using the power spectral density of the impact test conditions envelope.)
    2013-07-16 14:37:03下载
    积分:1
  • Min2_gy_KBJS-FIR
    基于广义最小二乘法的可变分数延时FIR滤波器设计(Delay FIR filter design based on the generalized least squares method of variable scores)
    2013-11-25 19:37:54下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载