We discuss how to determine and combine upper limits based on observed events and estimated back- grounds with a Bayesian method, when insignificant signals are observed in independent measurements. In addition to som...We discuss how to determine and combine upper limits based on observed events and estimated back- grounds with a Bayesian method, when insignificant signals are observed in independent measurements. In addition to some general features deduced from the analytical formulae, systematic numerical results are obtained by a C＋＋ program （CULBA） for low-count experiments, which can be used as a reference to combine two upper limits.展开更多
Generally speaking,confluence property is not preserved when Term Rewriting Systems(TRSs) are combined,even if they are canonical.In this paper we give some sufficient conditions for ensuring the confluence property o...Generally speaking,confluence property is not preserved when Term Rewriting Systems(TRSs) are combined,even if they are canonical.In this paper we give some sufficient conditions for ensuring the confluence property of combined left-linear,overlapping TRSs.展开更多
In the structural design of tall buildings, peak factors have been widely used to predict mean extreme responses of tall buildings under wind excitations. Vanmarcke＇s peak factor is directly related to an explicit me...In the structural design of tall buildings, peak factors have been widely used to predict mean extreme responses of tall buildings under wind excitations. Vanmarcke＇s peak factor is directly related to an explicit measure of structural reliability against a Gaussian response process. We review the use of this factor for time-variant reliability design by comparing it to the conven- tional Davenport＇s peak factor. Based on the asymptotic theory of statistical extremes, a new closed-form peak factor, the so-called Gamma peak factor, can be obtained for a non-Gaussian resultant response characterized by a Rayleigh distribution process. Using the Gamma peak factor, a combined peak factor method was developed for predicting the expected maximum resultant responses of a building undergoing lateral-torsional vibration. The effects of the standard deviation ratio of two sway components and the inter-component correlation on the evaluation of peak resultant response were also investigated. Utilizing wind tunnel data derived from synchronous multi-pressure measurements, we carried out a wind-induced time history response analysis of the Common- wealth Advisory Aeronautical Research Council （CAARC） standard tall building to validate the applicability of the Gamma peak factor to the prediction of the peak resultant acceleration. Results from the building example indicated that the use of the Gamma peak factor enables accurate predictions to be made of the mean extreme resultant acceleration responses for dynamic service- ability performance design of modem tall buildings.展开更多
基金Supported by National Natural Science Foundation of China(NSFC)(11005115),Joint Funds of the NSFC and Chinese Academia Sinica's Big Scientific Apparatus(U1232109)
文摘We discuss how to determine and combine upper limits based on observed events and estimated back- grounds with a Bayesian method, when insignificant signals are observed in independent measurements. In addition to some general features deduced from the analytical formulae, systematic numerical results are obtained by a C＋＋ program （CULBA） for low-count experiments, which can be used as a reference to combine two upper limits.
基金This work was supported partly by The National Science FoundationThe Ministry of Electronic Industries and High Technology Program under The National Commission of Science & Technology.
文摘Generally speaking,confluence property is not preserved when Term Rewriting Systems(TRSs) are combined,even if they are canonical.In this paper we give some sufficient conditions for ensuring the confluence property of combined left-linear,overlapping TRSs.
基金Project supported by the National Natural Science Foundation of China (No. 51008275)the China Postdoctoral Science Foundation (No.201104736)
文摘In the structural design of tall buildings, peak factors have been widely used to predict mean extreme responses of tall buildings under wind excitations. Vanmarcke＇s peak factor is directly related to an explicit measure of structural reliability against a Gaussian response process. We review the use of this factor for time-variant reliability design by comparing it to the conven- tional Davenport＇s peak factor. Based on the asymptotic theory of statistical extremes, a new closed-form peak factor, the so-called Gamma peak factor, can be obtained for a non-Gaussian resultant response characterized by a Rayleigh distribution process. Using the Gamma peak factor, a combined peak factor method was developed for predicting the expected maximum resultant responses of a building undergoing lateral-torsional vibration. The effects of the standard deviation ratio of two sway components and the inter-component correlation on the evaluation of peak resultant response were also investigated. Utilizing wind tunnel data derived from synchronous multi-pressure measurements, we carried out a wind-induced time history response analysis of the Common- wealth Advisory Aeronautical Research Council （CAARC） standard tall building to validate the applicability of the Gamma peak factor to the prediction of the peak resultant acceleration. Results from the building example indicated that the use of the Gamma peak factor enables accurate predictions to be made of the mean extreme resultant acceleration responses for dynamic service- ability performance design of modem tall buildings.
