The combat survivability is an essential factor to be considered in the development of recent military aircraft. Radar stealth and onboard electronic attack are two major techniques for the reduction of aircraft susce...The combat survivability is an essential factor to be considered in the development of recent military aircraft. Radar stealth and onboard electronic attack are two major techniques for the reduction of aircraft susceptibility. A tactical scenario for a strike mission is presented. The effect of aircraft radar cross section on the detection probability of a threat radar, as well as that of onboard jammer, are investigated. The guidance errors of radar guided surface to air missile and anti aircraft artillery, which are disturbed by radar cross section reduction or jammer radiated power and both of them are determined. The probability of aircraft kill given a single shot is calculated and finally the sortie survivability of an attack aircraft in a supposed hostile thread environment worked out. It is demonstrated that the survivability of a combat aircraft will be greatly enhanced by the combined radar stealth and onboard electronic attack, and the evaluation metho dology is effective and applicable.展开更多
To work out a solution for answering the question when it is suitable for emergency response strategies to be executed, an emergency algorithm for enhanced survivability of a key service is presented. First, based on ...To work out a solution for answering the question when it is suitable for emergency response strategies to be executed, an emergency algorithm for enhanced survivability of a key service is presented. First, based on the central limit theorem and the hypothesis testing theory, the confidence interval of each key service＇s history average service response time in the host server and the spare server can be figured out, respectively. This can also be updated dynamically by a proposed method using the method of time slide window. Then, according to the five kinds of distributed situations of the current service response time＇ s confidence interval in the host server and the spare server, the proposed algorithm can dynamically choose the appropriate emergency policies such as resource reconfiguration, service degradation or service drifting, etc. in fight time. Thus, the key service request can be finished within its expected deadline by users as far as possible. Furthermore, the whole process of dynamic configuration is transparent to users. Finally, simulation tests are performed to prove the feasibility.展开更多
Spinal cord injury results in permanent loss of neurological functions due to severance of neural networks.Transplantation of neural stem cells holds promise to repair disrupted connections.Yet,ensuring the survival a...Spinal cord injury results in permanent loss of neurological functions due to severance of neural networks.Transplantation of neural stem cells holds promise to repair disrupted connections.Yet,ensuring the survival and integration of neural stem cells into the host neural circuit remains a formidable challenge.Here,we investigated whether modifying the intrinsic properties of neural stem cells could enhance their integration post-transplantation.We focused on phosphatase and tensin homolog(PTEN),a well-characterized tumor suppressor known to critically regulate neuronal survival and axonal regeneration.By deleting Pten in mouse neural stem cells,we observed increased neurite outgrowth and enhanced resistance to neurotoxic environments in culture.Upon transplantation into injured spinal cords,Pten-deficient neural stem cells exhibited higher survival and more extensive rostrocaudal distribution.To examine the potential influence of partial PTEN suppression,rat neural stem cells were treated with short hairpin RNA targeting PTEN,and the PTEN knockdown resulted in significant improvements in neurite growth,survival,and neurosphere motility in vitro.Transplantation of sh PTEN-treated neural stem cells into the injured spinal cord also led to an increase in graft survival and migration to an extent similar to that of complete deletion.Moreover,PTEN suppression facilitated neurite elongation from NSC-derived neurons migrating from the lesion epicenter.These findings suggest that modifying intrinsic signaling pathways,such as PTEN,within neural stem cells could bolster their therapeutic efficacy,offering potential avenues for future regenerative strategies for spinal cord injury.展开更多
Parkinson’s disease(PD)is the second most common neurodegenerative disorder.The progressive degeneration of dopamine(DA)producing neurons in the midbrain is the pathological hallmark,which leads to debilitating motor...Parkinson’s disease(PD)is the second most common neurodegenerative disorder.The progressive degeneration of dopamine(DA)producing neurons in the midbrain is the pathological hallmark,which leads to debilitating motor symptoms,including tremors,rigidity,and bradykinesia.Drug treatments,such as levodopa,provide symptomatic relief.However,they do not halt disease progression,and their effectiveness diminishes over time(reviewed in Poewe et al.,2017).展开更多
As an important part of future 5G wireless networks,a vehicular network demands safety,reliability and connectivity.In this context,networking survivability is usually considered an important metric to evaluate networ...As an important part of future 5G wireless networks,a vehicular network demands safety,reliability and connectivity.In this context,networking survivability is usually considered an important metric to evaluate network performance.In this paper,we propose a survivability model for vehicle communication networking based on dual cluster heads,wherein a backup cluster head(CH)will be activated if the primary CH fails,thereby effectively enhancing the network lifetime.Additionally,we introduce a software rejuvenation strategy for the prime CH to further improve the survivability of the entire network.Using the Probabilistic Symbolic Model Checker(PRISM),we verify and discuss the proposed survivability model via numerical simulations.The results show that network survivability can be effectively improved by introducing an additional CH and further enhanced by adopting the software rejuvenation technique.展开更多
Most existing work on survivability in mobile ad-hoc networks(MANETs) focuses on two dimensional(2D) networks.However,many real applications run in three dimensional(3D) networks,e.g.,climate and ocean monitoring,and ...Most existing work on survivability in mobile ad-hoc networks(MANETs) focuses on two dimensional(2D) networks.However,many real applications run in three dimensional(3D) networks,e.g.,climate and ocean monitoring,and air defense systems.The impact on network survivability due to node behaviors was presented,and a quantitative analysis method on survivability was developed in 3D MANETs by modeling node behaviors and analyzing 3D network connectivity.Node behaviors were modeled by using a semi-Markov process.The node minimum degree of 3D MANETs was discussed.An effective approach to derive the survivability of k-connected networks was proposed through analyzing the connectivity of 3D MANETs caused by node misbehaviors,based on the model of node isolation.The quantitative analysis of node misbehaviors on the survivability in 3D MANETs is obtained through mathematical description,and the effectiveness and rationality of the proposed approach are verified through numerical analysis.The analytical results show that the effect from black and gray attack on network survivability is much severer than other misbehaviors.展开更多
Breast cancer(BCa)and prostate cancer(PCa)are the two most common types of cancer.Various factors play a role in these cancers,and discovering the most important ones might help patients live longer,better lives.This ...Breast cancer(BCa)and prostate cancer(PCa)are the two most common types of cancer.Various factors play a role in these cancers,and discovering the most important ones might help patients live longer,better lives.This study aims to determine the variables that most affect patient survivability,and how the use of different machine learning algorithms can assist in such predictions.The AURIA database was used,which contains electronic healthcare records(EHRs)of 20,006 individual patients diagnosed with either breast or prostate cancer in a particular region in Finland.In total,there were 178 features for BCa and 143 for PCa.Six feature selection algorithms were used to obtain the 21 most important variables for BCa,and 19 for PCa.These features were then used to predict patient survivability by employing nine different machine learning algorithms.Seventy-five percent of the dataset was used to train the models and 25%for testing.Cross-validation was carried out using the StratifiedKfold technique to test the effectiveness of the machine learning models.The support vector machine classifier yielded the best ROC with an area under the curve(AUC)=0.83,followed by the KNeighborsClassifier with AUC=0.82 for the BCa dataset.The two algorithms that yielded the best results for PCa are the random forest classifier and KNeighborsClassifier,both with AUC=0.82.This study shows that not all variables are decisive when predicting breast or prostate cancer patient survivability.By narrowing down the input variables,healthcare professionals were able to focus on the issues that most impact patients,and hence devise better,more individualized care plans.展开更多
To help optimize the spacecraft design and reduce the risk of spacecraft mission failure, a new approach to assess the survivability of spacecraft in orbit is presented here, including the following three steps: 1)Sen...To help optimize the spacecraft design and reduce the risk of spacecraft mission failure, a new approach to assess the survivability of spacecraft in orbit is presented here, including the following three steps: 1)Sensitivity Analysis of spacecraft. A new sensitivity analysis method, a ray method based on virtual outer wall, is presented here. Using rays to simulate the debris cloud can effectively address the component shadowing issues. 2) Component Vulnerability analysis of spacecraft. A function "Component functional reduction degree-Component physical damage degree" is provided here to clearly describe the component functional reduction. 3) System-level Survivability Assessment of spacecraft. A new method based on expert knowledge reasoning, instead of traditional artificial failure tree method, is presented here to greatly improve the efficiency and accuracy of calculation.展开更多
Survivability has emerged as a new phase for the development of network security technique, and quantifying survivability for network system helps to evaluate it exactly for the system in different environments. In th...Survivability has emerged as a new phase for the development of network security technique, and quantifying survivability for network system helps to evaluate it exactly for the system in different environments. In this paper, we adopt a stochastic method called sequential Monte Carlo and try to reflect dynamic evolvement process of network survivability situation from several time sequences. The experiment results show that this method has the features of quantitative description, real-time calculation and dynamic tracking, and it is a good situation assessment solution for network survivability.展开更多
In last decade,due to that the popularity of the internet, data-central traffic kept growing,some emerging networking requirements have been posed on the todays telecommunication networks,especially in the area of net...In last decade,due to that the popularity of the internet, data-central traffic kept growing,some emerging networking requirements have been posed on the todays telecommunication networks,especially in the area of network survivability.Obviously,as a key networking problem,network reliability will be more and more important.The integration of different technologies such as ATM,SDH,and WDM in multilayer transport networks raises many questions regarding the coordination of the individual network layers.This problem is referred as multilayer network survivability.The integrated multilayer network survivability is investingated as well as the representation of an interworking strategy between different single layer survivability schemes in IP via generalized multi-protocol label switching over optical network.展开更多
Probabilistic model checking has been widely applied to quantitative analysis of stochastic systems, e.g., analyzing the performance, reliability and survivability of computer and communication systems. In this paper,...Probabilistic model checking has been widely applied to quantitative analysis of stochastic systems, e.g., analyzing the performance, reliability and survivability of computer and communication systems. In this paper, we extend the application of probabilistic model checking to the vehicle to vehicle(V2V) networks. We first develop a continuous-time Markov chain(CTMC) model for the considered V2V network, after that, the PRISM language is adopted to describe the CTMC model, and continuous-time stochastic logic is used to describe the objective survivability properties. In the analysis, two typical failures are considered, namely the node failure and the link failure, respectively induced by external malicious attacks on a target V2V node, and interrupt in a communication link. Considering these failures, their impacts on the network survivability are demonstrated. It is shown that with increasing failure strength, the network survivability is reduced. On the other hand, the network survivability can be improved with increasing repair rate. The proposed probabilistic model checking-based approach can be effectively used in survivability analysis for the V2V networks, moreover, it is anticipated that the approach can be conveniently extended to other networks.展开更多
In ordet to maintain the dependability of system and meet the functional needof users dtsire, this paper introduces a survivability mechanism into embedded real-time system,and proposes a general comprehensive, approa...In ordet to maintain the dependability of system and meet the functional needof users dtsire, this paper introduces a survivability mechanism into embedded real-time system,and proposes a general comprehensive, approach based on a rigorous definition of survivability. Thisapproach permits a trade-off between the function and the cost of system development. It emphasizesthe ultradependable implementation of crucial function without demanding that of entire system.展开更多
For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by ...For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by analyzing the survival situation of critical cloud services.First,on the basis of the SAIR(susceptible,active,infected,recovered)model,the SEIRS(susceptible,exposed,infected,recovered,susceptible)model and the vulnerability diffusion model of the distributed virtual system,the evolution state of the virus is divided into six types,and then the diffusion rules of the virus in the service domain of the cloud computing system and the propagation rules between service domains are analyzee.Finally,on the basis of Bio-PEPA(biological-performance evaluation process algebra),the formalized modeling of the survivability evolution of critical cloud services is made,and the SLIRAS(susceptible,latent,infected,recovered,antidotal,susceptible)model is obtained.Based on the stochastic simulation and the ODEs(ordinary differential equations)simulation of the Bio-PEPA model,the sensitivity parameters of the model are analyzed from three aspects,namely,the virus propagation speed of inter-domain,recovery ability and memory ability.The results showthat the proposed model has high approximate fitting degree to the actual cloud computing system,and it can well reflect the survivable change of the system.展开更多
The survivability of computer systems should be guaranteed in order to improve its operation efficiency,especially for the efficiency of its critical functions.This paper proposes a decentralized mechanism based on So...The survivability of computer systems should be guaranteed in order to improve its operation efficiency,especially for the efficiency of its critical functions.This paper proposes a decentralized mechanism based on Software-Defined Architecture(SDA).The concepts of critical functions and critical states are defined,and then,the critical functional parameters of the target system are collected and analyzed.Experiments based on the analysis results are performed for reconfiguring the implementations of the whole system.A formal model is presented for analyzing and improving the survivability of the system,and the problem investigated in this paper is reduced to an optimization problem for increasing the system survival time.展开更多
Based on the in-depth analysis of the interaction patterns between the components of software system in architecture, this paper illustrates that the association among them is complex and usually changeable during the...Based on the in-depth analysis of the interaction patterns between the components of software system in architecture, this paper illustrates that the association among them is complex and usually changeable during the running period. So we assume the interactions between two adjacency components are grouped into a single connector, which can be used to analyze the influence of components assembly on the survivability for software architecture. The survivability of the components assembly is mapped into the connectivity of graph model. We also bring forward a simplicity method to calculate and quantify the survivability of architecture that could provide a more usable model for designers to evaluate the architecture.展开更多
This paper puts forward a survivability evaluation model, SQEM （Survivability Quantitative Evaluation Model）, based on lucubrating the main method existed. Then it defines the measurement factors and parses the surv...This paper puts forward a survivability evaluation model, SQEM （Survivability Quantitative Evaluation Model）, based on lucubrating the main method existed. Then it defines the measurement factors and parses the survivability mathematically, introduces state change probability and the idea of setting the weights of survivability factors dynamically into the evaluating process of SQEM, which improved the accuracy of evaluation. An example is presented to illustrate the way SQEM works, which demonstrated the validity and feasibility of the method.展开更多
A hybrid remotely operated underwater vehicle( HROV) capable of working to the full ocean depth has been developed. In order for the vehicle to achieve a certain survivability level,a self-repairing control system( SR...A hybrid remotely operated underwater vehicle( HROV) capable of working to the full ocean depth has been developed. In order for the vehicle to achieve a certain survivability level,a self-repairing control system( SRCS) has been designed. It consists of two basic technologies,fault diagnosis and isolation( FDI) and reconfigurable control. For FDI,a model-based hierarchical fault diagnosis system is designed for the HROV. Then,control strategies which reconfigure the control system at intervals according to information from the FDI system are presented. Combining the two technologies,it can obtain the fundamental frame of SRCS for the HROV. Considering the hazardous underwater environment at the limiting depth and the hybrid operating modes,an assessment of the HROV's survivability is vitally needed before it enters operational service. This paper presents a new definition of survivability for underwater vehicles and develops a simple survivability model for the SRCS. As a result of survivability assessment for the SRCS,we are able to figure out the survivability of SRCS and make further optimization about it. The methodology developed herein is also applicable to other types of underwater vehicles.展开更多
The capability of a system to fulfill its mission promptly in the presence of attacks,failures,or accidents is one of the qualitative definitions of survivability.In this paper,we propose a model for survivability qua...The capability of a system to fulfill its mission promptly in the presence of attacks,failures,or accidents is one of the qualitative definitions of survivability.In this paper,we propose a model for survivability quantification,which is acceptable for networks carrying complex traffic flows.Complex network traffic is considered as general multi-rate,heterogeneous traffic,where the individual bandwidth demands may aggregate in complex,nonlinear ways.Blocking probability is the chosen measure for survivability analysis.We study an arbitrary topology and some other known topologies for the network.Independent and dependent failure scenarios as well as deterministic and random traffic models are investigated.Finally,we provide survivability evaluation results for different network configurations.The results show that by using about 50%of the link capacity in networks with a relatively high number of links,the blocking probability remains near zero in the case of a limited number of failures.展开更多
Survivability is the capability of a system to fulfill its mission in the presence of attacks, failures, or accidents, and recover full service in a timely manner. On the basis of J. K. Millen＇s survivability measure...Survivability is the capability of a system to fulfill its mission in the presence of attacks, failures, or accidents, and recover full service in a timely manner. On the basis of J. K. Millen＇s survivability measure method, the paper sets the PST-based （processing-storage-transmission） survivability system model, gives description of survivability of PST-based survivability systematic model, and proposes the algorithm of PST-based system survivability measure. Finally, it composes a system based on processing, storage and transmission, and gets the data of system survivability measure with the algorithm. It proves that the feasibility and validity of the method of PST-based system survivability measure.展开更多
文摘The combat survivability is an essential factor to be considered in the development of recent military aircraft. Radar stealth and onboard electronic attack are two major techniques for the reduction of aircraft susceptibility. A tactical scenario for a strike mission is presented. The effect of aircraft radar cross section on the detection probability of a threat radar, as well as that of onboard jammer, are investigated. The guidance errors of radar guided surface to air missile and anti aircraft artillery, which are disturbed by radar cross section reduction or jammer radiated power and both of them are determined. The probability of aircraft kill given a single shot is calculated and finally the sortie survivability of an attack aircraft in a supposed hostile thread environment worked out. It is demonstrated that the survivability of a combat aircraft will be greatly enhanced by the combined radar stealth and onboard electronic attack, and the evaluation metho dology is effective and applicable.
基金Specialized Research Fund for the Doctoral Program of Higher Education (No20050217007)the Weaponry Equipment Foundation of PLA Equipment Ministry (No51416060104CB0101)
文摘To work out a solution for answering the question when it is suitable for emergency response strategies to be executed, an emergency algorithm for enhanced survivability of a key service is presented. First, based on the central limit theorem and the hypothesis testing theory, the confidence interval of each key service＇s history average service response time in the host server and the spare server can be figured out, respectively. This can also be updated dynamically by a proposed method using the method of time slide window. Then, according to the five kinds of distributed situations of the current service response time＇ s confidence interval in the host server and the spare server, the proposed algorithm can dynamically choose the appropriate emergency policies such as resource reconfiguration, service degradation or service drifting, etc. in fight time. Thus, the key service request can be finished within its expected deadline by users as far as possible. Furthermore, the whole process of dynamic configuration is transparent to users. Finally, simulation tests are performed to prove the feasibility.
基金supported by the National Research Foundation of Korea,Nos.2021R1A2C2006110,2021M3E5D9021364,2019R1A5A2026045(to BGK)the Korea Initiative for Fostering University of Research and Innovation(KIURI)Program of the NRF funded by the MSIT(to HK),No.NRF2021M3H1A104892211(to HSK)。
文摘Spinal cord injury results in permanent loss of neurological functions due to severance of neural networks.Transplantation of neural stem cells holds promise to repair disrupted connections.Yet,ensuring the survival and integration of neural stem cells into the host neural circuit remains a formidable challenge.Here,we investigated whether modifying the intrinsic properties of neural stem cells could enhance their integration post-transplantation.We focused on phosphatase and tensin homolog(PTEN),a well-characterized tumor suppressor known to critically regulate neuronal survival and axonal regeneration.By deleting Pten in mouse neural stem cells,we observed increased neurite outgrowth and enhanced resistance to neurotoxic environments in culture.Upon transplantation into injured spinal cords,Pten-deficient neural stem cells exhibited higher survival and more extensive rostrocaudal distribution.To examine the potential influence of partial PTEN suppression,rat neural stem cells were treated with short hairpin RNA targeting PTEN,and the PTEN knockdown resulted in significant improvements in neurite growth,survival,and neurosphere motility in vitro.Transplantation of sh PTEN-treated neural stem cells into the injured spinal cord also led to an increase in graft survival and migration to an extent similar to that of complete deletion.Moreover,PTEN suppression facilitated neurite elongation from NSC-derived neurons migrating from the lesion epicenter.These findings suggest that modifying intrinsic signaling pathways,such as PTEN,within neural stem cells could bolster their therapeutic efficacy,offering potential avenues for future regenerative strategies for spinal cord injury.
基金supported by the DGIST start-up funds from the Ministry of Science and ICT(2024010330)a National Research Foundation of Korea(NRF)grant funded by the Korea Government(MSIT)(No.RS-2024-00351442)(to TWK).
文摘Parkinson’s disease(PD)is the second most common neurodegenerative disorder.The progressive degeneration of dopamine(DA)producing neurons in the midbrain is the pathological hallmark,which leads to debilitating motor symptoms,including tremors,rigidity,and bradykinesia.Drug treatments,such as levodopa,provide symptomatic relief.However,they do not halt disease progression,and their effectiveness diminishes over time(reviewed in Poewe et al.,2017).
基金supported by the National Natural Science Foundation of China (No. 61971245 and 61801249 )Nantong University-Nantong Joint Research Center for Intelligent Information Technology (No. KFKT2016A01)
文摘As an important part of future 5G wireless networks,a vehicular network demands safety,reliability and connectivity.In this context,networking survivability is usually considered an important metric to evaluate network performance.In this paper,we propose a survivability model for vehicle communication networking based on dual cluster heads,wherein a backup cluster head(CH)will be activated if the primary CH fails,thereby effectively enhancing the network lifetime.Additionally,we introduce a software rejuvenation strategy for the prime CH to further improve the survivability of the entire network.Using the Probabilistic Symbolic Model Checker(PRISM),we verify and discuss the proposed survivability model via numerical simulations.The results show that network survivability can be effectively improved by introducing an additional CH and further enhanced by adopting the software rejuvenation technique.
基金Project(07JJ1010) supported by the Hunan Provincial Natural Science Foundation of China for Distinguished Young ScholarsProjects(61073037,60773013) supported by the National Natural Science Foundation of China
文摘Most existing work on survivability in mobile ad-hoc networks(MANETs) focuses on two dimensional(2D) networks.However,many real applications run in three dimensional(3D) networks,e.g.,climate and ocean monitoring,and air defense systems.The impact on network survivability due to node behaviors was presented,and a quantitative analysis method on survivability was developed in 3D MANETs by modeling node behaviors and analyzing 3D network connectivity.Node behaviors were modeled by using a semi-Markov process.The node minimum degree of 3D MANETs was discussed.An effective approach to derive the survivability of k-connected networks was proposed through analyzing the connectivity of 3D MANETs caused by node misbehaviors,based on the model of node isolation.The quantitative analysis of node misbehaviors on the survivability in 3D MANETs is obtained through mathematical description,and the effectiveness and rationality of the proposed approach are verified through numerical analysis.The analytical results show that the effect from black and gray attack on network survivability is much severer than other misbehaviors.
基金funding from the European Union’s Horizon 2020 CATCH ITN project under the Marie Sklodowska-Curie grant agreement no.722012,website https://www.catchitn.eu/.
文摘Breast cancer(BCa)and prostate cancer(PCa)are the two most common types of cancer.Various factors play a role in these cancers,and discovering the most important ones might help patients live longer,better lives.This study aims to determine the variables that most affect patient survivability,and how the use of different machine learning algorithms can assist in such predictions.The AURIA database was used,which contains electronic healthcare records(EHRs)of 20,006 individual patients diagnosed with either breast or prostate cancer in a particular region in Finland.In total,there were 178 features for BCa and 143 for PCa.Six feature selection algorithms were used to obtain the 21 most important variables for BCa,and 19 for PCa.These features were then used to predict patient survivability by employing nine different machine learning algorithms.Seventy-five percent of the dataset was used to train the models and 25%for testing.Cross-validation was carried out using the StratifiedKfold technique to test the effectiveness of the machine learning models.The support vector machine classifier yielded the best ROC with an area under the curve(AUC)=0.83,followed by the KNeighborsClassifier with AUC=0.82 for the BCa dataset.The two algorithms that yielded the best results for PCa are the random forest classifier and KNeighborsClassifier,both with AUC=0.82.This study shows that not all variables are decisive when predicting breast or prostate cancer patient survivability.By narrowing down the input variables,healthcare professionals were able to focus on the issues that most impact patients,and hence devise better,more individualized care plans.
文摘To help optimize the spacecraft design and reduce the risk of spacecraft mission failure, a new approach to assess the survivability of spacecraft in orbit is presented here, including the following three steps: 1)Sensitivity Analysis of spacecraft. A new sensitivity analysis method, a ray method based on virtual outer wall, is presented here. Using rays to simulate the debris cloud can effectively address the component shadowing issues. 2) Component Vulnerability analysis of spacecraft. A function "Component functional reduction degree-Component physical damage degree" is provided here to clearly describe the component functional reduction. 3) System-level Survivability Assessment of spacecraft. A new method based on expert knowledge reasoning, instead of traditional artificial failure tree method, is presented here to greatly improve the efficiency and accuracy of calculation.
基金Supported by Specialized Research Fund for theDoctoral Programof Higher Education of China(20050217007)
文摘Survivability has emerged as a new phase for the development of network security technique, and quantifying survivability for network system helps to evaluate it exactly for the system in different environments. In this paper, we adopt a stochastic method called sequential Monte Carlo and try to reflect dynamic evolvement process of network survivability situation from several time sequences. The experiment results show that this method has the features of quantitative description, real-time calculation and dynamic tracking, and it is a good situation assessment solution for network survivability.
文摘In last decade,due to that the popularity of the internet, data-central traffic kept growing,some emerging networking requirements have been posed on the todays telecommunication networks,especially in the area of network survivability.Obviously,as a key networking problem,network reliability will be more and more important.The integration of different technologies such as ATM,SDH,and WDM in multilayer transport networks raises many questions regarding the coordination of the individual network layers.This problem is referred as multilayer network survivability.The integrated multilayer network survivability is investingated as well as the representation of an interworking strategy between different single layer survivability schemes in IP via generalized multi-protocol label switching over optical network.
基金supported by the National Natural Science Foundation of China under Grant no. 61371113 and 61401240Graduate Student Research Innovation Program Foundation of Jiangsu Province no. YKC16006+1 种基金Graduate Student Research Innovation Program Foundation of Nantong University no. KYZZ160354Top-notch Academic Programs Project of Jiangsu Higher Education Institutions (PPZY2015B135)
文摘Probabilistic model checking has been widely applied to quantitative analysis of stochastic systems, e.g., analyzing the performance, reliability and survivability of computer and communication systems. In this paper, we extend the application of probabilistic model checking to the vehicle to vehicle(V2V) networks. We first develop a continuous-time Markov chain(CTMC) model for the considered V2V network, after that, the PRISM language is adopted to describe the CTMC model, and continuous-time stochastic logic is used to describe the objective survivability properties. In the analysis, two typical failures are considered, namely the node failure and the link failure, respectively induced by external malicious attacks on a target V2V node, and interrupt in a communication link. Considering these failures, their impacts on the network survivability are demonstrated. It is shown that with increasing failure strength, the network survivability is reduced. On the other hand, the network survivability can be improved with increasing repair rate. The proposed probabilistic model checking-based approach can be effectively used in survivability analysis for the V2V networks, moreover, it is anticipated that the approach can be conveniently extended to other networks.
文摘In ordet to maintain the dependability of system and meet the functional needof users dtsire, this paper introduces a survivability mechanism into embedded real-time system,and proposes a general comprehensive, approach based on a rigorous definition of survivability. Thisapproach permits a trade-off between the function and the cost of system development. It emphasizesthe ultradependable implementation of crucial function without demanding that of entire system.
基金The National Natural Science Foundation of China(No.61202458,61403109)the Natural Science Foundation of Heilongjiang Province of China(No.F2017021)Harbin Science and Technology Innovation Research Funds(No.2016RAQXJ036)
文摘For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by analyzing the survival situation of critical cloud services.First,on the basis of the SAIR(susceptible,active,infected,recovered)model,the SEIRS(susceptible,exposed,infected,recovered,susceptible)model and the vulnerability diffusion model of the distributed virtual system,the evolution state of the virus is divided into six types,and then the diffusion rules of the virus in the service domain of the cloud computing system and the propagation rules between service domains are analyzee.Finally,on the basis of Bio-PEPA(biological-performance evaluation process algebra),the formalized modeling of the survivability evolution of critical cloud services is made,and the SLIRAS(susceptible,latent,infected,recovered,antidotal,susceptible)model is obtained.Based on the stochastic simulation and the ODEs(ordinary differential equations)simulation of the Bio-PEPA model,the sensitivity parameters of the model are analyzed from three aspects,namely,the virus propagation speed of inter-domain,recovery ability and memory ability.The results showthat the proposed model has high approximate fitting degree to the actual cloud computing system,and it can well reflect the survivable change of the system.
文摘The survivability of computer systems should be guaranteed in order to improve its operation efficiency,especially for the efficiency of its critical functions.This paper proposes a decentralized mechanism based on Software-Defined Architecture(SDA).The concepts of critical functions and critical states are defined,and then,the critical functional parameters of the target system are collected and analyzed.Experiments based on the analysis results are performed for reconfiguring the implementations of the whole system.A formal model is presented for analyzing and improving the survivability of the system,and the problem investigated in this paper is reduced to an optimization problem for increasing the system survival time.
基金the National High Technology Research and Development Program of China (2007AA012420)
文摘Based on the in-depth analysis of the interaction patterns between the components of software system in architecture, this paper illustrates that the association among them is complex and usually changeable during the running period. So we assume the interactions between two adjacency components are grouped into a single connector, which can be used to analyze the influence of components assembly on the survivability for software architecture. The survivability of the components assembly is mapped into the connectivity of graph model. We also bring forward a simplicity method to calculate and quantify the survivability of architecture that could provide a more usable model for designers to evaluate the architecture.
基金Supported by Natural Science Fundation of HebeiProvince (F2004000133)
文摘This paper puts forward a survivability evaluation model, SQEM （Survivability Quantitative Evaluation Model）, based on lucubrating the main method existed. Then it defines the measurement factors and parses the survivability mathematically, introduces state change probability and the idea of setting the weights of survivability factors dynamically into the evaluating process of SQEM, which improved the accuracy of evaluation. An example is presented to illustrate the way SQEM works, which demonstrated the validity and feasibility of the method.
基金Sponsored by the National Natural Science Foundation of China(Grant No.51109132)Specialized Research Fund for the Doctoral Program of Higher Education of China(Grant No.20110073120015)
文摘A hybrid remotely operated underwater vehicle( HROV) capable of working to the full ocean depth has been developed. In order for the vehicle to achieve a certain survivability level,a self-repairing control system( SRCS) has been designed. It consists of two basic technologies,fault diagnosis and isolation( FDI) and reconfigurable control. For FDI,a model-based hierarchical fault diagnosis system is designed for the HROV. Then,control strategies which reconfigure the control system at intervals according to information from the FDI system are presented. Combining the two technologies,it can obtain the fundamental frame of SRCS for the HROV. Considering the hazardous underwater environment at the limiting depth and the hybrid operating modes,an assessment of the HROV's survivability is vitally needed before it enters operational service. This paper presents a new definition of survivability for underwater vehicles and develops a simple survivability model for the SRCS. As a result of survivability assessment for the SRCS,we are able to figure out the survivability of SRCS and make further optimization about it. The methodology developed herein is also applicable to other types of underwater vehicles.
文摘The capability of a system to fulfill its mission promptly in the presence of attacks,failures,or accidents is one of the qualitative definitions of survivability.In this paper,we propose a model for survivability quantification,which is acceptable for networks carrying complex traffic flows.Complex network traffic is considered as general multi-rate,heterogeneous traffic,where the individual bandwidth demands may aggregate in complex,nonlinear ways.Blocking probability is the chosen measure for survivability analysis.We study an arbitrary topology and some other known topologies for the network.Independent and dependent failure scenarios as well as deterministic and random traffic models are investigated.Finally,we provide survivability evaluation results for different network configurations.The results show that by using about 50%of the link capacity in networks with a relatively high number of links,the blocking probability remains near zero in the case of a limited number of failures.
基金Supported by Specialized Research Fund for Doctoral Program of Higher Education of China(20050217007)
文摘Survivability is the capability of a system to fulfill its mission in the presence of attacks, failures, or accidents, and recover full service in a timely manner. On the basis of J. K. Millen＇s survivability measure method, the paper sets the PST-based （processing-storage-transmission） survivability system model, gives description of survivability of PST-based survivability systematic model, and proposes the algorithm of PST-based system survivability measure. Finally, it composes a system based on processing, storage and transmission, and gets the data of system survivability measure with the algorithm. It proves that the feasibility and validity of the method of PST-based system survivability measure.
