- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
馈线自动化算法的形式化建模与验证.pdf
第 42卷 第 3期 计 算 机 工 程 2016年 3月
Vo1.42 No.3 ComputerEngineering M arch2016
· 软件技术与数据库 · 文章编号:1000.3428(2016)03.0089-05 文献标识码:A 中图分类号:TP311
馈线 自动化算法的形式化建模与验证
唐郑熠,王金水,何栋炜,薛醒思,胡文瑜
(福建工程学院信息科学与工程学院,福州 350118)
摘 要:分布式馈线 自动化系统能否正确运作 ,目前主要是通过测试与仿真技术来保证 ,但这 2类方法都要涉及 电
气设备的底层细节 ,会分散计算资源,影响验证效率,且难 以覆盖足够的系统路径 。针对该 问题,提出一种馈线 自
动化算法 的验证方法 。通过对 电气设备行为与特征的抽象,建立馈线 自动化算法的形式化模型,在此基础上 ,使用
自动化模型检测技术验证算法 的正确性 。测试结果表 明,该方法将计算资源集 中在动作逻辑验证上 ,实现 了与底
层细节的分离,从而能够获得较高的验证效率,完整覆盖系统路径,并有效降低缺陷修正的代价。
关键词:馈线 自动化 ;形式化模型;自动验证;模型检测;时间自动机
中文 引用格式 :唐郑熠 ,王金水 ,何栋炜 ,等.馈线 自动化算法的形式化建模与验证 [J].计算机工程 ,2016,42(3):89—93.
英文引用格式 :TangZhengyi,WangJinshui,HeDongwei,eta1.FormalModelingandVerificationofFeederAutomation
Algorithm[J].ComputerEngineering,2016,42(3):89—93.
FormalM odelingandVerification ofFeederAutomationAlgorithm
TANG Zhengyi,W ANG Jinshui,HE Dongwei,XUE Xingsi,HU W enyu
(CollegeofInformationScienceandEngineering,FujianUniversityofTechnology,Fuzhou350118,China)
【Abstract】Testingandsimulationaremaintechnologiesusedtoensuretheproperrunningofdistributionfeeder
automation system .Buttheyboth refertothelow—leveldetailsofelectricalequipmentsothatthecomputingresourcesare
scattered,affecting the verification efficiency and the coverage ofsystem paths.Forthis problem ,a new verification
methodfordistribution feederautomation system isproposed.The formalmodelofthe feederautomation algorithm is
builtby abstracting theactionsand featuresofelectricalequipment.Then,the automatic modelchecking technology is
usedto verify the correctness of the algorithm .Test results show that,this verification method focuses computing
resourceson theverification ofaction logicofalgorithm by separatingthelow-leveldetails.Soithashigherverification
efficiency and coversaU system paths.a
您可能关注的文档
最近下载
- 010-数学形态学分析.ppt
- 2023年芜湖市镜湖区市场监督管理局招考工作人员笔试参考题库(共500题)答案详解版.docx VIP
- 励志班会:985博导桂海潮案例,读书可以改变命运主题班会.pptx
- Haier海尔洗衣机EG10014BD809LGU1使用说明书手册参数图解图示pdf电子版下载.pdf VIP
- 《中职高考英语总复习与同步练》(总复习分册)教案 第11课 语法知识——专题9 非谓语动词.docx VIP
- 供应室泛水应急演练.pptx VIP
- 化学品管理中的供应链安全和可追溯性.pptx
- 小学四年级上册心理健康教育教案.doc
- 《中职高考英语总复习与同步练》(总复习分册)教案 第8课 语法知识——专题7 形容词和副词(2).docx VIP
- 【方书】中医土单验方一百首(高清版).pdf
文档评论(0)