大地震能够同时激发出许多的地球自由振荡简正模,且地球的椭率、自转和内部的各向异性也会引起简正模的分裂,使各单线态之间的频率更接近(仅为几个μHz),这对地球自由振荡模型的检测提出更高的要求。本文以标准时频变换为基础,推导并验...大地震能够同时激发出许多的地球自由振荡简正模,且地球的椭率、自转和内部的各向异性也会引起简正模的分裂,使各单线态之间的频率更接近(仅为几个μHz),这对地球自由振荡模型的检测提出更高的要求。本文以标准时频变换为基础,推导并验证一种自由振荡模型检测的新方法。以3 S 1模型的检测为例,与经典的FT谱方法和最新的OSE方法相比,该方法具有更高的频率分辨率。展开更多
The Altun (or Altyn Tagh) fault displays a geometry of overlapping of linear and arcuate segments and shows strong inhomogeneity in time and space. It is a gigantic fault system with complex mechanical behaviours incl...The Altun (or Altyn Tagh) fault displays a geometry of overlapping of linear and arcuate segments and shows strong inhomogeneity in time and space. It is a gigantic fault system with complex mechanical behaviours including thrusting, sinistral strike slip and normal slip. The strike slip and normal slip mainly occurred in the Cretaceous—Cenozoic and Plio-Quaternary respectively, whereas the thrusting was a deformation event that has played a dominant role since the late Palaeozoic (for a duration of about 305 Ma). The formation of the Altun fault was related to strong inhomogeneous deformation of the massifs on its two sides (in the hinterland of the Altun Mountains contractional deformation predominated and in the Qilian massif thrust propagation was dominant). The fault experienced a dynamic process of successive break-up and connection of its segments and gradual propagation, which was synchronous with the development of an overstep thrust sequence in the Qilian massif and the uplift of the Qinghai-Tibet plateau. With southward propagation of the thrust sequence and continued uplift of the plateau, the NE tip of the Altun fault moved in a NE direction, while the SW tip grew in a SW direction.展开更多
Based on data of earthquake sequences with Ms≥5.0 in Chinese mainland from 1970 to 2004, for different sequence types and different rupture modes of the main shock, the relationship between aftershock distribution si...Based on data of earthquake sequences with Ms≥5.0 in Chinese mainland from 1970 to 2004, for different sequence types and different rupture modes of the main shock, the relationship between aftershock distribution size R and the magnitude of the main shock Mo has been studied statistically. Considering the rupture mode of the main shock, we give the quantitative statistical relationships between R and Mo under 95% confidence level for different sequence typos. Qualitatively, lgR, the logarithm of the aftershock distribution size, is positively correlative to the M0, but the data distribution is dispersed. Viewing from different sequence typos, the correlation between R and M0 is very weak for isolated earthquake type （lET） sequence, R distributes in the range from 5 to 60 km; For mainshock-aftershock type （MAT）, lgR is positively correlative to M0; For multiple main shock type （MMT）, the corelation between lgR and M0 is not very obvious when M0≤6.2 and R distributes in the range from 5 to 70 km, while it shows a linear correlation when M0≥6.3. The statistical results also show that the occupational ratios of different sequence types for strike-slip and oblique slip are almost the same. But for dip-slip （mostly are thrust mechanisms）, the ratio of MAT is higher than that of IET and MMT. Comparing with previous results, it indicates that, when M0 is large enough, R is mainly determined by M0 and there is almost no relationship with the rupture mode of the main shock.展开更多
A set of ENE\|trending fault which locates in the rigid Tarim massif and flexible Qilian massif in the same dynamic system of the uplift of the Qinghai—Tibetan plateau is referred to as the Altun Fault (ALF). ALF dis...A set of ENE\|trending fault which locates in the rigid Tarim massif and flexible Qilian massif in the same dynamic system of the uplift of the Qinghai—Tibetan plateau is referred to as the Altun Fault (ALF). ALF displays a linear geometry or a geometry of overlapping of linear and arcuate segments and a growth and development process of the breakdown segment\|by\|segment, connection segment\|by\|segment and propagation gradually (northeastward migration of the northeast tip, southwestward growth of the southwest tip). The formation of the Altun fault began in the middle or upper Carboniferous. It was characteristic of the sinistral strike\|slip\|thrust before Eocene, of the thrust\|sinistral strike\|slip during Oligocene—Miocene, and of the normal slip, and thrust\|sinistral strike\|slip simultaneously since Miocene.展开更多
Cluster tools have advantages of shorter cycle times,faster process development,and better yield for less contamination.The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor pr...Cluster tools have advantages of shorter cycle times,faster process development,and better yield for less contamination.The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor production.Efficient use of cluster tools is naturally very significant to competitive fab operations.Generating an optimized sequence in a computationally efficient manner and assessing the quality of the requirements to improve the fab production are the key factors for semiconductor manufacturing productivity.The Petri net modeling is introduced to minimize the makespan of the process for the three different logical modes and select a better mode after comparing the makespan among the three logical modes.The tool sequence optimization problem is formulated as optimization firing transition sequences based on the Petri net and then the formulation is converted to be linearly solved by the branch-and-cut method in the standard commercial solver CPLEX.Special methods for the linear conversion are highlighted.Due to the limited calculation time requirement for the real production and the large scale of the problem,special methods for the efficiency tuning are applied according to the characteristics of the problem.Numerical testing is supported by one of the most advanced semiconductor enterprises and the computational results show significant improvement compared with the traditional manual sequence results.展开更多
Behavior requirement expression and its satisfiability verification for composite Web services is one of the ongoing issues in service computing. In this paper, the concept of behavior specifications based on activity...Behavior requirement expression and its satisfiability verification for composite Web services is one of the ongoing issues in service computing. In this paper, the concept of behavior specifications based on activity sequence is proposed to express one kind of behavioral requirements for composite Web services. Its basic element is activity sequence. The method to express such behavioral requirements by behavioral modes is presented. Five behavioral modes used in this method are adopted. Through map- ping modes to Labeled Transition Systems （LTSs）, these modes are encoded with exact operation semantics. Then, the sufficient and necessary conditions as well as the checking algorithm for satisfiability of behavioral modes are given. Finally, an example analysis is presented. The result indicates that the behavioral requirements based on activity sequence are more suitable for the case of composite Web service than those based on activity or scenario. The behavioral modes expressions are concise and the satisfiability checking is effective by the given algorithm.展开更多
文摘大地震能够同时激发出许多的地球自由振荡简正模,且地球的椭率、自转和内部的各向异性也会引起简正模的分裂,使各单线态之间的频率更接近(仅为几个μHz),这对地球自由振荡模型的检测提出更高的要求。本文以标准时频变换为基础,推导并验证一种自由振荡模型检测的新方法。以3 S 1模型的检测为例,与经典的FT谱方法和最新的OSE方法相比,该方法具有更高的频率分辨率。
文摘The Altun (or Altyn Tagh) fault displays a geometry of overlapping of linear and arcuate segments and shows strong inhomogeneity in time and space. It is a gigantic fault system with complex mechanical behaviours including thrusting, sinistral strike slip and normal slip. The strike slip and normal slip mainly occurred in the Cretaceous—Cenozoic and Plio-Quaternary respectively, whereas the thrusting was a deformation event that has played a dominant role since the late Palaeozoic (for a duration of about 305 Ma). The formation of the Altun fault was related to strong inhomogeneous deformation of the massifs on its two sides (in the hinterland of the Altun Mountains contractional deformation predominated and in the Qilian massif thrust propagation was dominant). The fault experienced a dynamic process of successive break-up and connection of its segments and gradual propagation, which was synchronous with the development of an overstep thrust sequence in the Qilian massif and the uplift of the Qinghai-Tibet plateau. With southward propagation of the thrust sequence and continued uplift of the plateau, the NE tip of the Altun fault moved in a NE direction, while the SW tip grew in a SW direction.
基金Joint Seismological Science Foundation of China(105076)continued subject″Statistical Features of Aftershock Sequences and Forecastof the Large Aftershocks″(2004BA601B01-04-02)Ministry of Science and Technology of Chinain the 10th Five-year Plan.
文摘Based on data of earthquake sequences with Ms≥5.0 in Chinese mainland from 1970 to 2004, for different sequence types and different rupture modes of the main shock, the relationship between aftershock distribution size R and the magnitude of the main shock Mo has been studied statistically. Considering the rupture mode of the main shock, we give the quantitative statistical relationships between R and Mo under 95% confidence level for different sequence typos. Qualitatively, lgR, the logarithm of the aftershock distribution size, is positively correlative to the M0, but the data distribution is dispersed. Viewing from different sequence typos, the correlation between R and M0 is very weak for isolated earthquake type （lET） sequence, R distributes in the range from 5 to 60 km; For mainshock-aftershock type （MAT）, lgR is positively correlative to M0; For multiple main shock type （MMT）, the corelation between lgR and M0 is not very obvious when M0≤6.2 and R distributes in the range from 5 to 70 km, while it shows a linear correlation when M0≥6.3. The statistical results also show that the occupational ratios of different sequence types for strike-slip and oblique slip are almost the same. But for dip-slip （mostly are thrust mechanisms）, the ratio of MAT is higher than that of IET and MMT. Comparing with previous results, it indicates that, when M0 is large enough, R is mainly determined by M0 and there is almost no relationship with the rupture mode of the main shock.
文摘A set of ENE\|trending fault which locates in the rigid Tarim massif and flexible Qilian massif in the same dynamic system of the uplift of the Qinghai—Tibetan plateau is referred to as the Altun Fault (ALF). ALF displays a linear geometry or a geometry of overlapping of linear and arcuate segments and a growth and development process of the breakdown segment\|by\|segment, connection segment\|by\|segment and propagation gradually (northeastward migration of the northeast tip, southwestward growth of the southwest tip). The formation of the Altun fault began in the middle or upper Carboniferous. It was characteristic of the sinistral strike\|slip\|thrust before Eocene, of the thrust\|sinistral strike\|slip during Oligocene—Miocene, and of the normal slip, and thrust\|sinistral strike\|slip simultaneously since Miocene.
文摘单电感双输出(single-inductor dual-output,SIDO)开关变换器工作在共享充放时序下存在电感电流纹波大、输出支路间交叉影响严重以及电路参数宽范围变化下控制电路不能正常工作等问题.为此,提出一种独立充放时序电流型变频控制(current-mode variable frequency control,C-VF)技术.首先,具体描述变换器在连续导电模式(continuous conduction mode,CCM)下的工作原理,并推导主电路开环传递函数;进一步构建闭环小信号模型,推导闭环交叉阻抗,详细分析不同输出电压及负载电流下变换器的交叉影响特性;最后,通过仿真和实验进行验证.研究表明:相较于共享充放时序,独立充放时序C-VF CCM SIDO buck变换器减小了交叉影响,改善了负载瞬态响应性能;当两支路负载电压不等时,减轻某一支路负载可以降低该支路的交叉影响;当两支路输出电压相同但负载不同时,重载支路对轻载支路的交叉影响更小.
基金the National Natural Science Foundation of China(No.60534010)the 111 Project (No.B08015)the Project of Ministry of Education (No.NCET-05-0294)
文摘Cluster tools have advantages of shorter cycle times,faster process development,and better yield for less contamination.The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor production.Efficient use of cluster tools is naturally very significant to competitive fab operations.Generating an optimized sequence in a computationally efficient manner and assessing the quality of the requirements to improve the fab production are the key factors for semiconductor manufacturing productivity.The Petri net modeling is introduced to minimize the makespan of the process for the three different logical modes and select a better mode after comparing the makespan among the three logical modes.The tool sequence optimization problem is formulated as optimization firing transition sequences based on the Petri net and then the formulation is converted to be linearly solved by the branch-and-cut method in the standard commercial solver CPLEX.Special methods for the linear conversion are highlighted.Due to the limited calculation time requirement for the real production and the large scale of the problem,special methods for the efficiency tuning are applied according to the characteristics of the problem.Numerical testing is supported by one of the most advanced semiconductor enterprises and the computational results show significant improvement compared with the traditional manual sequence results.
基金Supported by Guangxi Science Research and Technology Development Program,China (GSRTD 0992006-13)Doctoral Foundation Program of Guangxi University of Technology,China (DFPGUT 11Z05)
文摘Behavior requirement expression and its satisfiability verification for composite Web services is one of the ongoing issues in service computing. In this paper, the concept of behavior specifications based on activity sequence is proposed to express one kind of behavioral requirements for composite Web services. Its basic element is activity sequence. The method to express such behavioral requirements by behavioral modes is presented. Five behavioral modes used in this method are adopted. Through map- ping modes to Labeled Transition Systems （LTSs）, these modes are encoded with exact operation semantics. Then, the sufficient and necessary conditions as well as the checking algorithm for satisfiability of behavioral modes are given. Finally, an example analysis is presented. The result indicates that the behavioral requirements based on activity sequence are more suitable for the case of composite Web service than those based on activity or scenario. The behavioral modes expressions are concise and the satisfiability checking is effective by the given algorithm.
