注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. SMV文件播放器

  2. SMV文件播放器,播放smv文件的东东

  3. 所属分类：其它

    • 发布日期：2007-08-04
    • 文件大小：155648
    • 提供者：asm_boy

  1. SMV文件播放器SMV文件播放器

  2. SMV文件播放器SMV文件播放器SMV文件播放器

  3. 所属分类：其它

    • 发布日期：2009-07-16
    • 文件大小：155648
    • 提供者：qweewqweq

  1. SMV文件播放器精美超小版

  2. SMV文件播放器精美超小版只有100多K而已，更容易下载，而已好用。

  3. 所属分类：其它

    • 发布日期：2009-07-17
    • 文件大小：155648
    • 提供者：haorenqq

  1. Pi-演算表达式到SMV程序代码的自动转换工具PiCal2NuSMV

  2. PiCal2NuSMV为本文研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文本解析器用于把Pi-演算表达式的文本形式转化为内存表示形式，转换适配器基于此形式分析并转换Pi-演算进程为SMV程序的内存表示形式，SMV程序产生器将SMV程序内存表示方式转换为SMV程序代码文本。

  3. 所属分类：网络攻防

  1. Pi-演算模型到SMV程序代码的自动转换工具PiCal2NuSMV+例子

  2. PiCal2NuSMV为本人研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文本解析器用于把Pi-演算表达式的文本形式转化为内存表示形式，转换适配器基于此形式分析并转换Pi-演算进程为SMV程序的内存表示形式，SMV程序产生器将SMV程序内存表示方式转换为SMV程序代码文本。 文件中还包含使用PiCal2NuSMV的例子。

  3. 所属分类：网络攻防

  1. smv播放器

  2. smv播放器，小巧好用

  3. 所属分类：其它

    • 发布日期：2007-12-23
    • 文件大小：155648
    • 提供者：TLSLT

  1. IEC61850 GOOSE,SMV简易收发及解码程序

  2. 这是一个简易的61850关于goose和smv的收发及部分解码程序，对学习IEC61850 9－1，9－2及goose的人有帮助。

  3. 所属分类：专业指导

    • 发布日期：2010-07-26
    • 文件大小：91136
    • 提供者：spway

  1. SMV文件专用播放器

  2. SMV文件播放 SMV文件专用播放器.exe能够播放“文件类型(T):Screen Movie Files (*.smv)”视频； - Screen Movie Player汉化制作:何庆保 (ccmc) 可以打开后缀名为SMV的多媒体文件格式；

  3. 所属分类：其它

    • 发布日期：2011-04-05
    • 文件大小：75776
    • 提供者：zxcvbnmklll

  1. 形式化建模验证SMV模型检验器

  2. 使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验

  3. 所属分类：专业指导

    • 发布日期：2011-05-24
    • 文件大小：3145728
    • 提供者：tangwumei

  1. IEC61850 SMV GOOSE 解码VC源代码

  2. 非常珍贵的SMV、GOOSE解码的源代码，是用VC编制的。压缩包里边有SMV GOOSE报文样例

  3. 所属分类：其它

    • 发布日期：2011-07-29
    • 文件大小：204800
    • 提供者：xiaohonghong

  1. IEC61850 对时，smv goose解析，配置工具代码

  2. 对时，smv goose解析，配置工具代码,本人花了大量精力搜集。

  3. 所属分类：C++

    • 发布日期：2011-08-23
    • 文件大小：5242880
    • 提供者：chengbar

  1. DHCP录像.smv

  2. DHCP录像.smv 视频资源，一步步跟着做即可 密码合作作者名字相同xiaofan

  3. 所属分类：DNS

    • 发布日期：2011-10-18
    • 文件大小：7340032
    • 提供者：xuli2036

  1. SMV文件播放器

  2. SMV文件播放器

  3. 所属分类：其它

    • 发布日期：2012-03-26
    • 文件大小：75776
    • 提供者：dylan826

  1. 9-2LE SMV 采样值报文

  2. IEC 61850-9-2标准的数字化变电站过程总线上,采样值(sampled measurement values,SMV)报文的同步性能影响着整个系统的稳定性和可靠性。

  3. 所属分类：咨询

    • 发布日期：2013-04-20
    • 文件大小：203776
    • 提供者：laincastle

  1. SMV电影转换工具使用方法

  2. 这是个PDF文档，请用PDF阅读器阅读，SMV电影转换工具使用方法，

  3. 所属分类：专业指导

    • 发布日期：2008-10-05
    • 文件大小：147456
    • 提供者：jinscan

  1. SMV 模型检测

  2. SMV 模型检测工具使用方法 使用cygwin在win32平台下模拟Unix，；1.从NuSMVhomepage下载压缩包NuS；2.参照F:\NuSMV-2.5.4\nusmv；3.下载minisat软件包至F:\NuSMV-；4.下载zchaff软件包至F:\NuSMV-2；5.在cygwin的bash中依次键入：；cdF:/NuSMV-2.5.4/cudd-2.；make(回车)；

  3. 所属分类：其它

    • 发布日期：2014-04-16
    • 文件大小：34816
    • 提供者：u014740439

  1. smv简易电梯系统

  2. 一个简易电梯系统服务于三层楼，用smv对进行该系统进行属性验证

  3. 所属分类：其它

    • 发布日期：2014-06-13
    • 文件大小：5120
    • 提供者：haiqqyuan

  1. 一个SMV文件的播放器

  2. 一个绿色的SMV文件播放器，只有100K，这种格式虽然不是特别常见，但有时想放一下还要特意安装一个大的解码，这个工具在这时还是有些作用的。

  3. 所属分类：专业指导

    • 发布日期：2008-10-31
    • 文件大小：75776
    • 提供者：aohan

  1. IEC61850-SMV波形比对工具

  2. 该工具用于SMV波形比对： 1、目前只支持pcap格式，用于对两个pcap文件指定通道的波形比对； 2、可以对波形进行缩放、展开、移动、复原操作； 3、两个游标用于查看波形值、确定展开范围，支持方向键操作； 4、波形微调，用于移动波形的相对位置。

  3. 所属分类：制造

    • 发布日期：2016-01-24
    • 文件大小：4194304
    • 提供者：dubuzherui

  1. SMV文件播放器，可以播放smv格式文件

  2. SMV文件播放器，可以播放smv格式文件

  3. 所属分类：其它

    • 发布日期：2008-12-15
    • 文件大小：75776
    • 提供者：mmmmtest
« 12 3 4 5 »