Executable Logic Prototypes of Systems Engineering Complexes and Processes on Railway Transport

被引：0

作者：

Guda, Alexander N. ^{[1
]}

Ilicheva, Vera V. ^{[1
]}

Chislov, Oleg N. ^{[1
]}

机构：

[1] Rostov State Transport Univ RSTU, Rostov Na Donu, Russia

来源：

PROCEEDINGS OF THE SECOND INTERNATIONAL SCIENTIFIC CONFERENCE INTELLIGENT INFORMATION TECHNOLOGIES FOR INDUSTRY (IITI'17), VOL 2 | 2018年 / 680卷

关键词：

Logic language; Logic prototype; Predicate calculus; Freight railway terminal; Error diagnosis;

D O I：

10.1007/978-3-319-68324-9_18

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper we examine software tools and design examples of executable logic prototypes for modelling of complex systems. The prototype is set by the specification in predicate calculus language. Semantics of specification supposes effectively realized interpretation whose result is a prototype and/or diagnosis of project errors. We use rapid prototyping techniques, the specification is easily modified. The approach provides three levels of logic modelling in the same programming environment: prototyping of static structure of a system, logic of processes, dynamic behaviour. Prototyping of structure and technological processes of freight terminal "Taganrog" has been chosen as an example.

引用

页码：161 / 170

页数：10

共 50 条

[21] AUTOMATIC CONTROL SYSTEMS FOR RAILWAY TRANSPORT.
Ivanchenko, V.N.
Lyabakh, N.N.
Kul'kin, A.G.
Samoylenko, Yu.A.
Soviet automatic control, 1984, 17 (01): : 73 - 75
[22] AUTOMATIC-CONTROL SYSTEMS IN RAILWAY TRANSPORT
IVANCHENKO, VN
LYABAKH, NN
KULKIN, AG
SAMOILENKO, YA
AVTOMATIKA, 1984, (01): : 76 - 79
[23] The integration of air and railway transport and information systems
Bina, L
International Conference on Politics and Information Systems: Technologies and Applications, Vol 1: INFORMATICS AND SOCIETY, 2004, : 152 - 157
[24] Ontological Harmonization of Railway Transport Information Systems
Shynkarenko, Viktor
Zhuchyi, Larysa
COLINS 2021: COMPUTATIONAL LINGUISTICS AND INTELLIGENT SYSTEMS, VOL I, 2021, 2870
[25] Information systems and technology in the marketing of railway transport
Zharska, I. O.
MARKETING AND MANAGEMENT OF INNOVATIONS, 2013, (01): : 100 - 111
[26] Communicating processes in engineering systems
Peters III, James F., 1600, IEEE, Piscataway, NJ, United States (10):
[27] THE SYSTEMS ENGINEERING OF CELLULAR PROCESSES
Hatzimanikatis, Vassily
Wang, Liqing
16TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING AND 9TH INTERNATIONAL SYMPOSIUM ON PROCESS SYSTEMS ENGINEERING, 2006, 21 : 71 - 80
[28] COMMUNICATING PROCESSES IN ENGINEERING SYSTEMS
PETERS, JF
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 1995, 10 (07) : 3 - 3
[29] Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes
Antonino, Pablo Oliveira
Jung, Matthias
Morgenstern, Andreas
Fassnacht, Florian
Bauer, Thomas
Bachorek, Adam
Kuhn, Thomas
Nakagawa, Elisa Yumi
SOFTWARE ARCHITECTURE (ECSA 2018), 2018, 11048 : 115 - 130
[30] TRANSPORT PROCESSES IN ELECTROCHEMICAL SYSTEMS
ALKIRE, RC
CHEMICAL ENGINEERING COMMUNICATIONS, 1985, 38 (3-6) : 401 - 413

← 1 2 3 4 5 →