<正>Some new reflection principles for Maxwell's equations are first established, which are then applied to derive two novel identifiability results in inve
A Variable-driven model of AND-parallelism of logic programs isprcscntcd.It statically analyses the values of variables in clauses and picks out the varia.blcs
The gas-kinetic theory based flux splitting method has been successfully proposed for solving one- and two-dimensional ideal magnetohydrodynamics by Xu et al.[J
The equivalent circuit of single-cavity multiple-device fundamentaloscillator(SCMDFO)and that of single-device harmonic oscillator(SDHO)proposed byK.Kurokawa an