搬送波位相整数バイアス解決＆LAMBDA推定法

二周波二重位相差の数学的導出、共分散行列の非相関化変換、および固定基線長による整数バイアス検証テスト。