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.展开更多
Turbine blades,due to their intricate geometry,are exposed to multiaxial stresses during operation.Consequently,it is imperative to examine the anisotropy of their stress-rupture behavior across various testing scenar...Turbine blades,due to their intricate geometry,are exposed to multiaxial stresses during operation.Consequently,it is imperative to examine the anisotropy of their stress-rupture behavior across various testing scenarios,particularly under high-temperature conditions.Stress-rupture behavior of a Ni-based single crystal superalloy was investigated under a load varying from 100 MPa to 137 MPa at 1,100℃ for both[001]-and[111]-orientated specimens.Results demonstrate that the rupture behavior of[111]-orientated specimens exhibits obviously higher sensitive to applied stress compared to[001]-orientated specimens.This difference is primarily attributed to the orientation dependentγ'coarsening behavior and distinct dislocation interactions atγ/γ'interfaces.In[001]-oriented specimens,plate-likeγ/γ'rafts rapidly form alongside well-developed interfacial dislocation networks,where theγ/γ'misfit stress dominates the microstructural evolution.In contrast,the[111]-orientated specimens exhibit retained,coarsenedγ'precipitates embedded within theγmatrix,accompanied by poorly developed interfacial dislocation networks.展开更多
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.展开更多
Grouting with water–cement mixtures is the most widely used and cost-effective method for managing excess water inflow during tunnel construction.Due to uncertain geological and hydrological conditions,current grouti...Grouting with water–cement mixtures is the most widely used and cost-effective method for managing excess water inflow during tunnel construction.Due to uncertain geological and hydrological conditions,current grouting design relies heavily on the experience of onsite engineers.Recent advances in machine learning offer a promising alternative to traditional design to predict grout volume and improve grouting efficiency.Here,an artificial neural network(ANN)model was developed using the data set from an operation tunnel of Jurong Rock Caverns in Singapore to showcase an efficient and physics-guided training strategy.The ANN model was refined by incorporating the spatial scenarios,including the number of grouting holes in four quadrants of tunneling faces,the sequence of grouting screens along the tunnel axis,and the order of grouting rounds on the tunneling faces.The results indicate that an improved training strategy should encompass the grouting process,from Round 1 with grouting holes uniformly distributed around the tunnel periphery,to Round 2 with grouting holes drilled midway between neighboring first-round holes,and to Round 3 with grouting holes determined by onsite engineers.This model,trained based on the order of grouting rounds,performs better than the other models,highlighting the importance of establishing machine learning models grounded in physical principles.The finding was verified by the data set from another operation tunnel and concluded with a perspective on future grouting research.展开更多
Dear Editor,The Cay2.1 channel,also known as the P/Q-type Ca^(2+) channel,is a particular type of voltage-gated Ca^(2+) channel primarily expressed on the presynaptic membrane in the brain[1].It serves as an essential...Dear Editor,The Cay2.1 channel,also known as the P/Q-type Ca^(2+) channel,is a particular type of voltage-gated Ca^(2+) channel primarily expressed on the presynaptic membrane in the brain[1].It serves as an essential part of the precisely orchestrated neurotransmitter release machinery.展开更多
Adolescents who abuse tobacco are more vulnerable to long-term nicotine dependence,and more than 75%of current smokers started smoking during puberty[1].This early initiation is particularly concerning because the pre...Adolescents who abuse tobacco are more vulnerable to long-term nicotine dependence,and more than 75%of current smokers started smoking during puberty[1].This early initiation is particularly concerning because the prefrontal cortex,which governs executive functions and complex behavior,is not fully mature until age 25,making it especially susceptible to the neurotoxic effects of smoking[2].The smoking rate among Chinese secondary school students decreased from 5.9%in 2019 to 4.2%in 2023[3].However,easy access to cigarettes remains a critical obstacle to further reducing the smoking rate[4].China’s tobacco control strategy goes beyond general population measures to include specific policies protecting minors,such as the Tobacco Monopoly Law(1991)and the Law on the Protection of Minors(2006),which explicitly prohibit tobacco sales to minors.A 2020 revision of the Law on the Protection of Minors,which came into effect in June 2021,introduced specific penalties for noncompliance and significantly enhanced the enforceability of the legislation[5].展开更多
文摘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.
基金financially supported by the National Science and Technology Major Project of China(No.2019-VII-0019-0161 and No.2019-VII-0004-0144)the National Natural Science Foundation of China(No.92360302)the Shandong Provincial Natural Science Foundation of China(No.ZR2021QE103)。
文摘Turbine blades,due to their intricate geometry,are exposed to multiaxial stresses during operation.Consequently,it is imperative to examine the anisotropy of their stress-rupture behavior across various testing scenarios,particularly under high-temperature conditions.Stress-rupture behavior of a Ni-based single crystal superalloy was investigated under a load varying from 100 MPa to 137 MPa at 1,100℃ for both[001]-and[111]-orientated specimens.Results demonstrate that the rupture behavior of[111]-orientated specimens exhibits obviously higher sensitive to applied stress compared to[001]-orientated specimens.This difference is primarily attributed to the orientation dependentγ'coarsening behavior and distinct dislocation interactions atγ/γ'interfaces.In[001]-oriented specimens,plate-likeγ/γ'rafts rapidly form alongside well-developed interfacial dislocation networks,where theγ/γ'misfit stress dominates the microstructural evolution.In contrast,the[111]-orientated specimens exhibit retained,coarsenedγ'precipitates embedded within theγmatrix,accompanied by poorly developed interfacial dislocation networks.
文摘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.
基金Ministry of Education-Singapore,Grant/Award Number:RG143/23。
文摘Grouting with water–cement mixtures is the most widely used and cost-effective method for managing excess water inflow during tunnel construction.Due to uncertain geological and hydrological conditions,current grouting design relies heavily on the experience of onsite engineers.Recent advances in machine learning offer a promising alternative to traditional design to predict grout volume and improve grouting efficiency.Here,an artificial neural network(ANN)model was developed using the data set from an operation tunnel of Jurong Rock Caverns in Singapore to showcase an efficient and physics-guided training strategy.The ANN model was refined by incorporating the spatial scenarios,including the number of grouting holes in four quadrants of tunneling faces,the sequence of grouting screens along the tunnel axis,and the order of grouting rounds on the tunneling faces.The results indicate that an improved training strategy should encompass the grouting process,from Round 1 with grouting holes uniformly distributed around the tunnel periphery,to Round 2 with grouting holes drilled midway between neighboring first-round holes,and to Round 3 with grouting holes determined by onsite engineers.This model,trained based on the order of grouting rounds,performs better than the other models,highlighting the importance of establishing machine learning models grounded in physical principles.The finding was verified by the data set from another operation tunnel and concluded with a perspective on future grouting research.
基金supported by the National Natural Science Foundation of China(32100773 and U20A6005)the National Science and Technology Innovation 2030-Major Project of China(2021ZD0202500)+4 种基金Shenzhen Medical Research Fund(B2402024)China Postdoctoral Science Foundation(2021M693296)Shenzhen Science and Technology Program(JCYJ20230807093815032)Guangdong High-level Hospital Construction Fund(ynkt2021-zz33 and LCYJ2022093)the Natural Science Foundation of Guangdong Province,China(2022A1515010297).
文摘Dear Editor,The Cay2.1 channel,also known as the P/Q-type Ca^(2+) channel,is a particular type of voltage-gated Ca^(2+) channel primarily expressed on the presynaptic membrane in the brain[1].It serves as an essential part of the precisely orchestrated neurotransmitter release machinery.
文摘Adolescents who abuse tobacco are more vulnerable to long-term nicotine dependence,and more than 75%of current smokers started smoking during puberty[1].This early initiation is particularly concerning because the prefrontal cortex,which governs executive functions and complex behavior,is not fully mature until age 25,making it especially susceptible to the neurotoxic effects of smoking[2].The smoking rate among Chinese secondary school students decreased from 5.9%in 2019 to 4.2%in 2023[3].However,easy access to cigarettes remains a critical obstacle to further reducing the smoking rate[4].China’s tobacco control strategy goes beyond general population measures to include specific policies protecting minors,such as the Tobacco Monopoly Law(1991)and the Law on the Protection of Minors(2006),which explicitly prohibit tobacco sales to minors.A 2020 revision of the Law on the Protection of Minors,which came into effect in June 2021,introduced specific penalties for noncompliance and significantly enhanced the enforceability of the legislation[5].
