the National Natural Science Foundation of China(Grant Nos.41431071,41574152);the National Basic Research Program of China(Grant No.2011CB811404);the Strategic Priority Research Program on Space Science,the Chinese Academy of Sciences(Grant No.XDA04060201)
Comprehensive records are available in ENA data of ring current activity recorded by the NUADU instrument aboard TC-2 on 15 May, 2005 during a major magnetic storm (which incorporated a series of substorms). Ion flu...
the Natural Science Foundation ofBeijing(Grant No.4052016);the National Natural Science Foundation of China(Grant No.60083007); the National Grand Fundamental Research 973 Program ofChina(Grant No.G1999035802).
Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unreliable channel is employed to simulate an attack behavior...
Knowledge representation and reasoning is a key issue of the Knowledge Grid. This paper proposes a Knowledge Map (KM) model for representing and reasoning causal knowledge as an overlay in the Knowledge Grid. It exten...