Extreme weather events were analyzed based on the meteorological data from the year of 1967 to 2007 for Yamaguchi, Japan. The responses from landscape trees were also investigated mainly by the analysis of image pixel...Extreme weather events were analyzed based on the meteorological data from the year of 1967 to 2007 for Yamaguchi, Japan. The responses from landscape trees were also investigated mainly by the analysis of image pixel and spectral reflectance. Results show that after the dry, hot and windy summer in 2007, many landscape trees in Yamaguchi City tended to respond the extreme weather events by reducing their leaf surface area and receiving less radiation energy. Premature leaf discoloration or defoliation appeared on some landscape tree species and leaf necrosis occurred on tip and margin of many Kousa dogwood (Cornus kousa) trees at unfavorable sites. Described by image pixel analysis method, the leaf necrotic area percentage (LNAP) of sampled dogwood trees averaged 41.6% and the sampled Sasanqua camellia (Camelia sasanqua) tree also showed fewer flowers in flower season of 2007 than that in 2006. By differential analysis of partial discolored crown, it presented a logistic differential equation of crown color for sweet gum (Liquidambar styraciflua) trees. It suggested that the persistent higher temperature and lower precipitation could be injurious to the sensitive landscape trees at poor sites, even in relative humid area like Yamaguchi.展开更多
Extreme weather events were analyzed based on the meteorological data from the year of 1967 to 2007 for Yamaguchi, Japan. The responses from landscape trees were also investigated mainly by the analysis of image pixel...Extreme weather events were analyzed based on the meteorological data from the year of 1967 to 2007 for Yamaguchi, Japan. The responses from landscape trees were also investigated mainly by the analysis of image pixel and spectral reflectance, Results show that after the dry, hot and windy summer in 2007, many landscape trees in Yamaguchi City tended to respond the extreme weather events by re- ducing their leaf surface area and receiving less radiation energy. Premature leaf discoloration or defoliation appeared on some landscape tree species and leaf necrosis occurred on tip and margin of many Kousa dogwood （Comus kousa） trees at unfavorable sites. Described by image pixel analysis method, the leaf necrotic area percentage （LNAP） of sampled dogwood trees averaged 41.6% and the sampled Sasanqua camellia （Camelia sasanqua） tree also showed fewer flowers in flower season of 2007 than that in 2006. By differential analysis of partial discolored crown, it presented a logistic differential equation of crown color for sweet gum （Liquidambar styraciflua） trees. It suggested that the persistent higher temperature and lower precipitation could be injurious to the sensitive landscape trees at poor sites, even in relative humid area like Yamaguchi.展开更多
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.展开更多
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.展开更多
By using the fault tree analysis in reliability theory as the systematical analysis approach, the dust suppression mechanism in a spray system with wetting agent is shown in a logic tree and some graphical models. Fro...By using the fault tree analysis in reliability theory as the systematical analysis approach, the dust suppression mechanism in a spray system with wetting agent is shown in a logic tree and some graphical models. From these diagrams, all factors related to the spray system and their cause and effect relationship can be seen clearly. Based on the built logic tree, several mathematical models and new ideas for expressing the dust suppressing efficiency in the spray system are put forward. The significance of all factors related to the efficiency of suppressing dust is qualitatively described. Furthermore, the new concepts, such as, the effective reaction time between dust particle and droplet, the expansion phenomenon of laden dust droplet, the functions of volatile and the relative size distribution efficiency of wetting agent are presented. All this richenes the existing mechanism of dust abatement by spraying wetting agent. At last, several problems that need to be further investigated are also suggested in the paper.展开更多
Within this paper, the process of statistical safety analysis has been presented, which involves the following steps： formulation of basic principles of statistical safety analysis, initial events analysis, accident ...Within this paper, the process of statistical safety analysis has been presented, which involves the following steps： formulation of basic principles of statistical safety analysis, initial events analysis, accident sceneries progress analysis, risk calculation, and risk calculation results analysis. On this basis, it has been concluded that the bucket wheel excavator SRs 1200×24/4×0（400 kW）＋VR safety criteria is the mechanism for the hoist of rotor＇s arrow failure modes, because in that case whole bucket wheel excavator failure would necessarily happen （excavator falling down on counterweight）. Therefore, excavator units statistical safety analysis is accomplished preventively to obtain its effective maintenance management.展开更多
The operational rating system in building energy performance certificates(EPCs) has been used for systematically monitoring and diagnosing the energy performance in the operation and maintenance phases of existing bui...The operational rating system in building energy performance certificates(EPCs) has been used for systematically monitoring and diagnosing the energy performance in the operation and maintenance phases of existing buildings. However, there are several limitations of the conventional operational rating system,which can be subdivided into three aspects:(i) building category;(i i) region category; and(iii) space unit size. To overcome these challenges, this study conducted the problem analysis of the conventional operational rating system for existing buildings by using the statistical and geostatistical approaches. Based on the problem analysis, this study developed the dynamic operational rating(DOR) system for existing buildings by using the data-mining technique and the probability approach. The developed DOR system can be used as a tool for building energy performance diagnostics.To validate the applicability of the developed DOR system, educational facilities were selected as the representative type of existing buildings in South Korea. As a result, it was determined that the developed DOR system can solve the irrationality of the conventional operational rating system(i.e., the negative correlation between the space unit size and the CO2 emission density). Namely, the operational ratings of small buildings were adjusted upward while those of large buildings were adjusted downward. The developed DOR system can allow policymakers to establish the reasonable operational rating system for existing buildings, which can motivate the public to actively participate in energy-saving campaigns.展开更多
In view of the common psychological problems of college students,this paper analyzed the current situation and problems of college students,and found that the management of mental health education is complex and diffi...In view of the common psychological problems of college students,this paper analyzed the current situation and problems of college students,and found that the management of mental health education is complex and difficult.A main reason is the lack of scientific method guidance.According to this phenomenon and the existing problems,using the event tree analysis(ETA),the qualitative and quantitative analysis,it found that emergency treatment is the most important link in mental health education management of college students,test education talk emergency four links missing and failure will lead to hidden danger.Finally,combined with the principle of education and management,and psychological principle,it proposed method for the event tree mental health education management.展开更多
The SDG-HAZOP(Signed Directed Graph,Hazard and Operability Analysis) is a qualitative safety assessment method,which is comprehensive,systematic and complete.However the result is tedious and large.Fault tree analysis...The SDG-HAZOP(Signed Directed Graph,Hazard and Operability Analysis) is a qualitative safety assessment method,which is comprehensive,systematic and complete.However the result is tedious and large.Fault tree analysis(FTA) is a logical and diagrammatic method,which is proved to be a useful quantitative analysis tool to evaluate the safety and reliability of complex systems.So a FTA based on SDG-HAZOP quantitative method was proposed in this paper.Firstly,the SDG-HAZOP and the FTA were established on the background of polypropylene production devices in the Sinopec Wuhan Branch.Secondly,the probability of top event was calculated by reliable data from the probability of basic events.Finally,the targeted measures were proposed to prevent fatal potential dangerous situations by probability calculation.展开更多
文摘Extreme weather events were analyzed based on the meteorological data from the year of 1967 to 2007 for Yamaguchi, Japan. The responses from landscape trees were also investigated mainly by the analysis of image pixel and spectral reflectance. Results show that after the dry, hot and windy summer in 2007, many landscape trees in Yamaguchi City tended to respond the extreme weather events by reducing their leaf surface area and receiving less radiation energy. Premature leaf discoloration or defoliation appeared on some landscape tree species and leaf necrosis occurred on tip and margin of many Kousa dogwood (Cornus kousa) trees at unfavorable sites. Described by image pixel analysis method, the leaf necrotic area percentage (LNAP) of sampled dogwood trees averaged 41.6% and the sampled Sasanqua camellia (Camelia sasanqua) tree also showed fewer flowers in flower season of 2007 than that in 2006. By differential analysis of partial discolored crown, it presented a logistic differential equation of crown color for sweet gum (Liquidambar styraciflua) trees. It suggested that the persistent higher temperature and lower precipitation could be injurious to the sensitive landscape trees at poor sites, even in relative humid area like Yamaguchi.
文摘Extreme weather events were analyzed based on the meteorological data from the year of 1967 to 2007 for Yamaguchi, Japan. The responses from landscape trees were also investigated mainly by the analysis of image pixel and spectral reflectance, Results show that after the dry, hot and windy summer in 2007, many landscape trees in Yamaguchi City tended to respond the extreme weather events by re- ducing their leaf surface area and receiving less radiation energy. Premature leaf discoloration or defoliation appeared on some landscape tree species and leaf necrosis occurred on tip and margin of many Kousa dogwood （Comus kousa） trees at unfavorable sites. Described by image pixel analysis method, the leaf necrotic area percentage （LNAP） of sampled dogwood trees averaged 41.6% and the sampled Sasanqua camellia （Camelia sasanqua） tree also showed fewer flowers in flower season of 2007 than that in 2006. By differential analysis of partial discolored crown, it presented a logistic differential equation of crown color for sweet gum （Liquidambar styraciflua） trees. It suggested that the persistent higher temperature and lower precipitation could be injurious to the sensitive landscape trees at poor sites, even in relative humid area like Yamaguchi.
基金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.
基金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.
文摘By using the fault tree analysis in reliability theory as the systematical analysis approach, the dust suppression mechanism in a spray system with wetting agent is shown in a logic tree and some graphical models. From these diagrams, all factors related to the spray system and their cause and effect relationship can be seen clearly. Based on the built logic tree, several mathematical models and new ideas for expressing the dust suppressing efficiency in the spray system are put forward. The significance of all factors related to the efficiency of suppressing dust is qualitatively described. Furthermore, the new concepts, such as, the effective reaction time between dust particle and droplet, the expansion phenomenon of laden dust droplet, the functions of volatile and the relative size distribution efficiency of wetting agent are presented. All this richenes the existing mechanism of dust abatement by spraying wetting agent. At last, several problems that need to be further investigated are also suggested in the paper.
文摘Within this paper, the process of statistical safety analysis has been presented, which involves the following steps： formulation of basic principles of statistical safety analysis, initial events analysis, accident sceneries progress analysis, risk calculation, and risk calculation results analysis. On this basis, it has been concluded that the bucket wheel excavator SRs 1200×24/4×0（400 kW）＋VR safety criteria is the mechanism for the hoist of rotor＇s arrow failure modes, because in that case whole bucket wheel excavator failure would necessarily happen （excavator falling down on counterweight）. Therefore, excavator units statistical safety analysis is accomplished preventively to obtain its effective maintenance management.
文摘The operational rating system in building energy performance certificates(EPCs) has been used for systematically monitoring and diagnosing the energy performance in the operation and maintenance phases of existing buildings. However, there are several limitations of the conventional operational rating system,which can be subdivided into three aspects:(i) building category;(i i) region category; and(iii) space unit size. To overcome these challenges, this study conducted the problem analysis of the conventional operational rating system for existing buildings by using the statistical and geostatistical approaches. Based on the problem analysis, this study developed the dynamic operational rating(DOR) system for existing buildings by using the data-mining technique and the probability approach. The developed DOR system can be used as a tool for building energy performance diagnostics.To validate the applicability of the developed DOR system, educational facilities were selected as the representative type of existing buildings in South Korea. As a result, it was determined that the developed DOR system can solve the irrationality of the conventional operational rating system(i.e., the negative correlation between the space unit size and the CO2 emission density). Namely, the operational ratings of small buildings were adjusted upward while those of large buildings were adjusted downward. The developed DOR system can allow policymakers to establish the reasonable operational rating system for existing buildings, which can motivate the public to actively participate in energy-saving campaigns.
文摘In view of the common psychological problems of college students,this paper analyzed the current situation and problems of college students,and found that the management of mental health education is complex and difficult.A main reason is the lack of scientific method guidance.According to this phenomenon and the existing problems,using the event tree analysis(ETA),the qualitative and quantitative analysis,it found that emergency treatment is the most important link in mental health education management of college students,test education talk emergency four links missing and failure will lead to hidden danger.Finally,combined with the principle of education and management,and psychological principle,it proposed method for the event tree mental health education management.
文摘The SDG-HAZOP(Signed Directed Graph,Hazard and Operability Analysis) is a qualitative safety assessment method,which is comprehensive,systematic and complete.However the result is tedious and large.Fault tree analysis(FTA) is a logical and diagrammatic method,which is proved to be a useful quantitative analysis tool to evaluate the safety and reliability of complex systems.So a FTA based on SDG-HAZOP quantitative method was proposed in this paper.Firstly,the SDG-HAZOP and the FTA were established on the background of polypropylene production devices in the Sinopec Wuhan Branch.Secondly,the probability of top event was calculated by reliable data from the probability of basic events.Finally,the targeted measures were proposed to prevent fatal potential dangerous situations by probability calculation.
