CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 源码下载 图形图象 搜索资源 - model checking

搜索资源列表

  1. ExhCAD_1_01a_Final

    0下载:
  2. 《管状换热器计算机辅助设计系统ExhCAD绘图系统(版本:1.01a Final)》为自由软件,采用增量软件开发模型,并用UML对软件进行 建模,以便更新。 该版本只是对换热器的最简单的形式做出设计,而且程序在计算 (包括设计、校核两部分,其中校核部分未编)、绘图过程中都作了简 化,虽然采用了参数化绘图,并能进行简单的数据管理,但没有考虑 换热器的插入件、安装(待编)等因素的影响,特别是在绘图中用 Automatuion技术绘制了管子部分,并对一些常
  3. 所属分类:图形图像处理(光照,映射..)

    • 发布日期:2012-10-22
    • 文件大小:10.03mb
    • 提供者:东方神眼
  1. SAR

    3下载:
  2. 以MSTAR为实验数据,对SAR影像进行杂波统计分析研究。利用高斯、瑞利、对数正态、LN、gamma函数模型对其拟合,通过K-S方法检验拟合精度-The MSTAR the experimental data, statistical analysis of SAR images of clutter. Gaussian, Rayleigh, lognormal, LN, gamma function model to its fitting, fitting by means of check
  3. 所属分类:Special Effects

    • 发布日期:
    • 文件大小:19.65mb
    • 提供者:于双
  1. admesh

    0下载:
  2. 模型检测与修复的源码,很有参考、研究与借鉴价值,值得一看-Model checking and repair, it is worth learning
  3. 所属分类:3D Graphic

    • 发布日期:2017-04-06
    • 文件大小:114.18kb
    • 提供者:Hefee
  1. securpty

    0下载:
  2. 对生成的数字高程模型(DEM)进行粗差检查,能够检查出相应粗差,-To generate digital elevation model (DEM) for gross error checking, can check out the corresponding gross error,
  3. 所属分类:OpenGL program

    • 发布日期:2017-12-17
    • 文件大小:28kb
    • 提供者:KKyxe-7823
搜珍网 www.dssz.com