New renewable energy exploitation technologies in offshore structures are vital for future energy production systems.Offshore hybrid wind-wave power generation(HWWPG)systems face increased component failure rates beca...New renewable energy exploitation technologies in offshore structures are vital for future energy production systems.Offshore hybrid wind-wave power generation(HWWPG)systems face increased component failure rates because of harsh weather,significantly affecting the maintenance procedures and reliability.Different types of failure rates of the wind turbine(WT)and wave energy converter(WEC),e.g.,the degradation and failure rates during regular wind speed fluctuation,the degradation and failure rates during intense wind speed fluctuation are considered.By incorporating both WT and WEC,the HWWPG system is designed to enhance the overall amount of electrical energy produced by the system over a given period under varying weather conditions.The universal generating function technique is used to calculate the HWWPG system dependability measures in a structured and efficient manner.This research highlights that intense weather conditions increase the failure rates of both WT and WEC,resulting in higher maintenance costs and more frequent downtimes,thus impacting the HWWPG system’s reliability.Although the HWWPG system can meet the energy demands in the presence of high failure rates,the reliance of the hybrid system on both WT and WEC helps maintain a relatively stable demand satisfaction during periods of high energy demand despite adverse weather conditions.To confirm the added value and applicability of the developed model,a case study of an offshore hybrid platform is conducted.The findings underscore the system’s robustness in maintaining energy production under varied weather conditions,though higher failure rates and maintenance costs arise in intense scenarios.展开更多
Much research has been done on the dependability evaluation of computer systems. However, much of this is gone no further than study of the fault coverage of such systems, with little focus on the relationship between...Much research has been done on the dependability evaluation of computer systems. However, much of this is gone no further than study of the fault coverage of such systems, with little focus on the relationship between fault coverage and overall system dependability. In this paper, a Markovian dependability model for triple-modular-redundancy (TMR) system is presented. Having fully considered the effects of fault coverage, working time, and constant failure rate of single module on the dependability of the target TMR system, the model is built based on the stepwise degradation strategy. Through the model, the relationship between the fault coverage and the dependability of the system is determined. What is more, the dependability of the system can be dynamically and precisely predicted at any given time with the fault coverage set. This will be of much benefit for the dependability evaluation and improvement, and be helpful for the system design and maintenance.展开更多
Modernization of armies is a constant process and is driven by intuitive fact that those who do not modernize will become extinct. In last five decades, the development of modern armies has taken place around Colonel ...Modernization of armies is a constant process and is driven by intuitive fact that those who do not modernize will become extinct. In last five decades, the development of modern armies has taken place around Colonel John Boyd’s theory of OODA loop that deals with information superiority. Building a robust, mobile and capable network that could provide for novel appliances and information superiority is the main challenge which modernizers are facing. Network, suitable for future combat operations, and able to transport a vast amount of information on a battlefield, is expensive to build. Every mistake in design and the need to correct those mistakes could halt development in an army for years. Therefore, system dependability analysis during system design phase is needed. In this report, the concept of a future Battle Network System is described. The Report evaluates operational environment of BNS and possible failure reasons of the service, and illustrates the change in BNS Quality of Service due to probable transport layer errors. This paper describes the method of testing the concept of proposed network systems on the drawing board, and emphasizes design points for a new system. Nevertheless, the proposed method is by no means conclusive. Rather, it describes an engineering approach to define the main problems while creating MANET-based networking systems.展开更多
To make the on-board computer system more dependable and real-time in a satellite, an algorithm of the fault-tolerant scheduling in the on-board computer system with high priority recovery is proposed in this paper. T...To make the on-board computer system more dependable and real-time in a satellite, an algorithm of the fault-tolerant scheduling in the on-board computer system with high priority recovery is proposed in this paper. This algorithm can schedule the on-board fault-tolerant tasks in real time. Due to the use of dependability cost, the overhead of scheduling the fault-tolerant tasks can be reduced. The mechanism of the high priority recovery will improve the response to recovery tasks. The fault-tolerant scheduling model is presented simulation results validate the correctness and feasibility of the proposed algorithm.展开更多
The dependability of world major soybean exporters was measured and its influencing factors were analyzed through constructing the export output elasticity indicator.It was found that since 2010,among the world major ...The dependability of world major soybean exporters was measured and its influencing factors were analyzed through constructing the export output elasticity indicator.It was found that since 2010,among the world major soybean exporters,the dependability of Brazil,India,Russia and Ukraine increased,the dependability of Argentina and Paraguay dropped,while that of Canada,the USA and Uruguay was basically stable.Among the influencing factors of the dependability,the increase in international soybean prices and abundance of cultivated land resources are helpful for increasing the dependability,while the increase of population and improvement of economic development will reduce the dependability.China should reduce its dependence on countries with low export dependability,and actively develop production cooperation with import source countries to promote their dependability.展开更多
This paper introduces an architecture of distributed systems that facilitates the implementation of a substantial range of dependable system properties, i.e., properties that span an entire system, or a set of compone...This paper introduces an architecture of distributed systems that facilitates the implementation of a substantial range of dependable system properties, i.e., properties that span an entire system, or a set of components dispersed throughout it. This architecture, called GDS, for governed distributed system, governs the system by controlling the flow of messages between its actors, independently of the internals of the interacting actors. This governance is done via an enforced collection of interaction laws organized into a modular and conflict free hierarchical ensemble. This ensemble of laws is sensitive to the history of interaction;and it is enforced in a decentralized manner, and is thus scalable. The dependable system properties that can be implemented under GDS can have the following beneficial consequences, among others: a) the ability to establish regularities over the system, rendering it more coherent, and easier to reason about;b) the ability to provide a degree of trust among the disparate actor of the system;and c) the ability to ensure compliance with interaction protocols that are essential for distributed computing. Consequently, the GDS architecture can have a significant impact on the following important system qualities: security, fault tolerance, auditability, and manageability.展开更多
Our dependability on software in every aspect of our lives has exceeded the level that was expected in the past. We have now reached a point where we are currently stuck with technology, and it made life much easier t...Our dependability on software in every aspect of our lives has exceeded the level that was expected in the past. We have now reached a point where we are currently stuck with technology, and it made life much easier than before. The rapid increase of technology adoption in the different aspects of life has made technology affordable and has led to an even stronger adoption in the society. As technology advances, almost every kind of technology is now connected to the network like infrastructure, automobiles, airplanes, chemical factories, power stations, and many other systems that are business and mission critical. Because of our high dependency on technology in most, if not all, aspects of life, a system failure is considered to be very critical and might result in harming the surrounding environment or put human life at risk. We apply our conceptual framework to integration between security and safety by creating a SaS (Safety and Security) domain model. Furthermore, it demonstrates that it is possible to use goal-oriented KAOS (Knowledge Acquisition in automated Specification) language in threat and hazard analysis to cover both safety and security domains making their outputs, or artifacts, well-structured and comprehensive, which results in dependability due to the comprehensiveness of the analysis. The conceptual framework can thereby act as an interface for active interactions in risk and hazard management in terms of universal coverage, finding solutions for differences and contradictions which can be overcome by integrating the safety and security domains and using a unified system analysis technique (KAOS) that will result in analysis centrality. For validation we chose the Systems-Theoretic Accident Model and Processes (STAMP) approach and its modelling language, namely System-Theoretic Process Analysis for safety (STPA), on the safety side and System-Theoretic Process Analysis for Security (STPA-sec) on the security side in order to be the base of the experiment in comparison to what was done in SaS. The concepts of SaS domain model were applied on STAMP approach using the same example @RemoteSurgery.展开更多
Dependability analysis of nuclear power plants information and control systems is an important but challenging task. There are several techniques that can be applied for safety and dependability assessments. All of th...Dependability analysis of nuclear power plants information and control systems is an important but challenging task. There are several techniques that can be applied for safety and dependability assessments. All of them have limitations and can＇t be easily applied in most cases. Sometimes combined usage of different methods is the most appropriate solution. In this paper we consider techniques of dependability assessment and achievement developed and used by research-and-production corporation ＂Radiy＂. The elements of the assessment methodology are briefly described.展开更多
Communication based train control (CBTC) system is based on mobile communication and overcomes fixed blocks in order to increase track utilization and train safety. The data communication system (DCS) between trains a...Communication based train control (CBTC) system is based on mobile communication and overcomes fixed blocks in order to increase track utilization and train safety. The data communication system (DCS) between trains and wayside equipment is a crucial factor for the safe and efficient operation of CBTC system. The dependability under various transmission conditions needs to be modeled and evaluated. In this paper,a stochastic reward net (SRN) model for DCS based IEEE 802.11 standard was developed,which captures all relevant failure and failure recovery behavior system aspects in a concise way. We compared the reliability,availability for DCS with and without access point (AP) and antenna redundant configuration. We also quantitatively evaluated and compared the frame loss probability for three DCS configurations with different train velocities and train numbers in one radio cell. Fixed-point iteration was adopted to simplify the analysis. Numerical results showed the significant improvement of the reliability,availability and the frame loss probability index for the full redundant configuration.展开更多
With the rapid development and wide applicatioos of computing systems on which more reliance hu been put, a dependable syatem will be much more important than ever. This paper is hrst aimed at giving informal but prec...With the rapid development and wide applicatioos of computing systems on which more reliance hu been put, a dependable syatem will be much more important than ever. This paper is hrst aimed at giving informal but precise definitions characterizing the various attributes of dependability of computing sys- tems and then the importance of (and the relationshipa among) all the attributes are explained . Dependability is first introduced as a global concept which subsumes the usual attributea of reliability, availabilityt maintainability, safety and securit. The basic definitions given bere are then commended and supplemented by detailed material and additional explanations in the subsequent sections . The presentation has been structured as follows so as to attract the reader's atteation to the important attributions of dependability. Search for a few number of concise concepts enabling the dependability at- tributes to be expressed as clearly as possible. Use of terms which are identical or as close as possible to those commonly used mowadays . This paper is also intended to provoke people's interest in designing a dependable computing system.展开更多
The technology of Ultra-High Voltage （UHV） transmission requires higher dependability for electric power grid. Power Grid Communication Networking （PGCN）, the fundamental information infrastructure, severs data tr...The technology of Ultra-High Voltage （UHV） transmission requires higher dependability for electric power grid. Power Grid Communication Networking （PGCN）, the fundamental information infrastructure, severs data transmission including control signal, protection signal, and common data services. Dependability is the necessary requirement to ensure services timely and accurately. Dependability analysis aims to predicate operation status and provide suitable strategies getting rid of the potential dangers. Due to the dependability of PGCN may be affected by external environment, devices quality, implementation strategies, and so on, the scale explosion and the structure complexity make the PGCN＇s dependability much challenging. In this paper, with the observation of interdependency between power grid and PGCN, we propose an electricity services based dependability analysis model of PGCN. The model includes methods of analyzing its dependability and procedures of designing the dependable strategies. We respectively discuss the deterministic analysis method based on matrix analysis and stochastic analysis model based on stochastic Petri nets.展开更多
A series of blue and blue‑green Ir(Ⅲ)complexes has been investigated theoretically to explore their electronic structures,photophysical properties,efficiency roll‑off effect,and thermal activation delayed fluorescenc...A series of blue and blue‑green Ir(Ⅲ)complexes has been investigated theoretically to explore their electronic structures,photophysical properties,efficiency roll‑off effect,and thermal activation delayed fluorescence(TADF)properties.All calculations were performed using density functional theory(DFT)and time‑dependent density functional theory(TDDFT).Calculations for electronic structures,frontier molecular orbital characteristics(which determine the efficiency roll‑off effect of the complexes),and photophysical properties were conducted using the Gaussian 09 software package.The calculation of spin‑orbit coupling matrix elements<T|HSOC|S>,which determine the TADF properties of the complexes,was performed using the ORCA software package.The calculation results show that the auxiliary ligand tetraphenylimidodiphosphinate(tpip),a strong electron‑withdrawing group,can mitigate the efficiency roll‑off effect of the complex.Furthermore,TADF is observed in one of the designed complexes,(F_(3)Phppy)_(2)Ir(tpip),where F_(3)Phppy=2‑[4‑(2,4,6‑trifluorophenyl)phenyl]pyridine.展开更多
Distributed virtualization changes the pattern of building software systems. However, it brings some problems on dependability assurance owing to the complex social relationships and interactions between service compo...Distributed virtualization changes the pattern of building software systems. However, it brings some problems on dependability assurance owing to the complex social relationships and interactions between service components. The best way to solve the problems in a distributed virtualized environment is dependable service components selection. Dependable service components selection can be modeled as finding a dependable service path, which is a multiconstrained optimal path problem. In this paper, a service components selection method that searches for the dependable service path in a distributed virtualized environment is proposed from the perspective of dependability assurance. The concept of Quality of Dependability is introduced to describe and constrain software system dependability during dynamic composition. Then, we model the dependable service components selection as a multiconstrained optimal path problem, and apply the Adaptive Bonus-Penalty Microcanonical Annealing algorithm to find the optimal dependable service path. The experimental results show that the proposed algorithm has high search success rate and quick converges.展开更多
Virtualization has recently gained popularity largely due to its promise in increasing utilization, improving availability and enhancing security. Very often, the role of computer systems needs to change as the busine...Virtualization has recently gained popularity largely due to its promise in increasing utilization, improving availability and enhancing security. Very often, the role of computer systems needs to change as the business environment changes. Initially, the system may only need to host one operating system and seek full execution speed. Later, it may be required to add other functionalities such as allowing easy software/hardware maintenance, surviving system failures and hosting multiple operating systems. Virtualization allows these functionalities to be supported easily and effectively. However, virtualization techniques generally incur non-negligible performance penalty. Fortunately, many virtualization- enabled features such as online software/hardware maintenance and fault tolerance do not require virtualization standby all the time. Based on this observation, this paper proposes a technique, called Self-virtualization, which provides the operating system with the capability to turn on and off virtualization on demand, without disturbing running applications. This technique enables computer systems to reap most benefits from virtualization without sacrificing performance. This paper presents the design and implementation of Mercury, a working prototype based on Linux and Xen virtual machine monitor. The performance measurement shows that Mercury incurs very little overhead： about 0.2 ms on 3 GHz Xeon CPU to complete a mode switch, and negligible performance degradation compared to Linux.展开更多
Background:This study aims to investigate the underlying mechanisms between parental marital conflict and adolescent short video dependence by constructing a chain mediation model,focusing on the mediating roles of ex...Background:This study aims to investigate the underlying mechanisms between parental marital conflict and adolescent short video dependence by constructing a chain mediation model,focusing on the mediating roles of experiential avoidance and emotional disturbance(anxiety,depression,and stress).Methods:Conducted in January 2025,the research recruited 4125 adolescents from multiple Chinese provinces through convenience sampling;after data cleaning,3957 valid participants(1959 males,1998 females)were included.Using a cross-sectional design,measures included parental marital conflict,experiential avoidance,anxiety,depression,stress,and short video dependence.Results:Pearson correlation analysis revealed significant positive correlations among all variables.Mediation analysis using the SPSS PROCESS macro showed that parental marital conflict directly predicted short video dependence(β=0.269,p<0.001),and also significantly predicted experiential avoidance(β=0.519,p<0.001),anxiety(β=0.072,p<0.001),depression(β=0.067,p<0.001),and stress(β=0.048,p<0.05).Experiential avoidance further predicted anxiety(β=0.521,p<0.001),depression(β=0.489,p<0.001),stress(β=0.408,p<0.001),and short video dependence(β=0.244,p<0.001).While both anxiety(β=0.050,p<0.05)and depression(β=0.116,p<0.001)positively predicted short video dependence,stress did not(β=0.019,p=0.257).Overall,experiential avoidance,anxiety,depression,and stress significantly mediated the relationship between parental marital conflict and short video dependence.Conclusion:These findings confirm that parental marital conflict not only directly influences adolescent short video dependence but also operates through a chain mediation pathway involving experiential avoidance and emotional disturbance,highlighting central psychological mechanisms and providing theoretical support for integrated mental health and behavioral interventions.展开更多
Conglomerate rock's complex and heterogeneous microstructure significantly affects its mechanical properties,especially under dynamic loading.However,research on their dynamic behavior and fracture mechanisms is l...Conglomerate rock's complex and heterogeneous microstructure significantly affects its mechanical properties,especially under dynamic loading.However,research on their dynamic behavior and fracture mechanisms is limited.Through uniaxial compression tests and split Hopkinson pressure bar(SHPB)impact tests,the dynamic compressive mechanical properties and fracture mechanisms of conglomerate rock were studied.Nanoindentation and high-resolution X-ray computed tomography were employed to analyze the micro-mechanical behavior and internal structure of the conglomerate rock.Results indicate significant differences in mechanical properties between different gravel particles and cementing materials,with initial fractures primarily distributed at the gravel-cement interfaces.The dynamic mechanical properties of conglomerate rocks exhibit a clear strain rate dependency.Based on the stress−strain curves and failure characteristics,the dynamic compressive mechanical behavior can be categorized into two types using a critical strain rate.The dynamic compressive strength,peak strain,and toughness of conglomerate rock increased with the strain rate,with the strength at 54 s−1 being 2.6 times that at 6 s−1.The dynamic compressive fracture mechanism of conglomerate rock is related to the strain rate and microstructure;at low strain rates,gravel distribution is the key factor,whereas at high strain rates,gravel content becomes critical.展开更多
Objective:The aging population is growing rapidly,leading to a rise in chronic diseases and placing significant physical,emotional,and financial strain on caregivers.Managing chronic conditions alongside caregiving re...Objective:The aging population is growing rapidly,leading to a rise in chronic diseases and placing significant physical,emotional,and financial strain on caregivers.Managing chronic conditions alongside caregiving responsibilities often results in burnout,adding to the burden on caregivers.This issue also affects society and healthcare systems through increased costs and greater demands for support services.Understanding the factors contributing to caregiver burden is crucial for creating effective interventions to address these challenges.The aim of this study is to describe the extent of caregiver burden and identify some factors related to burden among caregivers of chronically ill elderly people.By gaining insight into these relationships,this study seeks to identify strategies to reduce the burden on caregivers.Methods:This study utilized a cross-sectional design to examine caregivers of the elderly with chronic diseases receiving treatment in the public healthcare facility.Data collection involved administering structured questionnaires that gathered information on the demographic characteristics of both the elderly and their caregivers,the level of social support received,the functional status of patients as measured by daily activity indices,and the level of caregiver burden.Description was used to elaborate the characteristics of participants.Mann-Whitney,Kruskal-Wallis,and Spearman's correlation test were applied to explore the relationship between variables.Statistical significance was determined at P value<0.05.Results:Caregivers of the elderly with chronic diseases had a moderate care burden score(22.62±11.24,CI:95%).The patients'level of dependence,relationship with the patients,and time spent as a caregiver were factors related to caregiver burden(P<0.05).Conclusions:Those who care for elderly people with chronic diseases suffered great burden.The finding had found a number of factors that influence the caregivers'weight loss.Healthcare providers should consider these relevant factors when developing intervention plans to reduce caregiver burden.展开更多
Directional three-dimensional carbon-based foams are emerging as highly attractive candidates for promising electromagnetic wave absorbing materials(EWAMs)thanks to their unique architecture,but their construction usu...Directional three-dimensional carbon-based foams are emerging as highly attractive candidates for promising electromagnetic wave absorbing materials(EWAMs)thanks to their unique architecture,but their construction usually involves complex procedures and extremely depends on unidirectional freezing technique.Herein,we propose a groundbreaking approach that leverages the assemblies of salting-out protein induced by ammonium metatungstate(AM)as the precursor,and then acquire directional three-dimensional carbon-based foams through simple pyrolysis.The electrostatic interaction between AM and protein ensures well dispersion of WC_(1−x)nanoparticles on carbon frameworks.The content of WC_(1−x)nanoparticles can be rationally regulated by AM dosage,and it also affects the electromagnetic(EM)properties of final carbon-based foams.The optimized foam exhibits exceptional EM absorption performance,achieving a remarkable minimum reflection loss of−72.0 dB and an effective absorption bandwidth of 6.3 GHz when EM wave propagates parallel to the directional pores.Such performance benefits from the synergistic effects of macroporous architecture and compositional design.Although there is a directional dependence of EM absorption,radar stealth simulation demonstrates that these foams can still promise considerable reduction in radar cross section with the change of incident angle.Moreover,COMSOL simulation further identifies their good performance in preventing EM interference among different electronic components.展开更多
Distributions of nuclear magnetic resonance(NMR)relaxation times provide detailed information about the water in wood.This study documents the water dynamics analysis of T_(2)and T_(1)distributions for saturated delig...Distributions of nuclear magnetic resonance(NMR)relaxation times provide detailed information about the water in wood.This study documents the water dynamics analysis of T_(2)and T_(1)distributions for saturated delignified sapwood(DSW),delignified heartwood(DHW)and lignocellulose(LC)samples at different temperatures.Results indicate that below the freezing point of bulk water,free water freezes,causing its signal to disappear from the distribution.Then,the low temperature distributions of the unfrozen bound water contain more information about its components,with DSW,DHW and LC containing two distinct states of bound water(OH bound water(B-water)and more freely bound water(C-water)).Furthermore,it was observed that within the temperature range of−3°C to−60°C,B-water in DSW,DHW and LC maintained a higher unfrozen water content(UWC)value than C-water,and the T_(1)/T_(2)ratios for B-water were consistently higher than that for C-water,indicating that B-water has a greater antifreeze capacity.T_(2)and T_(1)distributions offer different kinds of information about water components,and all peaks within the distribution have been assigned.展开更多
The coexistence of emerging containments,such as antibiotic resistant bacteria(ARB),antibiotic-resistant genes(ARGs)and antibiotics,potentially influence elimination efficiencies in UV light-emitting diode(UV-LED)alon...The coexistence of emerging containments,such as antibiotic resistant bacteria(ARB),antibiotic-resistant genes(ARGs)and antibiotics,potentially influence elimination efficiencies in UV light-emitting diode(UV-LED)alone and UV-LED/H_(2)O_(2) system as their complex interactions.Tetracycline(TC)degradation efficiency(kF)correlated closely with its UV molar absorbance(R^(2)=0.831)in UV-LED alone system and with·OH yield(R^(2)=0.999)in UV-LED/H_(2)O_(2) system across studied wavelengths(265,280 and 310 nm).The kF values for intracellular DNA(i-ARGs)also exhibited a high correlation with UV-LED wavelengths in both systems(R^(2)=0.997-0.999).The coexistence of TC and ARB/ARGs resulted in a mutual inhibition of their degradation efficiencies due to competition for photons and·OH,along with the consequent reduction in intracellular ROS within ARB,with their degradation efficiencies exhibiting marked dependence on wavelength in both systems.Notably,the UV-LED/H_(2)O_(2) system at 265 nm effectively achieved the simultaneous removal of TC,ARB and ARGs with minimal energy consumption,and successfully fragmented ARGs.The degradation pathway of TC was analyzed,and the biotoxicity of its degradation intermediates demonstrated the environmental friendliness and safety of UV-LED/H_(2)O_(2) technology.This study elucidated the competitive interactions between antibiotics and ARB/ARGs within UV-LED/H_(2)O_(2) system,providing a promising approach for their simultaneous removal while ensuring energy efficiency.展开更多
文摘New renewable energy exploitation technologies in offshore structures are vital for future energy production systems.Offshore hybrid wind-wave power generation(HWWPG)systems face increased component failure rates because of harsh weather,significantly affecting the maintenance procedures and reliability.Different types of failure rates of the wind turbine(WT)and wave energy converter(WEC),e.g.,the degradation and failure rates during regular wind speed fluctuation,the degradation and failure rates during intense wind speed fluctuation are considered.By incorporating both WT and WEC,the HWWPG system is designed to enhance the overall amount of electrical energy produced by the system over a given period under varying weather conditions.The universal generating function technique is used to calculate the HWWPG system dependability measures in a structured and efficient manner.This research highlights that intense weather conditions increase the failure rates of both WT and WEC,resulting in higher maintenance costs and more frequent downtimes,thus impacting the HWWPG system’s reliability.Although the HWWPG system can meet the energy demands in the presence of high failure rates,the reliance of the hybrid system on both WT and WEC helps maintain a relatively stable demand satisfaction during periods of high energy demand despite adverse weather conditions.To confirm the added value and applicability of the developed model,a case study of an offshore hybrid platform is conducted.The findings underscore the system’s robustness in maintaining energy production under varied weather conditions,though higher failure rates and maintenance costs arise in intense scenarios.
基金supported by Innovation Project of Shanghai Municipal Education Commission (No. 11YZ09)Shanghai Leading Academic Discipline Project (No. J50103)Foundation of Key Laboratory of Computer System and Architecture, Institute of Computing Technology, Chinese Academy of Sciences
文摘Much research has been done on the dependability evaluation of computer systems. However, much of this is gone no further than study of the fault coverage of such systems, with little focus on the relationship between fault coverage and overall system dependability. In this paper, a Markovian dependability model for triple-modular-redundancy (TMR) system is presented. Having fully considered the effects of fault coverage, working time, and constant failure rate of single module on the dependability of the target TMR system, the model is built based on the stepwise degradation strategy. Through the model, the relationship between the fault coverage and the dependability of the system is determined. What is more, the dependability of the system can be dynamically and precisely predicted at any given time with the fault coverage set. This will be of much benefit for the dependability evaluation and improvement, and be helpful for the system design and maintenance.
文摘Modernization of armies is a constant process and is driven by intuitive fact that those who do not modernize will become extinct. In last five decades, the development of modern armies has taken place around Colonel John Boyd’s theory of OODA loop that deals with information superiority. Building a robust, mobile and capable network that could provide for novel appliances and information superiority is the main challenge which modernizers are facing. Network, suitable for future combat operations, and able to transport a vast amount of information on a battlefield, is expensive to build. Every mistake in design and the need to correct those mistakes could halt development in an army for years. Therefore, system dependability analysis during system design phase is needed. In this report, the concept of a future Battle Network System is described. The Report evaluates operational environment of BNS and possible failure reasons of the service, and illustrates the change in BNS Quality of Service due to probable transport layer errors. This paper describes the method of testing the concept of proposed network systems on the drawing board, and emphasizes design points for a new system. Nevertheless, the proposed method is by no means conclusive. Rather, it describes an engineering approach to define the main problems while creating MANET-based networking systems.
文摘To make the on-board computer system more dependable and real-time in a satellite, an algorithm of the fault-tolerant scheduling in the on-board computer system with high priority recovery is proposed in this paper. This algorithm can schedule the on-board fault-tolerant tasks in real time. Due to the use of dependability cost, the overhead of scheduling the fault-tolerant tasks can be reduced. The mechanism of the high priority recovery will improve the response to recovery tasks. The fault-tolerant scheduling model is presented simulation results validate the correctness and feasibility of the proposed algorithm.
基金2019 Youth Project for Humanities and Social Science Research of the Ministry of Education of China(19YJC790194)2019 General Project for Humanities and Social Science Research of Henan Provincial Department of Education(2019-ZZJH-328)+3 种基金2018 Science and Technology Innovation Fund Project of Henan Agricultural University(KJCX2018B02)2021 General Project for Humanities and Social Science Research of Henan Provincial Department of Education(2021-ZZJH-156)2019 General Project for the 13 th Five-Year Plan for Education Science of Henan Province(2019-JKGHYB-0032)Soft Science Research Project of Henan Province in 2021(212400410530).
文摘The dependability of world major soybean exporters was measured and its influencing factors were analyzed through constructing the export output elasticity indicator.It was found that since 2010,among the world major soybean exporters,the dependability of Brazil,India,Russia and Ukraine increased,the dependability of Argentina and Paraguay dropped,while that of Canada,the USA and Uruguay was basically stable.Among the influencing factors of the dependability,the increase in international soybean prices and abundance of cultivated land resources are helpful for increasing the dependability,while the increase of population and improvement of economic development will reduce the dependability.China should reduce its dependence on countries with low export dependability,and actively develop production cooperation with import source countries to promote their dependability.
文摘This paper introduces an architecture of distributed systems that facilitates the implementation of a substantial range of dependable system properties, i.e., properties that span an entire system, or a set of components dispersed throughout it. This architecture, called GDS, for governed distributed system, governs the system by controlling the flow of messages between its actors, independently of the internals of the interacting actors. This governance is done via an enforced collection of interaction laws organized into a modular and conflict free hierarchical ensemble. This ensemble of laws is sensitive to the history of interaction;and it is enforced in a decentralized manner, and is thus scalable. The dependable system properties that can be implemented under GDS can have the following beneficial consequences, among others: a) the ability to establish regularities over the system, rendering it more coherent, and easier to reason about;b) the ability to provide a degree of trust among the disparate actor of the system;and c) the ability to ensure compliance with interaction protocols that are essential for distributed computing. Consequently, the GDS architecture can have a significant impact on the following important system qualities: security, fault tolerance, auditability, and manageability.
文摘Our dependability on software in every aspect of our lives has exceeded the level that was expected in the past. We have now reached a point where we are currently stuck with technology, and it made life much easier than before. The rapid increase of technology adoption in the different aspects of life has made technology affordable and has led to an even stronger adoption in the society. As technology advances, almost every kind of technology is now connected to the network like infrastructure, automobiles, airplanes, chemical factories, power stations, and many other systems that are business and mission critical. Because of our high dependency on technology in most, if not all, aspects of life, a system failure is considered to be very critical and might result in harming the surrounding environment or put human life at risk. We apply our conceptual framework to integration between security and safety by creating a SaS (Safety and Security) domain model. Furthermore, it demonstrates that it is possible to use goal-oriented KAOS (Knowledge Acquisition in automated Specification) language in threat and hazard analysis to cover both safety and security domains making their outputs, or artifacts, well-structured and comprehensive, which results in dependability due to the comprehensiveness of the analysis. The conceptual framework can thereby act as an interface for active interactions in risk and hazard management in terms of universal coverage, finding solutions for differences and contradictions which can be overcome by integrating the safety and security domains and using a unified system analysis technique (KAOS) that will result in analysis centrality. For validation we chose the Systems-Theoretic Accident Model and Processes (STAMP) approach and its modelling language, namely System-Theoretic Process Analysis for safety (STPA), on the safety side and System-Theoretic Process Analysis for Security (STPA-sec) on the security side in order to be the base of the experiment in comparison to what was done in SaS. The concepts of SaS domain model were applied on STAMP approach using the same example @RemoteSurgery.
文摘Dependability analysis of nuclear power plants information and control systems is an important but challenging task. There are several techniques that can be applied for safety and dependability assessments. All of them have limitations and can＇t be easily applied in most cases. Sometimes combined usage of different methods is the most appropriate solution. In this paper we consider techniques of dependability assessment and achievement developed and used by research-and-production corporation ＂Radiy＂. The elements of the assessment methodology are briefly described.
基金Supported by the National Natural Science Foundation of China (Grant Nos. 60634010, 60736047) the Doctoral Program Foundation of Institutions of High Education of China (Grant No. 20070004005)
文摘Communication based train control (CBTC) system is based on mobile communication and overcomes fixed blocks in order to increase track utilization and train safety. The data communication system (DCS) between trains and wayside equipment is a crucial factor for the safe and efficient operation of CBTC system. The dependability under various transmission conditions needs to be modeled and evaluated. In this paper,a stochastic reward net (SRN) model for DCS based IEEE 802.11 standard was developed,which captures all relevant failure and failure recovery behavior system aspects in a concise way. We compared the reliability,availability for DCS with and without access point (AP) and antenna redundant configuration. We also quantitatively evaluated and compared the frame loss probability for three DCS configurations with different train velocities and train numbers in one radio cell. Fixed-point iteration was adopted to simplify the analysis. Numerical results showed the significant improvement of the reliability,availability and the frame loss probability index for the full redundant configuration.
文摘With the rapid development and wide applicatioos of computing systems on which more reliance hu been put, a dependable syatem will be much more important than ever. This paper is hrst aimed at giving informal but precise definitions characterizing the various attributes of dependability of computing sys- tems and then the importance of (and the relationshipa among) all the attributes are explained . Dependability is first introduced as a global concept which subsumes the usual attributea of reliability, availabilityt maintainability, safety and securit. The basic definitions given bere are then commended and supplemented by detailed material and additional explanations in the subsequent sections . The presentation has been structured as follows so as to attract the reader's atteation to the important attributions of dependability. Search for a few number of concise concepts enabling the dependability at- tributes to be expressed as clearly as possible. Use of terms which are identical or as close as possible to those commonly used mowadays . This paper is also intended to provoke people's interest in designing a dependable computing system.
基金supported by the National Key Basic Research and Development (973) Program of China(No. 2010CB328105)the National Natural Science Foundation of China (Nos. 61020106002,61071065,and 11171368)+2 种基金China Postdoctoral Science Foundation (No. 2013M540952)Tsinghua University Initiative Scientific Research Program (No. 20121087999)SGCC research and development projects
文摘The technology of Ultra-High Voltage （UHV） transmission requires higher dependability for electric power grid. Power Grid Communication Networking （PGCN）, the fundamental information infrastructure, severs data transmission including control signal, protection signal, and common data services. Dependability is the necessary requirement to ensure services timely and accurately. Dependability analysis aims to predicate operation status and provide suitable strategies getting rid of the potential dangers. Due to the dependability of PGCN may be affected by external environment, devices quality, implementation strategies, and so on, the scale explosion and the structure complexity make the PGCN＇s dependability much challenging. In this paper, with the observation of interdependency between power grid and PGCN, we propose an electricity services based dependability analysis model of PGCN. The model includes methods of analyzing its dependability and procedures of designing the dependable strategies. We respectively discuss the deterministic analysis method based on matrix analysis and stochastic analysis model based on stochastic Petri nets.
文摘A series of blue and blue‑green Ir(Ⅲ)complexes has been investigated theoretically to explore their electronic structures,photophysical properties,efficiency roll‑off effect,and thermal activation delayed fluorescence(TADF)properties.All calculations were performed using density functional theory(DFT)and time‑dependent density functional theory(TDDFT).Calculations for electronic structures,frontier molecular orbital characteristics(which determine the efficiency roll‑off effect of the complexes),and photophysical properties were conducted using the Gaussian 09 software package.The calculation of spin‑orbit coupling matrix elements<T|HSOC|S>,which determine the TADF properties of the complexes,was performed using the ORCA software package.The calculation results show that the auxiliary ligand tetraphenylimidodiphosphinate(tpip),a strong electron‑withdrawing group,can mitigate the efficiency roll‑off effect of the complex.Furthermore,TADF is observed in one of the designed complexes,(F_(3)Phppy)_(2)Ir(tpip),where F_(3)Phppy=2‑[4‑(2,4,6‑trifluorophenyl)phenyl]pyridine.
文摘Distributed virtualization changes the pattern of building software systems. However, it brings some problems on dependability assurance owing to the complex social relationships and interactions between service components. The best way to solve the problems in a distributed virtualized environment is dependable service components selection. Dependable service components selection can be modeled as finding a dependable service path, which is a multiconstrained optimal path problem. In this paper, a service components selection method that searches for the dependable service path in a distributed virtualized environment is proposed from the perspective of dependability assurance. The concept of Quality of Dependability is introduced to describe and constrain software system dependability during dynamic composition. Then, we model the dependable service components selection as a multiconstrained optimal path problem, and apply the Adaptive Bonus-Penalty Microcanonical Annealing algorithm to find the optimal dependable service path. The experimental results show that the proposed algorithm has high search success rate and quick converges.
基金supported by the National Nature Science Foundation of China under Grant Nos. 61003002 and 90818015the Science and Technology Commission of Shanghai under Grant No. 10511500100+1 种基金Fundamental Research Funds for the Central Universities in ChinaShanghai Leading Academic Discipline Project under Grant No. B114
文摘Virtualization has recently gained popularity largely due to its promise in increasing utilization, improving availability and enhancing security. Very often, the role of computer systems needs to change as the business environment changes. Initially, the system may only need to host one operating system and seek full execution speed. Later, it may be required to add other functionalities such as allowing easy software/hardware maintenance, surviving system failures and hosting multiple operating systems. Virtualization allows these functionalities to be supported easily and effectively. However, virtualization techniques generally incur non-negligible performance penalty. Fortunately, many virtualization- enabled features such as online software/hardware maintenance and fault tolerance do not require virtualization standby all the time. Based on this observation, this paper proposes a technique, called Self-virtualization, which provides the operating system with the capability to turn on and off virtualization on demand, without disturbing running applications. This technique enables computer systems to reap most benefits from virtualization without sacrificing performance. This paper presents the design and implementation of Mercury, a working prototype based on Linux and Xen virtual machine monitor. The performance measurement shows that Mercury incurs very little overhead： about 0.2 ms on 3 GHz Xeon CPU to complete a mode switch, and negligible performance degradation compared to Linux.
文摘Background:This study aims to investigate the underlying mechanisms between parental marital conflict and adolescent short video dependence by constructing a chain mediation model,focusing on the mediating roles of experiential avoidance and emotional disturbance(anxiety,depression,and stress).Methods:Conducted in January 2025,the research recruited 4125 adolescents from multiple Chinese provinces through convenience sampling;after data cleaning,3957 valid participants(1959 males,1998 females)were included.Using a cross-sectional design,measures included parental marital conflict,experiential avoidance,anxiety,depression,stress,and short video dependence.Results:Pearson correlation analysis revealed significant positive correlations among all variables.Mediation analysis using the SPSS PROCESS macro showed that parental marital conflict directly predicted short video dependence(β=0.269,p<0.001),and also significantly predicted experiential avoidance(β=0.519,p<0.001),anxiety(β=0.072,p<0.001),depression(β=0.067,p<0.001),and stress(β=0.048,p<0.05).Experiential avoidance further predicted anxiety(β=0.521,p<0.001),depression(β=0.489,p<0.001),stress(β=0.408,p<0.001),and short video dependence(β=0.244,p<0.001).While both anxiety(β=0.050,p<0.05)and depression(β=0.116,p<0.001)positively predicted short video dependence,stress did not(β=0.019,p=0.257).Overall,experiential avoidance,anxiety,depression,and stress significantly mediated the relationship between parental marital conflict and short video dependence.Conclusion:These findings confirm that parental marital conflict not only directly influences adolescent short video dependence but also operates through a chain mediation pathway involving experiential avoidance and emotional disturbance,highlighting central psychological mechanisms and providing theoretical support for integrated mental health and behavioral interventions.
基金Project(51978674)supported by the National Natural Science Foundation of China。
文摘Conglomerate rock's complex and heterogeneous microstructure significantly affects its mechanical properties,especially under dynamic loading.However,research on their dynamic behavior and fracture mechanisms is limited.Through uniaxial compression tests and split Hopkinson pressure bar(SHPB)impact tests,the dynamic compressive mechanical properties and fracture mechanisms of conglomerate rock were studied.Nanoindentation and high-resolution X-ray computed tomography were employed to analyze the micro-mechanical behavior and internal structure of the conglomerate rock.Results indicate significant differences in mechanical properties between different gravel particles and cementing materials,with initial fractures primarily distributed at the gravel-cement interfaces.The dynamic mechanical properties of conglomerate rocks exhibit a clear strain rate dependency.Based on the stress−strain curves and failure characteristics,the dynamic compressive mechanical behavior can be categorized into two types using a critical strain rate.The dynamic compressive strength,peak strain,and toughness of conglomerate rock increased with the strain rate,with the strength at 54 s−1 being 2.6 times that at 6 s−1.The dynamic compressive fracture mechanism of conglomerate rock is related to the strain rate and microstructure;at low strain rates,gravel distribution is the key factor,whereas at high strain rates,gravel content becomes critical.
基金Da Nang University of Medical Technology and PharmacyDa Nang C Hospital for the invaluable support they provided in facilitating this research。
文摘Objective:The aging population is growing rapidly,leading to a rise in chronic diseases and placing significant physical,emotional,and financial strain on caregivers.Managing chronic conditions alongside caregiving responsibilities often results in burnout,adding to the burden on caregivers.This issue also affects society and healthcare systems through increased costs and greater demands for support services.Understanding the factors contributing to caregiver burden is crucial for creating effective interventions to address these challenges.The aim of this study is to describe the extent of caregiver burden and identify some factors related to burden among caregivers of chronically ill elderly people.By gaining insight into these relationships,this study seeks to identify strategies to reduce the burden on caregivers.Methods:This study utilized a cross-sectional design to examine caregivers of the elderly with chronic diseases receiving treatment in the public healthcare facility.Data collection involved administering structured questionnaires that gathered information on the demographic characteristics of both the elderly and their caregivers,the level of social support received,the functional status of patients as measured by daily activity indices,and the level of caregiver burden.Description was used to elaborate the characteristics of participants.Mann-Whitney,Kruskal-Wallis,and Spearman's correlation test were applied to explore the relationship between variables.Statistical significance was determined at P value<0.05.Results:Caregivers of the elderly with chronic diseases had a moderate care burden score(22.62±11.24,CI:95%).The patients'level of dependence,relationship with the patients,and time spent as a caregiver were factors related to caregiver burden(P<0.05).Conclusions:Those who care for elderly people with chronic diseases suffered great burden.The finding had found a number of factors that influence the caregivers'weight loss.Healthcare providers should consider these relevant factors when developing intervention plans to reduce caregiver burden.
基金financially supported by the National Natural Science Foundation of China(Nos.22475057 and No.52373262).
文摘Directional three-dimensional carbon-based foams are emerging as highly attractive candidates for promising electromagnetic wave absorbing materials(EWAMs)thanks to their unique architecture,but their construction usually involves complex procedures and extremely depends on unidirectional freezing technique.Herein,we propose a groundbreaking approach that leverages the assemblies of salting-out protein induced by ammonium metatungstate(AM)as the precursor,and then acquire directional three-dimensional carbon-based foams through simple pyrolysis.The electrostatic interaction between AM and protein ensures well dispersion of WC_(1−x)nanoparticles on carbon frameworks.The content of WC_(1−x)nanoparticles can be rationally regulated by AM dosage,and it also affects the electromagnetic(EM)properties of final carbon-based foams.The optimized foam exhibits exceptional EM absorption performance,achieving a remarkable minimum reflection loss of−72.0 dB and an effective absorption bandwidth of 6.3 GHz when EM wave propagates parallel to the directional pores.Such performance benefits from the synergistic effects of macroporous architecture and compositional design.Although there is a directional dependence of EM absorption,radar stealth simulation demonstrates that these foams can still promise considerable reduction in radar cross section with the change of incident angle.Moreover,COMSOL simulation further identifies their good performance in preventing EM interference among different electronic components.
基金supported by Natural Science Foundation of Inner Mongolia Autonomous Region of China (2023MS03027)the National Natural Science Foundation of China (31860185 and 31160141)
文摘Distributions of nuclear magnetic resonance(NMR)relaxation times provide detailed information about the water in wood.This study documents the water dynamics analysis of T_(2)and T_(1)distributions for saturated delignified sapwood(DSW),delignified heartwood(DHW)and lignocellulose(LC)samples at different temperatures.Results indicate that below the freezing point of bulk water,free water freezes,causing its signal to disappear from the distribution.Then,the low temperature distributions of the unfrozen bound water contain more information about its components,with DSW,DHW and LC containing two distinct states of bound water(OH bound water(B-water)and more freely bound water(C-water)).Furthermore,it was observed that within the temperature range of−3°C to−60°C,B-water in DSW,DHW and LC maintained a higher unfrozen water content(UWC)value than C-water,and the T_(1)/T_(2)ratios for B-water were consistently higher than that for C-water,indicating that B-water has a greater antifreeze capacity.T_(2)and T_(1)distributions offer different kinds of information about water components,and all peaks within the distribution have been assigned.
基金supported by Major Scientific and Technological Innovation Project of Shandong Province(No.2020CXGC011204)Qingdao Natural Science Foundation(No.23-2-1-234-zyyd-jch).
文摘The coexistence of emerging containments,such as antibiotic resistant bacteria(ARB),antibiotic-resistant genes(ARGs)and antibiotics,potentially influence elimination efficiencies in UV light-emitting diode(UV-LED)alone and UV-LED/H_(2)O_(2) system as their complex interactions.Tetracycline(TC)degradation efficiency(kF)correlated closely with its UV molar absorbance(R^(2)=0.831)in UV-LED alone system and with·OH yield(R^(2)=0.999)in UV-LED/H_(2)O_(2) system across studied wavelengths(265,280 and 310 nm).The kF values for intracellular DNA(i-ARGs)also exhibited a high correlation with UV-LED wavelengths in both systems(R^(2)=0.997-0.999).The coexistence of TC and ARB/ARGs resulted in a mutual inhibition of their degradation efficiencies due to competition for photons and·OH,along with the consequent reduction in intracellular ROS within ARB,with their degradation efficiencies exhibiting marked dependence on wavelength in both systems.Notably,the UV-LED/H_(2)O_(2) system at 265 nm effectively achieved the simultaneous removal of TC,ARB and ARGs with minimal energy consumption,and successfully fragmented ARGs.The degradation pathway of TC was analyzed,and the biotoxicity of its degradation intermediates demonstrated the environmental friendliness and safety of UV-LED/H_(2)O_(2) technology.This study elucidated the competitive interactions between antibiotics and ARB/ARGs within UV-LED/H_(2)O_(2) system,providing a promising approach for their simultaneous removal while ensuring energy efficiency.
