scholarly journals Background Error Propagation Model Based RDO in HEVC for Surveillance and Conference Video Coding

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 67206-67216 ◽  
Author(s):  
Jian Xiong ◽  
Xianzhong Long ◽  
Ran Shi ◽  
Miaohui Wang ◽  
Jie Yang ◽  
...  
Keyword(s):  
Video Coding ◽  
Error Propagation ◽  
Propagation Model ◽  
Background Error ◽  
Model Based

Automated Transformation of UML/SysML Behavioral Diagrams for Stochastic Error Propagation Analysis of Autonomous Systems

2021 ◽  
Author(s):  
Andrey Morozov ◽  
Thomas Mutzke ◽  
Kai Ding
Keyword(s):  
Error Propagation ◽  
System Modeling ◽  
Dual Graph ◽  
Medical Patient ◽  
Transformation Method ◽  
Propagation Model ◽  
Probabilistic Model Checking ◽  
Model Based ◽  
Propagation Analysis ◽  
Error Propagation Analysis

Abstract Modern technical systems consist of heterogeneous components, including mechanical parts, hardware, and the extensive software part that allows the autonomous system operation. The heterogeneity and autonomy require appropriate models that can describe the mutual interaction of the components. UML and SysML are widely accepted candidates for system modeling and model-based analysis in early design phases, including the analysis of reliability properties. UML and SysML models are semi-formal. Thus, transformation methods to formal models are required. Recently, we introduced a stochastic Dual-graph Error Propagation Model (DEPM). This model captures control and data flow structures of a system and allows the computation of advanced risk metrics using probabilistic model checking techniques. This article presents a new automated transformation method of an annotated State Machine Diagram, extended with Activity Diagrams, to a hierarchical DEPM. This method will help reliability engineers to keep error propagation models up to date and ensure their consistency with the available system models. The capabilities and limitations of transformation algorithm is described in detail and demonstrated on a complete model-based error propagation analysis of an autonomous medical patient table.

scholarly journals Modeling and Experimental Study of Soft Error Propagation Based on Cellular Automaton

2016 ◽  
Vol 2016 ◽  
pp. 1-11
Author(s):  
Wei He ◽  
Yueke Wang ◽  
Kefei Xing ◽  
Jianwei Yang
Keyword(s):  
Experimental Study ◽  
Cellular Automaton ◽  
Error Propagation ◽  
Propagation Model ◽  
Soft Error ◽  
Electronic Systems ◽  
Circuit Partitioning ◽  
Error Performance ◽  
Model Based ◽  
Coupling Factors

Aiming to estimate SEE soft error performance of complex electronic systems, a soft error propagation model based on cellular automaton is proposed and an estimation methodology based on circuit partitioning and error propagation is presented. Simulations indicate that different fault grade jamming and different coupling factors between cells are the main parameters influencing the vulnerability of the system. Accelerated radiation experiments have been developed to determine the main parameters for raw soft error vulnerability of the module and coupling factors. Results indicate that the proposed method is feasible.

A Rumor & Anti-rumor Propagation Model Based on Data Enhancement and Evolutionary Game

2020 ◽  
pp. 1-1
Author(s):  
Yunpeng Xiao ◽  
Wen Li ◽  
Shuai Qiang ◽  
Qian Li ◽  
Hanchun Xiao ◽  
...  
Keyword(s):  
Evolutionary Game ◽  
Propagation Model ◽  
Model Based ◽  
Rumor Propagation
Sign in / Sign up

Export Citation Format

Share Document