没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
SMV报文实例讲解
SMV报文实例讲解
5星
· 超过95%的资源
需积分: 24
40 下载量
124 浏览量
2012-09-18
13:42:59
上传
评论
1
收藏
197KB
DOC
举报
温馨提示
立即下载
讲解了SMV的报文格式,给智能变电站的设计提供一些参考,方便编程使用
资源推荐
资源评论
61850-9-2报文解析实例
浏览:135
61850-9-2报文 解析实例
smv-9-2报文解析
浏览:67
3星 · 编辑精心推荐
smv-9-2报文解析,按照IEC61850-9-2格式解析
9-2LE SMV 采样值报文
浏览:142
4星 · 用户满意度95%
IEC 61850-9-2标准的数字化变电站过程总线上,采样值(sampled measurement values,SMV)报文的同步性能影响着整个系统的稳定性和可靠性。
关于电梯的简单NuSMV模型
浏览:53
基于NuSMV语言描述三层电梯的行为,并对相关性质进行模型检测。是一个模型检测应用的简单例子。
61850通讯过程:MMS制造报文系统和GOOSE报文
浏览:16
3星 · 编辑精心推荐
61850通讯过程:MMS制造报文系统和GOOSE报文
IEC61850 抓包工具 mms_ethereal
浏览:152
5星 · 资源好评率100%
通过该软件分析报文,实现客户与服务端之间分清故障位置的一种方法。
SMV 模型检测
浏览:159
3星 · 编辑精心推荐
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(回车);
Pi-演算模型到SMV程序代码的自动转换工具PiCal2NuSMV+例子
浏览:52
5星 · 资源好评率100%
PiCal2NuSMV为本人研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件:Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文本解析器用于把Pi-演算表达式的文本形式转化为内存表示形式,转换适配器基于此形式分析并转换Pi-演算进程为SMV程序的内存表示形式,SMV程序产生器将SMV程序内存表示方式转换为SMV程序代码文本。
屏幕录像smv文件
浏览:81
屏幕录像 可以打开smv文件
IEC61850 SMV GOOSE 解码VC源代码
浏览:81
4星 · 用户满意度95%
非常珍贵的SMV、GOOSE解码的源代码,是用VC编制的。压缩包里边有SMV GOOSE报文样例
libiec61850规约代码
浏览:56
该代码包括GOOSE报文,SMV报文的相关处理说明,供电力研发人员参考!
3051SMV说明书
浏览:142
5星 · 资源好评率100%
罗斯蒙特3051SMV多参数说明书,其中有说明,有HART树。很详细
IGMP协议概述-基本原理和报文格式
浏览:183
5星 · 资源好评率100%
IGMP是因特网协议家族中的一个组播协议,运行于主机和与主机直接相连的组播路由器之间。目前IGMP 具有三种版本,即 IGMP v1(RFC1112)、IGMPv2(RFC2236) 和 IGMPv3(RFC3376),本文介绍了IGMPv1/v2/v3的基本原理和报文格式,是学习IGMP较好的入门读物
报文追踪工具
浏览:118
JavaCV 是一款开源的视觉处理库,基于GPLv2协议,对各种常用计算机视觉库封装后的一组jar包(测接口必备)
报文分析软件
浏览:126
3星 · 编辑精心推荐
本站配置一套网络通信记录分析系统,实现过程层和站控层网络的实时监视、记录和实时分析告警,网络记录分析系统中应采用独立单元对每个独立网络进行独立的记录和分析,避免一个单元跨接两个或两个以上的网络,因此一套网络记录系统至少应包含4个独立网络记录单元:两个为站控层双网记录单元,另两个分别记录两个过程层网络;每个独立网络由独立单元实现监测和记录,单个IED设备不能跨两个独立网络,过程层网络配置双网则要求相
SMV-程序的形式验证软件
浏览:89
非常实用的程序的形式验证软件, 验证C程序的安全性,功能性,实时性。
GOOSE报文收发工具
浏览:133
4星 · 用户满意度95%
GOOSE报文收发工具,同时支持SV、SNTP。
smv简易电梯系统
浏览:187
5星 · 资源好评率100%
一个简易电梯系统服务于三层楼,用smv对进行该系统进行属性验证
SMV文件播放器
浏览:200
SMV文件播放器,播放smv文件的东东
SMV电影转换工具使用方法
浏览:150
这是个PDF文档,请用PDF阅读器阅读,SMV电影转换工具使用方法,
UDMView(报文收发工具)v2.3中文绿色免费版
浏览:49
UDMView这个工具是基于SCD的goose/sv报文收发工具,拥有GOOSE监视、SMV监视、GOOSE发送、SMV发送、报文回放功能,同时还附加CRC16/CRC32文件校验,有需要的用户可以下载来使用。 功能介绍 基本功能:GOOSE监视、...
Pi-演算表达式到SMV程序代码的自动转换工具PiCal2NuSMV
浏览:63
5星 · 资源好评率100%
Pi-演算文本解析器用于把Pi-演算表达式的文本形式转化为内存表示形式,转换适配器基于此形式分析并转换Pi-演算进程为SMV程序的内存表示形式,SMV程序产生器将SMV程序内存表示方式转换为SMV程序代码文本。
SV报文分析
浏览:163
5星 · 资源好评率100%
SV报文分析,IEC61850协议,建模,仿真
NuSMV的电梯程序
浏览:182
4星 · 用户满意度95%
这是一个描述三层楼中电梯运行情况的基于NuSMV的程序
UMLStateMachine2NuSMV
浏览:67
UMLStateMachine2NuSMV 概述 这是一个在 Eclipse Modeling Framework (EMF) 上从 UML 状态机模型到 NuSMV 代码的转换项目。 它包含以下内容: 从 UML 状态机到 NuSMV 模型的转换 来自 NuSMV 模型的代码生成模板 示例 UML 模型 要求 我们使用以下元模型。 UML 2.4 元模型 ( ) NuSMV 元模型 (
nusmv(WIN)
浏览:7
4星 · 用户满意度95%
nusmv是形式化验证的一个常用工具,主要可以进行LTL,CTL的建模。windows版。
互联网密钥交换协议的SMV分析[汇编].pdf
浏览:59
互联网密钥交换协议的SMV分析[汇编].pdf
PyroSiM实例教程.pdf
浏览:109
5星 · 资源好评率100%
PyroSiM实例教程.pdf
论文研究-基于SMV的滑动窗口协议的形式化建模与分析 .pdf
浏览:78
基于SMV的滑动窗口协议的形式化建模与分析,赵也非,杨宗源,本文采用模型检测的方法,在理想信道、信道可能丢失报文、受到入侵攻击这3种情况下,给出了滑动窗口协议的形式化模型,对协议的��
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
woyonglabview
2014-06-10
9-2报文的灵活性太大,这个讲解只是其中的一部分,不过还是谢谢,有很大的启迪性作用
maomaoaizhuzhu
2013-07-13
还希望能够更详细一些,看完了还是不知道这个包是怎么解的
ccmethod
2014-02-12
比较详细了,最后一个例子讲解了包的翻译。
SZLXS
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
微信小程序-备忘录源码.zip
微信小程序-辩论倒计时源码.zip
电商网站开发行业概述.docx
python实现通义千问VLLM推理部署项目源码.zip
SGM检具设计及制造 培训资料
电大计算机本科《操作系统》作业4及答案.doc
目标检测模型YOLOv5 ,android Demo
电大软件工程简答题参考.doc
电子商务下物流工作流程.doc
21201833_潘奕潮_3.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功