Representation and Processing of Temporal Cases in Real-Time Intelligent Systems

被引:0
|
作者
A. P. Eremeev [1 ]
N. A. Paniavin [1 ]
M. V. Fomina [1 ]
机构
[1] National Research Uni​versity “Moscow Power Engineering Institute”,
关键词
intelligent system; real time; case-based reasoning; temporal data; and NoSQL database;
D O I
10.1134/S105466182470055X
中图分类号
学科分类号
摘要
引用
收藏
页码:702 / 709
页数:7
相关论文
共 50 条
  • [31] EXTENSION OF GRAFCET FOR THE REPRESENTATION OF COMPLEX REAL-TIME SYSTEMS
    MOALLA, M
    DAVID, R
    RAIRO-AUTOMATIQUE-SYSTEMS ANALYSIS AND CONTROL, 1981, 15 (02): : 159 - 191
  • [32] Time-optimal test cases for real-time systems
    Hessel, A
    Larsen, KG
    Nielsen, B
    Pettersson, P
    Skou, A
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 234 - 245
  • [33] Temporal firewalls in large distributed real-time systems
    Kopetz, H
    Nossal, R
    PROCEEDINGS OF THE SIXTH IEEE COMPUTER SOCIETY WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, 1997, : 310 - 315
  • [35] APPLICATIONS OF TEMPORAL LOGIC TO THE SPECIFICATION OF REAL-TIME SYSTEMS
    PNUELI, A
    HAREL, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 84 - 98
  • [36] Prediction of Abnormal Temporal Behavior in Real-Time Systems
    Hamad, Mohammad
    Hammadeh, Zain A. H.
    Saidi, Selma
    Prevelakis, Vassilis
    Ernst, Rolf
    33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 359 - 367
  • [37] TEMPORAL REASONING ABOUT REAL-TIME REACTIVE SYSTEMS
    WANG, J
    CHEN, HW
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 249 - 256
  • [38] Temporal isolation in real-time systems: The VBS approach
    Craciunas S.S.
    Kirsch C.M.
    Payer H.
    Röck H.
    Sokolova A.
    International Journal on Software Tools for Technology Transfer, 2013, 15 (3) : 189 - 209
  • [39] Temporal abstract classes and virtual temporal specifications for real-time systems
    Pons, AP
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2002, 11 (03) : 291 - 308
  • [40] Test cases generation for nondeterministic real-time systems
    Khoumsi, A
    Jéron, T
    Marchand, H
    FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 131 - 146