rrrrrrraurrrrrrrrrrrｺ
""、"・"""量""量 重
副 副 副 巳"副 ゆ
IP 物 理
APL TCP
塵
送
ヘヘノネ ッ ト ワ ー ク A
IP
物理
鮫
ネ ッ ト ワ ー ク甲
B
図14構 築 すべ きネ ッ トワ ー クモデ ルの概観
」
す る ポ ー トや 障 害 状 況 、制 御 情 報 等 を個 別 に 管 理 しな け れ ば な らな い 。 こ の 制 約 は 、 実 際 の 物(空 調 器 の 部 品 等)を 扱 う シ ス テ ム で あ れ ば 問 題 に な らな い 。
しか し、本 研 究 の対 象 で あ る ネ ッ トワ ー ク の 性 格 か ら、 こ の 制 約 に従 う こ とは 非 常 に 困 難 で あ る 。 な ぜ な ら同 じパ ラ メ タ で あ っ て も 、 そ の 内 容 に よ っ て プ ロ ト コル の対 処 が 異 な る場 合 が 存 在 す る か ら で あ る 。
例 え ば 、 ゲ ー ト ウ ェ イ を介 して パ ケ ッ トを 送 信 す る 場 合 を考 え る 。 送 信 パ ケ ッ トに は 送 信 先 のIPア ド レス が 入 っ て い る 。 ゲ ー トウ ェ イ が パ ケ ッ トを 受 け と る と 、送 信 先I Pア ド レス を確 認 して 自分 宛 の パ ケ ッ トで あ れ ば 受 信 し、 そ うで な け れ ば 、 適 当 な ネ ッ
トワ ー ク に 送 り出 す の で あ る。
ま た も しそ の 内 容 毎 に パ ラ メ タ を別 の も の と し て管 理 した とす る と 、1つ の パ ラ メ タ が ア ド レス の 数 だ け存 在 す る と い う事 態 が 生 じて く る 。
こ の よ うな 問 題 に対 応 す る た め に 、 パ ラ メ タの 内 容 を考 慮 し 、伝 播 す る こ とが 可 能 と な る よ う に 、 プ ログ ラ ム の 改 修 を行 な う。
stream‑>s七ream(),stream(arp̲request)...
5.2プ ロ ト コ ル の 世 界 とハ ー ド の 世 界 の 切 り わ け
P
今 後 研 究 を進 め る 上 で 必 要 な 作 業 と して は 、 ハ ー ド ウ ェ ア モ デ ル(ネ ッ トワ ー ク機 器 構 成)と 論 理 的 な とプ ロ ト コル ス タ ッ ク を切 り離 す こ とが 可 能 か ど うか 、客 観 的(理 論
的)な 判 断 基 準 を提 示 す る こ と で あ る 。
深 い 知 識 に基 づ くESと い う枠 組 で ネ ッ トワ ー ク を考 え る 時 、 ま ず 、各 々 の 知 識 世 界 に対 応 す る もの と して 、DWに は ハ ー ド ウ ェ ア を 、PWに は ソ フ ト ウ ェ ア を対 応 付 け る こ と を考 え た 。
しか し、モ デ ル 化 と実 装(特 に プ ロ トコ ル 世界 を 中 心 と した実 装)を 行 な う中 で 、ハ ー ド ウ ェ ア とプ ロ ト コル ス タ ッ ク は 、相 互 に依 存 して い る が 、1対1に 対 応 して い る わ け で は な く、 ま た 、 そ れ ぞ れ を拘 束 して い る 世 界 は別 の もの で は な い か と考 え る に 至 っ た 。 つ ま り、 ハ ー ド ウ ェ ア に も接 続 関 係 と そ の 背 後 に あ る プ ロ トコ ル に依 存 しな い 原 理原 則 が あ り、 ま た ソ フ ト ウ ェ ア に もプ ロ ト コル の 接 続 関 係 とハ ー ド ウ ェ ア に依 存 しな い 原 理 原 則 が 存 在 す る 。
そ こ で 、 そ の 各 々 の 世 界 を独 立 した領 域 と見 な し 、知 識 を記 述 す る の が 良 い の で は な い か と考 え る 。
しか し、 こ の両 世 界 に 共 通 して 、 あ る い は 束 縛 しあ っ て い る部 分 も明 ら か に存 在 して お り、 ま た プ ロ トコ ル の 探 索 か ら実 際 の ハ ー ド ウ ェ ア の 同 定 を行 な う こ と を 考 え る と 、 知 識 の 記 述 方 法 を ど ち ら か の 世界 に 固 定 的 な も の と しな い よ うに顧 慮 す る 必 要 が あ る 。
36
" 噛隔輔■醐醐 圏圏潮 ■■ 繭■ ■ ■■■ ■■■ ■■ ■ 膨
6お わ り に
ネ ッ ト ワー クの 専 門家 か ら事 例 を 収 集 し、 モ デ ル 化 、 そ して プ ロ トタ イ プ の 実 装 と行 な っ て きた 。 こ こ ま で き て よ うや く、 ネ ッ ト ワ ー ク故 障 診 断ESと して の 良 否 や 可 能 性 を検 討 で き る よ う に な っ た 。
ヘ テ ロ な ネ ッ トワ ー ク は プ ロ トコ ル や ハ ー ドの 組 み 合 わ せ に よ っ て構築 さ れ て い る シ ス テ ム で あ る た め に 、 そ の 規 模 や 性 質 は 千 差 万 別 で あ る と い え る 。 そ の た め に 、実 装 を 伴 わ な い モ デ ル 化 、 あ る い は モ デ ル や 概 念 を欠 い た 実 装 で あ っ て は 、 こ の ヘ テ ロ な ネ ッ
トワ ー ク を対 象 と したESを 構 築 す る こ と は 不 可 能 で あ っ た 。
現 段 階 の モ デ ル や プ ロ ト タ イ プ は 、 ま だ ネ ッ ト ワ ー ク の ご く一 部 を 取 り挙 げ て 表 現 し た に留 ま っ て お り、 す べ て の 問 題 に つ い て 検 討 した わ け で は な い 。 しか し 、本 研 究 で 明
ら か に な っ た 主 要 な こ とが ら を挙 げ て み る と 、
1.ネ ッ トワ ー ク の 故 障 診 断 が 、 プ ロ トコ ル ス タ ッ ク の 探 索 問 題 と して 認 識 で き 、 モ デ ル を利 用 す る こ とが 可 能 で あ る こ と
2.ハ ー ド ウ ェ ア とソ フ ト ウ ェ ア に 関 す る 深 い 知 識(モ デ ル)を 用 い て ネ ッ トワ ー ク の 故 障 診 断 を行 な う こ とが 可 能 で あ る こ と
3.深 い 知 識 を用 い て 行 な う故 障 診 断 は 、非 常 に詳 細 な 故 障 原 因 の 候 補 を提 示 す る こ とが 可 能 で あ る こ と
4.仮 想 レ イ ア が 提 供 す るサ ー ビス と 、 物 理 的 なパ ラ メ タの 実 際 の や り と りが 把 握 で きれ ば 、深 い 知 識 の 構 築 は 非 常 に 容 易 で あ る こ と
こ れ らの 可 能 性 は 、 こ れ ま で"勘"や"ノ ウ ハ ウ"と い っ た個 人 的 で他 者 と の 共 有 が灘 しい知 識 で 行 な わ れ て い た ネ ッ トワ ー ク故 障 診 断 に 、客 観 性 と汎 用 性 を 与 え る こ とが 可 能 で あ る と い う こ と を示 唆 して い る 。
こ の 点 で 、 本 研 究 は ネ ッ ト ワ ー クESの 枠 組 と して の ひ とつ の 切 口 を提 示 し得 た と考 え る 。
参考文献
「
[1]deKleer,J.,Williams,B.C.:DiagnosingMultipleFaults,ArtificialIntelligence, Vo1.32,No.1,pp.97‑130(1987)
[2]R.Reiter:ATheoryofDiagnosisfromFirstPrinciples,ArtificialIntelligence, Vo1.32,No.1,pp.57‑96(1987)
[3]長 田 、 篠 田 、 山 口 、 落 水:'ヘ テ ロ な ネ ッ ト ワ ー ク の 故 障 診 断 に 関 わ る 知 識 の 獲 得 と モ デ ル 化',日 本 ソ フ ト ウ ェ ア 科 学 会 第10回 大 会 論 文 集,pp265‑268(1993).
【4]山 口:'深 い 知 識 に 基 づ く エ キ ス パ ー ト シ ス テ ム',チ ュ ー リ ン グ ・マ シ ン,Vol.2No.5,pp9‑
19(1989).
37
SatNov2713:55:491993
蘇 ‡ 蹄 輩 > i
一 nettrees Lev,Oの i ia:oi 十十 IsymptomI ゆ÷ 1受信APLI l受信データl i(一)i 十 Lev,1 id:lI 十← 十 Ipw221 十4 Lev.2
1受信APLl lストリームl i(一)i 十十 i ia:zi 十十 Idw̲extI i id:31 拳十 十争 1送信APLl lストリームI i(一)i
Ipw2121 十 Lev.3
十
◇ 、、、41 十十
十 受信APLl TCPレベル1 (一)1 や Ipw2111
受イ言APL鱒 TCP異常Mt サササのサおねおサロe サおねの よ I id:51 十十 十十 1送イ言APLI l送信データl i(一?i
Ikcl=>kc21 十十 十十 HSUSPENDEDH 一
1受信APLl ITCP異常l lの発生1 十 Lev.4 I id:61 十
十 今 kc2=>kclI 十
" 受信APLl 受信ストリーム1 (一)1 1
十
a> 色
nettreesPage2 1 しのロ5の 、、、71 ←十 IaW̲exし1 十十 1受信TCPi I受信ストリームI i(一)i 十◇ 鈴受信TCP鱈 篠機能せず鵜 櫛儲騨齢唇桝禰赫儲榊 「 Lev.6虞 l id:81 4 「 十pw32
十 1 十 1受信TCP1 1Tパケットl i(一)i 手十
1
Lev,7 i id:91、、、ユ。1 十十 [aWし1 十 十 ipw312 十 i送信TCP・l lTパケットl i(一)i十
ぐ 1 十 1受信TCPl lIPレベルI i(一)i ← I l l i Lev.8禽 l id:llI
ウ十φ 養受信TCP儲 讐IP異常桝 桝暫儲儲締翻翻儲締 1 の I id:121 十 [pw311 サ 1 千 十十 lkc1=》kc21 ψ◇ 1送信TCPl l送信ストリームI i(一)i
十十 【受信TCPI lIP異常l lの発生1 十壱÷十 i Lev.9 1 id:131
「 「 禽 I id:141 十◆十十 ldw̲exヒ1Ikc2=>kclI う4 【送信APLl I送信ストリームl i(一)i
←十 1受信TCPl lin̲t二packetl lて一)1 十 舞送信APL郷 讐機能せずAN 盤齢醤唇鉾書鉾響盤舞鉾馨智盤盤妻蕎 くくくくFAILED》〉>》
」 1 「 1
十
1
SatNov2713:55:491993nettrees エな ロユ0の 、d、、5; 十十 ldw̲exヒ1 十十 1受信IPl Iin̲t,pa;ket 十÷ 1震罷静1: 蕃諦糠齢桝齢桝盤翻鈴鈴 I Lev.11禽 I id:161 う 1 十pw2
F I ぐ 1受信IPI lパケットI i(一)i 十十
1
Lev.12 id=171
う dwexし} う、、、真81id:ユ9
1
や [ 十 十 lpw102 十 ヰヰ 1 十+ 1受信IPl lホストl i(一)iIpw102 1'ゲートIPl iパケットI i(一)i 十 十 1 十 1受信IPI l下位レベル1 it‑)i Lev.13
十 磐ゲートIP鱒 齢機能せず儲 桝舞儲盤柵翻輔櫛盤鈴鰭 1
十i 盤受信IP儲 郵ホストダウンff #tt#8kN#fN#NRNfYNM 「 ● l id:231
十 i ia:zoi r l 十
dwexし
十 1 十 Lev.14
1送信IPl Iパケット1 i(一)i 十十 盤送信IP補 讐機能せず嬬 鼎齢鼎鼎蓄鼎鼎桝鵜 }
、d、2、1、d:22;
壽受信IP騨 嚢異常桝 そひサウタサねねるのぴねねおねねサ ニ 、d、241 十 Ipw102
事← IIpw102 ナヰ 1 十十Ikcl=>kc21 ヰキ 1 十←
kcユ;》kc2 十十r 1ゲートIPll lホストlI i(一)ii
ゲートIP 下位レベル (一) Il受信IPI lIホストダウン1 11の発生1 44
ネ 1 今 1受信IPl [異常1 1の発生1 十 I id:251、d:26}
i1 欝ゲートIP締 唇ホストダウンMｺ kkkkkkkkkMkkk##kk l 禽 、d,27;
醤ゲートIP鼎くくくく 櫛異常牒 儲翻師鱈儲儲餐儲鮮 1 脅 I id:281
aa FAILED≫≫ ; i 虞 、d,291
十 十 Ipw101
ゆ十 IIpw101 ナぐ 「 FF fa Ikcl=>kc211kcl=>kc2 う [ 十 ヰ 6 寸
kc2=>kcl 寺a十 11ゲートIPl lI異常l Ilの発生1 キ 1 十 1送信IPIl Iout̲t̲packetII lて一)11
送信IPl IPアドレス1 (一)1 1ゲートIP Iホストダウン 1の発生
i受信IPI Iin̲packet i(一)i
蘇茸 蹄 輩 > i
十fa 唇送信IP儲 饗機能せず織 醤鈴鈴齢鉾盤鈴嵩醤鈴盤盤醤唇聾磯蕃 1 F十 鈴送信IPpMくくく《 持機能せず鼎 鍵締鋤綿鵜舗嚇鈴翻柵 くくくくFAILED>》〉〉
←尋 FAILED≫≫
l l
十十曽〜 1 l I i
李 W
一
寸
①⇔の
"
a
鴇
一L.
一
① C
i
蟹一一
N
.,,
■一一
需 鷺
・一一
雪o.円 d ..
a・ 同
.̲.一.
髪v v3
1
藪
灘
十一十 一一一 や
¶レー 十 一一一i
℃X AI xU
飢 り
v.‑.H xu1
ゐ qv
l『
賑5
か 一 十 一一一→
十一
り 訴 31
一一{
磯 蹴
些L掴N O
尊腺鶴
ななな
蒙
難
騨 茎
̲…
十一 十 一 一一か
尊 ◎陰咽臨 なw 6葉に バ会
解 …A