アイ‐エフ‐エフ【IFF】
アイ‐エフ‐エフ【IFF】
読み方:あいえふえふ
【敵味方識別装置】(てきみかたしきべつそうち)
Identification Friend or Foe (IFF)
レーダーで捉えた目標が、友軍機であるかそうでないかを自動的に識別する装置。
暗号コードを送信し、受信した側はそれに返答をすることにより友軍、ないしは民間航空機であることを知らせる。
1940年代、第二次世界大戦時にアメリカとイギリスによりMK-Iとして初めて使用された。その後、民間用にも拡張された。
送信には1090MHz、応答には1030MHzの周波数帯を用い、パルスコードで送信するため、比較的低出力でも広範囲に送信することが出来る。
返答があった場合は間違いなく友軍であると判るが、返答が無かった場合は必ずしも敵であるとは限らないので、注意が必要。
過去、IFFを装備しているにも関わらず数度の誤射事故が発生している。
動作モード
IFFの動作には複数のモードが存在する。
以下にその概要を示す。
モード名 | 概要 |
Mode 1 | 軍用、航空管制(AWACS等)において使用。 返答できるパターンが64通りしかないため、対象の識別には使われない。 |
Mode 2 | 軍用、航空機を識別するために使用。 返答パターンが4096通りある。 |
Mode 3/A | 民間・軍事共用。ATCのコードと共通で航空管制用に用いられる。 空港管制側で計器飛行中の各機に4桁のユニークIDを割り当て、「Mode C」と共に使われる。 |
Mode C | 高度応答モード。このモードでの質問信号が送られると、受信側は自機の現在高度を返答する。 「Mode 3/A」とあわせて用いられる。 二次元レーダーしか備えていない空港・飛行場では、これが対象機の高度を知る唯一の術となる。 |
Mode 4 | 軍事用の暗号化されたモード。 本来の用途である「敵味方識別」にはこのモードを使う。 |
Mode S | 従来の各モードの欠点を改良したモード。 質問信号とは別途に識別信号を設定し、個別の航空機のみから応答を引き出すことが可能となっている。 「Mode 3/A」と互換性あり。 |
IFF
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/05/24 05:48 UTC 版)
ナビゲーションに移動 検索に移動IFF
- 国際フロアボール連盟 (International Floorball Federation)
- 敵味方識別装置(Identification Friend or Foe)
- 数学における同値(if and only if)
- 国際ファッションフェア(International Fashion Fair)の略。
- 家族機能研究所 Institute for Family Functioning の略。
- Interchange File Formatの略。
- 香料メーカーのインターナショナル・フレバー・アンド・フレグランス (International Flavors and Fragrances、アイ・エフ・エフ)
![]() |
このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。 |
ILBM
ILBM (アイエルビーエム、Interleaved Bitmap の略)は、Interchange File Format (IFF) を使って画像データを格納するファイルフォーマット。画像データは可変個のビットプレーンとして格納される。ビットプレーンとは、画像内の各ピクセルの特定のビットだけを集めたものである。水平方向と垂直方向の連長圧縮をサポートしている。
このフォーマットは、Amiga のチップセットの機能と密接に関連しており、そのチップセットには3つの世代がある。
Amigaとの関係
OCS (Original Chip Set) と ECS (Enhanced Chip Set) では、最大6枚のビットプレーンをサポートしており、普通に考えれば64色表示が可能である。しかし、パレットレジスタは32個しかない。5枚のビットプレーンはパレットレジスタ番号にそのまま対応している。6枚のビットプレーンの用途は2つある。1つはピクセルの輝度(明るい/暗い)を指定して64色を表示するモードである。もう1つは HAM (Hold And Modify) モードと呼ばれ、パレットでは16色しか使わず、制限付きながら4096色を表示するモードである。
AGA (Advanced Graphics Architecture) チップセットでは、8個のビットプレーンを使え、256色のパレットレジスタがある。このため、64色、128色、256色のモードがある。さらに HAM8 モードで64色のパレットを使って、最大 262,144 色を表示する。
ILBM は IFF に基づいているため、ファイルはチャンク (chunk) で構成される。各チャンクには4バイトのタイプ識別子、4バイトのチャンク長があり、その後の構造はチャンクのタイプによって異なる。このような構造により、フォーマットを容易に拡張できる。プログラムは未知のチャンクをスキップすればよいからである(長さは判っている)。
チャンク
以下のチャンクがILBM用に定義されている。
- BMHD (BitMapHeaDer)
- CMAP (ColorMAP) - カラーパレット用標準IFFチャンク
- GRAB (GRAB position)
- CAMG (Commodore AMiGa computer)
- BODY - ビットプレーンとマスク。
もちろん、ILBMファイルにも標準IFFチャンクを含めることができ、作者、バージョン、コピーライトなどを記述できる。Deluxe Paint で作成したファイルには次のチャンクもある。
- DPAN (Dpaint) - Deluxe Paint の設定を格納
ILBM から派生したフォーマットとして、アニメーションをサポートした ANIM がある。ANIM ではさらに以下のチャンクが定義されている。
- ANHD (ANimation HeaDer)
- DLTA (DeLTA) - フレーム間の差分を格納。圧縮方法もいくつかサポートしている。
同値
同値(どうち)または等価(とうか)とは、2つの命題が共に真または共に偽のときに真となる論理演算である。 英語ではequivalence (EQ)。「if and only if(~のとき、かつそのときに限る)」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。 演算子記号は ⇔、↔、≡、=、EQ などが使われる。
真理値表
命題 P | 命題 Q | P ⇔ Q |
---|---|---|
真 | 真 | 真 |
真 | 偽 | 偽 |
偽 | 真 | 偽 |
偽 | 偽 | 真 |
性質
基本的な性質
同値の基本的な性質は以下の通り。
(
二つの条件 p 、q に対して、「 p を満たすものは全て q も満たす 」 というとき、「 p は q である為の十分条件である 」 あるいは 「 q は p である為の必要条件である 」 という。
また、「 p は q である為の十分条件であり、q は p である為の十分条件である 」 というとき、「 p は q である為の必要十分条件である 」 あるいは 「 p と q とは同値である 」 という。
例 1
ある数が4の倍数である為には、その数は少なくとも偶数である必要がある。つまり、偶数であることは、4の倍数である為の必要条件である。ただし、偶数であっても、必ずしも4の倍数であるとは限らない。
また、ある数が4の倍数である為には、その数が8の倍数であれば十分である。つまり、8の倍数であることは、4の倍数である為の十分条件である。ただし、その数が8の倍数でなくとも、必ずしも4の倍数でないとは限らない。
他方、ある数が2の倍数である為には、その数は少なくとも偶数でなければならない。つまり、偶数であることは、2の倍数である為の必要条件である。また、その数が偶数であれば、その数は必ず2の倍数である。つまり、偶数であることは、2の倍数である為の十分条件である。すなわち、偶数であることは、2の倍数である為の必要十分条件であり、両者は同値である。
例 2
自然数変数 n についての条件 p(n), q(n) を次のように定める。
- p(n): n > 10
- q(n): 2n > 20
そのとき、p(n) は q(n) である為の必要十分条件である。すなわち、n > 10 は 2n > 20 である為の必要十分条件である。
例 3
実数変数 x についての条件 p(x), q(x) を次のように定める。
- p(x): x > 0
- q(x): x2 > 0
そのとき、p(x) は q(x) である為の十分条件である。しかし、−1 は q(x) を満たすが p(x) を満たさないので、 「q(x) を満たす実数は全て p(x) を満たす」 とはいえない。よって、q(x) は p(x) である為の十分条件ではない。従って、p(x) は q(x) である為の必要十分条件ではない。
例 4
¬、⇔ を論理演算とし、命題変数 A 、B についての条件 p(A, B), q(A, B) を次のように定める。 ( ¬ は集合 { 真、偽 } から集合 { 真、偽 } への 1 つの写像である。⇔ は { 真、偽 }×{ 真、偽 } から { 真、偽 } への 1 つの写像である。A 、B は { 真、偽 } の元の変数である。)
- p(A, B): ¬( A ⇔B ) = 真
- q(A, B): ( ¬A )⇔B = 真
そのとき、p(A, B) は q(A, B) である為の必要十分条件である。すなわち、「¬( A ⇔B ) = 真」 は 「( ¬A )⇔B = 真」 である為の必要十分条件である。
関連項目
脚注
外部リンク
- Necessary and Sufficient Conditions - スタンフォード哲学百科事典「必要条件と十分条件」の項目。
- Weisstein, Eric W. "Equivalent". mathworld.wolfram.com (英語).
- Weisstein, Eric W. "Iff". mathworld.wolfram.com (英語).