-
41
-
42
Verification of numerical methods and mathematical model developed for simulation of radionuclides migration in natural disperse environments
Published 2021-06-01“…The mathematical model used in SPS v2.0, as well as numerical methods forsolving it, require verification, which is carried out in this article. Verification of the developed numerical methodswas carried out using ComsolMultiphysics software and SPS v2.0 module with the following comparison of the calculation results. …”
Get full text
Article -
43
-
44
-
45
-
46
-
47
-
48
Runtime safety assurance methods for cyber physical systems based on simplex architecture
Published 2024-05-01Get full text
Article -
49
Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation
Published 2014-01-01“…This technique can be applied after the elaboration phase and needs neither source code modifications nor recompilation of the top level SystemC modules. The proposed technique has been successfully applied to the robustness verification of the on-board boot software of the Instrument Control Unit of the Solar Orbiter’s Energetic Particle Detector.…”
Get full text
Article -
50
-
51
-
52
HIL Test Verification of PDPI Control of Induction Generator‐Based Multi‐Rotor Wind Turbine Systems
Published 2025-01-01Get full text
Article -
53
-
54
Difference limens of amplitude modulated signals
Published 2015-07-01“…Presented in the literature studies on the perception of amplitude modulated signals concentrate mainly on the determination of modulation thresholds, and of the so-called roughness and amplitude of a signal. …”
Get full text
Article -
55
-
56
Identification of Hub Biomarkers and Immune and Inflammation Pathways Contributing to Kawasaki Disease Progression with RT-qPCR Verification
Published 2023-01-01“…Among 10 coexpression modules at WGCNA, one hub module exhibited the strongest association with KD. …”
Get full text
Article -
57
Theoretical Framework (Module) for Short-Sea Shipping System Evaluation
Published 2025-07-01Get full text
Article -
58
-
59
-
60