离子检验和离子推断