The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locati...The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locations and cross sections,for instance,the arithmetic logic unit,register,D-cache,and peripheral,while irradi-ating the on-chip memory(OCM)region.Moreover,event tree analysis was executed based on the obtained microbeam irradiation results.This study quantitatively assesses the probabilities of SEE propagation from the OCM to other blocks in the SoC.展开更多
In this paper,the irrational-behavior-proof conditions in a class of stochastic dynamic games over event trees are presented.Four kinds of irrational-behavior-proof conditions are proposed by the imputation distributi...In this paper,the irrational-behavior-proof conditions in a class of stochastic dynamic games over event trees are presented.Four kinds of irrational-behavior-proof conditions are proposed by the imputation distribution procedure,and their relationships are discussed.More specific properties for the general transformation of characteristic functions are developed,based on which,the irrational-behavior-proof conditions are proved to be true in a transformed cooperative game.展开更多
A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and ...A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.展开更多
In the past, the probabilities of basic events were described as triangular or trapezoidal fuzzy number that cannot characterize the common distribution of the primary events in engineering, and the fault tree analyze...In the past, the probabilities of basic events were described as triangular or trapezoidal fuzzy number that cannot characterize the common distribution of the primary events in engineering, and the fault tree analyzed by fuzzy set theory did not include repeated basic events. This paper presents a new method to analyze the fault tree by using normal fuzzy number to describe the fuzzy probability of each basic event which is more suitably used to analyze the reliability in safety systems, and then the formulae of computing the fuzzy probability of the top event of the fault tree which includes repeated events are derived. Finally, an example is given.展开更多
Rockfalls can cause serious damage to people,property,facilities and transportation corridors.Furthermore,rockfalls are major hazards in mountain areas with negative impacts on individual trees and forested ecosystems...Rockfalls can cause serious damage to people,property,facilities and transportation corridors.Furthermore,rockfalls are major hazards in mountain areas with negative impacts on individual trees and forested ecosystems.We conducted a study of rockfall events on 117 mapped(91% of total trees in the stand with>1.3 m in height and>5 cm diameter at breast height)Turkish fir trees(Abies bornmuelleriana Mattf.)in a stand within the Kayaarkasi-Topular Village,Inebolu district, Kastamonu province of Turkey.The study site of 0.35 Ha is located on the transition zone of frequently passing rockfall fragments(~40 cm in diameter) generally causing healable injuries.Parameters of trees and injuries were recorded and analysed as to injury number,height and size.Bivariate correlation analysis were used to investigate the relationships between:a)diameter at breast height and number of injuries per tree,b)diameter at breast height and total injury size,c)the number of injuries and total injury size and d)the number of injuries per tree and distance from the source of the rockfall area.Results indicate that the average height of injury,average number of injuries and average injury area to be 81.3 cm(STDEV:49.8),7.46(STDEV:4.4)and 628.6 cm2 (STDEV:678.2),respectively.In total 84% of all injuries were recorded within 160°sector at the upslope side of trees and callus tissue that had closed wounds was observed in 79.1% of all injuries. Furthermore 14.5% of injured trees had callus tissue in the process of closing wounds while 6.4% of injuries had not formed any callus tissue.The most common injury types were bark and wood injuries. Bivariate correlation analysis indicated strong relationships between diameter at breast height and the number of injuries(rs=0.524),injury number and total injury area(rs=0.653)and distance from rockfall area and injury numbers relations(rs=-0.518).A weaker relationship was found between diameter at breast height and total injury area(rs=0.363).These results indicate that bigger trees are more prone to rockfall injuries.As expected,trees further from the rockfall area seem to be less prone to rockfall injuries.From our results,it can be inferred that the protection of people and property can be increased through the maintanance of forest in areas immediately below areas prone to rockfall.This stand is still managed in selective forest management system.In order to protect the settlement at the deposition zone it has to manage for protective goals with uneven-aged and multilayered stand structure.展开更多
Conventional fault tree and reliability analysis do not reflect the characteristics of basic events as non stationary and ergodic process. To overcome these drawbacks, theory of fuzzy sets is employed to run fault tre...Conventional fault tree and reliability analysis do not reflect the characteristics of basic events as non stationary and ergodic process. To overcome these drawbacks, theory of fuzzy sets is employed to run fault tree analysis(FTA) of roller oscillating tooth gear drive(ROTGD), the relative frequencies of basic events are considered as symmetrical normal fuzzy numbers, from the logical relationship between different events in the fault tree and fuzzy operators AND and OR, fuzzy probability of top event is solved. Finally, an example is given to demonstrate a real ROTGD system.展开更多
基金This work was supported by the National Natural Science Foundation of China(Nos.11575138,11835006,11690040,11690043,and 11705216)the Innovation Center of Radiation Application(No.KFZC2019050321)the China Scholarships Council program(No.201906280343).
文摘The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locations and cross sections,for instance,the arithmetic logic unit,register,D-cache,and peripheral,while irradi-ating the on-chip memory(OCM)region.Moreover,event tree analysis was executed based on the obtained microbeam irradiation results.This study quantitatively assesses the probabilities of SEE propagation from the OCM to other blocks in the SoC.
基金supported by National Natural Science Foundation of China(No.72171126)China Postdoctoral Science Foundation(No.2016M600525)Qingdao Postdoctoral Application Research Project(No.2016029).
文摘In this paper,the irrational-behavior-proof conditions in a class of stochastic dynamic games over event trees are presented.Four kinds of irrational-behavior-proof conditions are proposed by the imputation distribution procedure,and their relationships are discussed.More specific properties for the general transformation of characteristic functions are developed,based on which,the irrational-behavior-proof conditions are proved to be true in a transformed cooperative game.
基金supported by the National Natural Science Foundation of China(11832012)
文摘A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.
文摘In the past, the probabilities of basic events were described as triangular or trapezoidal fuzzy number that cannot characterize the common distribution of the primary events in engineering, and the fault tree analyzed by fuzzy set theory did not include repeated basic events. This paper presents a new method to analyze the fault tree by using normal fuzzy number to describe the fuzzy probability of each basic event which is more suitably used to analyze the reliability in safety systems, and then the formulae of computing the fuzzy probability of the top event of the fault tree which includes repeated events are derived. Finally, an example is given.
文摘Rockfalls can cause serious damage to people,property,facilities and transportation corridors.Furthermore,rockfalls are major hazards in mountain areas with negative impacts on individual trees and forested ecosystems.We conducted a study of rockfall events on 117 mapped(91% of total trees in the stand with>1.3 m in height and>5 cm diameter at breast height)Turkish fir trees(Abies bornmuelleriana Mattf.)in a stand within the Kayaarkasi-Topular Village,Inebolu district, Kastamonu province of Turkey.The study site of 0.35 Ha is located on the transition zone of frequently passing rockfall fragments(~40 cm in diameter) generally causing healable injuries.Parameters of trees and injuries were recorded and analysed as to injury number,height and size.Bivariate correlation analysis were used to investigate the relationships between:a)diameter at breast height and number of injuries per tree,b)diameter at breast height and total injury size,c)the number of injuries and total injury size and d)the number of injuries per tree and distance from the source of the rockfall area.Results indicate that the average height of injury,average number of injuries and average injury area to be 81.3 cm(STDEV:49.8),7.46(STDEV:4.4)and 628.6 cm2 (STDEV:678.2),respectively.In total 84% of all injuries were recorded within 160°sector at the upslope side of trees and callus tissue that had closed wounds was observed in 79.1% of all injuries. Furthermore 14.5% of injured trees had callus tissue in the process of closing wounds while 6.4% of injuries had not formed any callus tissue.The most common injury types were bark and wood injuries. Bivariate correlation analysis indicated strong relationships between diameter at breast height and the number of injuries(rs=0.524),injury number and total injury area(rs=0.653)and distance from rockfall area and injury numbers relations(rs=-0.518).A weaker relationship was found between diameter at breast height and total injury area(rs=0.363).These results indicate that bigger trees are more prone to rockfall injuries.As expected,trees further from the rockfall area seem to be less prone to rockfall injuries.From our results,it can be inferred that the protection of people and property can be increased through the maintanance of forest in areas immediately below areas prone to rockfall.This stand is still managed in selective forest management system.In order to protect the settlement at the deposition zone it has to manage for protective goals with uneven-aged and multilayered stand structure.
文摘Conventional fault tree and reliability analysis do not reflect the characteristics of basic events as non stationary and ergodic process. To overcome these drawbacks, theory of fuzzy sets is employed to run fault tree analysis(FTA) of roller oscillating tooth gear drive(ROTGD), the relative frequencies of basic events are considered as symmetrical normal fuzzy numbers, from the logical relationship between different events in the fault tree and fuzzy operators AND and OR, fuzzy probability of top event is solved. Finally, an example is given to demonstrate a real ROTGD system.