Accurately detecting the arrival time of a channel wave in a coal seam is very important for in-seam seismic data processing. The arrival time greatly affects the accuracy of the channel wave inversion and the compute...Accurately detecting the arrival time of a channel wave in a coal seam is very important for in-seam seismic data processing. The arrival time greatly affects the accuracy of the channel wave inversion and the computed tomography （CT） result. However, because the signal-to-noise ratio of in-seam seismic data is reduced by the long wavelength and strong frequency dispersion, accurately timing the arrival of channel waves is extremely difficult. For this purpose, we propose a method that automatically picks up the arrival time of channel waves based on multi-channel constraints. We first estimate the Jaccard similarity coefficient of two ray paths, then apply it as a weight coefficient for stacking the multi- channel dispersion spectra. The reasonableness and effectiveness of the proposed method is verified in an actual data application. Most importantly, the method increases the degree of automation and the pickup precision of the channel-wave arrival time.展开更多
There are philosophers and logicians who do think that the Trinity-triangle makes up an evident formal-logic inconsistency demonstrating convincingly that Christian faith is illogical and hence irrational one. The pre...There are philosophers and logicians who do think that the Trinity-triangle makes up an evident formal-logic inconsistency demonstrating convincingly that Christian faith is illogical and hence irrational one. The present paper submits a systematic counter-argumentation against such thinking. According to the submitted counter-arguments, there is no formal-logic inconsistency in the Holy-Trinity-triangle： There is only a logic-linguistic illusion of such inconsistency which illusion is naturally produced by the ambiguity of the word ＂is＂ in natural language. The author has invented an effective remedy for that illusion, namely, a precise formulation of the generalized and thus modernized Guillotine of Hume by means of an artificial language of two-valued algebraic system of formal ethics of moral rigor. Systematical using the mathematized formulation of the generalized Hume＇s Guillotine cuts down the mentioned linguistic illusion of logical inconsistency. Thus, the paper essentially interconnects discrete mathematical representations of formal iogic of thinking and formal ethics of acting. In relation to contemporary symbolic logic, the author submits not a technical result solving some important particular problem concerning some specific system of symbolic logic but a significantly new result of conceptual work concerning logic in general and its interconnection with mathematical ethics. The old idea of logic as a moral science is transformed into a novel idea of symbolic logic as a brunch of mathematical ethics. In particular, two-valued algebra of classical formal logic is considered as a particular case of two-valued algebra of formal ethics of moral rigor. The submitted conception of logic is instantiated by applying it to the knotty logic-problem of Holy-Trinity-triangle.展开更多
基金supported by the National Major Scientific and Technological Special Project during the 13th Five-year Plan Period(No.2016ZX05045003-005)
文摘Accurately detecting the arrival time of a channel wave in a coal seam is very important for in-seam seismic data processing. The arrival time greatly affects the accuracy of the channel wave inversion and the computed tomography （CT） result. However, because the signal-to-noise ratio of in-seam seismic data is reduced by the long wavelength and strong frequency dispersion, accurately timing the arrival of channel waves is extremely difficult. For this purpose, we propose a method that automatically picks up the arrival time of channel waves based on multi-channel constraints. We first estimate the Jaccard similarity coefficient of two ray paths, then apply it as a weight coefficient for stacking the multi- channel dispersion spectra. The reasonableness and effectiveness of the proposed method is verified in an actual data application. Most importantly, the method increases the degree of automation and the pickup precision of the channel-wave arrival time.
文摘There are philosophers and logicians who do think that the Trinity-triangle makes up an evident formal-logic inconsistency demonstrating convincingly that Christian faith is illogical and hence irrational one. The present paper submits a systematic counter-argumentation against such thinking. According to the submitted counter-arguments, there is no formal-logic inconsistency in the Holy-Trinity-triangle： There is only a logic-linguistic illusion of such inconsistency which illusion is naturally produced by the ambiguity of the word ＂is＂ in natural language. The author has invented an effective remedy for that illusion, namely, a precise formulation of the generalized and thus modernized Guillotine of Hume by means of an artificial language of two-valued algebraic system of formal ethics of moral rigor. Systematical using the mathematized formulation of the generalized Hume＇s Guillotine cuts down the mentioned linguistic illusion of logical inconsistency. Thus, the paper essentially interconnects discrete mathematical representations of formal iogic of thinking and formal ethics of acting. In relation to contemporary symbolic logic, the author submits not a technical result solving some important particular problem concerning some specific system of symbolic logic but a significantly new result of conceptual work concerning logic in general and its interconnection with mathematical ethics. The old idea of logic as a moral science is transformed into a novel idea of symbolic logic as a brunch of mathematical ethics. In particular, two-valued algebra of classical formal logic is considered as a particular case of two-valued algebra of formal ethics of moral rigor. The submitted conception of logic is instantiated by applying it to the knotty logic-problem of Holy-Trinity-triangle.
