电厂远动通讯_百度知道 关键词：电力调度自动化；能量管理系统；远动；通信规约；规约测试 [gap=738] automation; energy management system(EMS); telecontrol; communication protocol; protocol test
基于40个网页-相关网页
一直以来我都使用RubySpec的线程测试规约(specs)来检测与修复线程相关的崩溃问题。
I've been using the RubySpec thread specs to detect and fix thread related crashes.
说明：电力系统CDT规约的 CRC校验算法，适合做电力软件开发人员，算法经BCB6测试 请放心使用！
Power system CDT Statute CRC checksum algorithm suitable power software developers, algorithm the BCB6 test, please rest assured to use!
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
应用推荐