Testing is an important safety assurance technique for railway interlocking systems. Model-based testing (MBT) allows for designing and maintaining tests with high-level models and generating test suites from these mo...
详细信息
ISBN:
(数字)9781665468800
ISBN:
(纸本)9781665468800
Testing is an important safety assurance technique for railway interlocking systems. Model-based testing (MBT) allows for designing and maintaining tests with high-level models and generating test suites from these models automatically. Although MBT has the potential to improve testing efficiency and quality, it is not clear whether this technique is applicable for testing complex variant-rich interlocking software. In this paper, we report our experience in introducing MBT in interlocking testing. We develop feature models of the interlocking route control process to improve the reusability of the models. The experimental results show that our approach is able to improve the quality and efficiency of real-world interlocking acceptance testing.
The proceedings contain 49 papers. The special focus in this conference is on Data Science, Computation and Security. The topics include: OGIA: Ontology Integration and Generation Using Archaeology as a Domain;Data: A...
ISBN:
(纸本)9789819709748
The proceedings contain 49 papers. The special focus in this conference is on Data Science, Computation and Security. The topics include: OGIA: Ontology Integration and Generation Using Archaeology as a Domain;Data: A Key to HR Analytics for Talent Management;an Early Lumpy Skin Disease Detection System Using Machine Learning;extracting Network Structures from Corporate Organization Charts Using Heuristic Image Processing;generating Equations for Mathematical Word problems Using Multi-head Attention Transformer;autonomous System Enabling Node and Edge Detection, Path Optimization, and Effective Color-Coded Box Management in Diverse Robotic Environments;GLANCE—Guided Language Through Autoregression Establishing Natural and Classifier-Free Editing;method for Design of Magnetic Field Active Silencing System Based on Robust Meta Model;Ontology Integration for Cultural Landscape Management Using ML and Assistive Artificial Intelligence;Early Phase Detection of Bacterial Blight in Pomegranate Using GAN Versus Ensemble Learning;classification of Diseased Leaves in Plants Using Convolutional Neural Networks;brain Tumor Localization Using Deep Ensemble Classification and Fast Marching Segmentation;spectrum and Energy of the Mobius Function Graph of Finite Cyclic Groups;analysis of Multinomial Classification for Legal Document Categorization;pioneering Image Analysis with Hybrid Convolutional Neural Networks and Generative Adversarial Networks for Enhanced Visual Perception;enhancing Medical Decision Support systems with the Two-Parameter Logistic Regression Model;BI-RADS Score Prediction Using AI for Breast Cancer Screening;modeling and Analysis of the Lead-Lag Network of Economic Indicators;predictive Maintenance Model for Industrial Equipment;taming the complexity of Distributed Lag Models: A Practical Approach to Multicollinearity, Outliers, and Auto-Correlation in Finance;algorithm of Robust control for Multi-stand Rolling Mill Strip Based on Stochastic Multi-swarm Multi
This article presents the main problems of modern controlsystems of technological objects and briefly describes the process of development and implementation of one of the possible solutions to this problem - a contr...
详细信息
Fuzzy control theory generates fuzzy rules based on expert experience and experimental data, so fuzzy control method can controlcomplex and large-scale systems without precise mathematical models. But fuzzy control m...
详细信息
This paper focuses on optimal controlproblems of discrete-time nonlinear multi-player non-zero-sum games with unknown dynamics. Based on adaptive dynamic programming, a data-driven adaptive critic control method is d...
详细信息
Normalizing flows (NFs) have been shown to be advantageous in modelingcomplex distributions and improving sampling efficiency for unbiased *** this work, we propose a new class of continuous NFs, ascent continuous no...
详细信息
作者:
Kurnosov, Dmitry A.Kuleva, Nadezhda Yu.Zakirov, Ramil A.
Flying Machines Department Chelyabinsk Russia
"Digital Industry"Research and Educational Center Chelyabinsk Russia
Processes and Machines of Metal Processing by Pressure Department Chelyabinsk Russia
The article presents a mathematical description of the phase control of the traction valve electric drive of a municipal machine. Mathematical relations are developed, mechanical and regulating characteristics of the ...
详细信息
The article presents the structure of a computer system that allows, based on a library of mathematical models, to solve the problem of controlling the process of emulsion polymerization in the production of synthetic...
详细信息
A power converter with switching mode, which is widely used in power electronics circuits, has some advantages including high efficiency, flexible output voltage, and lightweight. One of the power converters with swit...
详细信息
In the paper, we describe an algorithm for diagnosing tumor diseases using CT images. It is based on a modified U-Net neural network. We developed a post-processing block that makes a decision about the presence of a ...
详细信息
暂无评论