您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. model checking

  2. 模型检测ppt, 理论,工具和其它相关介绍,
  3. 所属分类:专业指导

    • 发布日期:2009-05-21
    • 文件大小:734208
    • 提供者:chendaoxi
  1. 战略咨询分析工具及使用方法

  2. SWOT分析模型 麦肯锡7S模型(Mckinsey 7S Model) 雷达图分析法 等等
  3. 所属分类:咨询

    • 发布日期:2009-06-22
    • 文件大小:1048576
    • 提供者:davidlee799
  1. liveness and safetiy properties

  2. formal method, model checking tool, SPIN. and analisis of the properties that can be checked by SPIN. 模型检测工具SPIN,及其验证的属性分析。
  3. 所属分类:其它

    • 发布日期:2009-07-26
    • 文件大小:76800
    • 提供者:jeke130
  1. 工作流参考模型.pdf

  2. 目 录 目 录............ ............ ... - 2 - 1.简介............ ............ ............... - 4 - 1.1. 背景............ ............ ..... - 4 - 1.2. 目的............ ............ ..... - 4 - 1.3. 范围............ ............ ..... - 4 - 1.4. 对象............
  3. 所属分类:iOS

    • 发布日期:2009-12-24
    • 文件大小:618496
    • 提供者:superweak
  1. IBIS2SPICE

  2. The IBIS to SPICE application generates SPICE models from IBIS (I/O Buffer Information Specification) data sheets. It reads a template file to define the SPICE models to be generate. The template file is named template.mdl and must be in the same di
  3. 所属分类:其它

    • 发布日期:2010-03-05
    • 文件大小:381952
    • 提供者:leizi522
  1. WFMC ——工作流参考模型

  2. 目 录................................ ................................ ................................ ................................ ... - 2 - 1.简介................................ ................................ ................................ .
  3. 所属分类:iOS

    • 发布日期:2010-09-07
    • 文件大小:602112
    • 提供者:SABAR
  1. principles of the spin model checker

  2. 介绍模型检查工具spin的基本概念以及相应机制
  3. 所属分类:软件测试

    • 发布日期:2011-05-19
    • 文件大小:199680
    • 提供者:mhaille
  1. CMU-Cam Language Model Toolkit v2

  2. 机器翻译的工具。这是一个语言模型工具,用于生成语言模型,以便解码器调用。
  3. 所属分类:C

    • 发布日期:2011-12-07
    • 文件大小:124928
    • 提供者:driver0926
  1. DB数据库生成实体模型MODEL工具 CodeAutoBuilder

  2. DB数据库生成实体模型MODEL工具 CodeAutoBuilder 简单连接DB.就能生成相关表的实体类
  3. 所属分类:C#

    • 发布日期:2011-12-22
    • 文件大小:45056
    • 提供者:vingi
  1. 模型和UI数据交互

  2. 如果做winform开发,涉及到数据库,三层架构是必须的,模型层数据和UI界面数据的交互也是必须的,每次保存数据时都要将model和Ui交互数据进行大堆的赋值,很麻烦,所以自己做个工具---将model和Ui数据交互工具化。
  3. 所属分类:C#

    • 发布日期:2012-04-08
    • 文件大小:1024
    • 提供者:wangxingguo1218
  1. Tron_tools 国外先进Ltb模型文件分析工具

  2. Tron_tools 国外先进Ltb模型文件分析工具,分析CF REZ 必备工具,已包含模型编辑,与Ltb生成工具等等。
  3. 所属分类:Web开发

    • 发布日期:2012-04-20
    • 文件大小:13631488
    • 提供者:gt10076
  1. 自动生成模型层的工具

  2. 本软件用C#语言开发.能根据用户设定生成三层架构开发的模型层.并能添加自定义特性.仅适用于Sql Server 数据库
  3. 所属分类:C#

    • 发布日期:2008-07-16
    • 文件大小:13312
    • 提供者:ivwjqrhome
  1. 自动生成实体类

  2. C# 自制研发的Winform 窗体,自动生成模型(Model)层的工具,用于开发中使用!
  3. 所属分类:C#

    • 发布日期:2012-11-01
    • 文件大小:11264
    • 提供者:wangbaolei520
  1. Entity Model Studio

  2. Entity Model Studio是由广联科技独立研发的辅助软件开发工具。该工具集实体建模,数据库设计,代码及文档生成于一体,从而使得开发者通常需要几个软件才能完成的工作,用Entity Model Studio一个软件就可以完成了。Entity Model Studio还自带了一个ORM框架,叫做EMLib。该ORM框架可以直接使用Entity Model Studio生成的代码,这样开发者使用Entity Model Studio就可以从设计到编码开发一步完成。值得关注的是,EMLib
  3. 所属分类:C#

    • 发布日期:2012-11-02
    • 文件大小:12582912
    • 提供者:binarytreeex
  1. UPPAAL 4.1 Model Checker

  2. 最流行的模型检测工具,用于实时系统模型检测。
  3. 所属分类:其它

    • 发布日期:2013-01-31
    • 文件大小:9437184
    • 提供者:sbren
  1. jSPIN5.0 model checker

  2. 基于线性时态逻辑的模型检测工具,很流行,很好用!
  3. 所属分类:其它

    • 发布日期:2013-01-31
    • 文件大小:1048576
    • 提供者:sbren
  1. Unity 工具类 之 简单的 MVC 框架使用实现简单的案例demo

  2. Unity 工具类 之 简单的 MVC 框架使用实现简单的案例demo 1、单例类,保证整个场景中只有一个类管理相关类; 2、MVC 每个 每个独立成快,又有简单的联系; 3、MVC 框架简单如下图; 4、换种形式的 MVC 业务流程 5、MVC全名是Model View Controller,是模型(model)-视图(view)-控制器(controller)的缩写,一种软件设计典范,用一种业务逻辑、数据、界面 显示分离的方法组织代码,将业务逻辑聚集到一个部件里面,在改进和个性化定
  3. 所属分类:Unity3D

    • 发布日期:2020-01-14
    • 文件大小:22528
    • 提供者:u014361280
  1. admb:广告模型制作工具-源码

  2. ADMB项目 ADMB-12.3 2021年3月7日发行 概述 ADMB(自动差分模型生成器)软件套件是用于非线性统计建模的环境,可实现快速的模型开发,数值稳定性,快速高效的计算以及高精度的参数估计。 AD Model Builder是围绕AUTODIF库(一种C ++语言扩展)构建的高级语言,该库透明地实现了反向模式自动区分。 紧密相关的软件包ADMB-RE在非线性模型中实现了随机效应。 ADMB是一个开源项目。 阅读AD Model Builder。 捐献 ADMB可免费下载。 如果您想捐
  3. 所属分类:其它

    • 发布日期:2021-03-14
    • 文件大小:8388608
    • 提供者:weixin_42120275
  1. keras_to_tensorflow:将经过训练的keras模型转换为推断张量流模型的通用代码-源码

  2. Keras到TensorFlow keras_to_tensorflow是将经过训练的keras模型转换为可随时推断的TensorFlow模型的工具。 该工具不是为TensorFlow 2.0量身定制的,它看起来运行良好。 概要 按照默认行为,此工具将冻结节点(将所有TF变量转换为TF常量),并将推理图和权重保存到二进制protobuf(.pb)文件中。 在冻结期间,TensorFlow还应用节点修剪,该修剪将删除对输出张量无贡献的节点。 该工具支持多个输出网络,并使用户能够通过--outp
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:12288
    • 提供者:weixin_42109925
  1. 模型查看器:在Web和AR中轻松显示交互式3D模型!-源码

  2. 项目 这是 Web组件及其所有相关项目的主要Github存储库。 入门? 检出项目! 该存储库被组织成包含各种项目的子目录。 查看特定项目的README.md文件以获取更多详细信息: ‍:rocket: • Web组件(可能是您正在寻找的内容) :globe_with_meridians: • 文档网站的来源 :framed_picture: •用于测试渲染模型的工具 :artist_palette: •许多子项目之间3D模型,环境图和其他资产 发展历程 在此存储库中的所
  3. 所属分类:其它

    • 发布日期:2021-01-28
    • 文件大小:363855872
    • 提供者:weixin_38647039
« 12 3 4 5 6 7 8 9 10 ... 21 »