To test the performance of the Chinese whole-surface electromagnetic prospecting (SEP) system, system integrations, instrument performances, and large-scale production viabilities in Liaoning province and Inner Mong...To test the performance of the Chinese whole-surface electromagnetic prospecting (SEP) system, system integrations, instrument performances, and large-scale production viabilities in Liaoning province and Inner Mongolia were measured via extensive field tests. Resultant electric fields, magnetic fields, apparent resistivities, impedance phases, and inversion profiles compared favorably with results of commercial equipment from other countries. The inversion results agreed well with the geologic information from boreholes. Field tests showed that the SEP system is stable, reliable, lightweight, and easy to operate, making it suitable and ready for real-field exploration.展开更多
Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef'mite arity. The atomic formulae are of the following sort: S1S2 ...Sm@P1P2...Pn, where re...Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef'mite arity. The atomic formulae are of the following sort: S1S2 ...Sm@P1P2...Pn, where re+n〉0. The standard syllogistic functors are here interpreted as follows: SAP=: S@P SeP=: SP@ SIP=: -SP@ SOP=: ~S@P Markin constructs a system of Fundamental Syllogistic (FS) with constant @ in an axiomatic way. Based on Markin's idea, we propose two constructions, which are formulations of the system of sequential predication built upon the quantifier-less calculus of names. The first one includes the FS system. The second one is enriched with individual variables and, among other things, allows including sequences of individual names in which one has to do with enumerative functors. The counterpart of Hao Wang's algorithm holds in the first system extended with negative terms.展开更多
基金supported by Sino Probe Project(Sino Probe-09-02,201011079)Development Project of National Key Scientific Equipment(No.ZDYZ2012-1-05)the Strategic Priority Research Program of Chinese Academy of Sciences(No.XDA14050100)
文摘To test the performance of the Chinese whole-surface electromagnetic prospecting (SEP) system, system integrations, instrument performances, and large-scale production viabilities in Liaoning province and Inner Mongolia were measured via extensive field tests. Resultant electric fields, magnetic fields, apparent resistivities, impedance phases, and inversion profiles compared favorably with results of commercial equipment from other countries. The inversion results agreed well with the geologic information from boreholes. Field tests showed that the SEP system is stable, reliable, lightweight, and easy to operate, making it suitable and ready for real-field exploration.
文摘Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef'mite arity. The atomic formulae are of the following sort: S1S2 ...Sm@P1P2...Pn, where re+n〉0. The standard syllogistic functors are here interpreted as follows: SAP=: S@P SeP=: SP@ SIP=: -SP@ SOP=: ~S@P Markin constructs a system of Fundamental Syllogistic (FS) with constant @ in an axiomatic way. Based on Markin's idea, we propose two constructions, which are formulations of the system of sequential predication built upon the quantifier-less calculus of names. The first one includes the FS system. The second one is enriched with individual variables and, among other things, allows including sequences of individual names in which one has to do with enumerative functors. The counterpart of Hao Wang's algorithm holds in the first system extended with negative terms.