To deal with automated reasoning of linguistic truth-valued lattice-valued logic system, a lattice implication algebra with 14 elements, L14, was defined, and the J-resolution fields of constants, propositional variab...To deal with automated reasoning of linguistic truth-valued lattice-valued logic system, a lattice implication algebra with 14 elements, L14, was defined, and the J-resolution fields of constants, propositional variables and some generalized literals of L14P（X）, which is a lattice-valued propositional logic system with truth-values in L14, were discussed. There are 4 filters in L14. For any constant a not belonging to J, a and g （generalized literal of L14P（X）） form a J-resolution pair. For a propositional variable x, if x belongs to J and g does not belong to J, then x and g form a J-resolution pair.展开更多
The New Vacuum Solar Telescope （NVST） is a one meter vacuum solar telescope that aims to observe fine structures on the Sun. The main goals of NVST are high resolution imaging and spectral observations, including me...The New Vacuum Solar Telescope （NVST） is a one meter vacuum solar telescope that aims to observe fine structures on the Sun. The main goals of NVST are high resolution imaging and spectral observations, including measurements of the solar magnetic field. NVST is the primary ground-based facility used by the Chinese solar research community in this solar cycle. It is located by Fuxian Lake in southwest China, where the seeing is good enough to perform high resolution observations. We first introduce the general conditions at the Fuxian Solar Observatory and the primary science cases of NVST. Then, the basic structures of this telescope and instruments are described in detail. Finally, some typical high resolution data of the solar photosphere and chromosphere are also shown.展开更多
基金The Nationl Natural Science Foundation of China (No.60474022)
文摘To deal with automated reasoning of linguistic truth-valued lattice-valued logic system, a lattice implication algebra with 14 elements, L14, was defined, and the J-resolution fields of constants, propositional variables and some generalized literals of L14P（X）, which is a lattice-valued propositional logic system with truth-values in L14, were discussed. There are 4 filters in L14. For any constant a not belonging to J, a and g （generalized literal of L14P（X）） form a J-resolution pair. For a propositional variable x, if x belongs to J and g does not belong to J, then x and g form a J-resolution pair.
基金Supported by the National Natural Science Foundation of China
文摘The New Vacuum Solar Telescope （NVST） is a one meter vacuum solar telescope that aims to observe fine structures on the Sun. The main goals of NVST are high resolution imaging and spectral observations, including measurements of the solar magnetic field. NVST is the primary ground-based facility used by the Chinese solar research community in this solar cycle. It is located by Fuxian Lake in southwest China, where the seeing is good enough to perform high resolution observations. We first introduce the general conditions at the Fuxian Solar Observatory and the primary science cases of NVST. Then, the basic structures of this telescope and instruments are described in detail. Finally, some typical high resolution data of the solar photosphere and chromosphere are also shown.
