アーカイブ
これまでに公開したレッスンをカテゴリ・小カテゴリ別に一覧できます。既読のものにはチェックが付きます。
変調・符号化0 / 61
変調方式の基礎0 / 10
- #1PCM/PSK/PM — 深宇宙探査機の変調方式の基礎探査機がビットの列をどうやって電波の位相の揺れに変えて数億kmの彼方まで届けているか。CCSDS標準の伝統的変調方式PCM/PSK/PMを、信号空間・スペクトル・BERの数式付きで理解する。
- #2PLL — 弱い搬送波を追いかけ続けるフィードバック制御地上局の受信機は、雑音に埋もれかけた探査機の残留搬送波をどうやって見失わずにロックし続けるのか。PLL(位相同期ループ)を線形モデル化し、伝達関数・ダンピング係数・ループ帯域幅からドップラー追尾とサイクルスリップまでを数式で追う。
- #3変調損失とリンクバジェット — 搬送波とデータへの電力配分を最適化する変調指数Δでトレードオフされる搬送波電力とデータ電力を、リンクバジェット方程式の中に正式に位置づける。変調損失・キャリアループSNR・データEb/N0を数式で結びつけ、Δの最適化問題として定式化する。
- #9QPSK/OQPSK — 帯域幅を2倍に稼ぐ位相変調と、位相遷移をなだめる工夫BPSKのI/Q平面を2次元フルに使うQPSKは、BERを変えずに帯域幅効率を2倍にする。しかしI/Qが同時に反転する180°遷移が非線形増幅器と相性が悪く、その弱点をシンボル半周期のズレだけで解決するOQPSKへとつながる仕組みを数式で追う。
- #10GMSK — 位相を滑らかにして帯域外輻射を抑える変調OQPSKでもまだ残っていた瞬時的な位相の折れ曲がりを、連続位相変調(CPM)という発想でなめらかにする。MSKの定式化からFSKとの等価性、ガウスフィルタによるさらなる帯域圧縮、そして定包絡線ゆえに非線形電力増幅器と好相性という実務上の意義までを数式で追う。
- #11Costasループ — 抑圧搬送波信号から位相を再生する現代の高効率リンクは残留搬送波を持たず全電力をデータに注ぎ込む。搬送波が存在しないBPSK/QPSK信号から、I/Q位相検波器の積によって位相誤差のS字カーブを再生するCostasループの仕組みを、pllの線形モデルとの等価性、そして180°/90°の位相アンビギュイティの解消方法とともに数式で理解する。
- #78非コヒーレント検波 — 搬送波位相が分からないとき、どう判定するか検出理論の最尤判定もCostasループの復調も、実は「受信機が搬送波位相を知っている」ことを暗黙の前提にしていた。PLLロックの時間すら惜しいバースト通信で位相未知のまま判定する非コヒーレント検波を、レイリー分布・ライス分布による包絡線検波の統計的導出と、コヒーレント方式との3〜4dBの性能差の定量評価とともに理解する。
- #118デュオバイナリ符号 — あえてISIを許容する部分応答方式ナイキスト第1基準の『ISIを完全にゼロにする』という要求は、実は急峻すぎるフィルタという実装上の代償を伴う。隣接シンボルとの和を送るデュオバイナリ符号が、制御された1シンボル分のISIをあえて許容することで、緩やかなフィルタと引き換えに帯域幅を節約する仕組みを、プリコーディングによる誤り伝搬対策まで含めて数式で理解する。
- #119連続位相変調(CPM)の一般理論 — GMSKは特殊解の一つに過ぎないGMSKは、位相応答関数と変調指数という2つの自由度を持つ、連続位相変調(CPM)という広いファミリーの一具体例だった。位相の連続性を保証する一般定式化から、変調指数がもたらす位相トレリスの周期性、パルス整形によるスペクトルの違い、そしてビタビ復号への接続と実務での設計判断基準までを数式で追う。
- #128光通信の変調方式 — PPM・コヒーレント検波・波長分割多重光通信=波長が短いだけの電波、という話では終わらない。M元パルス位置変調(PPM)がなぜ光子計数検出と相性が良く深宇宙で選ばれるのか、コヒーレント光通信がPCM/PSK/PMやPLLの理論をどう光領域に引き継ぐのか、波長分割多重(WDM)が伝送容量をどう増やすのかを、光子効率の数式とDSOCの実例で理解する。
同期・受信機信号処理0 / 10
- #12パルス整形とナイキスト基準 — 帯域を有限に収める設計矩形パルスのsinc²スペクトルはなぜ帯域が無限に広がってしまうのか。ナイキストの符号間干渉ゼロ基準を周波数領域で導出し、レイズドコサイン・ルートレイズドコサインフィルタが有限帯域とISI耐性を両立させる仕組みを数式で理解する。
- #13ISIとアイダイアグラム — 符号間干渉を目で読むナイキスト基準が現実には完全には満たされないとき、隣接シンボルの尾が判定点に漏れ込む符号間干渉(ISI)をどう定量化するか。ピーク歪みの上界を導出し、オシロスコープ上のアイダイアグラムがノイズマージン・タイミングマージンをどう可視化しているかを数式で理解する。
- #14整合フィルタ — 受信SNRを最大化する最適フィルタの理論なぜ受信機のフィルタ形状がビット誤り率を決めるのか。コーシー・シュワルツの不等式から整合フィルタ定理を厳密に導出し、相関受信機との等価性、そして最大SNR = 2E/N₀という結果がPCM/PSK/PMのBER公式の根拠であることを示す。
- #16スクランブリング — 遷移密度を人工的に作り出す衛星が休止状態のとき、テレメトリには0や1が延々と続く区間が現れる。シンボル同期ループはそれだけでロックを失いかねない。データにPN系列をXORして遷移密度とDCフリー性を人工的に作り出す、LFSRベースのスクランブリングを数式で理解する。
- #17フレーム同期とASM — ビット列の海から「フレームの先頭」を掘り当てる地上局に届くのは区切りのない連続ビット列だけ。各フレームの先頭に埋め込まれた既知パターンASMを相関検出で見つけ出す仕組みを、誤検出・見逃し確率のQ関数評価とCCSDS式の同期状態機械とともに定式化する。
- #20検出理論と最尤推定 — 「一番近い信号点を選ぶ」が最適である理由BPSKの誤り率を一般化し、M個の信号点からなる任意の信号空間で誤り率を最小化する最適受信機を設計する理論を学ぶ。最尤(ML)判定則の導出、MAP判定との違い、AWGN通信路でのユークリッド距離最小則との等価性、判定領域とシンボル誤り率の一般公式までを数式で追う。
- #28シンボル同期 — Gardner検出器でシンボル境界のタイミングを追跡する整合フィルタの出力は『正しい時刻でサンプリングすれば』2E/N₀を達成できる、が肝心のその時刻はどうやって知るのか。PLLが搬送波の位相を追尾したのに対し、今回はシンボル境界のタイミングを追尾するGardner検出器を導出し、なぜそれがキャリア位相に依存せず動作できるのかを数式で示す。
- #73オシレータの位相雑音 — L(f)とLeesonモデルで読み解くスペクトル純度の限界アラン分散が「時間領域・長期」の周波数安定度を測る指標だったのに対し、位相雑音$L(f)$は「周波数領域・短期」のスペクトル純度を測る指標。同じ発振器の不完全性を切り口を変えて見ているに過ぎないことをSφ(f)とSy(f)の変換式で示し、Leesonモデルの傾き構造、PLLの追尾誤差への伝搬、そして多値PSK/QAMの信号点位相回転によるシンボル誤り率劣化までを数式で追う。
- #77I/Q不平衡とDCオフセット — 理想的な直交復調を裏切るアナログ回路の非理想性SDRの回で「複素指数を掛けるだけ」と説明した直交復調は、実際のアナログミキサでは振幅・位相が完全に揃わず、局発リークがDCオフセットを生む。この非理想性を複素数のモデルで定式化し、イメージ除去比(IRR)という指標とデジタル補正の仕組みまでを数式で追う。
- #130チャネル等化技術 — ZF等化器・DFE・MLSEでISIを能動的に取り除くパルス整形だけでは防ぎきれないISIを、受信側でどう能動的に除去するか。ゼロフォーシング等化器の雑音強調問題、決定帰還等化器(DFE)によるその緩和、そして通信路自体をトレリスとみなすMLSE(ビタビ等化)という発想の転換を数式で理解する。
情報理論・高度変調技術0 / 10
- #15シャノンの通信路容量定理 — どれだけ送れるかを決める絶対的な壁AWGN通信路の容量 C = B log2(1+S/N) を信号空間の球充填的議論から導出し、深宇宙リンクがなぜ電力制限領域にあるのかを明らかにする。Eb/N0のシャノン限界-1.6dBを求め、実際の変調・符号化方式が限界にどこまで迫れているかを測る。
- #18APSK — 高次変調と非線形増幅器を両立させる同心円配置BPSK/QPSKでは足りない高速リンクの要求から、多値PSK・QAMの信号空間とシンボルあたりビット数・必要Es/N0のトレードオフを数式で導入し、TWTAの非線形歪みに強い同心円配置APSKへと至る道筋を、DVB-S2・CCSDSの数値とともに追う。
- #19情報理論の基礎 — エントロピーと相互情報量で「情報」を測る『情報の量』を数式でどう定義するのか。自己情報量からエントロピー、条件付きエントロピー、相互情報量までを一気通貫で導出し、符号化理論と通信路容量の議論に使う共通言語を整備する。
- #21AWGNの物理的起源 — 熱雑音・雑音温度・中心極限定理『加法性白色ガウス雑音(AWGN)』をここまで天下り的に仮定してきたが、その中身を初めて開ける回。抵抗中の電子の熱運動から出発し、Johnson-Nyquist雑音・中心極限定理・Friisの雑音公式を数式で追い、なぜ雑音が「白く」「ガウス的」で「加法的」なのかを物理的に理解する。
- #72ACM (適応符号化変調) — チャネル状態に応じてMODCODを動かし続ける最悪ケースの降雨減衰に合わせてマージンを固定する設計は、平常時のスループットを常に浪費している。受信SNRをフィードバックし、変調多値数・符号化率の組(MODCOD)を動的に切り替えるACMの仕組みを、固定マージン方式との定量比較とフィードバック遅延の制約まで数式で追う。
- #74プリディストーション — 増幅器の非線形性を逆関数で打ち消す線形化技術TWTAのAM/AM・AM/PM歪みを、増幅前の信号にあらかじめ逆特性をかけて打ち消すプリディストーション。Salehモデルから具体的な補償関数を導出し、アナログ/デジタル・適応型DPDの違いと、深宇宙機での採用トレードオフを数式で理解する。
- #75ダイバーシティ合成 — 独立した伝搬路の組み合わせで深いフェージングを避ける降雨減衰のように時間・空間にランダムに変動するフェージングに対し、独立な複数の伝搬路(空間・周波数・時間)を用意して組み合わせる「ダイバーシティ」の考え方を、同時劣化確率 P1・P2 の近似式と、選択合成・最大比合成(MRC)の性能比較から数式で理解する。
- #79SNR推定とリンク適応 — ACMを動かす「今の回線品質」の測り方適応符号化変調(ACM)がMODCODを正しく選ぶには、受信機が瞬時SNRを正確に知っている必要がある。パイロット支援型とブラインド型(M2M4法)のSNR推定を数式で比較し、推定精度とサンプル数のトレードオフ、ピンポン現象を防ぐヒステリシス設計までを追う。
- #120コンステレーションシェーピング — 均一配置に潜む1.53dBの無駄を取り戻すAPSK・QAMの均一な信号点配置が、シャノン限界に対してなぜ常に約1.53dB損をしているのかを、一様分布とガウス分布のエントロピー差から導出する。幾何学的シェーピングと確率的シェーピング(PAS)という2つの解決策を、光通信・DVB-S2Xの実例とともに理解する。
- #121時空間符号化とMIMO基礎 — 送信側のアンテナでダイバーシティを稼ぐ受信側に複数アンテナを置けない状況で、送信側に複数アンテナを配置してダイバーシティ利得を得るAlamouti符号の仕組みを、直交性にもとづく符号化行列と線形処理だけで2次ダイバーシティが得られることの証明から理解し、空間多重によるMIMOへの拡張と地上系4G/5Gでの普及・深宇宙探査機での不採用理由を見る。
誤り訂正符号0 / 10
- #22畳み込み符号とビタビ復号 — 冗長ビットで誤りを訂正する符号化利得無符号化のBERだけを前提にしてきたこれまでの議論に、初めて誤り訂正符号を導入する。シフトレジスタとトレリス線図で畳み込み符号器を定式化し、ビタビ復号を動的計画法として導出したうえで、自由距離とBER上界から符号化利得を数式で理解する。
- #23リード・ソロモン符号 — バースト誤りに強い符号の代数畳み込み符号がビット単位の誤りに強いのに対し、リード・ソロモン(RS)符号は連続した「バースト誤り」に強い。有限体GF(2^m)上のシンボルという考え方から、多項式評価による符号構成、最小距離d=n-k+1(MDS符号)まで、CCSDS標準(255,223)符号の数値とともに理解する。
- #24連接符号 — 畳み込み符号とリード・ソロモン符号を直列につなぐ古典アーキテクチャランダム誤りに強い畳み込み符号(内符号)と、バースト誤りに強いリード・ソロモン符号(外符号)を、インターリーバを挟んで直列に連接する古典的アーキテクチャを学ぶ。CCSDS標準の(7,1/2)+(255,223)構成と符号化利得の積み上げを数式で追う。
- #25ターボ符号 — 並列連接畳み込み符号と反復復号でシャノン限界に迫る1993年にBerrouらが発表し符号化理論に衝撃を与えたターボ符号。2つの再帰的組織畳み込み符号器(RSC)をインターリーバで並列連接し、対数尤度比(LLR)による外部情報の交換とBCJR(MAP)アルゴリズムで反復的に復号することで、なぜシャノン限界からわずか1dB足らずまで迫れるのかを数式で理解する。
- #26LDPC符号 — 疎な検査行列とメッセージパッシングでシャノン限界に迫るパリティ検査行列Hをわざと疎にすることで、Tannerグラフ上のメッセージパッシング(Sum-Product/Belief Propagation)による並列・反復復号が可能になる。ターボ符号と並ぶもう一つのシャノン限界近傍符号、LDPC符号をチェックノード・変数ノード更新式まで導出する。
- #27CCSDS符号化標準の変遷 — 畳み込み符号からLDPCまで、符号化利得半世紀の軌跡畳み込み符号・RS符号・連接符号・ターボ符号・LDPC符号をここまで個別に学んできた総まとめ回。CCSDS標準の変遷を時系列で振り返り、各世代の符号化利得(dB)を無符号化BPSKを基準に整理し、その数dBがリンクバジェットの数式を通じて実際の通信距離・データレートにどれだけの違いを生んだかを定量的に確認する。
- #70極符号(Polar Codes) — チャネル分極でシャノン限界に理論的に到達するLDPC・ターボ符号とはまったく異なる原理で、シャノン限界に理論的に到達できることが数学的に証明された唯一の明示的符号構成、極符号(Arikan, 2009)。チャネル分極という現象をN=2の基本変換から再帰的に導き、逐次除去復号(SC)の尤度比再帰式まで数式で追う。
- #71トレリス符号化変調 (TCM) — 符号化と変調を一体設計して帯域を増やさず利得を得る畳み込み符号もQPSK/8PSKも別々に学んできたが、この2つを同時に設計すると何が起きるか。Ungerboeckのセット分割とトレリス割り当てにより、帯域幅を一切増やさずに符号化利得を得るTCMの発想を、自由ユークリッド距離の数式とともに理解する。
- #123ハミング符号とゴレイ符号 — 誤り訂正符号の原点にある美しい線形代数リード・ソロモン符号やLDPC符号のような高度な符号の源流には、シンドローム復号という美しい仕組みを持つ最もシンプルな線形ブロック符号がある。ハミング(7,4)符号のパリティ検査行列の設計から、球充填限界にちょうど到達する「完全符号」としての理論的な美しさ、そしてボイジャー初期ミッションで実際に使われたゴレイ(23,12)符号まで、符号理論の出発点を数式で追う。
- #124BCH符号 — ハミング符号とリード・ソロモン符号をつなぐ一般化1ビットしか訂正できないハミング符号を、ガロア体上の最小多項式と生成多項式の代数で「任意のtビット誤りを訂正できる符号族」へと一般化するBCH符号。設計距離を保証するBCH限界、シンドロームとBerlekamp-Massey法による復号の位置づけ、そしてリード・ソロモン符号が実はBCH符号を非バイナリに拡張した特別な場合だったという系譜を明らかにする。
符号化・圧縮・拡散通信0 / 8
- #68直接拡散スペクトラム拡散(DSSS) — 帯域を犠牲にして頑健性を買うデータビットをPN符号でXORして帯域幅を大きく広げるDSSSの仕組みを、処理利得・逆拡散・ジャミング耐性・低検出性(LPI)の数式で理解する。測距用PN符号との目的の違いを明確にしながら、深宇宙通信での採用が限定的な理由も定量的に見ていく。
- #69FHSS — 周波数ホッピング拡散スペクトラムとジャミング耐性搬送波周波数そのものをPN系列で高速に切り替えるFHSSの仕組みを、Slow/Fast FHの分類・dehop同期・部分帯域ジャマーに対する最悪ケース性能劣化の数式とともに理解し、DSSSとの違い、深宇宙通信でほぼ使われない理由を見る。
- #76CCSDS画像圧縮標準 — ウェーブレット変換とビットプレーン符号化でデータ量を減らす『誤りに強く送る』符号化から一転、『そもそも送るデータ量を減らす』ソース符号化(圧縮)を扱う。エントロピーとの接続、可逆/非可逆のトレードオフ、CCSDS 122.0-Bのウェーブレット変換+ビットプレーン符号化アーキテクチャ、そして率-歪み理論の考え方を学ぶ。
- #122CRC — 「訂正しない」誤り検出符号という発想リード・ソロモン符号や畳み込み符号は誤りを訂正する符号だったが、CRC(巡回冗長検査)は誤りの有無を検出するだけの符号。多項式除算の余りをチェックサムにする仕組みを$GF(2)$上で導出し、CCSDS TMフレームのFECFがCRC-16である実務接続まで見る。
- #125インターリーバ設計論 — ブロック型・畳み込み型・疑似ランダム型を使い分ける連接符号のバースト誤り分散に使ったブロックインターリーバは、インターリーバ設計の一断面に過ぎない。畳み込みインターリーバのメモリ・遅延トレードオフ、ターボ符号のSランダムインターリーバがエラーフロアを下げる理由、CCSDS標準のパラメータを数式で整理する。
- #126有人ミッションの音声通信 — 宇宙飛行士の「肉声」を届ける設計これまでのレッスンはテレメトリや科学データのようなデジタルデータ伝送を前提としてきたが、有人ミッションでは宇宙飛行士の肉声をリアルタイムでやり取りするという、遅延・品質要求が全く異なる通信需要がある。音声のサンプリングとPCM量子化、μ-law/A-lawによる非線形量子化(companding)、そして地球-月・地球-火星間の伝搬遅延が「対話」という行為そのものに突きつける制約を数式で理解する。
- #127宇宙向け動画圧縮 — 動き補償予測とフレーム構造のトレードオフ静止画の空間的冗長性の圧縮から一歩進み、動画のフレーム間の類似性(時間的冗長性)を使う動き補償予測を学ぶ。I/P/Bフレーム構造の圧縮率・誤り耐性トレードオフと、宇宙リンクではなぜシンプルな構造が好まれるかを考える。
- #129距離スペクトラムとユニオンバウンド — 符号の性能解析を統一的に理解する畳み込み符号の自由距離(ハミング距離)とTCMの自由ユークリッド距離は、実は『符号語間の距離』という同じ枠組みの異なる計量にすぎない。距離スペクトラムとユニオンバウンドという一般理論から、なぜ自由距離が符号性能を支配するのかを数式で導く。
高度信号処理技術0 / 7
- #168Faster-than-Nyquist伝送 — ナイキスト基準をあえて破ってスペクトル効率を稼ぐパルス整形で学んだナイキストのISIゼロ基準は、実は『十分条件』に過ぎない。シンボル間隔をナイキスト間隔より意図的に詰め込むFaster-than-Nyquist(FTN)伝送が、Mazo限界という古典的結果のもとで最尤系列検出により誤り率を劣化させずにスペクトル効率を高められることを、信号モデル・トレリス受信機・シャノン平面上の位置づけまで数式で理解する。
- #169ターボ等化 — SISO等化器と復号器が外部情報を反復交換してISIを消し込む『等化してから復号』という直列処理はなぜ性能が頭打ちになるのか。通信路そのものを符号とみなし、BCJRベースのSISO等化器とSISO復号器が対数尤度比の外部情報を反復的に交換する『ターボ等化』の仕組みと、EXITチャートによる収束解析、FTN伝送との関係を数式で理解する。
- #170ブラインドチャネル推定 — パイロットなしで通信路を知るゼロフォーシング・DFE・MLSEはすべて通信路特性$H(f)$が既知という前提の上に成り立っていた。訓練信号(パイロット)を送る帯域的余裕がないとき、受信信号の統計的性質だけから通信路を推定する「ブラインド」推定——高次統計量、コンスタントモジュラスアルゴリズム(CMA)、サイクロスタショナリー——の考え方を追う。
- #171搬送波周波数捕捉 — ロックする前に、まず見つけ出すPLLは位相誤差が小さい前提の追尾装置だが、その前提はどこから来るのか。打ち上げ直後など周波数が数十kHzのオーダーで不明な局面で、地上局受信機が広い不確かさ範囲から搬送波をまず粗く見つけ出す「捕捉」問題を、周波数掃引法とFFTベース高速捕捉の数式で理解する。
- #172圧縮センシング — ナイキストを出し抜くスパース信号復元帯域幅の2倍以上のサンプリング周波数を要求するナイキスト定理に対し、信号が『スパース』であるという追加情報さえあれば、はるかに少ない観測数から元の信号を復元できる。L1ノルム最小化とRIP(制限等長性)を軸に、圧縮センシングの数学的な仕組みを理解する。
- #173コグニティブ無線とスペクトラムセンシング — 機械が自分で『空き』を見つけるITU電波規則が周波数を静的に割り当てる制度だったのに対し、コグニティブ無線は割り当てられた帯域の時間的・空間的な『空き』を機械が自律的にセンシングし、機会的に利用する技術。エネルギー検出器を検出理論の二値仮説検定として定式化し、巡回定常特性検出への発展、そして深宇宙通信でこの技術がまだ主役になっていない理由までを数式付きで見る。
- #174機械学習による受信信号異常検知 — データから「正常」を学ぶデジタルツインの物理モデルベース異常検知とは異なるアプローチとして、正常時の受信データから統計的パターンを学習し、そこからの逸脱を検知する機械学習ベースの異常検知を扱う。ガウス混合モデル・オートエンコーダによる異常スコアの数式、特徴量設計、検出理論との接続、地上局・オンボードでの実装動向までを見る。
変調・偏波・発振器の応用技術0 / 6
- #175レートスプリッティングと重畳符号化 — 1つの信号で複数の受信者に同時に送る電力領域で信号を重ね合わせる重畳符号化とSIC復号の仕組みを数式で導き、直交多元接続より広い容量領域を実現できることをシャノン容量の凸性から示す。5G/6GのNOMAと将来のマルチビーム宇宙通信への応用も扱う。
- #176BICM — 符号化と変調を疎結合のまま反復で結び直すTCMのように符号と変調を一体設計する代わりに、符号化→インターリーブ→マッピングという単純な直列パイプラインで構成するBICM(Bit-Interleaved Coded Modulation)を扱う。グレイマッピングとビット単位LLR、そして復号器とデマッパーの間でLLRを交換するBICM-IDの反復構造を数式で追い、DVB-S2/S2XやCCSDSでの採用理由を見る。
- #177偏波多重による周波数再利用 — 交差偏波識別度(XPD)と直交性の限界[偏波の回](/lessons/polarization-circular-linear/)で学んだ直交する2つの偏波状態を、同じ周波数帯で独立な2チャンネルとして使う「偏波多重による周波数再利用」を扱う。偏波損失係数(PLF)の一般式を『望ましくないクロストーク』の評価に転用して交差偏波識別度(XPD)を定式化し、アンテナの偏波純度の限界・降雨・ファラデー回転によって完全な直交性が崩れる理由を軸比とアラインメント誤差の式で定量化する。
- #178XPIC — 交差偏波干渉除去、漏れ込みを信号処理で能動的に打ち消す前回のXPDが定量化した偏波間の漏れ込みを、受信側の信号処理で能動的にキャンセルするXPIC技術を扱う。2偏波の受信信号を結合行列で表し、その逆行列に近い重み行列で干渉を打ち消す仕組みを、チャネル等化のゼロフォーシングとの数学的類似性から導き、パイロット推定・適応追従・商用マイクロ波中継回線での実装まで数式で追う。
- #179水晶発振器の物理設計 — 圧電効果とバトラー等価回路が刻む周波数の起源位相雑音とアラン分散という『発振器の揺らぎの測り方』を学んだところで、今回は測られる側の発振器そのものの中身に踏み込む。石英の圧電効果がなぜ機械振動を電気信号に変えるのか、バトラー・ヴァンダイク等価回路の直列・並列共振がなぜ極めて高いQ値を生むのか、ATカットと恒温槽がどう周波数の温度依存性を抑え込むのかを数式で追い、探査機搭載USOがOCXO方式を選ぶ理由につなげる。
- #180カオス拡散通信 — 決定論的カオスが生む非周期拡散符号PN符号の代わりにロジスティック写像のようなカオス力学系から拡散符号を生成する、研究段階の技術カオス拡散通信を扱う。初期値鋭敏性とリアプノフ指数から系列の予測困難性を定量化し、DSSSのPN符号との生成原理の違いと、有限精度実装・送受信同期という実務上の壁を数式付きで理解する。
測距・追跡0 / 44
測距・角度決定技術0 / 11
- #4トランスポンダ — コヒーレントターンアラウンドとドップラー計測探査機に搭載されたトランスポンダは、地上局からのアップリンク搬送波にPLLで位相同期し、正確な周波数比でダウンリンクへ折り返す。このコヒーレントターンアラウンドの仕組みと、そこから得られる高精度ドップラー計測の数理を、ターンアラウンド比・One/Two/Three-wayドップラー・USO精度比較とともに追う。
- #5非再生測距(ターンアラウンド測距) — PN符号をそのまま折り返して距離を測る地上から送ったPN測距符号を、探査機がコヒーレントに位相同期させたまま「鏡」のように送り返すターンアラウンド(非再生)測距の原理を学ぶ。距離を求める基本式から相関検出による遅延推定、そして往復分の雑音が重畳するという本質的な弱点までを数式で追う。
- #6再生測距 — 探査機で雑音を洗い流してから送り返す測距方式前回の非再生(ターンアラウンド)測距が抱える『往復分の雑音が重畳される』という弱点を、探査機側で測距符号を一度復調・再構成してから送り返す再生測距がどう解決するかを、SNR比較と測距精度の数式で理解する。CCSDS 414.1-Bに規定される深宇宙標準としての位置づけも扱う。
- #7シーケンシャルトーン測距 — 正弦波トーンの位相からPN符号測距へ複数の正弦波トーンを高い周波数から低い周波数へ順に送り、位相のアンビギュイティを段階的に解消していく古典的なシーケンシャルトーン測距の仕組みを数式で追い、現代のPN符号測距との精度・獲得時間・帯域幅効率のトレードオフを比較する。
- #8DDOR — 電波干渉法で天球上の角度を測るレンジとドップラーだけでは決めにくい視線直交方向の位置を、2つの地上局とクエーサーを使ったVLBIベースの技術DDORがどう決定するのか。到達時間差の幾何学から広帯域トーンによる群遅延測定、Delta較正の仕組みまでを数式で追う。
- #29SBI — 同一ビーム干渉法で2機の相対位置を測るDDORはクエーサーとの差分で誤差を消したが、探査機がもう1機あればどうなるか。周回機とローバーを同じアンテナビーム内で同時観測するSame-Beam Interferometryの幾何学と誤差キャンセルを、DDORの誤差モデルと対比しながら数式で追う。
- #132レーダー高度計 — 探査機が自分の足元までの距離を測る地球局からの測距が数億kmの彼方を測る話だったのに対し、今回は探査機自身が搭載レーダーで数百km以下の『足元』を測る話。基本原理は同じ往復光行時間でも要求される時間分解能が桁違いに厳しくなることを起点に、FMCW方式のビート周波数による距離推定と、帯域幅で決まる距離分解能を導出する。
- #133合成開口レーダー(SAR)基礎 — 移動する衛星が作る仮想的な巨大アンテナ衛星に積める物理的なアンテナは小さく、実開口レーダーでは地表の細かい地形を分解できない。軌道上の移動経路そのものを仮想的な巨大アンテナとして使うSARの原理を、ドップラーヒストリーへの整合フィルタ処理(アジマス圧縮)として定式化し、方位分解能が実アンテナサイズの半分になるという驚くべき結果を導く。
- #135Bearings-Only Navigation — 角度だけで軌道を決める測距もドップラーも使えず、視線方向の角度しか観測できない特殊な航法問題を扱う。単一時刻・単一観測点からは距離が原理的に決定不能であることを幾何学的に示し、観測者自身の運動による視差でこの不可観測性がどこまで解消できるか、そしてなぜ解消しきれない場合が残るのかを非線形最小二乗法とスケール不確定性の議論で追う。
- #137測地VLBI — クエーサーカタログと位相基準観測で地球を測るDDORで使ったVLBIは探査機の角度を測る応用の1つに過ぎない。搬送波位相そのものを使う位相基準観測、ICRFクエーサーカタログを基準にした基線ベクトルの逆推定、そしてミリメートル/年の地殻変動検出という、VLBI本来の姿である測地学への応用を数式で追い、それがDDOR/SBIの基線知識にどうフィードバックするかまでを見る。
- #142対流圏屈折補正 — 電離していない大気が電波を曲げ、遅らせる相対論補正で見たシャピロ遅延は時空の湾曲による効果だったが、地上局の電波はそれ以前に、もっと身近な地球の対流圏(電離していない普通の空気)を通過するだけで曲がり、遅れる。屈折率の高度勾配による電波経路の湾曲、乾燥・湿潤2成分への分解、マッピング関数による仰角依存性の定式化を、Saastamoinenモデルと具体的な数値で理解する。
軌道決定・自律航法0 / 12
- #30測距・ドップラー・DDORの統合 — 幾何学的DOPと最小二乗法による軌道決定これまで個別に学んだ測距・ドップラー・DDORの3つの観測量が、探査機の6次元状態ベクトル(位置3・速度3)のどの成分に効くのかを幾何学的に整理し、視線直交方向の位置決定が測距+ドップラーだけでは悪化する理由をDilution of Precision(DOP)の概念で示す。観測方程式の線形化と重み付き最小二乗法 Δx=(H^TWH)^{-1}H^TWΔz による軌道決定の枠組み、誤差共分散楕円体の幾何学までを数式で追う。
- #31光学航法 — 電波ではなく、搭載カメラで自分の位置を測る地上局との電波のやり取りで距離・速度・角度を測る電波航法に対し、探査機自身が搭載カメラで近傍天体や恒星背景を撮像し、自分の位置と軌道を推定する光学航法(OPNAV)を扱う。ピンホールカメラの幾何学、スタートラッカーの原理、視差による距離推定、そして片道光行時間の長い電波航法に対して終端誘導で光学航法が有利になる理由を数式で追う。
- #36カルマンフィルタによる軌道決定 — 逐次的に更新する最小分散推定前回のバッチ最小二乗は観測データを蓄積してから一括処理する方式だった。今回は新しい観測が届くたびに推定値をその場で更新していくカルマンフィルタを、状態空間モデルと最小分散推定の立場から数式で導出し、なぜそれが最適推定量なのか、非線形軌道力学へのEKF拡張、JPLのODP/MONTEでの実務的位置づけまでを扱う。
- #37クラメール・ラオ下限 — 測距・ドップラー精度に理論的な床を与える推定理論前回、相関器出力を線形近似する『おおまかな導出』で測距分散の式を得ました。この回では推定理論の一般論であるクラメール・ラオ下限(CRLB)をコーシー・シュワルツの不等式から厳密に証明し、AWGN測距チャネルの実効帯域幅を使って遅延推定の理論限界を導出、前回の近似式との対応関係を確認します。ドップラー推定への双対的な拡張も扱います。
- #80GNSS搭載航法 — 地上局を介さない、周回衛星の自律軌道決定深宇宙探査機はDSNからの測距・ドップラーで位置を知るが、地球を周回する衛星はGPS/GNSS衛星群からの信号を自機で受信するだけで、数メートル精度の位置を即座に自律決定できる。擬似距離から位置とクロックバイアスを解く4元連立方程式、なぜ深宇宙ではこの方式が使えないかの幾何学、軌道上特有の高ドップラー・弱電界受信の課題、そしてカルマンフィルタとの融合までを扱う。
- #81X線パルサー航法(XNAV) — 宇宙灯台を使った自律測位地球からの電波が届かない、あるいは弱すぎる恒星間・外惑星ミッションのために、ミリ秒パルサーが放つ極めて安定なX線パルスを「宇宙のGPS衛星」として使い、探査機が自分の位置を自律的に決定する原理を、GNSS疑似距離方程式との数式的な類似性から読み解く。
- #82オンボード自律軌道決定 — 探査機自身が地上を頼らず「今どこにいるか」を知る地上局(JPL等)でのカルマンフィルタによる軌道決定は、大型計算機で潤沢な観測データを使って高精度に行える。しかし小惑星タッチダウンや惑星着陸のように地球との通信が間に合わない局面では、探査機自身が限られた計算資源の上でリアルタイムに自分の軌道を推定しなければならない。同じカルマンフィルタという数学的道具立てを、搭載コンピュータ上で動かす場合特有の制約(状態次元と演算量のトレードオフ、複数センサーの統合、単精度演算での数値的破綻)を扱う。
- #83編隊飛行の相対航法 — 探査機同士が直接測り合う世界SBIは地上局から2機の相対角位置を求める技術だった。編隊飛行ミッションでは探査機同士が直接電波をやり取りし、メートルからピコメートルオーダーで相対距離を維持し続ける必要がある。機体間測距(クロスリンクレンジング)とデュアルワンウェイ測距の数式、そして制御ループへの伝搬遅延の影響をLISA・TanDEM-X・GRACE-FOの実例とともに追う。
- #85航法データメッセージ標準 — CCSDS ODM/ADMによる軌道・姿勢情報の機関間交換測距・ドップラー・DDORから重み付き最小二乗法で推定した軌道状態ベクトルを、別の機関・別のソフトウェアツールへどう渡すかを扱う回。座標系やエポックの取り違えが実際に致命的な事故を招いてきた歴史を踏まえ、CCSDS Orbit Data Message(OEM/OPM/OMM)とAttitude Data Message(ADM)という航法データの標準交換フォーマット群を、そのメタデータ構造とともに整理する。
- #86TDM (Tracking Data Message) — 測距・ドップラーの生データを軌道決定に渡す標準フォーマット測距値やドップラー値は、それ単体の数値では軌道決定に使えない。ターンアラウンド比・測距モード・積分時間といった文脈情報がなければ、同じ数値が全く違う物理量を意味してしまうからだ。CCSDS 503.0-BのTracking Data Message (TDM)がメタデータ部とデータ部の2層構造でこの問題をどう解決し、地上局から軌道決定ソフトウェアへ観測量を届けているかを見る。
- #134スタートラッカーによる姿勢決定 — 恒星パターンから探査機の「向き」を知る光学航法が近傍天体の視差から探査機の『位置』を求める話だったのに対し、今回は恒星を撮像して探査機の『向き』を求めるスタートラッカーを扱う。ロスト・イン・スペース法による恒星パターンマッチングの仕組み、回転行列・クォータニオンによる姿勢表現とジンバルロック回避、そして観測ベクトルから最適な姿勢を推定するWahbaの問題とTRIAD・QUESTアルゴリズムを数式で追い、ジャイロとのセンサーフュージョンまで見ていく。
- #136軌道摂動論と追跡予測 — 二体問題から現実の軌道力学へカルマンフィルタの状態遷移行列Fは軌道力学モデルそのものだが、これまで単純な二体問題や等速直線運動で近似してきた。今回はそのFを精緻化する主役である摂動——J2非球対称重力、大気抵抗、太陽輻射圧、第三体重力——を数式のオーダーで比較し、J2による軌道要素の永年変化、そして摂動モデルの精度が追跡パス予測の正確さに直結することをDSN運用の視点から理解する。
環境要因・運用技術0 / 11
- #32重力科学とドップラー計測 — 惑星重力場を電波で読み解く探査機のコヒーレントドップラーは、航法(自分の位置を知る)だけでなく、相手天体の重力場を知るための精密科学計測ツールでもある。重力ポテンシャルの球面調和展開、軌道摂動からドップラー残差への伝搬、そして最小二乗法による逆推定の枠組みを、ジュノー・カッシーニの実例と一般相対性理論の検証実験とともに数式で追う。
- #33原子時計とUSO — アラン分散で読み解く周波数安定度の限界コヒーレントドップラーの精度は地上局の水素メーザーに、ノンコヒーレントドップラーは探査機搭載USOの安定度に頭打ちになる。周波数安定度を定量化するアラン分散の定義と、ホワイトノイズ・フリッカーノイズ・ランダムウォークがログログプロット上に描く傾きを通じて、「安定な周波数基準」という前提そのものを数式で掘り下げる。
- #34相対論補正 — 光速は「まっすぐ・一定」では届かない測距の基本式 d=cτ/2 が仮定してきた平坦な時空・単純な光速伝搬は、精密測距では成り立たない。太陽近傍でのシャピロ遅延、探査機の速度による時間の遅れ、重力ポテンシャルによる時計の進み方の違いを、GPSとの類比とカッシーニ探査機の実測例で数式から理解する。
- #35アンテナ自動追尾 — コニカルスキャンとモノパルスでビームを向け続けるPLLは受信機の中で信号の位相を追いかけたが、その手前には地上局の巨大なパラボラアンテナ自体が探査機の方向を機械的に向き続けなければならないという、もう1つの追尾問題がある。コニカルスキャンとモノパルスによる角度誤差検出を、ビーム幅とポインティング損失の数式とともに理解する。
- #84双方向時刻転送(TWSTT) — 伝搬遅延と時計オフセットを同時に解く離れた2つの時計を同期させるには、片道の信号だけでは時計のずれと伝搬遅延を分離できないという根本問題がある。双方向に信号を交換し往復の観測量を組み合わせることでこの問題を解く双方向時刻転送(TWSTT/TWSTFT)の原理を、連立方程式による導出と経路非対称性の誤差解析とともに数式で理解する。
- #87マルチパス・フェージング — LEO・移動体リンクで直接波と反射波がぶつかり合うとき深宇宙探査機の電波はほぼ単一経路の見通し内(LOS)リンクだったが、地表近くを飛ぶLEO衛星や車載・船舶端末が受信する信号には、地面・海面・建物からの反射波が直接波に重なって届く。レイリー/ライスフェージングとドップラー広がりを数式で導出し、アンテナ追尾・搬送波追尾ループへの影響と実務対策を理解する。
- #131EDL通信ブラックアウト — プラズマシースが探査機を沈黙させる7分間火星探査機が大気圏に突入する瞬間、超高速の摩擦熱が探査機を電離プラズマの繭で包み、無線信号を完全に遮断する。太陽コロナとは桁違いの電子密度が生む通信ブラックアウトを分散関係から定式化し、恐怖の7分間を中継衛星とビーコンでどう乗り切るかを見る。
- #138マヌーバ計画と通信ウィンドウ — 軌道変更をいつ、どの可視範囲内で実行するか軌道マヌーバの実行時刻は、軌道力学だけでなくDSNの可視ウィンドウ・アンテナ指向・姿勢制約という通信側の都合と衝突する。なぜマヌーバは通信可能な時間帯に収めたいのか、姿勢変化がHGAリンクをどう途絶させるか、そしてコヒーレントドップラーがデルタVの実測検証にどう使われるかを、数式とともに理解する。
- #139電離圏シンチレーション — 太陽活動が地球近傍のあらゆる衛星リンクを揺さぶるとき太陽合の回で見たのは太陽コロナという深宇宙リンク特有の擾乱源だったが、太陽フレアやCMEは地球自身の電離圏をも乱し、GNSS・静止通信衛星・LEO衛星まで地球近傍のあらゆるリンクに影響する。同じTECの枠組みを電離圏という別の媒質・空間スケールに適用し、振幅シンチレーション指数$S_4$とサイクルスリップのリスクを定式化する。
- #140衝突回避運用の通信 — Conjunction Data Message(CDM)と衝突確率評価の数理軌道上のデブリ・他衛星との接近が日常茶飯事になったメガコンステレーション時代、衝突回避の可否は限られた時間内の情報共有にかかっている。共分散楕円体の重なりから衝突確率を評価する数理と、CCSDS 508.0-BのConjunction Data Message(CDM)という専用フォーマットを、実際のマヌーバ意思決定プロセスとともに扱う。
- #141近傍運用の相対追跡 — ランデブー・ドッキングをセンチメートルへ導く編隊飛行が数十km〜数百kmでの相対航法だったのに対し、ISSへの補給機のドッキングでは最終的に数メートル以内でセンチメートル〜ミリメートルの精度が要求される。GNSS相対航法・レーダー/LiDAR・光学カメラという段階的センサー切り替えの設計思想、LiDAR点群から相対姿勢を推定するICPアルゴリズム、そして光速ではなく搭載計算機の処理時間が支配する最終接近フェーズの制御遅延要求を数式で追う。
先進航法・科学観測技術0 / 10
- #181パイオニア・アノマリー — 精密ドップラー追跡が生んだ謎と、系統誤差解析による決着コヒーレント2-wayドップラーの精度は、パイオニア10号・11号の追跡データに約8.7×10^-10 m/s²という未知の微小減速を浮かび上がらせた。30年越しの謎『パイオニア・アノマリー』を題材に、超高精度計測が突きつける系統誤差切り分けの方法論と、RTG熱放射の非対称性による2012年の決着、そして追跡データアーカイブの科学的価値を学ぶ。
- #182探査機搭載時計の長期ドリフトモデリング — 二次多項式モデルと較正運用アラン分散は『短期の揺らぎ』の物差しだったが、数ヶ月〜数年のスケールでは発振器は一方向にじわじわとずれ続ける。時刻オフセット・周波数オフセット・ドリフト率からなる二次多項式の時計モデルを定式化し、双方向時刻比較データへの最小二乗フィットによるドリフト率推定、軌道決定フィルタへの時計パラメータ同時推定、深宇宙探査機の定期時計較正運用までを数式で追う。
- #183複数探査機の同時追跡 — 周波数・符号・空間で信号を分離する火星の上空と地表に探査機が何機もいる時代、地上局は1本のアンテナでどうやって複数機を混信なく識別・追跡しているのか。周波数分離・PN符号分離・空間分離という3つの直交化の数理と、DSNのMSPA運用の実際を数式で理解する。
- #184差分ドップラー航法 — 差を取って共通誤差を消し、相対速度を掴むDDORの『差分で共通系統誤差を打ち消す』発想を、到達時刻ではなく周波数(ドップラー)に適用するとどうなるか。2地上局の差分ドップラーによる角度変化率の測定と、近接する2機の探査機の差分ドップラーによる共通誤差の厳密な相殺を、誤差モデルf_d = f_d^true + δ + εから明示的に導出し、相対航法フィルタへの入力としての使われ方まで追う。
- #185軌道決定の不確かさの長期伝搬 — 観測が途切れた期間に誤差楕円体はどう育つかカルマンフィルタは観測が届くたびに不確かさを縮めてくれるが、地上局の可視制約やスケジュール競合で数日〜数週間観測が来ない期間、共分散は伝播式に従って育ち続ける。この「観測更新なしの長時間伝搬」を状態遷移行列とプロセスノイズ積分で定式化し、進行方向誤差の永年成長、非線形性による誤差分布のバナナ型歪みと線形近似の限界、モンテカルロ法との使い分け、次パス捕捉予算やフライバイ前の最終OD管理といった実務までを扱う。
- #186測距符号の設計 — Gold符号と相互相関の数理再生測距で使うPN符号は『どう作られているか』。単独運用ならM系列で十分だが、複数探査機の同時運用では符号どうしの相互相関が問題になる。プリファードペアからGold符号族を構成し、相互相関の上限保証とWelch限界、GPS C/AコードやCCSDS合成符号での実使用までを数論的に理解する。
- #187TLE(2行軌道要素)の精度と限界 — 数万物体カタログを支える簡易軌道表現NORADが数万個の地球周回物体を追跡・公開するために使い続けてきたTLE(Two-Line Element)フォーマットを扱う回。固定長ASCIIフィールドの構造とチェックサム、SGP4簡易伝搬モデルとの不可分な関係、そして「TLEの軌道要素はSGP4前提の疑似平均要素であり瞬時要素ではない」という最重要の注意点を、kmオーダーという精度の限界と誤差成長の定量的評価、深宇宙精密軌道決定との桁違いの対比とともに整理する。
- #188深宇宙搭載原子時計(DSAC) — 探査機が「自前のマスタークロック」を持つ日探査機の周波数基準はUSOどまり、原子時計は地上局のもの——その常識を破ったのがNASAの深宇宙原子時計(DSAC)技術実証だ。水銀イオントラップ型時計の原理を水素メーザーと対比しながら押さえ、探査機自身が水素メーザー級の時計を持つと1ウェイ測距・ドップラーの誤差伝搬がどう変わり、地上局占有と自律航法に何が起きるのかを数式で追う。
- #189惑星レーダー天文学 — 地上の巨大アンテナで天体そのものを測るレーダー高度計が探査機から足元を測る技術だったのに対し、今回は地上のDSN 70m級アンテナから小惑星や金星に電波を撃ち、そのエコーから距離・自転・表面性状を読み取る惑星レーダー天文学。距離の4乗で減衰するレーダー方程式の壁と、遅延-ドップラーマッピングによる表面再構成の幾何学を数式で理解する。
- #190掩蔽電波科学 — 電波の屈折で他天体の大気を輪切りにする対流圏屈折の回では地球大気の屈折を「補正すべき誤差要因」として扱ったが、視点を反転すれば、屈折こそが相手天体の大気を測る信号になる。探査機が惑星の背後に隠れる数分間、電波が天体の大気・電離圏を斜めに貫く際の屈折角をドップラー残差から求め、Abel変換で屈折率プロファイルへ、さらに温度・圧力・電子密度の高度分布へと逆算する掩蔽電波科学(Radio Occultation)の枠組みを、ボイジャー・カッシーニ・GPS掩蔽の実例とともに数式で追う。
システム・運用0 / 65
RF・アンテナ基礎理論0 / 10
- #40G/T — アンテナ利得対雑音温度比という1つの数値に受信性能を凝縮するリンクバジェット式に登場したG/T項を正式に掘り下げる。Friisの雑音公式を伝送線損失まで含めて拡張し、システム雑音温度を合成する。dBの世界で利得と雑音温度が全く対称に効くことを数式で確認し、DSNの実際のG/T値とKa帯化のトレードオフを見る。
- #41開口アンテナ理論の基礎 — 利得の式はどこから来るのかこれまで複数のレッスンで天下り的に使ってきたアンテナ利得の式 G=η(πD/λ)² を、指向性・実効開口面積・相反定理から電磁気学的に導出する。開口効率を左右するテーパー・遮蔽・表面誤差(Ruze式)、そしてビーム幅の式の起源までを数式で理解する。
- #42パラボラアンテナの幾何設計 — 放物面反射鏡・カセグレン系・ビーム導波管前回学んだ開口アンテナ理論を、実際のパラボラ反射鏡の幾何光学設計に落とし込む。放物面が平行波を1点に集める理由を反射の法則と放物線の定義的性質から導出し、カセグレン・グレゴリアン・オフセット給電の違い、DSNのビーム導波管(BWG)方式、フィード照度テーパーと開口効率のトレードオフを数式とともに理解する。
- #88伝送線路理論とVSWR — アンテナと送受信機をつなぐケーブルの物理パラボラアンテナで受けた信号が同軸ケーブルや導波管を通ってLNAやTWTAに届くまで、その「間」では何が起きているのか。分布定数線路の波動方程式から特性インピーダンス・反射係数・VSWRを導出し、ミスマッチが送信管を壊しうる理由まで数式で理解する。
- #89インピーダンス整合とスミスチャート — 反射をゼロに近づける幾何学反射係数Γを最小化する『整合』を、複素平面上の図式操作として一瞬でこなすツールがスミスチャート。z平面からΓ平面への双一次変換の導出から、定抵抗円・定リアクタンス円の幾何学、L型整合回路の設計手順までを追う。
- #90Sパラメータと2端子対網理論 — 進行波と反射波で高周波回路を記述するGHz帯の回路では電圧・電流という馴染み深い量そのものが位置によって揺らぎ、定義があいまいになる。進行波と反射波の比という新しい物差しでフィルタ・増幅器・ダイプレクサを記述するSパラメータの枠組みを、その導出から縦続接続、ネットワークアナライザによる実測まで数式で追う。
- #91RFフィルタ設計 — バンドパス・ノッチフィルタの近似理論とトポロジダイプレクサや前段フィルタが、なぜあの遮断特性を実現できるのか。Butterworth・Chebyshev・楕円関数という3つの近似方式の数式的な違い、集中定数と分布定数設計の使い分け、結合共振器フィルタのトポロジを一般論として学ぶ。
- #92雑音指数の実測 — Y-factor法によるLNA性能検証設計上の雑音温度と、実際に製造された増幅器の雑音温度は同じとは限らない。既知の2つの温度の雑音源を切り替えて出力雑音電力比Yを測るY-factor法の原理を数式で導出し、DSNのメーザー・HEMT増幅器の定期校正における実務手順を理解する。
- #94偏波 — 直線偏波と円偏波、なぜ深宇宙リンクは円偏波を選ぶのか電場ベクトルの振動方向という電波の隠れた自由度「偏波」を数式で定式化する。直線偏波・円偏波・楕円偏波を一般式から導出し、右旋・左旋円偏波(RHCP/LHCP)の定義、偏波損失係数(PLF)、そして探査機の姿勢変動やファラデー回転に円偏波が強い理由を追う。
- #116スペクトラムアナライザとVNA — RF性能を「測る」計測技術の総合工学雑音指数・Sパラメータ・VSWR・変調精度——これまで数式で定義してきたRF性能指標を、現場では実際にどんな測定器でどう測るのか。スーパーヘテロダイン式スペクトラムアナライザの掃引原理とRBW-掃引時間トレードオフ、VNAのSOLT校正、変調精度を表すEVMの定義とBERとの関係を数式で押さえ、打ち上げ前のRF性能検証試験における位置づけを見る。
送受信機ハードウェア0 / 10
- #43低雑音増幅器とメーザー — システム雑音温度を極限まで下げるG/Tを支配する最重要デバイス、低雑音増幅器(LNA)を掘り下げる。Friisの雑音公式が『初段がすべてを決める』理由を数式で確認し、雑音指数と雑音温度の変換、極低温冷却の物理、そしてHEMTとメーザー増幅器の動作原理を、DSNの実際の数値とともに理解する。
- #44クライストロンとTWTA — 電子ビームで電波を高出力に増幅する送信管の物理受信側のLNAが微弱な信号をいかに静かに増幅するかの話だったのに対し、送信側は数十kWから数Wまで、電力そのものをいかに効率よく作り出すかが課題になる。クライストロンの速度変調・バンチングと、TWTAの遅波回路による連続的なエネルギー伝達を数式で追い、APSKの回で見た非線形歪みの物理的起源を送信管の内部構造から理解する。
- #45探査機RFフロントエンド設計 — ダイプレクサと冗長系が支える1機の通信システムトランスポンダ・TWTA・LNA・アンテナをこれまで個別の要素技術として学んできたが、実際の探査機1機の中ではこれらがどう配線され、どう統合されているのか。送受信を1本のアンテナで同居させるダイプレクサのフィルタ設計トレードオフと、修理不可能な深宇宙機ならではの冗長系設計の信頼性数理を扱う。
- #46HGA・MGA・LGA — 探査機搭載アンテナの使い分けと指向精度の代償利得とビーム幅はトレードオフの関係にある——この原理を探査機に搭載する複数のアンテナ設計に応用する。高利得(HGA)・中利得(MGA)・低利得(LGA)アンテナがなぜ併載され、どう使い分けられるのかを、利得・データレート・ポインティング損失の数式で理解する。
- #54アンテナアレイ合成 — 複数アンテナのコヒーレント合成でG/Tを底上げする1本の巨大アンテナに頼る代わりに、複数の(比較的小さな)アンテナで同じ探査機信号を同時受信し、位相を揃えて足し合わせることでG/Tを底上げする「アンテナアレイ」の考え方を、コヒーレント合成のSNR式とCauchy-Schwarzによる最適合成式から導く。ボイジャー2号海王星探査でのDSNアレイ運用の実例も見る。
- #95フェーズドアレイアンテナ — ビームを位相で電子的に操向するパラボラアンテナは向きを変えるのに巨大な構造物ごと機械的に回転させる必要があるが、平面上に並べた多数の小さな素子アンテナに与える位相を電子的にずらすだけで、ビームの向きを瞬時に変えられるフェーズドアレイの原理を、アレイファクタの導出・グレーティングローブの設計基準・走査損失の数式とともに理解する。
- #96衛星間リンク(ISL) — 1本の中継ホップから、多対多のメッシュへ周回機を1機だけ経由する2ホップ中継から一歩進み、数百〜数千機の衛星が互いにレーザー・RFでリンクを結び合う衛星間リンク(ISL)のメッシュネットワークを扱う。なぜメガコンステレーションでISLが不可欠になるのかを幾何学的に示し、リンク幾何・ハンドオーバー・トポロジ設計を数式とStarlinkの実例で理解する。
- #143SSPA — 半導体トランジスタで電波を増幅する固体電力増幅器TWTAが電子ビームの速度変調とバンチングで電力を作り出すのに対し、SSPAはGaN/GaAsトランジスタの非線形I-V特性と電力合成によって高出力を実現する。バンドギャップの物理からGaNの高出力密度・高温耐性を導出し、効率・線形性・信頼性・質量というTWTAとの多軸トレードオフを数式で理解する。
- #144アンテナフィード系の設計 — ホーンアンテナ・照度分布・偏波器パラボラ反射鏡が焦点に集めた電波を、実際にRF信号へと橋渡しするのはフィード(給電部)という具体的なアンテナ素子である。導波管モードが自由空間へ放射される過程からホーンアンテナの指向性パターンとコルゲート化の利点を導き、照度テーパーとf/D比の整合設計、マルチバンドフィード、円偏波を生む偏波器の実装までを数式とともに扱う。
- #145極低温冷凍工学 — 数K〜数十Kをどう作り、どう維持するかLNA・メーザーを冷やせば雑音温度が下がることは既に学んだが、では実際に地上局はどうやって数K〜数十Kという極低温を作り出し、24時間365日維持しているのか。ジュール・トムソン効果と逆ブレイトンサイクルの熱力学から、スターリング冷凍機・パルスチューブ冷凍機の動作原理、多段冷却の熱設計まで、極低温冷凍工学そのものを数式で理解する。
地上局・DSN運用0 / 10
- #38DSN概論 — 3局体制が支える深宇宙通信システムの全体像PCM/PSK/PM、PLL、レンジング、アンテナ追尾…これまで個別に学んできた技術は、すべてNASA/JPLのDeep Space Network(DSN)という1つの巨大システムの部品だった。ゴールドストーン・マドリード・キャンベラが経度約120度おきに配置される幾何学的理由と、アンテナ利得の式からDSNの全体像を数式で理解する。
- #39SDR — 受信機をハードウェアからソフトウェアへ溶かし込むミキサもフィルタもPLLも、もう半田ごてでは作らない。IFサンプリングとデジタルI/Q復調、位相アキュムレータ式NCO、離散化されたPLLという4つの柱から、深宇宙受信機がなぜ、どうやってソフトウェア無線(SDR)へと置き換わったのかを数式で理解する。
- #47DSN運用スケジューリング — 有限のアンテナを数十のミッションが取り合う資源配分問題34m/70mアンテナが世界にせいぜい十数基しかないDSNを、太陽系中を飛ぶ数十のミッションがどう分け合っているのか。パス要求を制約充足問題(CSP)として定式化し、火星探査機の混雑やクリティカルフェーズの優先度衝突を組合せ最適化の視点から読み解く。
- #51国際相互運用 — CCSDSとIOAGが支える宇宙機関間クロスサポートの枠組みNASA/JPL、ESA、JAXA、Roscosmosはなぜバラバラに地上局網を作らず、標準化団体CCSDSと運用調整組織IOAGという2階建ての国際的な枠組みを築いてきたのか。これまでのレッスンで散発的に登場したCCSDS勧告番号が実は一つの目的でつながっていたことを整理し、クロスサポートを数理的に理解する。
- #93周波数分配とITU電波規則 — 誰が『Xバンドは深宇宙専用』と決めているのかSバンド・Xバンド・Ka帯という周波数の名前を、これまで当然の前提として使ってきた。実際にはITU(国際電気通信連合)の電波規則という国際条約が、周波数帯ごとに『誰が使ってよいか』を一次業務・二次業務という区分で細かく定めている。深宇宙研究業務専用の周波数帯がなぜ国際的に保護されているのか、その制度的な仕組みと国際調整のプロセスを整理する。
- #101地上局運用の自動化 — 無人局とGround-Station-as-a-Serviceがもたらした運用モデルの転換かつては運用要員が常駐してアンテナ指向・受信機設定・記録操作を手作業でこなしていた地上局が、いまやソフトウェアだけでパスを完遂する無人局へと変わりつつある。自動運用シーケンス・異常検知とフェイルオーバー・商用GSaaSの台頭を、DSNスケジューリングの結果を起点に体系立てて理解する。
- #102MOサービス (Mission Operations Services) — ミッション運用センター内部のソフトウェア連携を標準化するSLEは地上局とミッション運用センター(MOC)の間の『配管』を標準化した。では、そのMOCの中身——テレメトリ監視、コマンド計画、軌道決定、アーカイブといった多種多様なソフトウェアどうし——はどう連携すべきか。CCSDS Mission Operations (MO) サービスフレームワークが定めるサービス指向アーキテクチャとMAL(Message Abstraction Layer)の相互作用パターンから、地上系ソフトウェアの相互運用性という『アプリケーション層』の標準化を理解する。
- #103深宇宙通信の歴史 — パイオニアからDSOCまで、電力制限領域を生き抜いた70年これまで100近いレッスンで個別に学んできた変調・符号化・測距・システム運用の技術は、実際にはどういう歴史的順序で登場し、深宇宙通信全体をどう進化させてきたのか。パイオニアの数百bpsから、アポロのユニファイドSバンド、ボイジャーの符号化革命、CCSDSの標準化、火星探査ラッシュ、そしてDSOCの267 Mbpsまで、70年の技術史を定量的に俯瞰する。
- #153地上セグメントアーキテクチャ — バラバラに学んだ要素技術を『1つのシステム』として俯瞰するアンテナと受信機、SLE、MOサービス——これまで個別の回で学んできた技術は、実は『地上セグメント』という1つの統合されたシステムの層でしかない。探査機のRF信号が科学者の手元にデータとして届くまでの全経路を地図として整理し、可用性統計を単一リンクからシステム全体へ拡張し、複数ミッションでの地上インフラ共通化という実務上の設計思想を理解する。
- #154周波数国際調整の実例研究 — 新しいミッションはどうやって干渉なく電波を出せるようになるのかITU電波規則が『誰が使ってよいか』という制度的な枠組みを定めていることは前回学んだ。では実際に新しいミッションが周波数を確保する現場では、どんな数式が回っているのか。干渉電力の計算からC/I比・ΔT/T基準、空間分離とガードバンドという2つの干渉回避戦略、そして調整プロセスの現実的なタイムラインまでを、実務寄りに掘り下げる。
リンク環境・電力設計0 / 9
- #48降雨減衰 — Ka帯化の代償を統計的に設計するG/Tの回で伏線を張った「Ka帯は天候に脆弱」という論点を正式に回収する。ITU-RのkR^αモデルで降雨減衰を定式化し、超過確率にもとづくリンクマージン設計と、DSNのサイトダイバーシティ・バンドフォールバック運用までを数式で追う。
- #49太陽合 — 太陽コロナが引き起こす位相シンチレーションと合ブラックアウト運用探査機が地球から見て太陽の真裏に回り込む太陽合の時期、電波は太陽コロナのプラズマを貫いて届く。プラズマ分散がもたらす群遅延と、コロナ乱流による位相シンチレーションを、PLLのループSNRを拡張する新しい雑音源として定式化し、合ブラックアウト運用の設計判断を理解する。
- #50セーフモード通信 — 姿勢不明の探査機が「生きている」と伝える設計姿勢を失い、電源も機器も不安定なセーフモードで、探査機はどうやって最低限の生存確認だけは地球に届け続けるのか。LGAの全方位カバレッジ、残留搬送波への極端な回帰、ステータストーンによる簡易符号化、そして保守的なリンクマージン設計を数式で追う。
- #98コマンド認証とセキュリティ — 「正しく届く」と「正規の相手から届く」は別問題COP-1は再送によってコマンドが確実に正しい順序で届くことを保証したが、それが正規の管制センターから送られたものかは何も保証しない。MAC(メッセージ認証コード)とリプレイ対策の数式で、探査機コマンドリンクの認証設計の基礎を理解する。
- #100リンク可用性 — 「ある瞬間」のリンクバジェットから「ミッション期間全体」の統計的評価へmodulation-lossで組み立てたリンクバジェットは、ある一瞬の条件下でのスナップショットに過ぎない。降雨減衰・太陽合・アンテナ競合など確率的に発生する劣化要因を積み重ね、ミッション期間全体を通した可用性(Availability)という指標を定式化し、固定マージン設計と統計的マージン設計の考え方の違いを数式で理解する。
- #146探査機電力予算と通信系のトレードオフ — 発電量の頭打ちと距離の二重苦送信電力を上げればリンクマージンは改善するが、探査機に積める電力には厳しい上限がある。DC-RF変換効率から実際の消費電力を求め、太陽電池・原子力電池の発電量制約の中で通信系が他のサブシステムと電力を奪い合う構造と、深宇宙探査機ならではの「発電量低下×リンク要求増大」の二重苦を数式で理解する。
- #147宇宙放射線環境と総電離線量(TID) — じわじわ劣化する電子部品との戦いSEUのような瞬間的なビット反転とは別に、時間とともに半導体を確定的に劣化させる総電離線量(TID)という放射線影響を、ヴァンアレン帯・銀河宇宙線・太陽粒子現象という3つの発生源の性質とあわせて理解する。ジュノーの放射線vaultなど実ミッションのシールディング設計も見る。
- #148リンク設計プロセスの実践ウォークスルー — 架空の火星探査ミッションで通しで計算するEIRP・自由空間損失・G/T・変調損失・符号化利得というこれまで個別に学んできたリンクバジェットの部品を、1つの架空の火星探査ミッションに当てはめて最初から最後まで通しで計算する総合演習。リンクバジェット表を組み立て、マージンを評価し、反復設計の実務プロセスを見る。
- #149アンテナ指向誤差バジェット — 複数の誤差要因からポインティング精度を設計するアンテナ・タイプの回で登場した指向誤差θ_errは、これまで単一の量として扱われてきた。実際には構造・熱・姿勢決定・姿勢制御・地上局追尾という独立した誤差要因が積み重なって生じる。RSS(二乗和平方根)合成則と系統誤差・ランダム誤差の区別を数式で押さえ、ミッション要求から各要因への予算配分を設計する誤差バジェット表の作り方を学ぶ。
ミッション設計・将来技術0 / 10
- #52光通信・DSOC — 波長を短くするとアンテナ利得はどこまで上がるのかこれまで電波(RF)を前提にしてきた深宇宙通信に、波長がRFの1万分の1以下しかない可視光〜近赤外のレーザーを持ち込むとどうなるか。アンテナ利得の式にλ=1550nmを代入して桁違いの利得を確認し、その代償としての極端な指向精度要求・大気擾乱・雲による遮断を、NASAのDSOC(サイキ探査機搭載)の実データとともに理解する。
- #53中継通信アーキテクチャ — ローバーと周回機が支える2ホップリンク火星表面のローバーは、なぜ地球と直接大容量通信をしないのか。探査機-地球の直接リンクを前提としてきたこれまでの議論を、周回機を中継点とする2ホップアーキテクチャへ拡張し、リンクバジェットの分割・パス時間制約・Store-and-Forward運用を数式で理解する。
- #97CubeSat/SmallSat通信システム — 極小衛星がもたらすリンクバジェットと設計哲学の転換10cm立方の衛星が、数百kmの低軌道から地上のアマチュア無線家にビーコンを届ける。極小の電力・アンテナ・姿勢制御精度が通信系の設計をどう制約し、深宇宙探査機とは正反対の設計哲学(COTS・低冗長)をどう要求するのかを、リンクバジェットの数式で理解する。
- #99探査機のEMI/EMC設計 — 同じ筐体の中で電波を汚さないための電磁両立性探査機には通信機だけでなく観測センサ・デジタル回路・モータ・スイッチング電源が同じ狭い筐体に同居し、互いにノイズの加害者にも被害者にもなりうる。伝導性干渉と放射性干渉という2つの経路を区別し、LNAが拾う微弱信号がデジタル回路のクロック高調波にいかに脆弱かを干渉波対信号波比の数式で議論した上で、シールディング・接地・ボンディング・ESD対策とEMC試験プロセスを理解する。
- #117深宇宙通信の未来 — DSN刷新からLunaNet、火星圏、AI受信機まで全117回の最終回。老朽化したDSNアンテナ群の刷新計画、Ka帯運用の拡大、光通信地上局網の本格整備、LunaNetと火星圏通信インフラの構想、RF/光ハイブリッドアーキテクチャ、AI・機械学習による受信機の高度化という6つの軸から、これから10〜20年の深宇宙通信技術ロードマップを展望し、このカリキュラム全体を振り返る。
- #150コンステレーション設計トレードオフ — 高度・衛星数・コストの三すくみメガコンステレーションのネットワークトポロジより一段上流にある問い、そもそも何機の衛星をどの高度に配置するかというミッション設計を扱う。視野角の幾何学からカバレッジに必要な衛星数を導出し、低軌道ほど有利なリンクバジェットと、高軌道ほど有利な衛星数・コストという根本的なトレードオフを、StarlinkとOneWebの設計思想の違いから読み解く。
- #151信頼性工学の基礎 — MTBFと直列・並列系の信頼度で読み解く冗長設計の数理探査機RFフロントエンドの回で軽く触れた「プライム・バックアップの2系統」という冗長設計を、信頼性工学の一般理論として体系的に扱う。指数分布による故障モデルR(t)=e^{-λt}の導出から、直列系・並列系の信頼度計算、冗長化の限界とスイッチのボトルネック、FMEAによるクリティカリティ解析まで、なぜ探査機の冗長設計が地上システム以上に死活的かを数式で理解する。
- #152Vモデル — 通信サブシステムはどういうプロセスで作られるのか100を超えるレッスンで学んできた変調・符号化・追跡・プロトコルの技術要素は、実際の探査機開発では要求定義から軌道上実証まで続く一本の川の途中で使われる部品にすぎない。システムズエンジニアリングのVモデルという枠組みで、通信サブシステムの設計・検証プロセス全体を俯瞰し、トレーサビリティという考え方とPDR/CDRといった実務のレビュー体系を整理する。
- #155月面ゲートウェイ通信アーキテクチャ — NRHOが両立させる地球可視性と月面中継深宇宙通信の未来の回で軽く触れたLunaNet構想の中核、月周回有人拠点Gatewayを掘り下げる。なぜ通常の円軌道ではなくNRHO(準直線ハロー軌道)を選ぶのか、地球との直接リンク・月面との近傍中継・将来インフラのハブという3つの通信上の役割を、可視性の幾何学とKa帯リンクバジェットの数式で理解する。
- #156宇宙状況把握(SSA) — 通信リンクがセンサになるとき、カタログ・RFフィンガープリンティング・国際データ共有の数理自分のネットワークの健全性監視と、2機の衝突リスク評価。この2つを統合し、軌道上のすべての物体を対象にする、より広い概念としてのSSA(Space Situational Awareness / Space Domain Awareness)を扱う。地上局が受信する電波そのものが軌道上物体の状態を語る『センサ』になるという視点と、単一機関を超えたSSAデータの国際共有の枠組みを整理する。
アンテナ・RFハードウェア詳細0 / 8
- #191導波管モード理論 — 中空の金属管が大電力マイクロ波を運ぶ物理DSNの数十kW級送信系はなぜ同軸ケーブルではなく中空の金属管で給電されるのか。マクスウェル方程式と境界条件から矩形導波管のTE/TMモードと遮断周波数を導出し、管内波長・位相速度・群速度の分散関係、壁面損失、大電力耐性までを数式で理解する。
- #192サーキュレータとアイソレータ — フェライトが破る相反性、一方通行のマイクロ波受動素子のS行列は対称になるはずなのに、サーキュレータはなぜ1→2→3→1の一方向にしか電力を通さないのか。静磁界中のフェライトでスピンが歳差運動し、右回りと左回りの円偏波に異なる実効透磁率(Polderテンソル)を与える物理から非相反性を導出し、無損失・整合・相反な3ポートが存在し得ないことの行列的証明、アイソレーション・挿入損失・VSWRという実務指標、TWTA出力段保護までを扱う。
- #193アンテナホログラフィによる鏡面精度測定 — 遠方界パターンから開口面の歪みを逆算するRuzeの式は鏡面RMS誤差から利得損失を教えてくれるが、70m級反射鏡の「どこが」「どれだけ」歪んでいるかは教えてくれない。静止衛星ビーコンを基準信号として複素遠方界パターンを2次元走査し、逆フーリエ変換で開口面の位相分布を求め、パネル調整量マップまで落とし込むマイクロ波ホログラフィの原理と運用を、フーリエ変換対の性質・分解能とエイリアシングの条件・2チャンネル位相基準の数式とともに理解する。
- #194ビーム導波管アンテナの光学系設計 — ガウシアンビームで鏡列を配置する極低温冷却された低雑音受信機を、仰角とともに動く副鏡の裏ではなく、地下の静止した部屋に置きたい。DSNの34m BWGアンテナはそれを鏡列で実現する。ビームウエスト・レイリー長・ビーム半径の発展というガウシアンビーム光学の枠組みで、各ミラーの必要口径と配置則、そして代償としての雑音温度増加を定量的に設計する。
- #195アンテナサイト選定とRFI環境評価 — 地上局をどこに建てるかという設計変数深宇宙探査機から届く電力は 10のマイナス19乗 W級であり、都市の携帯基地局やレーダーが漏らすわずかな人工電波(RFI)に容易に埋もれる。だからこそ『地上局をどこに建てるか』は、アンテナ口径や低雑音増幅器と並ぶれっきとした設計変数になる。ナイフエッジ回折による地形遮蔽の定量化、電波静穏地域の制度、スペクトラムアナライザによる長期RFI測定キャンペーンの統計、そして水蒸気量・地盤・経度分散という複合判断を、DSN三局の立地根拠に即して整理する。
- #196アレイアンテナの位相校正 — 数千素子の位相を揃え続ける技術フェーズドアレイの理論は「各素子の位相を正確に制御できる」ことを暗黙の前提にしているが、製造ばらつき・ケーブル長差・温度変化・素子故障のせいで、この前提は放っておくと簡単に崩れる。ランダム位相誤差による利得低下のRuze型の式、1素子ずつ位相を回して複素励振を推定するREV法、相互結合を使った内蔵校正、故障素子の検出と縮退運用までを数式で理解する。
- #197RF電力増幅器のDC-DC電源変換 — バス28Vと増幅器のあいだにある効率の第二段SSPAのPAEやTWTAの効率を語るとき、実はバス一次電圧から増幅器の動作電圧へ変換する電源段が挟まっており、その効率が総合効率に直接掛かる。降圧コンバータのデューティ比と電流リプル、導通損・スイッチング損のトレードオフから最適周波数を導き、TWTA用EPCの多段高電圧出力、放射線耐性・EMC設計という宇宙特有の制約までを数式で理解する。
- #198展開アンテナの機構設計 — フェアリングに収まらない口径を軌道上で開く利得は口径面積に比例するが、口径はロケットフェアリングの内径という物理的な壁に阻まれる。この壁を越えるための軌道上展開機構を、剛体パネル折り畳み・メッシュリフレクタ・インフレータブルという3方式に分類し、収納効率とデータレートの関係、メッシュの透過損失、展開機構の信頼度とトルクマージン、展開ダイナミクスと減衰、そして面精度劣化がRuze式を通じて使用可能周波数の上限を決めるまでを数式で理解する。
運用計画・ミッション事例0 / 8
- #199リンクマージンのモンテカルロ評価 — ワーストケース積み上げから統計的リンク設計へ全パラメータの最悪値を線形に積み上げるワーストケース設計は、確率的にはほぼ起こりえない条件に合わせた過剰な保守設計になりがちである。リンクバジェットの各項を確率分布としてモデル化し、RSS法とその限界、モンテカルロ・シミュレーションによる「マージン>0の確率」としてのリンク信頼度評価、必要試行回数、そして過剰マージンの機会損失までを数式で定式化する。
- #200地上局共有の経済学 — 固定費支配の巨大設備を複数ミッションでどう分け合うか34m/70mアンテナは建設費も年間運用費も極めて大きく、しかもその大半が「使っても使わなくてもかかる」固定費である。単一ミッション専有が非効率になる理由をコストモデルC_fix/N + C_var·n_iとして定式化し、アパーチャ時間という課金単位、待ち行列理論が示す「稼働率100%設計の危険」、そしてGSaaSとクロスサポート協定という2つの共有形態を、技術ではなく経済と運用の最適化問題として体系的に扱う。
- #202探査機の自律性レベルと通信要求 — 光速の壁が決める「どこまで任せるか」火星で片道4〜22分、太陽系外縁では数時間という光行時間の壁は、地上からの逐次操作を原理的に不可能にする。ECSSが定める自律性レベルE1〜E4という枠組みを出発点に、自律性の度合いがダウンリンク量・許容中断長(survival time)・地上局スケジューリングの余裕・セーフモードの設計思想をどう定量的に変えるかを、通信システム設計の視点から定式化する。
- #203科学データの自律トリアージ — 探査機自身が「何を送り、何を捨てるか」を決める観測機器が生むデータ量はダウンリンク容量を桁で上回る。この不可避のミスマッチを、価値vs容量のナップサック問題として定式化し、価値密度による貪欲法の近似度と限界、ルールベースから機械学習まで含む価値推定器の設計、false negativeのリスク管理、サムネイル先行の2段階ダウンリンク、そして耐放射線プロセッサの計算制約までを、EO-1のASEや火星探査車の実例とともに数式で追う。
- #204レーザー通信端末の設計 — 数μradのビームを外さずに狙い続ける機構光通信の利得は回折限界ビーム幅θ≈λ/Dの狭さと表裏一体であり、λ=1550nm・D=22cmでは約7μradしかない。この鋭さを実際に「当て続ける」ためのハードウェア設計を、許容指向誤差のRSS誤差バジェット、粗指向ジンバルと高帯域ファインステアリングミラーの二段構成による外乱抑圧、光行差から生じる数百μradのポイントアヘッド角、送受共用望遠鏡・迷光・狭帯域フィルタ・検出器の実装制約、そして熱変形が直接指向誤差に化ける熱設計まで、DSOC(Psyche搭載)とLCRDの実例とともに定式化する。
- #205光地上局ネットワークの設計 — 「雲があれば繋がらない」を可用性の数式に落とす光リンクは雲に対して減衰ではなく完全遮断で応答するため、単一局の晴天率(典型60〜70%)がそのままリンク可用性の上限になる。サイトダイバーシティによる可用性1-(1-p)^Nの基本式と、気象の空間相関がそれをどう楽観バイアスに変えるかを定式化し、局配置の多目的最適化・大気路程sec z・昼間背景光・動的ハンドオーバー・光子バケツ型大口径受信までを、DSOC/パロマー、ESA OGSの実例とともに設計論としてまとめる。
- #206JWSTの通信アーキテクチャ — 太陽-地球L2点という特殊な舞台で通信系はどう設計されたかジェイムズ・ウェッブ宇宙望遠鏡(JWST)を題材に、これまで学んだ要素技術が実在ミッションでどう統合されているかを見る。地球から約150万kmのハロー軌道という幾何学的条件、Ka帯25.9GHzでの自由空間損失244dBの実計算と28Mbpsダウンリンクの成立過程、サンシールドによる熱分離が通信系の配置と可動範囲を縛る構造、そして1日あたり生成データ量と限られたDSNパス時間のバランスまでを、数値とともに追う。
- #207同時運用時のスケジューリング競合 — 火星到着ラッシュで地上局が足りなくなるとき約26ヶ月ごとの打ち上げウィンドウのせいで、複数国の探査機の軌道投入・EDLという「二度と繰り返せない」イベントが数日のうちに集中する。この構造的競合を重み付き区間スケジューリングとして定式化し、優先度決定の論理、MSPA・クロスサポート・オンボード保持・Ka帯化という緩和策、そしてテレメトリを失うことのミッション保証上のリスクを、2021年の火星到着ラッシュを題材に数式で読み解く。
ネットワーク・プロトコル0 / 36
データリンク層プロトコル0 / 10
- #55CCSDS Space Packetプロトコル — 探査機データを仕分ける最小単位の器変調・符号化・測距という物理層の話が一段落し、ここからはネットワーク・プロトコル層に入る。複数の観測機器のデータをどう1本のRFリンクに詰め込むか、CCSDS 133.0-B Space Packet Protocolのヘッダ構造とAPIDによる仕分けの仕組みを読み解く。
- #56SpaceWire — 探査機の筐体内部をつなぐ高速シリアルデータバスSpacePacketが「何のデータをどう詰めるか」という論理層の約束事だったのに対し、今回はそのSpacePacketを探査機の筐体内部で観測機器⇔データ処理ユニット⇔通信系の間で実際に運ぶケーブル規格SpaceWire(ECSS-E-ST-50-12C)を、物理層のDS符号化からFCTによるクレジット制フロー制御、ワームホールルーティングまで数式で追う。
- #59CCSDS宇宙データリンクプロトコル — SpacePacketをフレームに詰め、仮想チャンネルで多重化するSpacePacketという論理データ単位は、RFリンクに乗るまでに『トランスファーフレーム』という固定長の箱に詰め替えられる。CCSDS TM宇宙データリンクプロトコル(132.0-B)のフレーム構造を読み解き、仮想チャンネル(VC)・マスターチャンネル(MC)という2階層の多重化と、パケットレベルのAPIDとの役割分担を整理する。
- #61AOS宇宙データリンクプロトコル — ISSのための高速・多チャンネル拡張国際宇宙ステーションのような有人・多国籍・多システムのプラットフォームは、深宇宙探査機とは桁違いに複雑な通信要求を抱えている。TMプロトコルを土台にしつつ、多様なデータユニット種別・64本の仮想チャネル・Insert Zoneといった拡張を備えたCCSDS AOS宇宙データリンクプロトコル(CCSDS 732.0-B)を、TMとの構造比較から理解する。
- #62Proximity-1宇宙リンクプロトコル — 近距離だからできる対話型通信ローバーと周回機の間の数百kmリンクは、数億km彼方のDSNとの直接リンクとは通信設計の発想がまったく違う。低遅延ゆえに実現できる自動ハンドシェイク・対称マスター/スレーブ・ハードウェアARQを備えたCCSDS Proximity-1プロトコルを、遅延の桁の違いから読み解く。
- #63COP-1 — コマンドを確実に、正しい順序で届ける再送制御プロトコル地上から探査機へのコマンド送信は、テレメトリと違って1個の欠落・順序の入れ替わりが致命的になりうる。CCSDS 232.1-BのCOP-1を、FARM/FOPという2つの状態機械とCLCW・タイムアウト再送の数式で理解する。
- #64CCSDS時刻コード — CUC/CDSフォーマットで探査機と地上局の時刻をそろえる測距もドップラーもフレーム同期も、根底には共通の時刻表現がなければ成り立たない。CCSDS 301.0-Bが定めるCUC/CDS時刻コードのビット構造、探査機がUTCでなく連続時刻系で運用される理由、そしてタイムスタンプ精度がDDORや重力科学の精度要求にどう波及するかを数式で追う。
- #107探査機搭載データバスの比較 — MIL-STD-1553、CANバス、SpaceWireSpaceWireは探査機搭載バスの唯一の選択肢ではない。決定論的TDMAのMIL-STD-1553、優先度ベース調停のCANバス、高速ポイントツーポイントのSpaceWireを、データレート・トポロジ・決定性・コストの4軸で比較し、なぜミッションの規模と予算が採用バスを決めるのかを理解する。
- #159プロトコル階層設計思想 — OSI参照モデル対CCSDS独自層構造SpacePacket、TM/TCフレーム、SLE、CFDPと個別に学んできたCCSDSプロトコル群を、いったん俯瞰する回。地上ネットワークの標準であるOSI 7層モデルを整理し、CCSDSがなぜそれをそのまま採用せず、深宇宙リンクの帯域・遅延・電力制約に最適化された独自の層構造を選んだのかを、これまでのレッスンを横断しながら考える。
- #166スキーマ駆動シリアライゼーション — Protocol Buffersに見る可変長エンコーディングと後方互換性CCSDS Space Packetの固定ビット幅ヘッダは、フィールドを1つ足すたびに送受信双方のコードを手で書き換える必要がある。Protocol Buffers的なスキーマ駆動シリアライゼーションが、タグ付きフィールドとVarint可変長エンコーディングによってこの問題をどう解決するかを、符号量の数式とともに読み解く。
ファイル転送・DTN0 / 9
- #57DTN — TCP/IPが通用しない世界のためのネットワーク設計地球のインターネットが前提とする「常時接続・低遅延・低損失」は、光速の壁と断続的な可視時間を持つ惑星間通信では根本的に成り立たない。TCPが往復数十分の遅延でなぜ機能不全に陥るかを数式で確認し、Bundle Protocolの蓄積転送とカストディ転送によるDTNアーキテクチャを理解する。
- #60CFDP — ファイル単位で信頼性を保証する宇宙データ転送プロトコル探査機のソフトウェアアップデートや大容量科学データを、部分的な欠損があっても最終的に完全な形で届けるにはどうすればよいか。CCSDS 727.0-Bで規定されるCFDPのクラス1/クラス2、NAKベースの選択的再送、惑星間遅延に耐える確認応答設計を、TCPのSACKとの類比と確率的な往復回数の見積もりから理解する。
- #65SCPS — TCP/IPを宇宙リンクに適応させた通信プロトコル群地上のインターネットが使うTCP/IPを、そのまま数億kmの深宇宙リンクに持ち込むと何が壊れるのか。DTNのBundle Protocolに先立って登場した宇宙特化プロトコル群SCPS(SCPS-NP/TP/SP/FP)を、TCPのウィンドウ・輻輳制御の数式とともに理解する。
- #66LTP — 1ホップの信頼性を運ぶコンバージェンスレイヤDTNのバンドルという論理単位を、往復数十分の1リンク区間でどう確実に(あるいはあえて不確実に)転送するか。RFC 5326/CCSDS 734.1-BのLTPを、レッドパート・グリーンパート、チェックポイント・レポートによる選択的再送、光伝搬遅延に基づくタイムアウト設計から理解する。
- #67Contact Graph Routing — 時刻表の上で最短経路を探す常時接続を前提とするインターネットのダイクストラ法は、接続が時間窓としてしか存在しない惑星間ネットワークでは使えない。接触機会を時間窓付きのエッジとしてグラフ化する「Contact Graph」と、それを探索するCGRアルゴリズムを、蓄積遅延も含めた形で数式的に理解し、全67回のカリキュラムを締めくくる。
- #106IP over CCSDS — 宇宙リンクの上でインターネットプロトコルそのものを走らせるSpacePacketやTM/TCフレームというCCSDS独自の体系とは別に、地上のインターネットが使うIPそのものを宇宙リンクに持ち込む試みがある。Encapsulation Service(CCSDS 133.1-B)によるカプセル化の仕組みと、UDPベースの軽量ファイル転送プロトコルSaratogaを、オーバーヘッドの定量評価とCFDPとの対比から理解する。
- #157疫学的ルーティングとSpray-and-Wait — 接触機会が予測できないDTN環境の経路制御前回学んだContact Graph Routingは接触機会のスケジュールが事前に予測できることが前提だった。では月面ローバー群のように、いつ・誰と出会うか分からない環境ではどうするか。疫学的ルーティングとSpray-and-Waitを、コピー数の増加を表す数式とともに比較し、CGRとの適用領域の違いを整理する。
- #158Named Data Networking — 「どこに送るか」ではなく「何が欲しいか」で通信するネットワーキングIPもBundle Protocolも、根底では「宛先ノードのアドレス」を前提にしていた。情報指向ネットワーキング(ICN)の代表格であるNamed Data Networking(NDN)は、宛先ではなく「欲しいデータの名前」そのものを要求するという全く異なる通信モデルを提案する。InterestとDataという2種類のパケット、そして経路上のキャッシュ(Content Store)がDTN環境や惑星表面の編隊探査とどう噛み合うのかを、研究段階の技術として正直に位置づけながら理解する。
- #167惑星表面資産のメッシュネットワーキング — ローバー群が織りなす自律ネットワークへローバー1機・周回機1機という単純な近接リンクの構図は、将来の月・火星探査では複数のローバー・着陸機・固定観測ステーションが地表に展開される世界へと拡張される。マルチホップ中継の幾何学、DTNとCGRが混在するハイブリッド経路制御、間欠的な電力制約下での中継参加という3つの角度から、惑星表面メッシュネットワークの構想を数式で理解し、全167回のカリキュラムを締めくくる。
地上系・運用サービス0 / 9
- #58SLE (Space Link Extension) — 地上局とミッション運用センターをつなぐ標準インターフェース地上局アンテナが受信したフレームは、どうやって数百〜数千km離れたミッション運用センターまで届くのか。RAF・RCF・FSP・CLTUという4つの代表的サービスと、生産ステータス通知によるリアルタイム性の担保という仕組みから、CCSDS SLEがRFハードウェアと運用ソフトウェアを疎結合にする標準インターフェースを数式と状態遷移で理解する。
- #108宇宙ネットワークのQoS — 仮想チャンネルに優先度をつけ、限られた帯域を配分する仮想チャンネル(VC)は複数のデータストリームを区別するラベルにすぎない。では緊急のヘルスモニタリングデータと大容量の科学データが同じダウンリンクを奪い合うとき、どちらを先に送るべきか。優先度キューイングとM/M/1優先度モデルで、宇宙ネットワークのQoS(Quality of Service)設計を定量的に考える。
- #109宇宙ネットワークの管理 — SNMP/MIBの発想でメガコンステレーション時代の監視を捉える誰がいつアンテナを使うかというDSNスケジューリングの問題を解決した先で、運用中のネットワーク全体が本当に健全かをどう見張るのかという新しい課題が立ち上がる。地上のネットワーク管理で使われるSNMP/MIB、ポーリングとトラップという2つの情報収集モデルを、数百〜数千機規模の宇宙ネットワークにどう適用するかを整理する。
- #110宇宙ネットワークにおけるマルチキャスト配信 — 1対多をどう効率化するかメガコンステレーションの数百機の衛星や複数の同型ローバーに同じソフトウェアを配信するとき、CFDPのような1対1転送を人数分繰り返すのは非効率すぎる。必要帯域の数式でその非効率性を示し、FECとファウンテン符号的な発想がどう解決の糸口になるかを理解する。
- #113CCSDS準拠性試験と相互運用性検証 — 標準があるだけでは繋がらない標準規格に準拠して実装したはずなのに、いざ接続すると通信できない——なぜそんなことが起きるのか。PICS(適合性宣言書)による自己申告、クロステストによる実接続検証、そして単体試験から機関間接続試験までの階層的な検証プロセスを通じて、CCSDS標準を「紙の上の合意」から「実際に動く相互運用」へと橋渡しする実務を数理的に理解する。
- #160モーションイメージリー配信 — 圧縮済み動画を宇宙リンク上でストリーミングするプロトコル設計動画を圧縮するアルゴリズム(Iフレーム中心の設計)と、圧縮されたデータをネットワーク上でどう配信するかというプロトコル設計は別の問題である。CFDPで学んだ『完全性優先』とストリーミングの『タイムリーさ優先』という設計思想の違いを軸に、CCSDSモーションイメージリー規格、ジッタバッファ、そしてFECとARQという2つの誤り対策の使い分けを、宇宙リンク特有の伝搬遅延の制約から導く。
- #161地上ネットワークのサイバーセキュリティ — RFリンクを守っても、その先が破られたら意味がないSDLSは探査機と地上局を結ぶRFリンクを暗号学的に保護する仕組みだった。しかし地上局からミッション運用センターまでを結ぶ地上系ネットワークは、SLE接続もMOC内部LANも、普通のインターネットと同じ攻撃対象領域を持つ。多層防御(Defense in Depth)という古典的なITセキュリティの考え方が、なぜ宇宙ミッションの地上系にもそのまま必要になるのかを整理する。
- #162地上系のAPI設計 — REST/gRPCというウェブ由来の設計思想を宇宙地上系に取り込むCCSDS MOサービスは宇宙業界が独自に育てたサービス指向アーキテクチャだったが、近年は地上のウェブ・クラウド業界で磨かれたREST/gRPCという別系統のAPI設計思想が、地上系ソフトウェア統合に流れ込みつつある。リソース指向とステートレス性、Protocol Buffersによる型付きストリーミングという2つの設計思想を対比し、商用地上局サービスがなぜこれらを採用するのかを見る。
- #164通信系デジタルツイン — 実機を作る前に、実機を「動かして」試験するPICSとクロステストによる相互運用性検証、Vモデルの試験プロセスを踏まえ、実機の物理的挙動をソフトウェアで忠実に再現する「デジタルツイン」という試験手法を扱う。自由空間損失・G/T・変調損失といった数式モデル群をシミュレーションとして統合し、SDR的なプロトコルスタック模擬や軌道・姿勢モデルと結びつけることで、設計検証・異常診断・将来シナリオ評価にどう使われるかを見る。
セキュリティ・先進ネットワーク技術0 / 8
- #104CCSDS SDLS — MACとフレーム構造を統合する宇宙データリンクセキュリティ標準MACによる認証の原理と、TM/TCトランスファーフレームの構造を、それぞれ別のレッスンで学んだ。この2つを実際にどう縫い合わせるかを規定するのがCCSDS 355.0-B、SDLS(Space Data Link Security Protocol)である。セキュリティヘッダ・トレーラのフィールド構造、認証/暗号化/認証付き暗号の3サービス、鍵管理の基礎を整理する。
- #105衛星量子鍵配送(QKD) — 物理法則そのもので盗聴を検知する鍵配送計算量的安全性に頼る従来暗号は、将来の量子コンピュータで根底から崩れうる。単一光子の偏光状態に鍵を乗せ、観測が状態を乱すという量子力学そのものを盗聴検知に使うBB84の原理を数式で追い、光ファイバーの指数減衰を衛星の幾何減衰で置き換えることで大陸間鍵配送を実現するMicius(墨子号)の実証実験を見る。
- #111メガコンステレーション通信アーキテクチャ — 衛星群を1つのネットワークにする数百〜数千機の低軌道衛星が衛星間リンクで結ばれるとき、個々のリンクの集合は1つの巨大な動的ネットワークになる。Walker constellationの規則性がもたらすネットワークトポロジ、ネットワーク直径のオーダー評価、ハンドオーバーに追従し続けるルーティングの課題、そして真空中伝搬が地上ファイバーより低遅延になりうる理由を数式で理解する。
- #112宇宙向けソフトウェア定義ネットワーキング(SDN) — 制御プレーンを衛星から切り離すSDRが変えたのは信号処理という物理層の中身でした。この回で扱うのは1つ上のレイヤー、すなわち「パケットをどこへ転送すべきか」を決める論理そのものです。データプレーンとコントロールプレーンを分離するSDNの発想を、絶えず組み替わるメガコンステレーションのトポロジに適用する発想と、伝搬遅延がその発想に突きつける固有の制約を数式で理解します。
- #114C&DHサブシステム — 探査機の「頭脳」がコマンドとテレメトリを統べる仕組みRFフロントエンドで受信したコマンド、各機器から集まるテレメトリ、そして全機体で共有すべき時刻。これらを統合的に処理する探査機の中枢、C&DH(Command and Data Handling)サブシステムの全体像を、耐放射線設計とFDIRの考え方とあわせて理解する。
- #115マスメモリとオンボードデータ蓄積 — 可視時間の外で生まれるデータをどう守るか中継のパスや深宇宙探査機の観測姿勢によって、ダウンリンクできる時間は常に限られている。生成レートと転送レートのミスマッチをバッファサイズの積分式で見積もり、放射線環境で誤り訂正メモリがビット反転とどう戦い、限られた容量の中で科学的価値の高いデータをどう優先して残すかを、数式とNew Horizons・JWST・火星探査車の実例で理解する。
- #163オンボードファイルシステム設計 — フラッシュメモリの上に「壊れないファイル」を実現するマスメモリのフラッシュチップとバッファ管理の上に、実際に「ファイル」という単位でデータを整理・検索・削除できる論理層をどう構築するか。地上のジャーナリングファイルシステムが前提とする安定電源とは異なり、探査機は書き込みの最中にリセットが起こりうる環境であるため、ログ構造化ファイルシステムによる追記とガベージコレクション、ウェアレベリングと両立するメタデータ設計によって「電源がいつ落ちても壊れない」構造を実現する必要がある。Mars Exploration Roverの実際のフラッシュ異常事例と、CFDPのファイル管理操作(Filestore Request)まで、数式と実例で理解する。
- #165探査機フライトソフトウェアのOTA更新 — 「動いているコンピュータの中身」を書き換える地上のスマートフォンOTA更新と違い、探査機のフライトソフトウェア更新は失敗すれば機体全体が二度と目覚めないリスクを伴う。CFDPで学んだ転送の信頼性の先にある、イメージのハッシュ検証、A/Bパーティションによる安全な書き込み、そしてデッドマンスイッチ的な自動ロールバック機構を数式で理解する。