Rule-based verification and correction methods for exported data from distribution GIS

被引：0
|
作者：
Xiao, Jun [1 ]
Shi, Changkai [1 ]
Luo, Fengzhang [1 ]
He, Liwei [1 ]
Zhang, Jing [1 ]
机构：
[1] Tianjin University, Tianjin 300072, China
来源：
Dianli Xitong Zidonghua/Automation of Electric Power Systems | 2007年 / 31卷 / 10期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：76 / 81
相关论文
共 50 条
  • [1] APPLYING FORMAL VERIFICATION METHODS TO RULE-BASED PROGRAMS
    GAMBLE, RF
    ROMAN, GC
    CUNNINGHAM, HC
    [J]. INTERNATIONAL JOURNAL OF EXPERT SYSTEMS, 1994, 7 (03): : 203 - 239
  • [2] Simplification method for exported data from GIS of distribution system
    Xiao, Jun
    Yu, Bo
    Luo, Fengzhang
    Li, Xiaohui
    [J]. 2008 THIRD INTERNATIONAL CONFERENCE ON ELECTRIC UTILITY DEREGULATION AND RESTRUCTURING AND POWER TECHNOLOGIES, VOLS 1-6, 2008, : 1273 - 1280
  • [3] Rule-based runtime verification
    Barringer, H
    Goldberg, A
    Havelund, K
    Sen, K
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 44 - 57
  • [4] Mutation Testing for Rule-Based Verification of Railway Signaling Data
    Laibinis, Linas
    Iliasov, Alexei
    Romanovsky, Alexander
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2021, 70 (02) : 676 - 691
  • [5] Rule-based data verification method in electricity spot market
    Wu, Yang
    Zou, Wentao
    Liu, Shuangquan
    Jiang, Yan
    Shao, Qizhuan
    Zhou, Han
    [J]. PROCEEDINGS OF 2021 2ND INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INFORMATION SYSTEMS (ICAIIS '21), 2021,
  • [6] Computational intelligence methods for rule-based data understanding
    Duch, W
    Setiono, R
    Zurada, JM
    [J]. PROCEEDINGS OF THE IEEE, 2004, 92 (05) : 771 - 805
  • [7] Rule-based runtime verification revisited
    Klaus Havelund
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 143 - 170
  • [8] Rule-based verification of Web sites
    M. Alpuente
    D. Ballis
    M. Falaschi
    [J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (6) : 565 - 585
  • [9] Rule-based runtime verification revisited
    Havelund, Klaus
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (02) : 143 - 170
  • [10] Beyond rule-based physical verification
    Hoppe, Wolfgang
    Roessler, Thomas
    Torres, J. Andres
    [J]. PHOTOMASK TECHNOLOGY 2006, PTS 1 AND 2, 2006, 6349
12345