Model Oriented Approach for Industrial Software Development by P. D. Drobintsev, V. P. Kotlyarov, N. V. Voinov, I. V. Nikiforov

Subjects: Get full text

Experimental verification of the results of the melts flow modeling, received with the help of the computer system “Prolit-1” by V. F. Sobolev, S. G. Lihouzov, F. S. Lukashevich, O. I. Chichko

Get full text

A Formal Model and Verification Problems for Software Defined Networks by V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky

Get full text

A Methodology for Predicting the Stability Trend of Ground Collapse Under the Water Flow by Qinglun He, Yizhao Wang, Wenfeng Bai, Fei Wang, Xing Min, Zhi Wang, Long Chen, Juncai Jiang, Yuming Qiao

Get full text

System-Level Design, Modeling, and Verification of GALS Cyber-Physical Systems by Weiyi Zhang, Zoran Salcic, Avinash Malik

“…The approach comprises three stages: 1) design using SystemGALS for cyber-domain control and data flow, alongside Simulink for physical process modeling; 2) integration of CPN derived from SystemGALS and Simulink for unified representation; 3) formal analysis on the CPN model. …”
Get full text

Construction of CFC-programs by LTL-specification by D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov

Get full text

Connotation and application paradigm of intelligent mining data intelligence enabling technology by FU Xiang, WANG Kai, WANG Ranfeng

“…Based on the above framework, a bidirectional coordination mechanism of "data flow-intelligence flow" and a layered decoupling logic were proposed, achieving dynamic responses with millisecond-level equipment control, second-level algorithmic decision-making, and minute-level human intervention, establishing a new mining production relationship with bidirectional enabling between AI and humans. …”
Get full text

Optimization of Traffic Congestion Management in Smart Cities under Bidirectional Long and Short-Term Memory Model by Yujia Zhai, Yan Wan, Xiaoxiao Wang

“…Finally, the data predicted by the BiLSTM algorithm model are compared with the actual data and the data predicted by the long short-term memory (LSTM) algorithm model. …”
Get full text

Experiment Investigation and Numerical Simulation of Snowdrift on a Typical Large-Span Retractable Roof by Zhenggang Cao, Mengmeng Liu, Pengcheng Wu

Get full text

Research on Global Dispatching Technology for Fully Automatic Operation System Based on Interconnection Technology by LIU Long, WANG Yeliu, REN Ying, LI Denggen, ZHANG Datao

Get full text

Re-use of Building Products in the Netherlands by Loriane Icibaci

“…The representation of these dynamic relations composes a conceptual model, which is the representation of the metabolism of building product reuse in the Netherlands. …”
Get full text