We construct a measure on the Boolean algebra of sets of formal arcs on an Artin stack which are definable in the language of Denef-Pas.

• 重点抽样法是藉由一合适的重点机率分配替换系统输入变数的原始机率分配 ,提高原本不易出现事件的出现频率 ,以达到降低估计量变异数之目的 。