Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System

2005 ◽  
pp. 391-404 ◽  
Author(s):  
Kaile Su ◽  
Congxin Zhao ◽  
Guanfeng Lv ◽  
Han Lin ◽  
Qingliang Chen
Keyword(s):  
State Transition ◽  
Formal Analysis ◽  
The State ◽  
Transition Model ◽  
State Transition Model ◽  
Intrusion Tolerant

scholarly journals A New State Estimation Method with Radar Measurement Missing

Complexity ◽  
2018 ◽  
Vol 2018 ◽  
pp. 1-10
Author(s):  
Hongjian Wang ◽  
Cun Li ◽  
Ying Wang ◽  
Qing Li ◽  
Xicheng Ban
Keyword(s):  
State Estimation ◽  
State Transition ◽  
Estimation Method ◽  
The State ◽  
Kolmogorov Equation ◽  
Transition Model ◽  
Observation Data ◽  
Adjustment Strategy ◽  
Adaptive Adjustment ◽  
State Transition Model

This paper describes a method that addresses the transient loss of observations in sea surface target state estimations. A six degrees of freedom swing platform fixed with a MiniRadaScan is used to simulate the loss of observations. The state transition model based on the historical observation data fit prediction is designed because the existing state estimation method can only use the system model prediction while the observation is missing. An observation data sliding window width adaptive adjustment strategy is proposed that can improve the fitting accuracy of the state transition model. To solve the problem where the weight value of the Gaussian components of the Gaussian mixture filter is not changed in the time update stage while the observation is missing, an adaptive adjustment strategy for the weight is proposed based on the Chapman-Kolmogorov equation, which can improve the estimation precision under the conditions of the missing observation. The simulation test demonstrates the proposed accuracy and real-time performance of the proposed algorithm.

scholarly journals Intrusion tolerance model against higher institution database

2019 ◽  
Vol 9 (1) ◽  
pp. 20-28
Author(s):  
Mohammed B. Yakubu ◽  
Hussaini DanAzumi ◽  
Mohammed Bulama ◽  
Abba Hassan
Keyword(s):  
State Transition ◽  
Database System ◽  
Transition Model ◽  
Data Confidentiality ◽  
Privacy And Security ◽  
Damage Propagation ◽  
Higher Institution ◽  
State Transition Model ◽  
Tolerance Model ◽  
Intrusion Tolerant

Privacy and security are the two major concerns of keeping and accessing data on the internet. The rate of intruding organisation’s database by unauthorised users is on the increase. Thus, the affected organisation’s data confidentiality is lost; it can be viewed, modified, deleted and/or make it inaccessible to authorised users. Intrusion detection and tolerance techniques help in recognising malicious attacks as well as supports the websites to survive the attack. A quantitative approach was used in this study even though numerous attempts of quantitative evaluation of the survivability of intrusion tolerant systems, especially in database field have been made. Study on survivability of intrusion tolerant systems has being done, taking behaviour of attack, prediction of scale, speed of database damage propagation and its degree of spreading as facilitators. This paper provides the intrusion tolerant database system as a series of state transition model (Zumkas Model) based on the hidden Markov model. Keywords: Intrusion, survivability, model, patterns

State Transition Model of Green Logistical Network in Manufacturing Engineering

2013 ◽  
Vol 340 ◽  
pp. 255-258
Author(s):  
Yong Sheng Huang ◽  
Hua Mei Du
Keyword(s):  
Internet Of Things ◽  
State Transition ◽  
The State ◽  
The Internet ◽  
Transition Model ◽  
State Transition Model ◽  
Manufacturing Engineering ◽  
The Internet Of Things

With the developing of the technologies in the field of the Internet of things, it is much possible to achieve more information about things scattered in a certain zone. Based on the Internet of things, the information zing and modelling of the logistical network are efficient methods for logistical services. In this paper, an approach for the state transition model of logistical network is put forward, in which the sets of key elements and their states, and as well as the correlations between and among the key elements with certain states are used as components to express the states and states transition of the logistical network.

scholarly journals Exploring the Cost Effectiveness of Shared Decision Making for Choosing between Disease-Modifying Drugs for Relapsing-Remitting Multiple Sclerosis in the Netherlands: A State Transition Model

2020 ◽  
Vol 40 (8) ◽  
pp. 1003-1019
Author(s):  
Ingrid E. H. Kremer ◽  
Mickael Hiligsmann ◽  
Josh Carlson ◽  
Marita Zimmermann ◽  
Peter J. Jongen ◽  
...  
Keyword(s):  
Decision Making ◽  
Cost Effectiveness ◽  
Shared Decision Making ◽  
State Transition ◽  
Transition Model ◽  
Shared Decision ◽  
Relapsing Remitting ◽  
State Transition Model ◽  
The Cost ◽  
Relapsing Remitting Multiple Sclerosis

Background Up to 31% of patients with relapsing-remitting multiple sclerosis (RRMS) discontinue treatment with disease-modifying drug (DMD) within the first year, and of the patients who do continue, about 40% are nonadherent. Shared decision making may decrease nonadherence and discontinuation rates, but evidence in the context of RRMS is limited. Shared decision making may, however, come at additional costs. This study aimed to explore the potential cost-effectiveness of shared decision making for RRMS in comparison with usual care, from a (limited) societal perspective over a lifetime. Methods An exploratory economic evaluation was conducted by adapting a previously developed state transition model that evaluates the cost-effectiveness of a range of DMDs for RRMS in comparison with the best supportive care. Three potential effects of shared decision making were explored: 1) a change in the initial DMD chosen, 2) a decrease in the patient’s discontinuation in using the DMD, and 3) an increase in adherence to the DMD. One-way and probabilistic sensitivity analyses of a scenario that combined the 3 effects were conducted. Results Each effect separately and the 3 effects combined resulted in higher quality-adjusted life years (QALYs) and costs due to the increased utilization of DMD. A decrease in discontinuation of DMDs influenced the incremental cost-effectiveness ratio (ICER) most. The combined scenario resulted in an ICER of €17,875 per QALY gained. The ICER was sensitive to changes in several parameters. Conclusion This study suggests that shared decision making for DMDs could potentially be cost-effective, especially if shared decision making would help to decrease treatment discontinuation. Our results, however, may depend on the assumed effects on treatment choice, persistence, and adherence, which are actually largely unknown.

Sign in / Sign up

Export Citation Format

Share Document