入力されたワードを説明してください。
アラン分散
アラン分散（Allan variance）は、時計、発振器、アンプにおける周波数安定度を表す指標である。名前はDavid W. Allanに由来し、数学的にはformula_1 と表される。
アラン偏差（Allan deviation）は、アラン分散の平方根であるformula_2 である。
アラン分散は統計的な安定度を推定するためのものであり、周波数ドリフトなどの系統的な誤差を推定するものではない。また、アラン分散には、修正アラン分散をはじめとするいくつかの派生形がある。