With the scale of programs becoming increasingly bigger, and the complexity degree higher, how to select program fragments for slicing has become an important research topic. A new type of criterion called interesting...With the scale of programs becoming increasingly bigger, and the complexity degree higher, how to select program fragments for slicing has become an important research topic. A new type of criterion called interesting index is proposed for selecting parts of procedures or procedure fragments to do program slicing. This new criterion considers not only the subjective aspects in users, namely users' emphasis on the time efficiency, storage capacity or readability, but also the objective aspect in large procedures. It also represents the benefit of the users, while displaying the many-faceted roles that program slicing plays. In this way users call proceed with program slicing to large systems or unfinished systems.展开更多
The M_S6. 1 earthquake was a foreshock-mainshock-aftershock type which occurred in the boundary region between Zogang and Markam counties on August 12,2013. Within 9hours before the main shock seven earthquakes of gre...The M_S6. 1 earthquake was a foreshock-mainshock-aftershock type which occurred in the boundary region between Zogang and Markam counties on August 12,2013. Within 9hours before the main shock seven earthquakes of greater than M_L2. 0 occurred,with a maximum of M_L4. 7. In this paper,the earthquake focal mechanism changing process of the Zogang-Markam M_S6. 1 earthquake sequence is studied by calculating the correlation coefficient of body wave spectral amplitudes,and the result shows that the correlation coefficients of spectral amplitude of foreshocks present high value fluctuation with an average value of 0. 86,which shows that the focal mechanism of foreshocks are similar;and the correlation coefficients of spectral amplitude of aftershocks present low value,which shows that the possibility of a large earthquake is not high after a time.展开更多
文摘With the scale of programs becoming increasingly bigger, and the complexity degree higher, how to select program fragments for slicing has become an important research topic. A new type of criterion called interesting index is proposed for selecting parts of procedures or procedure fragments to do program slicing. This new criterion considers not only the subjective aspects in users, namely users' emphasis on the time efficiency, storage capacity or readability, but also the objective aspect in large procedures. It also represents the benefit of the users, while displaying the many-faceted roles that program slicing plays. In this way users call proceed with program slicing to large systems or unfinished systems.
基金jointly sponsored by the Special Program of Earthquake Science and Technology of Earthquake Administration of Sichuan Province(LY1302) the National Key Technology R&D Program of China(2012BAK19802)
文摘The M_S6. 1 earthquake was a foreshock-mainshock-aftershock type which occurred in the boundary region between Zogang and Markam counties on August 12,2013. Within 9hours before the main shock seven earthquakes of greater than M_L2. 0 occurred,with a maximum of M_L4. 7. In this paper,the earthquake focal mechanism changing process of the Zogang-Markam M_S6. 1 earthquake sequence is studied by calculating the correlation coefficient of body wave spectral amplitudes,and the result shows that the correlation coefficients of spectral amplitude of foreshocks present high value fluctuation with an average value of 0. 86,which shows that the focal mechanism of foreshocks are similar;and the correlation coefficients of spectral amplitude of aftershocks present low value,which shows that the possibility of a large earthquake is not high after a time.
