Because ambient seismic noise provides estimated Green’s function （EGF） between two sites with high accuracy, Rayleigh wave propagation along the path connecting the two sites is well resolved. Therefore, earthquak...Because ambient seismic noise provides estimated Green’s function （EGF） between two sites with high accuracy, Rayleigh wave propagation along the path connecting the two sites is well resolved. Therefore, earthquakes which are close to one seismic station can be well located with calibration extracting from EGF. We test two algorithms in locating the 1998 Zhangbei earthquake, one algorithm is waveform-based, and the other is traveltime-based. We first compute EGF between station ZHB （a station about 40 km away from the epicenter） and five IC/IRIS stations. With the waveform-based approach, we calculate 1D synthetic single-force Green’s functions between ZHB and other four stations, and obtain traveltime corrections by correlating synthetic Green’s functions with EGFs in period band of 10–30 s. Then we locate the earthquake by minimizing the differential travel times between observed earthquake waveform and the 1D synthetic earthquake waveforms computed with focal mechanism provided by Global CMT after traveltime correction from EGFs. This waveform-based approach yields a location which error is about 13 km away from the location observed with InSAR. With the traveltime-based approach, we begin with measuring group velocity from EGFs as well as group arrival time on observed earthquake waveforms, and then locate the earthquake by minimizing the difference between observed group arrival time and arrival time measured on EGFs. This traveltime-based approach yields accuracy of 3 km, Therefore it is feasible to achieve GT5 （ground truth location with accuracy 5 km） with ambient seismic noises. The less accuracy of the waveform-based approach was mainly caused by uncertainty of focal mechanism.展开更多
Endgame,the most difficult and elusive play by Samuel Beckett,sketches the post-war social spirit and norm.Absurd as the plot is,this paper is aimed at disclosing the truth of the world,of life,and of human nature cov...Endgame,the most difficult and elusive play by Samuel Beckett,sketches the post-war social spirit and norm.Absurd as the plot is,this paper is aimed at disclosing the truth of the world,of life,and of human nature covered in the setting of stage,the cyclical actions and the philosophic conversation.展开更多
Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the ...Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space (F, ρ ). Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space (F, ρ ). Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work aims at filling in the blanks of approximate reasoning in quantitative predicate logic.展开更多
The ideal goal to cultivate creative talents who "seek truth","strive for kindness" and "adore aesthetics " and are equipped with "perfect personality" should be achieved,which ...The ideal goal to cultivate creative talents who "seek truth","strive for kindness" and "adore aesthetics " and are equipped with "perfect personality" should be achieved,which is expected to reach brand-new circumstances of "humans development and construction of completeness" and must and should explore "Truth","Kindness" and "Aesthetics" in Chinese education.This article is meant to explore "truth" of Chinese(language,article,literature) in the intellectual education from cognitive science and to promote students to get into quality of exploration;they should explore "kindness" in the moral education in Chinese(language,article,literature) from ethics,which is to urge wakefulness of students' moral consciousness;in addition,"aesthetics" in Chinese(language,article,literature) from aesthetic education is to spur students to construct free soul.展开更多
This paper aims to analyze the hotly debated "beauty and truth" theme in the Keats's "Ode on a Grecian Urn".The author will try to discuss the relationship between the "truth" and &qu...This paper aims to analyze the hotly debated "beauty and truth" theme in the Keats's "Ode on a Grecian Urn".The author will try to discuss the relationship between the "truth" and "beauty" in the poem from a perspective of literary criticism.After doing this research,the author finally finds out that the epigram("Beauty is truth,truth beauty") reflects Keats's aesthetic view and there is a dialectic relationship between the "beauty" and the "truth".In a word,John Keats expresses a universal truth in one of his best odes.展开更多
Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the t...Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.展开更多
基金supported by Chinese Acadmy of Sciences Fund(No.KCZX-YW-116-1)Joint Seismological Science Fundation of China (Nos.20080878 and 200708035)
文摘Because ambient seismic noise provides estimated Green’s function （EGF） between two sites with high accuracy, Rayleigh wave propagation along the path connecting the two sites is well resolved. Therefore, earthquakes which are close to one seismic station can be well located with calibration extracting from EGF. We test two algorithms in locating the 1998 Zhangbei earthquake, one algorithm is waveform-based, and the other is traveltime-based. We first compute EGF between station ZHB （a station about 40 km away from the epicenter） and five IC/IRIS stations. With the waveform-based approach, we calculate 1D synthetic single-force Green’s functions between ZHB and other four stations, and obtain traveltime corrections by correlating synthetic Green’s functions with EGFs in period band of 10–30 s. Then we locate the earthquake by minimizing the differential travel times between observed earthquake waveform and the 1D synthetic earthquake waveforms computed with focal mechanism provided by Global CMT after traveltime correction from EGFs. This waveform-based approach yields a location which error is about 13 km away from the location observed with InSAR. With the traveltime-based approach, we begin with measuring group velocity from EGFs as well as group arrival time on observed earthquake waveforms, and then locate the earthquake by minimizing the difference between observed group arrival time and arrival time measured on EGFs. This traveltime-based approach yields accuracy of 3 km, Therefore it is feasible to achieve GT5 （ground truth location with accuracy 5 km） with ambient seismic noises. The less accuracy of the waveform-based approach was mainly caused by uncertainty of focal mechanism.
文摘Endgame,the most difficult and elusive play by Samuel Beckett,sketches the post-war social spirit and norm.Absurd as the plot is,this paper is aimed at disclosing the truth of the world,of life,and of human nature covered in the setting of stage,the cyclical actions and the philosophic conversation.
基金National Natural Science Foundation of China (No. 60875034)Spanish Ministry of Education and Science Fund,Spain (No.TIN-2009-0828)Spanish Regional Government (Junta de Andalucia) Fund,Spain (No. P08-TIC-3548)
文摘Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space (F, ρ ). Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space (F, ρ ). Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work aims at filling in the blanks of approximate reasoning in quantitative predicate logic.
文摘The ideal goal to cultivate creative talents who "seek truth","strive for kindness" and "adore aesthetics " and are equipped with "perfect personality" should be achieved,which is expected to reach brand-new circumstances of "humans development and construction of completeness" and must and should explore "Truth","Kindness" and "Aesthetics" in Chinese education.This article is meant to explore "truth" of Chinese(language,article,literature) in the intellectual education from cognitive science and to promote students to get into quality of exploration;they should explore "kindness" in the moral education in Chinese(language,article,literature) from ethics,which is to urge wakefulness of students' moral consciousness;in addition,"aesthetics" in Chinese(language,article,literature) from aesthetic education is to spur students to construct free soul.
文摘This paper aims to analyze the hotly debated "beauty and truth" theme in the Keats's "Ode on a Grecian Urn".The author will try to discuss the relationship between the "truth" and "beauty" in the poem from a perspective of literary criticism.After doing this research,the author finally finds out that the epigram("Beauty is truth,truth beauty") reflects Keats's aesthetic view and there is a dialectic relationship between the "beauty" and the "truth".In a word,John Keats expresses a universal truth in one of his best odes.
文摘Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.
