离子检验与推断