A method of analyzing the stability of twin shallow tunnels was presented using both limit analysis with nonlinear failure criterion and reliability theory.In the condition of nonlinear failure criterion,the critical ...A method of analyzing the stability of twin shallow tunnels was presented using both limit analysis with nonlinear failure criterion and reliability theory.In the condition of nonlinear failure criterion,the critical clear distancesof twin shallow tunnels were obtained by analyzing the change of surrounding pressure.A reliability model was established based on limit state equation,and the failure probability was solved by virtue of Monte Carlo method.Safety factor and corresponding clear distance of different safety levels were obtained by introducing a target reliability index.The scope of clear distance for different safety levels is described,which can be used as a supplement and improvement to the design codes of tunnels.展开更多
In hard real-time systems, schedulability analysis is not only one of the important means of guaranteeing the timelines of embedded software but also one of the fundamental theories of applying other new techniques, s...In hard real-time systems, schedulability analysis is not only one of the important means of guaranteeing the timelines of embedded software but also one of the fundamental theories of applying other new techniques, such as energy savings and fault tolerance. However, most of the existing schedulability analysis methods assume that schedulers use preemptive scheduling or non-preemptive scheduling. In this paper, we present a schedulability analysis method, i.e., the worst-case hybrid scheduling (WCHS) algorithm, which considers the influence of release jitters of transactions and extends schedulability analysis theory to timing analysis of linear transactions under fixed priority hybrid scheduling. To the best of our knowledge, this method is the first one on timing analysis of linear transactions under hybrid scheduling. An example is employed to demonstrate the use of this method. Experiments show that this method has lower computational complexity while keeping correctness, and that hybrid scheduling has little influence on the average worst-case response time (WCRT), but a negative impact on the schedulability of systems.展开更多
基金Project(51378514)supported by the National Natural Science Foundation of China
文摘A method of analyzing the stability of twin shallow tunnels was presented using both limit analysis with nonlinear failure criterion and reliability theory.In the condition of nonlinear failure criterion,the critical clear distancesof twin shallow tunnels were obtained by analyzing the change of surrounding pressure.A reliability model was established based on limit state equation,and the failure probability was solved by virtue of Monte Carlo method.Safety factor and corresponding clear distance of different safety levels were obtained by introducing a target reliability index.The scope of clear distance for different safety levels is described,which can be used as a supplement and improvement to the design codes of tunnels.
基金the National Natural Science Foundation of China (No. 60533040)the Hi-Tech Research and Development Program (863) of China (Nos. 2007AA010304 and 2007AA01Z129)the Key Scientific and Technological Project of Hangzhou Tech-nology Bureau, China (No. 20062412B01)
文摘In hard real-time systems, schedulability analysis is not only one of the important means of guaranteeing the timelines of embedded software but also one of the fundamental theories of applying other new techniques, such as energy savings and fault tolerance. However, most of the existing schedulability analysis methods assume that schedulers use preemptive scheduling or non-preemptive scheduling. In this paper, we present a schedulability analysis method, i.e., the worst-case hybrid scheduling (WCHS) algorithm, which considers the influence of release jitters of transactions and extends schedulability analysis theory to timing analysis of linear transactions under fixed priority hybrid scheduling. To the best of our knowledge, this method is the first one on timing analysis of linear transactions under hybrid scheduling. An example is employed to demonstrate the use of this method. Experiments show that this method has lower computational complexity while keeping correctness, and that hybrid scheduling has little influence on the average worst-case response time (WCRT), but a negative impact on the schedulability of systems.
