‑‑ Aマ

A '

︐a︑ ︐ ︐ ︑ ︐ . ︑ ︐

e︑

* ホ本

(

︿ { {

' E A

‑ ‑ A ‑

E E e ‑

‑ A

‑

‑ A ' ( { ( {

n n i i m m

( (

x a m {

皐曹︑

h n g i

‑‑m e︿

u w

e v o o r g口{

1. 0)) 1 .0) ) 1. 0)) 1. 0)) .牢result̲ut2.欠陥指示長さ

T / 4^{以下である} (/ t 3)) (b̲push nil '泳result̲ut2車欠陥指示長さ

T / 3以下である (/ l 2)) (b̲push nil '.result̲ul2・欠陥指示長さ

T / 2以下である

'寧result̲ut24 < 欠陥指示長さ

T以下である

(b̲push nil ・歌result̲ut2*欠陥指示長さ T を組える 0)

) ︑

. ︐

︑ .

︐

︐e l g n a n a

‑ ︑ . . AU

a r

) {

﹀ )

︑︐︑ .

︐ ︑ ︐

) n

﹀ } o a 9 9 . .

︐L・・・

︐t

)

r 'h H ︐

︐a︑

. .

︑ ︐ ︐ ︑ ︐

e︑

} P } }

qι

‑A u‑

‑ . A

唱E A

L H F

t︿

nr nr e

* a

r︑

g b d z z

‑

‑ + ( ( (

* ホ { { (

‑‑

A・B.︐

+‑ +︑

︐

︐ . ︑ ︐ . ︑ ︐

a︑ ・・且

n ・lm ︐z︑x

) a ) m

EE A ︐︑ (rootWeighl

(defun f̲length̲l (t 1)

(cond (((= ! (/ t 4)) (b̲push nil

(b̲push n 11

( (( =

(((=

( t 0) )

) )

﹀ } } )

e e

‑

︐b

︐ 白

n n a a n n a a i i AU Au a a r r

︑F

︑ ︐

︐e︑ ︑

J︐ ︐ ︑ ︑

︑ ︐ ︑ ︐

︐

﹀

﹀ } n ) n ) }

﹀

a o a o o o

A y t

‑

.︐ ︑

.. .

︐ ︑守

︑ ヮ

‑q d9

‑

︑ . ︐ ︑

.J﹂

且A U

' A' A

S ‑‑

h / h / / /

.• ︐

a︑

•. ︐

s︑ ︐ ︐ ︑ ︐

e︑

n r ︑

︐ n r ︑ ︐ ︑

︐ ︑ ︐ e o e o o o A u

・AU‑‑‑

2 4 2 4

‑ ‑

r︑

︐

a︑

p p

* a

$ a { g

︿g

z z z z

‑

+ + ( ( ( (

︐e︑

︐

e︑ ︐ ︐ ︑

︐ . ︑ ' E A 1 A

噌i'i

‑

‑ + ( { ( f n n i i m m

r︑r︑x a m

︐ ︐

i n ︑

t m

h H' t

g i e w

'b a

﹄H︐z︑

1.0))))

1.0))

1. 0)) 1. 0))

1.0) ) 1.0))))

るるるるああああるででででえ下下下下越以以以以を

にUハu

12366

欠陥指示畏さ欠陥指示長さ欠陥指示長さ欠陥指示長さ欠陥指示長さ '*result ul2*

'4<resull ul2.

'.resull ul2*

'*resull̲ul2*

・*result ut2*

(defun i̲length60 (1)

(cond (((= 1 16)(b̲push nil

(((= 1 20)(b̲push nl1 ( (( = 1ミ0)(b̲push nl1

(((= 1 60)(b̲push nll (t (b̲push nil (deiun rl0 (z)

︑ ︐

︐ ︑ . ︐︑

︐ ︐

P︼l

g B nH

a n H

a ‑ ‑ a

A U

a r

{ ) )

︑ ︐ ︐ ︑ ・

n } )

a o o

L・・

・

︐ ︑

q un J

) d 1 1

﹄H︐f︐fa

︐

︑

︐

a︑ ︐ . ︑

n v ︑ ︐ ︑ ︐ e o o A U

・‑

d噌

a ‑ z

︐ ︑ n r

* a ( g z z

‑ +

︐a︑

︐

E︑

* { ( ' B a

‑

‑ E A +

‑ }

︐ ︑

r︑

n v 0) 1))

(baseWeighl (mln (max

;小数点以下 1の位を四姶五入

(/ (round (. Z 10)) 10.0)) (lel ((lenglh (ls ccho̲r frcqucncy vcroslty bCllm̲1 anglc)))

(fpu t 'ホwhylog̲es市 (cad，‑(cadadr (gct fJaw̲fl 'framc))) '欠陥寸法 length)

(pul '.b̲boardホ '*result̲e*

(Iisl (Iist Clisl ' 欠陥寸法・は length))))))

ハU

五ω 入札姶 )

四引を叩

位zzの*

︐ ︑

qLr︑

n v‑

︑JU

G‑n I L u

n点

什

仕

・

ZE AUJHU ︑e( JF︐

;ーーーーー[method for flaw̲estimatlon ]‑ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

(defun lv̲rool (echo̲r frequency veroslty beam̲l angle flaw fl) (Iet ((length【tv echo r frequency verosity beam L angle)わ

(fput 'ホwhylog̲es* (cadr (cadadr (get flaw̲fl ・irllmc))) '欠陥寸法 Lenglh)

(put '*b̲boardホ・*result̲e*

(Lisl (Iist (Iisl '欠陥寸法・は length)))))) (defun radlan (angle)

: l宣からラジアンへの変換 (/ (* angle (pi)) 180))

;超昔話宣探傷試験データより欠陥の寸法を計算する (defun ln̲root (echo̲r frcquency verosity beam̲1 angle flaw̲fl) (lel (()englh (tn echo̲r frequency verosity bcam̲1 ansle)))

(cond ((null lenglh)

(fpul・*whylog̲cs市 (cadr (cadndr (gcl flaw fl ・framc))) '欠陥寸法限界寸法以上である ) ー

(put キb̲board*・ホrcsult̲c*

・(( (欠陥寸法は限界寸法以上である )) ) ) )

(l (fpul '*whylog̲cs. (cadr (cadadr (gel flaw̲fl ・frame))) '欠陥寸法 length)

(defun eslimation ()

(lel ((flaw̲f (fgcl・*whylog̲cf*・rulcname 'value))

(echo (search val ue E 高さ (H線基喧 ) 川 nput̲ul2*)) (frequency (search value周披数ホinpul̲ut2川〉

(beam̲l (search val ue B路在判 npul̲ul2*)) Cilaw̲l (search̲value指示長さ *lnput̲ut2*)) (angle (search value屈折角川 nput̲ut2本))

(melal (search̲value材料 *input̲wll) (veloclty (cond ((equal metal S S銅 )3230)

((cqual melal S M鋼 )3230)

(l 3230))))

(Iet ((echo̲r (expt 1.122 echo))) (do ((flaw fl flaw f (cdr flaw fl))

(rule̲lisl (fget 'flgure̲rules・rules 'value))) ((null flaw fl))

(let ((flaw (esllmallon̲auxl (car flaw̲fl) rule list))) (cond ((equal ilaw円形平面欠陥 )

(td̲root echo̲r frcqucncy velocity beam̲l angle (car flaw̲fl)))

((cqual flaw帯状平面欠陥〉

(tl̲rool echo̲r frequcncy velocily beam̲l angle (car flaw̲fl)))

{(equal flaw横穴欠陥〉

(th̲root echo̲r frequency vcloclly beam 1 flaw̲1 angle (car flaw̲fl)))

( (eq u a 1 f 1 a w 主主状欠陥)

(ts̲root echo̲r frequency velocity beam̲l angle (car flaw̲fl)))

((equal ilaw縦穴欠陥 )

(tv̲rool echo̲r frequency velocity beam̲1 angle (car flaw̲fl)))

((equal flaw直線溝欠陥 )

(tn̲root echo̲r frequency velocity beam̲1 angle (car flaw̲fl)))) )))))

(put _'_ホb board* ・ホresult e*

(1lsl <Jlst (list '欠陥す法・は 1eng th) ) ) ) ) ) ) )

; 欠陥寸法の百十算

(defun td (e f v I angle)

; 円形平面欠陥の欠陥寸法の計算

;限界寸法以上のときは ni 1を返す (let ((rgf (/ 1 2))

(rgs (r̲g̲s f v 1 angle)) (rif 1)

(rls (r̲1 angle)))

(cond ((( e (e̲ratio rgf rgs rlf ris))

(sqrl (/ (* e rgs 4 rls (wave̲1 f v) J)

(傘 rif(pi))))) (t nll))))

(defun tl (e f v I angle)

; 帯状平面欠陥の欠陥寸法の計算

; 限界寸法以上のときは ni 1を返す {let ((rgf (/ 1 2))

(rgs (r̲g̲5 f v 1 angle)) (r i f 1)

(rls (r̲I angJe)))

(cond ((( e (e̲ratio rgI rgs rif ris))

(Iet ((a (/ (* 2 1 (wave̲l f v)) 100)))

(let ((b (round (* (sqrl a) 1000 e rgs rls)))) (* 1.0 (/ b 100)))))

(delun eslimalion auxl (rule name rule llst) (cond ((null rule I ist>

(prtsen・{プログラムにパグの可能性有り )) ) ((cqual rulc̲name (cadar ruJe̲llst))

(caddar (cadadr (cddar rule lisl))))

(l (eslimatlon̲auxl rule̲name (cdr rule lisl)))))

(t nil))))

(deiun td̲root (echo̲r frequency veloclly beam̲l angle flaw̲fl) (let ((lenglh Cld echo̲r frequency velocity beam̲l angle)))

(cond {(null lenglh)

(fput '*whylog̲es* (cadr (cadadr【get flaw̲fl 'frame))) ' 欠陥寸法限界す法以上である }

Cpul '*b̲board* '*resull̲e*

・(( ( 欠陥寸法は限界寸法以上である )) ) ) )

(l (fpul・*whylog̲es* (cadr (cadadr (get flaw̲fl ・frame))) ' 欠陥寸法 length)

(put 'ホb̲board* ・*result̲e>l<

(lisl <list (llst・欠陥す法 'は length))))))))

(defun th (e f v J tl angle)

; 償穴欠陥の欠陥寸法の計算

; 限界寸法以上のときも欠陥寸法を返す (let ((tcr (tcr̲cp̲hh f v 1))

(rgs (r̲g̲s f v 1 angle)) (rif 1)

(rls (r̲l angle))) (cond ((( II tcr)

(/ (* e e rgs rgs 16 J 1 ris (wave̲l f v)) (* rlf (pi) tl tl)))

(t (/ (* e e rgs rgs rls ris 8 1) (* rif rif))) )))

(defun tl rool (echo̲r frequency veroslty beam̲l angle flaw̲fl) (lel ((Ienglh (ll echo̲r frequency veroslty beam̲l angle)))

(cond ((null lenglh)

(fpu l・*whylog̲es* (cadr {cadadr (get flaw̲fl 'frame))) ' 欠陥寸法限界寸法以上である )

(put ・ホb̲board命 '*result̲e*

・(( ( 欠陥す法は限界す法以上である )) ) ) )

(t (fput '*whylog̲e5ホ (cadr (cadadr (get flaw̲fl 'frame)))

・欠陥す法 length) (put ・*b̲board*"車result̲e*

【Ilst<list <llsl ' 欠陥寸法・は length))))))))

(defun ts (e f v 1 angle)

; 球状欠陥の欠陥寸法の計算

; 限界寸法は存在しないので限界寸法以上も以下も閉じである (lel {Crgs (r̲g̲5 f v 1 angle))

(rlf 1)

(ris (r̲1 angle)))

{ホ1.0 (/ (round (ホ 100 (/ (* e rgs rls 4 1) r 1 f)) )

100))))

(defun ts̲root (echo̲r frequency verosity beam̲l angle flaw fl)

(defun tv (e f v 1 angle)

; 縦穴欠陥の欠陥す法の計算

; 隈界寸法以上のときも欠陥す法を返す (let ((tcr Ctcr̲vh f v 1 angle)))

(Iet ((rgf (r̲g̲cr̲vh tcr ( v 1 angle)) (rgs (r̲g̲s f v 1 angle))

(rif (r̲i angle)) {rls (r̲1 angle)))

(cond ((( e (e̲ratio rgf rgs rif rI5))

(expl (/ (* e e rgs rgs rls ris 4 1 1 (wave̲l f v)) (* rlf rii (pl) (51n (radian angle)))) (/13)))

(t (/ (ホ e e rgs rgs ris rl8 8 1 (sln (radian angle))) (* rif rlf)))))))

(defun th̲root (echo̲r Ircquency vero8ity beam̲l flaw̲l angle flaw̲fl) (let ((lenglh (lh echo̲r frequency veroslty beam̲l flaw̲l angle)))

({pu t ' 測量whylog̲es命 (cadr (cadadr (get flaw̲fl

・

Irame 】) )

・矢陥寸法 length) (put ・*b̲board* '*resull̲c*

()Ist Clisl Cllst ・欠陥寸法 ' は lcngth))))))

15 (cos (radian <* 10 (round (/ angle 10)))))))) (tcr̲vh f v beam̲1 angle)))

( (く 4tcr) ; 僚蟻欠陥寸法が限界寸法以下の翁合 (r̲g̲vh 4 f v beam̲l angle))

( l ; 標惣欠陥寸法が限界寸法以上の喝合 Cr̲g̲cr̲vh 4 f v bcam̲1 angle))))))

(lel ((beam̲1 (/

<Iet ((tcr (cond defun ln (e f v 1 angle)

直線罪事欠陥の欠陥寸法の計算限界寸法以上の場合は ni 1を返す

(lel ((rgf (/ 1 2))

(rgs (r̲g̲s f v I angle)) (rif (r̲i angle))

; 欠陥エコー高さと槙惣エコー高さの比の計算

︑.Js i

r ‑ ‑

p‑ A

i r a

zi g﹀vs

︑ ー

(

︺

f s

G・I

・

‑

‑‑ Er a‑ va

且'

a L

f s

‑ rgg

戸︑

n ( (

u ' ' A

︐ ︐ ︐

e (

d ︐e︑

) ︑

. ︐

︑.J

n J U

) v

' ' A

I 一

︑ ︐

e } V } a ) W ) r t ︑

﹀ l a b

l g

︑

J n

s︐ f a i ( r n t a

干&

re a

s‑

‑n yA U

rsa ︐

. ︑

rs︐k gB r・1

r a n

a ‑ f s

gs︿

r g re ム ︑

︐

0・1

︑ ︐

} i e r

﹀

︑ ︐ ︐ .

︐ ︑ ︑ ︐

︐ ) a

* l e r {

︿iI一nge/

n ( { t

a (

e i 一︿

︐e︑ ︐

a︑s・d・

‑ n

( C

︐s︑

の掲合

; 屈折角が約70 0

の渇合

; 屈折角が約45 0

) ) )

﹀ ) } )

﹀ ) ) EU Fb EU EU RU EU Fb FU

にω

••••••••••

円u

} ) } ) ) ) ) ) } ) )

︑ ︐

︐

ヲ﹄司ua噌

門r

) 6 6 7 7 7 4 4 4 4 4

e laaaaaaaaaa g﹀

n1111111111}

aaaaaaaaaaa)

} u u u u u u u u u u }

edqqqqqqqqqq1 1neeeeeeeeee g u

︿ ( ( { ( ( { ( {

︿

n O ( (

︿ (

︿ {

︿ { (

︿ ( ar

︿

i a o

一︿Cr

﹁ ︑ f︑ naL u e ' ' A

・B・ ‑

e {

d (

; 界面反射能率の計算

; 形状反射 $ の計算

算

E︐E

・

_{2 "}の

由中川

飽川

U射v

v反f f状l一

︐ 二ノ } e

羽川 ) V

(の

UU川

叩陥 {

︿

ι

欠

t l

一d n u

‑ ‑ ︑

d句

﹃

HUz

* nr A

︐ ︑

r︑

u '' ¥

ノ

' ' A

明4罰F︐

︐ ︐

‑ M円 (

算日計 )

のv

世帯

飽l一

υ

射刊

v反

刊

状 } (

t形

t l (の

t 2

自ホ

* q "

'_目 rrtr・︑

ι

欠 /

r一

面( n平川

H UU R

‑ ‑n u .

g1415

h山

帯 (

︑ a

︐ ︐ ︑ ︐ 合川渇り

のef

算下

) 針以けに

日の法.引制

織す

('wv

臨界け

射隈 l l t反が

t 6

(状さ

t l 陥形き件付

ι

の大 / rd

隔の {

n欠

陥川何穴欠刊

仇一償(( るす算tvt

喝a n

を長

︑川波川

凱ッ

︿よ∞i一数1

同一

夜 fa司dホ W H F (

nレ﹂

u z ‑

' ' a .

︑ ︐

k︐

︐ ︐

音 ( 算

合計場

のの

率上 ) 館以

射法

v反寸f

状界

付形隈

のが

h‑合さ

U場

占

r ‑ の大

陥の

n欠

陥仇穴欠仇償 (

;ーーー[melhod for display̲e ]一ーー一一ーー一一ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー一一ーーー

(sqrl (/ t (* 8 1)))) defun r ̲g̲sh (t 1)

聖書状欠陥の形状反射率の計算

( 欠陥の大きさが限界寸法以下の掲合 ) 欠陥の寸法および欠陥の等級を表示する

(defun dlsplay̲e () (clear‑screen) (sel‑cursor) (display̲e2) )

; 欠陥種類， (/ t (* 4 1)))

ム︻

H喝の上

算以計法)のす

l率界

日射限 h反がs‑_状さげ形きι

の大

r一

陥の

n欠

陥

白何状欠

球 (

を押して下さいD 't)

[ y ]

を押して下さいo .t)

Cdefun display̲e2 ()

; 推論結果およびデータを表示する

(let ((dala1 (get '*b̲board*・*input̲wl*)) (dala2 (gel・*b̲boardホ '*inpul̲w2*)) (dala3 (get ・*bboard+ '+lnput̲ul2ホ))

(dala4 (get・*b̲boardホ '+inpul̲utl+)) (data5 (get ・+b̲board* '*Inpul̲ul+)) (dala̲J 1st (fgel̲v̲d curframc 'dala̲name)) (result̲1 (get '*b̲boardキ '+resull ul*)) (result̲2 (get ・ot:b̲board* ・ot:result ec*)) (result lisl (fget̲v̲d curframe 'resull namc))) (lerpri 1)

(prtsen ・ { 溶接条件データを表示します )) (terpri 1)

(dlsplay̲e̲aux (append dalal dala2) data llsl) (lerpri 1)

(y‑or‑n‑p‑2 " 次に超音被探傷試験データを表示します . (clear‑screen)

(set‑cursor)

(prtsen ' ( 超音被探笛試験データを表示します )) (lerpri 1)

(display̲e̲aux (append dala3 dala4) data̲llsl) (lerpri 1)

(prtsen '(欠陥位置))

(dlsplay̲e̲aux (append dala6) dala Ilst) (lerpri 1)

(y‑or‑n‑p‑2 " 次に推論結果 ( *) を表示します . (clear‑screen)

(sel‑cursor)

(prlsen ・ { 推論結果 )) (lerpri 1)

(prtsen ・ ( 欠陥種顛 ))

(dispJay̲result̲ut result̲l result̲llsl) (terpri 1)

(prtsen・ ( 欠陥等級 ))

(dlsplay̲result̲e result̲2 result̲llst) )) (/ t (ホ 4 1)))

defun r̲g̲vh (t f v 1 angJe) 縦穴欠陥の形状反射率の計算

( 欠陥の大きさが限界寸法以下の窃合 )

(sqrt (/ (掌 l l t (pl) (sin (radlan angle

<* 4 1 1 (wave̲1 f v))))) dcfun r̲g̲cr̲vh (l f v 1 angle) 縦穴欠陥の形状反射能 $ の計算

( 欠陥の大きさが限界寸法以上の渇合 ) ( 1 e l (( a (* (/ t 8 1) 100))

(b (/ 1 (sin (radian angle))))) (/ (sqrl (ホ a b)) 10)))

defun r̲g̲lg (t f v I angle) 直線潟欠陥の形状反射事の計算

(ホ (sqrl(/ (キ 2 t t) (* 1 (wave 1 f v))) (sin (radlan angle))))

; 限界寸法の計算

算

ふl

‑ a

の法す川界v

限f

) の

i一l

v 陥刊

︑

h J W ( 市川ハ ) h横l川

‑ n 2 )

団

* P

C M N円 ︐ .

︑ ︐ ︑

r一

欠/

同面

︿ n平N

u‑

‑q

eAW偶

H H a

仇円 (

[ y ] defun lcr̲sp (f v 1)

惨状平面欠陥の限界寸法の針算

<sqrt (/ (* 1 (wave 1 f v)) 2 )))

︑ ︐

︐ ︑ . ︐

︑

︑ ︐

n ︐

︐a︑

e ‑ T 内￡

︐e︑

v 算f︑

J 4 1 )

p u ‑ ‑

. 昼 ︑

の仁川

ト a ‑ 一a1

' W E

‑‑︑﹃︿n

v界

l a

ヨ電

nfEh$a

︐ ︐ ︑

︑ ︐ ︐ . ︑ ・

・

K V A u

司k

/ a

円

( r

r 一欠

t { C41 r n

a ‑ ‑ u n﹃刊

M Ea ‑

‑

n zss m﹁ ( (

U湾

fH// ︑

仇一際 {

(defun dlsplay̲e̲aux (dala data̲llst)

; d a t aリストに基づいてデータを表示する (cond ((null dala) t)

((member (caadar data) data̲lisl 'equal)

【prlsen (append ・( ) (cadar data))) (dlsplay̲e̲aux (cdr dala) dala list)) ct Cdlsplay̲e̲aux (cdr data) data list))))

︑.J

︑.JV

' ' A

U算

I M

計仁川

︑ n H

︐ ︐

H V

由﹄

aA V‑ al bA wg

・

︿

nv寸

l a f界ホm'tzR494・

開問H﹂ug﹀

/ a

'且訓

U ' 1 r Z R f

︑

r ‑‑ B

四円・

・・

C‑

REFeDea n

ヨ骨

︿ (

u' R

ez a‑

‑明 ︐ ︐ ︐

h直

{

r︑ . ︐

; 標惣欠陥の形状反射能皐の計算

(defun display̲result̲ul (result result name) (defun r̲g̲s (f v 1 angle)

， .欠陥種類の推論結果を表示する

(cond ((nu11 resull) (prtsen '( 欠陥種頼の推論結果がありません )) ) (t (do ((resull2 resull (cdr result2)))

((nul1 result2))

(cond ((member (caadar resull2) result̲name・equa 1 ) (prlsen (1lsl ・中 (cadar resu!l2) ，の確信度は

(cond ((nu!l<cddar resull2)) 1.0) ( l (c ad d a r r e s u! t 2 )) )

・である ))

(cond ((equal (caadar resull2) ・欠陥)

(let ((aaa (display̲result̲e̲auxl (cadar resull2)

(fgel 'ul̲ruJes 'rules 'value)))) (Iel ((bbb (car (build Cacets 'ホwhylog̲esゅ aaa))))

(cond ((nul1 bbb)) (t (prlscn (llst

(car bbb)

'は

(cadr bbb)

・m m ) ) )))))) ))))))

facls rule̲lisl posslbil llles frame)))) (defun usedRuleLislAux (sum facts rule̲llsl posslbll111es frame)

(clear‑screen) (se1‑cursor)

(cond ((nul1 fac1s)) (t (terprl)

(prlsen ' ( 結論を湧いたルールを示します ))

(setq posslbil1ties (uscdRuleLlslAuxl (car facts) rule̲11sl nil frame)) (how sum (cdar facls) posslbi1illes)

(lerprl 1)

(cond ((y‑or‑n‑p

" m

輸過裂の説明を続けますか ")

(usedRuleLlslAux sum (cdr facts) rule̲llsl nll framc))

<t nll)))))

(defun display̲result̲e (resu1t result̲name)

; 欠陥の等級を表示する

一 (cond ((nul1 result) (prlsen ・ ( 欠陥の等級の推論結果がありません )) ) (1 (do ({result2 result (cdr resull2)))

({nul1 resul12))

(cond ((member (caadar resul l2) resul t name 'equal) (prtsen (llst '* (cadar resu1t2) ・の確信度は

(cond {(nu11(cddar resull2)) 1.0) (t (caddar resull2)) )

・である)) ))))))

) ) CU E ‑

t l . ー

‑‑

e d

﹀

) )

n︑f

i } a e ) h m e c a u e r

‑

‑ f a u v r s

・

‑ e

・1

} } t e e t

‑

‑ ) m s l u }

a・1・1

︑

J r

︑J r ' a h u

︑

︐ .

︑

Ff‑

i s s e s e } E S ' i s

‑

‑ s

・2

ρ iv川unv

・も

a t

i﹀

r p i e

‑

t﹀

I C } i i } r ) i a ) i l v e a t b

﹀

f S } b l b ) d s i s e s

‑

‑ L U 4 a s a

‑

︑J S

L r

・l

at s

‑ E ) e e l s s e a t e s s ' I ) i (

一e﹀

O C a i c o s b u t t e i s p a e

‑ a p o a H S i s

‑ t

﹀

e f

︿

i f P I

‑l i t u

‑

‑ } i ) b

﹀

百円

'lazerEAe‑‑‑sr‑t・

1rs tう一b

c i m

‑

‑ t a e s a t s u e t a r b a l e d g s a e i r l s f d i } r i c e f G e e

‑ J

︐

u s

‑c s s f b a { { P

︿a一︿

r 0

・d ( s e

‑

‑ t f f E f p l o i S 3 ーこ

r i t p t } s r x r ' ' a } u c i s

‑o

d u d r A d t b a s

‑ t p C A C J 6 a s ( f t i e ( s t ( t ' y e

‑

‑ e b C ) e s c・t

︐ ︑

3且

ヲ旬

' A C aa S9

‑t A

・1うι

a r

‑ x x a s f t x t L x f J

︐

) e u u f s e u l e u ( ) 3 } t l A A ( o r C A l l A t E S c u t t p a a t i u t 1 s f e a r s B 2 a f s b R s x i

‑ d i f

‑

‑ x } C

‑l i d

‑

‑ u l { t r L L u s ( r L s e L

A了

i r a e e A t a e s s e t e l a e

‑

‑ t e t c l o u i s

‑ n i C ( u u s c e ( u p ( u i u e b { R R i a g R R L r s i h d d L f ( h d q d e t E l s e e e s e t e

‑

‑ r s a u s s i l l u s e s u l p o u p u u u l l p u s u R U

︿

p q ( ( ( R u u ( ( ( ( d n e d n n e ( ( t e ( ( t

S ( (

︿S

︿

︿ (

u u d d n n n n u o u o

g A C e

‑

e ( e (

J U J U

︐e︑

︐ .

︑

(defun dlsplay̲resul l̲e̲auxl (resu1 t ru1e̲llsl) (cond ((nul1 rule̲llsl))

((and (equal result (caadar (cdddar rule̲llst)))

(member (cadar rule̲list) (cdar (bulld̲facets ・傘whylog̲ul* 'rulc̲name)) 'equa1)) (cadar rule̲llsl))

<t (display̲result̲e̲auxl resu11 (cdr rule̲list))))) (defun sum calcu1ation (resull)

(do ((result2 result Ccdr result2)) (sumO))

((nul1 rcsul12) sum)

(selq sum (+ sum (caddar result2))) ))

(defun uscdRuleLis1Aux3 (rule namc rule̲1 ist posslbll1tles frame) (cond {(nul I rule̲name) posslbil11les)

(1 (setq posslbilitles

(usedRu1eLislAux4 (car rule name) rule̲lisl possibililies frame)) (usedRuleLislAux3 (cdr rule̲name) rule̲llst posslbi1lties framc))))

す

つまかしす了で終要を必ムがテ明ス脱シてでし上関以柏町

ti 刺

U ) r

︑ ︐

J a曹 ︑ y s

n MK h

‑

}‑ n‑t ‑we w i } ' 1 r o r︑︐︐

o h w ) e‑︐trtL 一yg

白 ︑ ︐

r︑OLs'I

︐ ︑

︐t

nHr・

n H

Huph

n v

g ι t p

﹄

e ( (

JU ︐s︑

(defun usedRuleLislAux4 (rul@̲name rule̲lisl possibllities frnme) (cond ((null rule Ilsl)

(prlsen ' ( プログラムにパグの可能性あり )) possibililles)

((equa1 rule name (cadar rule Ilst)) (push (car rule̲list) posslbili1ies)

(usedRu1eLislAux2 (bui Id̲facels rule̲name 'ruleChain) possibllltlcs)) (t (usedRuleLis1Aux4 rule̲name (cdr rule lisl) possibililles frame)))) :ーーーーーーーー[mclhod for msg e ]ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー一一一一一一一一ー一一一ー一一一ーー一ー

;ーー一ー一ーー[how ]ーー一一一一ーーーーーーーーーーーーーーー一ーーー一一ーーーーーーーーーーーーーーーーーー一一一一ーーーーーーーーー一ーー

; 推論過程に関する脱明の表示

;ーーーーーーーー[ how̲why ]ーーー一ー一一ーーーー一一一一一一一ーーーーー一一一ーーーーー一ーーーー‑‑ーーーーーーーーーー一一一ーーーーーーー

(defun how (sum fact possibililies) (cond ((null possibilities)

(prtsen ' ( プログラムにパグの可能性あり )) ) (1 (how̲aux2 sum facl)

(how̲aux3 possibillties)))) (defun how̲why ()

(let ((framel (car (fgct 本・whylog̲ut*・frame 'value))) (factsl (gel ・中 b̲board* '*resul t̲u t*)) (frame2 (car (fget ・*whylog̲ec+・frame 'value))) (f ac ls2 (ge t '*b̲board中・ *result̲ec牟)) )

(cond ((null (usedRu1eLlst 1 faclsl (fget framel ・rules 'value) nil iramcl)) (clear‑screen)

(sel‑cursor) (lerpri)

(prtsen ・ ( 般後にデータおよび j世論結果を表示してシステムを終了しますけ (display̲e2))

((nul1 (uscdRu1eLisl 2 facls2 (fgel frame2 ・rules 'value) ni1 frame2)) (clear‑screen)

(sel‑cursor) (terprl)

(prlsen ・ ( 飯能にデータおよび推論結果を表示してシステムを終了します )) (display̲e2))

(l (lerpri)

(cond ((y‑or‑n‑p " 推給過程に関する説明は以上で終わりです . もう一度説明が必要ですか . (how̲why))

(1 (clear‑screen) (sel‑cursor)

(prlsen ・ ( 最後にデータおよび推論結果を表示してシステムを終了します )) (dlsplay̲e2)))) )))

(dcfun hOW̲8ux2 (sum facl)

(cond ((equal 6 (leng1h (car facl))) (lerpri 1)

(prlsen (llsl (car (car facl)) (cadr (car fact)) (caddr (car facl)) )) (prlsen (list (cadddr (car facl))

(cadddr (cdr (car fact))) (cadddr (cddr (car fact))) ))) ( l

(terpri)

(prtsen (car fact))))

(prtsen Cllst ' の確信度は (cadr fact) ・である )) (lerpri 1)

(y‑or‑n‑p‑2 . . 以下に上記の結紛を噂いたルールを表示します . [y] を押して下さい . つ }

(defun usedRuleLisl (no facls rule 11sl posslbllltles frame) (clear‑screen)

(set‑cursorl

(co nd (【nul1 facls)

(cond ((eq no 1) (prtsen ' ( 欠陥種額の推定結果が存在しません ) ) ) (t (prlsen ・ ( 欠陥の等級の推定結果が存在しません )) ) ) ) (t (usedRuleLlstAux (sum calcu1atlon facts)

(defun how̲aux3 (posslbllllles) (cond ((null posslbi1ities))

(t (cond ((equa1 (caar posslbillties) ・rule) (terpri 1)

(prlsen Cllsl ・()レ‑ )レ) (cadar posslbllilies))) (prtif (cdr (caddar posslbllilles)))

(prtthen (cdar (cdddar possibilities)))) ((or (equal (caar possibililles) ・ホinput̲....l*)

(equal (caar possibilitles) ・*lnput̲....2*) (equal (caar possibi1ltles) ・命lnput̲utlホ )

; *牛*牢

. .

.

_，

.

;*****市ホホ***ホホ****市********ホ*ホ中ホホホ*ホ命*中ホ*車ホ*ホ******令市****ホ"'***惨*浄*今****ホ*車**宇ホ*

*"'**ホ*市*泳**"'*

92.11.14 ホ"'*刻ド*ホホ**刻ドホ**"'*"'********'"唱ドホホ*

mul isp86 version (equnl (caar possibl Illles) ・*lnpul̲ul2ホ))

(lerprl 1)

(prtscn ・ ( 入力データ ))

(do ((Ilsl (cdar posslbllllles) (cdr list))) ((null list))

(prtsen (append

FRAME. LSP

フレーム・システム Flle name

Fealurc

， ( )

(1lst (caar Ilst))

， ( の確信度は )

(cd a r 1 j 5 l ) ) ) ) ) (defun finl (frame frame̲lisl)

; フレームの憾納

(pul frame 'frame framc̲llst))

︑ .

︐

} e

c m m a a r r g A

げ‑

m .

王 ︐

︑ ep吋Z m

s︑

︐

a:irur﹄d

ム f

‑ E︐ . ︑

n‑e u

レ句仇ブ (l (lerpri 1)

(prlsen ・(データ))

(do ((list (cdar possibllities) (cdr lisl))) ((nul1 llsl))

(prlsen (append

ブアセットから仰を取り J包す (defun fget (frame slot facet)

; 与えられたフレーム，スロット， (cdr (assoc facel

(cdr (nssoc slol

(cdr (get frame 'frame))))))) '( )

(1Isl (cnnr IIRl))

， ( の確信度は ) (cdar llsl)))))) (lerpri 1>

(y‑or‑n‑p‑2 ..[ y ] を押すと次に進みます。， .) (how̲aux3 (cdr possibililies)))))

(defun build̲facets (frame slol)

; 与えられたフレーム，スロットから個を取り出す (cdr (assoc slol

(cdr (get frame ・frame))))) ) (car lisl)))

(defun prlthen (1lst )

(prtsen (append '( t h e n ) Oisl (caar list)) ' ( の確僧度は ) (cond ((null (cdar list)) '(1))

(t (cdar 1Isl))))) (prlThenAux (cdr lisl)))

(dcfun prtif (list)

(prtsen (append '( i f (prllf^ux (cdr llsl)))

(defun fput (irame slol facel value)

; 与えられたフレーム，スロット，フアセットに値を格納する (cond ((null value))

(l (cond ((not (member irame $frame$)) (push frame $frame$)))

(lel ((value̲llst (follow̲palh

) ) )

︑ ︐

且 ︐

︐ .

︑

c d

・‑

AU n r p ed c

︑ ︐

︐ ︑

t } a

S ) ( X

1 t u l s n A ( i e f l s I X t t ulrr

AHEιnrnr

f u ( { i n

a v︑ ︐ . ︑

z︐ ︑

伊且 ︐ ︑

r t

p AU

C E {

AU ( )

) )

︑ ︐

E ' u

︑. J ' E

︑ E・

. J P_匂

t m v craL ea a e A B ri

‑s s

e ) i t m l ( ioai r n }

S Z A a t

一} S t t t i sesl ig

‑‑

一

l f l e

( ( 一

u a l v

v t

ea) ul

﹀

1 ( ) a } v d ) C }

rae elu

hunv'a

mra

e { V

m ︐a︑ ・・

( (

AU n H

n v

(

︑ .

t } ︑h' ︑.J ) ︐︐

q d

‑l a

) E f t a

r a c {

Au n e

{ e x . ︐ L

﹀hH

) t t a s p

・l

‑6LAu ‑ a︑Jr

a E C i (

hH'z

︐ ︑

‑hH

aat p a

︐ ︑ ︑ ︐

P A

h H

‑

h t w t a o aPI P I

‑ ‑

o

wl ︐

O U (

31nH

o'trt ‑{t

d・

n n fuo c

E (

λu {

) (car llsl)))

︑ ・

ふ4度僧砲の

︐ .

︑︐B ︑

) )

a︐ ︑ ︐ ︐ ︐

qu'i

‑ ‑ a

︐e︑ ︑

.J1

・ ) ﹀

﹁ } ) a ) )

a t t

C 5 5

( i l

‑ ‑ L s r r i a a l d d r︑

c c

( (

)

l u﹀

n H

︐︑ ︐

{ t ) ( ( ) ) d t n s

nu‑aa

( C 1

・ (

A U J u

n e

︑J

β l

︐ ︑

︑

n u z

s p x i ) a u

' a ︑

r︑

( t n

q u n H ρ

M X・

l e h u l s T

A n 6 L 6 L n H 司﹄

r r e l p p h u { {

T n t ( t rr ︑ ︐

tp AU

n n u o

rAFU

日 ︑ ︐ ︑

AU { ) ︑.J) ) } ) } v d ^β^L^{b n} t s ︐ ︐ ︑t _{c u}l ( ︑ . ︐ _a

e d

‑

} i

︑JE

} a

t q

‑ at

‑s

l a

一1

a ) a (

t s

r d

・‑de l e a

‑F t'

a p

y r y e ( e k k r ( c d

d s c n s︐t

tea { t X ( (

e d

n n u o

r A C E {

d (

(rds b:conlrol)

) ) ︑︐J)

) t

'lcリ・1・E

nu EI ) a

. ︐

目 ︑

) S X

t‑

‑u

S 1 a a

‑ ‑ 一‑ l a t

‑s

ala { l

U (

t n

︐ . ︑

a ( (

ーd

nn uo f c

e (

d ︐︑ ﹀

) )

. .

也 ︑ . ︐

q岨︑B︐i﹀

l t

‑s

ai l }一 ) a

t s

︑J S A A u

t‑

‑c s一︹

‑ ︼

l x

‑r u ada

{ C

一

( t

x S u l a

a‑

‑

一U (

t n

Ec d︐︑&L

a ( (

ー

n n u o f c er

︑d (

(deCun fgel̲frame (frame) (cond ((gel frame 'frame))

(l (sclf (gct frame 'framc) (llsl framc)))))

(defun fremove (frame slot facel value)

; 与えられたフレーム，スロット，ブアセットのflllを消去する (lel ((value̲list (follow̲palh (llsl slol facel)

(fgel̲frame frame)))) (cond (((member value value̲lisl)

(delele value value̲llsl)) l )

(t nll))))

(defun fdelele (frame)

; フレームの削除

(remprop frame 'frame))

る

す

hノ

ツヱ

チを

品川剛︑

︑ どつ

る )

‑v

あ

t )

b )

値引

V﹄C

} ヨ

p‑

'_也

︑.J4

事 4︐ n u

efl U 4 s l' a7e v ' m

‑da

t V E

‑

︑c e'f

f ' e

d'J'b M

ロ日

sスeu e︐i m

︑

aa﹂Vr

・︑

‑r

︑J

{ ' e )

hu'i‑ z

・

‑ K F m・‑

・4︐nLnH

e:m

﹄HeJ

︐ ︑

C L { ( ' ' A ︐

4a mw 白﹀

n1 6ι n u}

﹄OEE‑dC んは与 (

F・ ︑ . ︐

(defun fclamp (framel frame2 slot)

; 与えられた 2つのフレームをくっつける (rplacd (fgel̲frame framel)

(1lst (follow̲path (1lst slol) (fget̲frame frame2)))) s 1 0 t)

(defun fget̲i (frame slot)

; 与えられたフレーム，スロットから値を取り出す

; 与えられたプレームに値がない場合には ak 0 スロットが示すフレームから検然する

(store̲frames (cdr framelist))) (t (put name 'frame frame)

; フレームがマスターフレームであれば，

;*masterframes*へ名前を格納する .

(cond ((equal (fget name 'ako ・value) '(masler)) (or (member name *masterframes*)

Cselq *maslerframes*

(cons name *maslerframes*))) (store̲framcs (cdr framelisl)))

;フレームがマスターフレーム以外なら，

;>I<irames*へ名前を絡納する ' (l (or (member namc中frames*)

(selq *irames* (cons name *frames*))) (slore̲irames (cdr framelisl>))))))))) ({gel̲ll ({gel̲classes frame) slol))

(defun fgel̲il (frames slol) (cond ((null frames) n11)

((fgel (car frames) slol 'va1ue)) (t (fget̲il (cdr frames) slol))))

(defun fgel̲classes (slart)

Creverse (fgel̲classesl Clisl slarl) nil)))

) ︑

J P

﹄

s u e e s u s q

a ‑

) r c s a c c e s

r︑

u s

lu S ‑ ‑

s e q c e g r︑

︑Jcd

lfa ︐ ︑ su l d efe

s u 一esn可・knuz

a e

p ‑‑

g a

f (

一U︿

t n

e(t g{︿EA d

t︐︑︑ AU e( c f uo '

︑ .

府刷入れ慣ぇる

h v

新 ' レ川

をU

・

︐ H

m M

の

る打 )ト

あ

eMツでmM

セ当打

vア逓t 一

UUブ不

﹀p c t o f

﹀

a ' k l (} fトきSUU ツレ L M

川

叫ロる

日刊

eスあ吋臼

m E

a(s

a ' b f i

打

ム偲

cけ(一の叩tm

レ上回同いはフ以げけ

P:﹀e

す九

てd打れ2釘n

らにいいえ' M 初

陀

んは

与尻町 (

'ako 'value) (cdr queuc))

(cond ((member (car queue) classcs) classes)

(l (cons (car queue) classes)))))))

‑ ︑

a︐ ︐ ︐ f・〆

t官

h/ ツエチのめ

たる

固守

曹を

値

pり

ふHH

セツ

ア

ブるけなeU る異

日一時と什何を

t値u日

切り

1 m

sよ

mにvt‑

刊承のれげ

一名i fxと一継ム日レ叫 Mトフf 一

山崎ツ一・1一n

セタ

ア' M

スは仇フマ (

) ︑

) . ︐

︑ .

︑ e J V ) } ) ︐

J L R

. ︐

Gu ︑

・2・C

J V

︑

JIa・

‑ー

︑J

‑E A

} a (

a v‑

‑s t t

‑

‑ ieo

‑1aIa al I c i V

) a { (

. ︐ L

s r J

i d e l e a

‑{ l a p

ye(

e k k r ( C d o a o csc s' t s a S(t a ( ( PI

nn d

u o f c

E {

AU ( るす成作会t

)

スリ

e Hソm のM

S A

} ッ

emロm r aLr v

ノg A

SA'

rz︑ ﹃

︑ . ︐

︑

争 . 也

' U w .

︐b.u悶て

(

‑l J れ.訂_訂

av L

‑0

犬

1一2 r叫納﹄hれいさ

T a

d b引C

︑

r b i a

‑ C

‑ p u''a

小ブ '1

・ '

﹀‑ ‑ ‑ ‑

l u

c d

e r

) ︑

. ︐

a︐ •.

e c a

g A

a曹 ︑

o l au

︺) S } e )

S } a s l e e s

包叫

r a a l ee

( ﹀

) r

sltd

e‑

‑e

sng(

sf a

} ( X

isu

c et a

(

S l

一

suf x a si u le

‑ a

且S ‑e crt

' A

e一u︿ a‑‑'l&LEYA nub︐‑

t n s e {{ t

gbr︑r︑r︑'

' A

n n

uo fc

e (

d (

(deiun fgel̲v̲d (frame slol)

; v a lu eフアセットまたは de f a u 1 tフアセット治、らf置を1号る (cond ((iget frame slol・value))

((igel frame slol 'default))))

(rds b:method)

(deiun fgel̲c (slol)

(igel̲v̲d curframe slol))

) e LH

・曾

r 酒 ︑ n u

p+A

l a v a

v e

‑ )

pe D色

' n

︑ ︐

U ) t

s t m )

onaE︐ e

t i 'lr︑J

s s

gAC

) a t

t e t o t a

nu‑ISBI

E r

‑ P i s

‑ f S ( 1 { l

︿︐('

(・

由︑

m d a n r e

{ P

k (

cu nu

•.

n i

T A

︐ ︑

︿ ) ) e ^C叫n nv P R

e ‑} )t ︑JS d i al n﹂ra︑r

︑ ︐

︿e)s︑JEn︑JSOEA

n p i os

s r aL C ( {

︑Jri(d

r n ( p o

n﹂ee(

・ ?

目 ︑

︐z︑︐︑︐ . ︐ a

(defun fgel̲n (frame slol)

;継承とディフォルトを利用して値を得る (lel ((classes (fget̲classes frame)))

(cond ((fget̲nl slot classes 'valuc)) ((fgel̲nl slol classes 'defaull)) ((fgel̲n2 slol classes 'If̲needed)) (l n j 1 ) ) ) )

︑︐J) ︑.J} y

ρ iv

ν H

)

) )

ys ee ks s ﹀

t a v d o l

‑ c k s

r・5

) ) d

s'ler︑s n s a s

tも

l ) a o

s‑‑

自‑M

FLea

‑ t aOSr・i cd

l a a n

slc一

( C

︿te

l l t g n'

﹄由﹄EZ一

u g ( t n f e︿ ( t g { ( (

ripL Hunu nn d

e (

AU ︐g︑

(deiun fgel̲n2 (slol classes key) (cond ((null classes) nil)

((mapcan '(Iambda (e) (app1y e ni 1)) (fgel (car classes) slol key))) (t (fget̲n2 slot Ccdr classes) key))))

Cdefun fpul̲p (frame slol facel value)

: 与えられたフレーム，スロット，ブアセットに値を絡納する (cond ((fpul frame slol facet value)

(mapcar・(1ambda (e) (mapcar

︑ '

︐

J︐ }

.J︑ ︑

Au Au

g孟

•.

' ' t o I S ‑

‑ e

c t n e ) u g )

saSAP

︾

' ( m

Ta rl s E s

c d

a l e t bu g

' ' A

︐ ︐

︑

) ︑

. ︐

} e u l a

Cdefun store̲frames (framellsl)

;フレームをメモリーに格納する (cond ((nuIl framelist) t)

(t (Ie.t ((frame (car frameI1st)) (name (caar framel1st))) (cond ((not (atom name))

(prtsen '(not named by atom))

(add̲lo̲slream new̲a̲llsL a̲lisl̲slJ'cam)) (cond ((nol (numberp malchRaliol))

(selq malchRaliol 1.0))) (selq malchRal10

('" ma l ch Ra l i 0 (ホ malchRaliol new̲a̲lisl)))))))

**ホ*ホホ*'"ホ****

;ホ***

. . . .

.

;ホ****訓ド*ホ*刻ド*司ドキ*ホホ**ホ***********ホ*****~ドヨ俳キ********本市*判ドホホ朱1<***司ドホ中*******本********牢

92.11.14

$ホホ*ホ**ホ********市*本**>1<ホホ**ホ*>1<

mulisp86 verslon

( l

(lel ((new a list

(malch (car pallern) (cadar assertlons) lnll1al a 11sl)) CmalchRallol (malchRalioAux (car assertlons))))

(cond (new a list

(selq a̲lisl̲slream

(add̲lo̲slream new a llsl a̲lisl̲slream)) (cond ((not (numberp malchRaliol))

(selq malchRaliol 1.0))) (selq matchRalio

(>1< matchRallo malchRallol))))))))) F i 1 e name : R U L E. L S P

Fealure : 縫輸エンジンのためのルールベースシステム

(defun inpul̲asserlions (inpul)

; * d a t a *をa s s e r t i 0 n sにコピーする (cond ((null inpul))

(t (se tq asscr l i ons (append (ge l • *b̲board* (car i npu t)) asser l i ons)) (inpul̲assertlons (cdr Inpul)))))

;一一(データの入力

(defun malchRat¥oAux (asserlions) )ーーーーーーー一ーーー一一ーーーーーーーーーーーーーー一一一

(defun forward chain (rules) (selq asserllons nil) (inpul̲asserlions inpul) (cond ((null (Inl̲variable))

(forward chain aux rules)))) 前向き j世論

(cond ((null (cdr asserlions))(car asserlions)) (l (malchRalloAux (cdr asserllons)))))

t h e n部分の処理

(defun forward̲chaln̲aux (rules̲to̲try) (cond ((null rules̲to̲try) progress̲made)

((usc̲rule (car rules̲lo̲lry))

(forward̲chain̲aux (cdr rules̲lo̲lry))) Cl (forward̲chain̲aux (cdr rules̲lo̲try))))) Cdefun lnl̲variable ()

; 変数の初期化

(progl Cpul '中b̲board*resul t ni 1) (fpulWhylog 'forward forward)

(fpulWhylog 'frame (1 ist curframe))

(se lq progrcss̲made n 11))) (defun spread̲through̲actions (rule̲name actions a̲llsl)

; 照会が成功した結果のリストを作成する

(do ((aclions aclions (cdr actions)) Caclion̲slream Cmake̲cmply̲stream))) ((null aclions) aclion stream)

(Iel C(new (newMalch (car aclions)))) (setf (gel ・*b̲board*resull)

<remember (gel ・*b̲board* resull) (defun fpulWhylog (slol value)

(cond ((nul1 value))

(t (fput rules̲used slol 'value (car value)) (fpulWhylog slol (cdr value)))))

rule name (car new) (cadr ncw))) Cselq aclion̲slrenm (add̲lo̲sl

，

^'enm^new actlon^̲slream)) ))) (defun newMalch (acllon)

; 確信度を計算しリストを作成する (do ((aaa nil)

(aclion aclion (cdr aclion))) ((nu11 action) aaa)

(setq aaa (append aaa (newMalchAux aclion))))) (defun feed̲lo̲8cllons (ru1e̲name actions a Ilsl̲slream)

; 結果のリストをまとめて 1つのリストにする

(cond ((empty̲slream̲p a̲lisl̲slream) (make̲empty̲stream)) (t (combinc streams

(spread̲through̲acllons rule name actions

(firsl̲of̲slream a̲lisl̲stream)) (fecd lo aclions rule name

acllons

(resl of stream a lisl stream))))))

; i f部分の処哩

; t h e n部分の処理

ーー( ルールの処JlI!

︑ ︐

﹀︑

. ︐

.l 0 ︐

a冒

a 口H︑JLH︑_.

C } t ) a } m o

i ︑ ︐ ︐ . ︐ ︑

n a O R

‑‑ h

‑LPLu pu

‑ ‑ _︑ aa

m r

a t

a u ( i l * { ( }

︑.J

t n

n u t

‑

‑t

( C ) a } n r o a

‑ ‑ c

・p・ ‑ ︐

z︑

a t }

R M ︑J

﹄ ︑ . ︐ a l ) FUJ

︑ ︑

J︑.

︐ ︐ ︐ ︐ ︑

) ) d o n n p n i O G r e t

‑‑

‑l ep

t t b p a c e m a a a u rr︑ { n a r { t c x d { (

︿

u c A ( d t h n s C B I O

‑

‑ t r P I c

‑ a僧

S 7 U ( (

M円

量伺 ( t e )

︿ {

F t nu

A u

例目

nu費2O

︐

A$1c

e ‑ ‑

包 (

︐ 世

{

;

(cons x (cons y (cons (r100 z) nll))) p)) (cadar p))

(() z (caddar p)) (rp1aca (car p) x)

(rplacd (cdar p) (cons (rl00 z) nil)) p)

(t p)))

(() z (caddar p))

(push (cons x (cons y (cons (r100 z) ni1))) p) (de1̲I¥st y p)

(t (cons (car p) (remember (cdr p) x y z))) )) (defun r巴member (p x y z)

; 確信度の大きい ! 慣に格納する (cond ((( z 0.01)

p) ((null p)

(cons ((equal y

(cond

i f 部分の処理トー一司一一一一一ー一一一一ーーーー一一一ーーーー一一ーーーーーーーー一一ーーーー

(<l:ef~u~ ~.as_c':.d~__l.h~~tlßh_pall e_ rns (pal lcrns a̲1 isl̲slream)

; i f部分の条件を順番に処題する

(cond ((nu11 pallerns) a̲list̲stream)

(t (fillcr̲a̲llsl̲slream (car pallerns)

(cascade̲lhrough̲patlerns (cdr patlerns) a̲llst̲slream))) ))

) m a

白Mr

a官 ︑ s

t c u

i l a t ︑

J S

︑. J A A

) l

︑ ︐

‑

m n a e e h r t

・ ‑

目 ︑

SE︐ 一ty︑

J S t } i p m l ) m a

一

) e e f

)一

r i } e e l t e s k m S S E

‑ n a a

‑‑一s

urmnBaa‑

︑ ︑

r e (

‑一

S } e t e n

‑

‑ m v

r︑J

bk 'a Ea

Aa c d } a l u h

一e r

ペu︑JD

nrtarr

︑

a e

‑t

c l h m s s c ( u g a n

‑m

r u c o n a r o r

‑‑ o n ) d r r t t i

一

) C d h s c t e e(dt

‑a c l i d

‑‑ o

‑

a u u e a e s t o r rsed

‑‑一

t p r(aid

‑

r e e

‑‑ d d m c ) d v r s f a e a s o a e d a

‑

‑ { e c u

r e e f r

一

' t ︐ ︑ ︐ ︑

︐a

︑ ︐

︐ ︑

a La d

‑ s

e e

m m

‑l

l a a y u

e e

‑E r

o r r p

一

( i

t t t m

t m

s s c t e a a t

‑

‑{‑

'A nH ns 't

・ ︑

n A U

︑ ︐ ︐

u h

‑‑‑s

o l e } rc e‑ in sa

‑‑ o

e︑ ︐

︐一

t l

‑e l l n f t c a u f h

一C

{ {

mrita

H U q qn可qa︐

q q J u

ne︑

t i t

‑

‑ n

H u n ‑

u ρ

し肉︑ρ﹂phphnu

Cd c

d q

J W

C J

J V C IM p

ρ LW

︐ ︑

︐皿︑r︑

︐ ︑ ︐

︑

︐

皿︑

︐ ︑ A U

( ) ) ) ) ) ︑ ︐ ︐ ⁾_m

} a

ame r ct

r・‑ c d

t一

‑s st t i

e d ' i

) i

一

) l a

m‑

a a m e a r m e t a r s e t

‑ r s ) y t

一

m t s f a p

一o

e m f

‑ r e o t

t一‑S

S E

‑ e

一

k g r t a r

︿

s m i i { f n E a r

︑F a

一

) e

a m n t a r t n︑J

e e a

u ︑r t p

ek‑‑t t↑

N s a m

‑

一

︐t e p ι E s s r

z・︑ ︐

1 n H

も

‑‑ SO S

量旬 ︑

一s・1一

atam‑t e﹄

J a r s

r‑

pe e‑

‑

t‑‑

rsl s f m t s

‑τっ

asaa t︑e

‑‑

一

SJrerr

‑zstnee

I n s

・‑tt

一O‑

b i l a‑‑ymii 一t t o f f rrPC{{

e e m { t s e

・1sr

︑ + ︑ i a r︑

︿

SA一

r d

n H ρ ‑

hn H

u t o

f・

2a C E't

︐ ︑

・dfA' t

・ '

(defun del̲llst (y p)

; リストからの削除

(cond ((nuI1 (cdr p)) nll)

((equal (cadadr p) y) (rplacd p (cddr p))) (l (del̲lisl y (cdr p))) ))

︑ .

︑

. J

︐

. ︐

s •.

)

・

1﹀le一

} u a

m‑‑

a a l e v a ) r・

・

1︺

a︐ ︑

. ︐ 目 ︑

︑

s e i ) 一_m n s ) t a i n ) s n o l

・‑

︐

) 1 0

・teaaE

・

‑ p n r o a

‑

‑ o e h i s t

︑J c

・

) r r a

‑

‑ ) e e l } m b s r

‑ } a m s a a s e e a c

一

} n r m ( w t o t

‑ r e s ' l s a x n i t

‑

‑ t d u m B A r t e a A n

‑

‑ a

‑

e s g C O

﹀e

a s

︑2・1 8 A

︐ ︑ 且

︐ ︑

r一

S } l ( } t t l a )

‑ n a t s a m a } r R S

‑

I r a n e h i t t d e l r t C I s

‑

‑ c r l e t t

‑ i n ( t u t a a a l

‑

‑ ' 3 s n t p m

‑

4一︿a︿

w a n h l y p r e

r寸

d s t t a l n q

e匙

z n p o r t e o t

tdEOmnas{ide t

町民

・le(ai‑‑

︑n

s a匹

ht 一) C 1 1 a a { p・p

‑r es

︿一

h R (

(ポー

e k n a c h t lsaoe

‑‑

tc sIsm‑mwatd n'a

︿

t a e m a n O E r n n ( m o

m e

一{

( C t i a s h ( (

rp︐

e s e e‑srart s

‑ n t a e slos‑el a t

‑

‑l S {

‑tttu(

rLrsnr︑

eEelt t 5 1 1 l s

配

‑r

m i i a a o o

︐ ︐ ︑ ︐ tr

︑ ︐ ︑ F U

: {

︿ ( 1brJG ︐ トrou n HE︑J

AU44J ︐ ︑ ︐K (

;

(defun feed̲to̲rules̲used (rule̲name lf list then̲list a̲llst̲slream) 利用したルールのリストを生成する

︐z︑

••

、 . 圃圃圃圃園田園・ーーーーーー一一一一一一一一一 . ← 司・・ ^E ・・ ^E ・・ ^E ・ ^E ・ ^E ・

; 推論に利用したルールのリストを作る

; ( ルール名 i f部分 th e n 部分 )

(cond ((empty̲slream̲p a̲lisl̲stream) l)

(l (fpulWhylog 'rule̲name <Ilsl rule̲name)) (fputRuleChain ru1e̲name forward if Jist))))

︑ ︐

z d

︑z '

) )

q J 4 H

L u a

t D

L u h u

︑

︐ ︐

q JA 旬 ︑ ︐

︐ a a } a a

﹀n v

‑ A︐.

︐ . ︑ ︐

t︑ n u

︐f ( ︑︐︐t l

( V︽a m { t (

(cond ((nul1 if̲list))

ct (fput rule̲nllme 'ruleChain iorward CruleChain forWllrd (car If̲liAl))) (fpulRuleChalnAux rule̲name forward (cdr lf̲11st)))))

( () bb3 aa3)

Ccond ((equaI bb2 ・左台形 ) 1.0) ( C cqullI ll1l2・.(:;{1 Jf~) 1. 0 ) (t (max (ー 1.0 (/ (‑ bb3 aa3)

(+ aa4 bb4))) 0.0) ) ) ) )) ) ((and (cquaI aa2 ・台形)(nol(equu1 bb2 ・台形)) )

Clel ((aa3 (car (fgel (caddr p) 左周折点 'value))) (aa4 (car (fgel (caddr p) お廊折点

'valuc))) (8a5 (car (fgel (caddr p) .左幅 'value))) (aa6 (car (fgel (caddr p) 'ti幅 'value))) (hl

・

:1(Clll (f!，:<，!

(caddr d)

(cond ((01' (equal bb2 ・左台形 } (cqual hb2 ・;(，台形)) . 周折点 )

((equal bb2・三角形) ' 中心点 ))

'valuc)))

(bb4 (c8r (fgel (caddr d) ，幅・value)))) (cond ((and ((= aa3 bb3){(= bb3 aa4)) 1.0)

(((= bb3 aa3)

(cond ((equal bb2 ' 右台形 )1.0) (l (max {一 1.0 (/ (‑ aa3 bb3)

(+ ua5 bb4))) 0.0) ) ) ) (defun fputRu1eChain (rule̲name forward if̲lisl)

(cond ((nul1 forward))

(l (fpulRu1cChalnAux ru1e̲namc (car forward) lf̲llsl) (fpulRuleChain ru1e̲name (cdr forward) if̲llsl)))) (defun fputRuleChainAux (rule̲namc forward lf I isl)

(deiun ruleChaln (forward if 1ist) {let ((aaa (get forward 'irame)))

(cond ((nu11 aaa)

(ruleChalnlnpul (gel・*b̲board* iorward) If̲llst)) (l (ruleChainAux (fgel forward ・rules 'value) if̲lisl))))) (defun ru]eChalnlnput (iorward If̲list)

(cond ((nul1 forward) nil)

((equal (caar if list) 欠陥位置 )

(cond ((equal (cadar forward) (car if list)) (cdar forward))

(t (ruJeChainlnput (cdr forward) if̲11st)))) ((equal (caadar forward) (caar If̲llst))

(cdar {orward))

(l (ruleChainJnpul (cdr forward) if̲lisl)))) (((= aa4 bb3)

{cond ((equal bb2 ・友台形 )1.0) (l (max (ー 1.0 (/ (ー bb3 aa4)

(+ aa6 bb4))) 0.0))))))) ((and {equal bb2 ・台形)(nol (equal lla2 ・台形)) )

(Iel ((bb3 (car (fgel (caddr d) ・左加折点 'value))) (bb4 (car (fgel (caddr d) ，右組桁点

'value))) (bb5 (car (fgel (caddr d) ，左1筒・value))) (bb6 (car (fgel (caddr d) ，お1情 'value))) {aa3 (car (fgel

(caddr p)

(cond ((or (equal aa2 ・左台形 ) (equal a82・t;台形 )) . 周折点 )

((equal Da2 '三fll~ ) . 中心点 ))

'value)))

(aa4 (car (fgel (caddr p) ，幅・value)))) (cond ((and ((= bb3 aa3)((= 3a3 bb4)) 1.0)

( (く= aa3 bb3)

(cond ((equal' aa2 ，;(; 台形 )1.0) (l (max (一1.0 (/ (ー bb3 8a3)

(+ bb5 aa4))) 0.0) ) ) ) (defun ruleChainAux (rules if lisl)

(cond ((nul1 rules) ni 1)

((and (not (null (gel (cadar rules) 'frame)))

(ruleChainAux2 (car if lisl)(cdar (cdddar ru1es)))) (cadar rules))

(l (ruleChainAux (cdr rules) if̲list))))

︑ ︐

J) ) } s

1 S . ︐ L

) l

t‑

n H

︑. ︐

︐由﹄

︑.

︐︑

J L H

C凶CJSL

a Et

晶曹

︑ S E r

‑ l i d

‑

‑ c

一一

r︑

nH nH e e l

LHhHS

t ) t i l l

i‑‑r‑ s n a f

‑‑ai

' a

︑ ︐

nu一巳

J v︐t

q乙

f t x

・1 5 t u ( i s A

ー﹄・2n2一

l i x n

‑a

‑c

‑ t e i l i a

‑ a u

c u q t e n e

‑

︿

U ( ( {

A u H u nn

n u

gAFb our

︑

AU {

;ーーベパターンの照合トーーーーーーーー一一ーーーーーーーー‑‑一一一ーー (deIun malch (p d assignmenls)

(cond ((and (null p) (null d)) (cond ((null assignmcnls) t)

(l assignments))) ((or (null p) (null d)) nll) ((equal (car p) (car d))

(malch (cdr p) (cdr d) assignments)) ((alom (car p)) nll) ))

︑

︑ .

︐

) ) ) } ) 形形 ) 形形リリムロ

A口

} リムロムロ

﹀け }

﹀形左右形町左右形町

J J 台

︐

︐ 角川

.. 角

M I l

・

2 2 2 V 2 2

ミ

V ) ) a a τ一・

b b

三

・ ' '

) 2 a a

・

b b

・耳

A耳HN リリリ凶

1 1 2

帽

1 1 2

幅台台

u u u u l M M M

﹀ . 回目凶 } . 左右 u u u u a q q ) ) } q q ) ) )

︐.

M M U U

引何何点剖点

九日何点剖点

d 2 2 v v v v e ' T u p r ' T U ρ r

﹀

a b

‑

‑ { r H U q

︑4 d r h D q

︑ 札 d o a b e e

わ

u u ω

腐んは中川叫山山

ω

周何中川吋し

l l o p o p耳

A (

︐ ︐ t ' ) C ( ' f

︐

) C a a k y k y f r e

︿

r e

︿

﹀ } u u at at iF

ト

d d u d d U 3 3 q q

••..

︐

t d n l t t d n l t b b e e e a o a e e a o a e b b { { ) ) ) ) 2 g c c v g g c c v g

︿

︿ p p d d a f { (

・

f f ( (

・

f 3 3 a (

︿ {

︿

aad r r r r a a n ) d d d d l r r r r o o d d d d a a a a a

﹀C

a a a a u c c c c ( ( (

︐

︑

︐

︑

︐

︑

︐

︑

︐

t︐

. ︑

( ( ( ( e

︑J

︐ ︑ 内 d s

鍋E q d a t s q

﹀

t t t t a a b b n d e e e e r a a b b o g g g g O ( ( (

︿C

Ar ︑

r︑r︑a

︿

︿ ( ( c t t ( r r r r o e

﹀

} a a a a n l } p c c c c ( (

) d

︿ (

︿ ( (

S r

a・ ︑

勺ι

qι

na‑Gaabbn

ecaaabbo m(C{(((C n r・

︑︐ .︑

︐

g } i P I t s a e

C dr

・‑ H

u 'i

aaq(

A u ︐ ︑ ︐

・

( (

n r t i

( a d un

‑ q o

hec p u

︑

且曹 ︑ ︐

E︑a m d n H n o u c r ' A

︐e︑e

︐e︑ (((= bb4 aa3)

(cond ((equal 8a2・左台形 ) 1. 0) (l (max (ー 1.0 (/ (‑ aa3 bb4)

(+ bb6 aa4))) 0.0))))))) ((and (equal aa2 ・台形)(equal bb2 ・台形))

(Iet ((aa3 (car (Igel (caddr p) ・左屈折点 'value))) (aa4 (car (fgel Ccaddr p) . 右周折点

'value))) (aa5 (car (fgel (caddr p) ・左帽帽 'value))) (aa6 (car (fgel (caddr p) ，右 'va]ue))) (bb3 (car (fgel (caddr d) ，左居続点

'value))) (bb4 (car (fgel (caddr d) . 右屈折点

'value))) Cbb5 (car (fgel (caddr d) .左稲 'value))) (bb6 (car (fgel (caddr d) .右帽 'value)))) (cond (((= aa4 bb4)

(cond (()= aa4 bb3) 1.0)

(l (max (‑1.0 (/ (‑ bb3 aa4) (+ bb5 aa6))) 0.0)))) ({(= bb4 8a3)

(cond (()= bb4 aa3) 1.0)

ct (max (ー 1.0 (/ (‑ aa3 bb4) (+ aa5 bb6))) 0.0))))))) (t nll))))))

(t n i 1 ) ) ) (rds b:irame)

;****

; *ホ************前ドホ*****キ*"'*キ*****"''''*'''ホ***'"ホ*ホ牛***'"測隊ホ****取***ホ**中市**ホ*ホホ"'*ホ**牟キ徐*

*本*'"ホ"'''''''**中** 92.11.11

******ョド****泳**ホ*ホ*ホホ**ホホ*ホ*刻ドホ

NDI M. KDB

マスター・フレーム mul1sp86 vcrsion

Flle name Fealure 傘"ド********申ホホ

:****

; F i ) e n ame : T 0 0 L. L S P

; Fealure : リスプ・ユーテイリテイ

;ホ*******ホ***ホ**ホ******"'**訓ド*ホ*中***命*命中刻ド*ホ命ホ**キ*****傘本****キ*牟******牢**本**傘牟*宇***

92.11.14

"'''''''*牟キホ*訓ド******ホホ*調~*ホ*ホ****司ド*

mu)lsp86 verslon

; ストリームの処理

(se lqホmaslerframes* ni 1) Csetq *frames* nil) (defun combine̲slreams (sl s2) (append 51 52))

Cslore frames '(

(weld̲condilion ; 溶接条件の入力と推輸を制御するプレーム (ako (value masler))

(begin (value 9ubclass)) (subclasses (va)ue get̲w̲dala gel̲ut̲dala weld rulesl weld̲rules2))) Cdcfun add to stream (e s) (cons e s))

(defun first̲of̲slream (s) (car 5)) Cdefun resl of slream (s) (cdr s)) (dcfun cmpty̲slream̲p (s) (null s))

; 超音波探塩試験の結果の入力と推論を制御するプレーム (value masler))

(va)ue subclass)) (value choice̲groove

u t ru) es ) ) ) (ul lesl

(ako {begin {subclasses

ムレ

ブるす

御1

角深い先先

関関子さ例裏表触長

探示

法状角深旨幽寸形先先面

f性

の手関関傷 ) 特

fけ

附継表表探甥

1 )

: り

PE 一位級

リ一

S )料つ角深数

コ陥等

日

n k U 材は先先披げエ欠の河ι・印e‑mm

裏関関周程

事

﹀日

ty)

‑l法

3 (傷陥 ) :

級灯

H M

凶り同

c一方金隔角川さ探欠ハク等以MUWLmu制接当厚間折E

高側面

I附のmmm一山間引日溶裏板R屈

Y E両裏

Z欠陥

e e e e e 欠 u 凶M川u

. ︐

a a a a a v v v v v

w a

m a

n H

n一

o t

a a n H

・lu

a o g s m K e e

‑

‑ a b r

c d

(defun read file (file name)

; ファイルの観みだし ((rds file namc) (setq lexl nl1)

Cloop {setq lextl (read))

((equal textl ・(rds)) (rds)) (setq texl (cons text textl))) lexl))

(defun make̲emply̲stream () nil)

(defun print̲llst Clisl)

; リスト中のリストを 1行毎に表示する (cond ((null listJ t)

((prlsen (car list))

(print̲llst (cdr lisl)))))

溶妓層開先形状

Csubclasses Cdala name (defun print̲char (message)

; リストゅのリストを括狐をはずして 1t::j4手に表示する (cond ((null message) t)

((prlsen (car message))

(prinl̲char (cdr message)))))

振子走査前後走査

(defun prtsen (message)

: リスト r f 1 のアトムを括弧をはずして義示する (cond ((null mes5age) (terprl) l)

((prinl (car me55age)) (spaces 1)

(prlsen (cdr message)))))

(choice̲groove ; 開先形状に対応するデータ変換フレームを選択する Cako (value masler))

(begin (value choice̲g))

cV形開先 (value dala̲transform sv)) (X形問先 (value dala lransform dv)) ( レ形開先 Cvalue dala̲lransform̲sb)) (K形開先 (value dala̲transform̲db)))))

) )

︑ ︐

︑.J︑BJ ) ︐ } e

e g g a ) a s t s s } s e e ) e m

gem

a g r

巴u

a u r s A u

s s a c

esc︑_J

me(1

( m l 'ASn

11 An Ee n l

・‑cs

t snppr o lMHuvaau&E

︿

s p

r ( ( ( { nr

nn u o

'ιpu

e {

AU (

︑ .

e ︐

a c u

e m (

︑ ・

Jne

o g

.︐ ・

a u aT

L︐

p a

u m )

nwB

︑ ︐

︐ 一r﹀

・lnh‑ ta‑

nvat'A r一 c

・

n n

n・l'l

u r r f p p

C ( (

d (

(rds b:ndi̲g.kdb)

(defun print̲y̲n̲quesllon (message)

(prinl̲char (llst (append (car message) ・(?) (prinl ・ーー)) )

， ((yes!no)))))

(OEFUN Y‑OR‑N‑P‑2 (MSG CHAR READ‑CH^R RDS WRS ) ( ((NUしL MSG))

(FRESH‑L1 NE)

(WRITE‑STRING (PACK* MSG )) ) (CLEAR‑INPUT)

(LOOP

(SETQ CHAR (CH八R‑UPCASE (READ‑CHAR))) ((EQ CHAR 'Y) (WRITE‑LINE CHAR) T) ((EQ CHAR 'N) (WRITE‑LINE CHAR) NIL) (WRITE‑BYTE 7) ) )

(rds b:rule】

L‑

ス川ノ

ト川口川すトト

一部

スススをすリリリ訳すす週表示示のけををを目的番目目項名順項項関川ののカカ質先タタ入入く川

カ一一ののづ

ω

出デデタタ基以

υのるる一一にd一位タすすデデ個以

t 一一カカ絹値カ

t ‑

μJ

ア入入言数人

m u

eeeeeeee uuuuuuuu aaaaaaaa vvvvvvvv

一一

ssaate yittss

fl aa

‑‑ s t i

‑‑

dd la

nltrnv‑l

iune

‑

‑g

gsedttdb ee‑dreeuu

briogg

・J S

*****市****ヨド判院本

; '"ホキ *

;村 *材料材料材料材料仲村材料材料帥料 . . 材料材料材料材料材料材料 * 材料材料材料材料

92.11.14

制ドキ**.'1<.訓~;ド**キ傘訓ドホ訓ド**羽ド*ホ*ホ訓跡調ド*>t<**

mullsp86 vcrslon

Fi 1 e name : N D 1 G. K D B

Feature : 溶接条件および超音波探慣に関するデータの理得

(gel̲ul̲dala (ako (resulll (resull2 (Idenl!fy (order llsl (store̲frames

P ス

けソ

リリリす

トトト一部

スススをリリリ択すすす週表示示の

日ををや﹄目

前番目目項名順項項問ののカカ質タタ入入

︿

﹀

一一ののづ川

一

アデタタ基 M

日 } るる一一につ肝心すすデデ価

w 一

ト

M t‑ カ力開値カ仁川 M R N 入入言数入肝 Fieeeeeeeee てuuuuuuuuuの UMUUMMMMM

ZTVVvvvvvvv

e創 ︐p︐︑ ︐ . ︑ ︐

︐ ︑ ︐

E︑ ︐ .

︑ ︐ ︐

︑ ︐

a︑︐a

︑

︐

a︑

宿泊

t t タS同

一t

一一

Jプy・日凶凶

M m fl aa

‑‑ s t i

‑‑

dd la

nltrnv一l

a t u n e

‑‑ gc

togsedttdb akeEdreeuu dabrioggjs

E g

銀子走査

指示長さ ))

(value ( 表面欠陥 ( ある face̲flaw))))

(value屈折角周波数保傷面探触子 Y B路程

E高さ (H線基燈 ) 指示長さ前後走査 )

(j udg̲l i s l (result2 data

m m ︑ ︐ r

J︽︑

︑. ︐

︐

︑.

︑ .•

‑ b .

︑︑J・LV

川さい川さ

﹀f

‑m

f‑

zfmf)

卜

︿ ) 州くく

﹀川

︿ていて

いいしさし

︿ささ力だカいだだ入く入さくくをてでだてて ) し差くしし

カのて力力 ( 入らし入入曜をかカをを距 ) 線入角敷郡 W Hを折誼接 ( をさ鳳周諮寝さ授

のの・路高一郎

子渡子ム一指触音触一コ附探超探ピエ欠

eeEeee uuuuuu aaaaaa vvvvvv

泊中

基

線H

角数程さ長街波路高示周周

YBE

指

; i容妓条例:に関するデータ種得のプレーム (vaJue gel̲dala))

(value *lnput̲wl宇))

(vnlueホinput̲w2*))

(value溶援に掬するデータを質問文にしたがって入力してください )) (value溶接方法材料触手形状開先形状 ))

(valuc溶接方法材料純手形状問先形状真当金溶接層裏はつり ))

(gel̲vdata̲llsl (value板厚 R間隔開先角表関先角関先深表問先深 (gel̲w̲data

(ako (resul II (resul t2

<ldenlify (order̲llst (gel̲ndata̲llst

裏問先角

II開先課 )) groove̲s) groovc̲d) groove̲s) groove̲d) ) alcnal)) ))

︑

J・b・いきいだなが九くしくて ) りてしいきし訳さつ択週だは漕らくからかてるか下しあ下以択で

﹀ ) } ) 以を週ザけかるいを下らギるすあな

﹀ぎ低か ) ザがででしい畏

一

下 ) いギ上か

﹀急りさ示コ以川さかちゃるはき ) だ指エをいだ

﹀る立回あくつ } いく陥る差なくいがでりでしはかさて ) 欠けの

﹀ ) いてな上型よかもか ) すだし川ン ) おきいいてししち路

やかうかまく訳上ウ下に ) 高さきし択 ) り ) 立ム

糧事

Cど

すりて遭のダ以 ) 下

一小大定遣いきるで一一り領かまあしら ) 材

B m )

度以

)

コにに ) 翻らなつあ寝ピ

よじかりに択か上い

d m

け5 B 川エかかるはかではで路な A 同4 や ) あこ選下のな

6 0

る1

d るのららあた下ザかザムろはやぽ績けはどら以材いる

え角

えき明明でま以ギうギ一い線二はりい陥は川かをたてけ潤上越子

) 1越とりり後いをザどザピろ

2幽とよな欠置 } 日下置ししお末以を銀湖上をたよよ前な形ギかギない性 A 4 4いに位るい以 ) 位錐胞に

mmm(

来以

Bし

BBB

き波にザにろに特にゆゆで面 } 陥あなを ) 川のをを査

mmm査

BBd

傷

d d dでのかギかいか幅か一一し表 ) 日欠でで面面面子先先

000走走

d d 5銀000

定一らザらろら極ら

定2

都るいの焔端傷表裏触関開設

l12

子881

側

111

副コ明ギ明い明隆明 A A翻接あな面止止

傑

1 2探 1 2前 1 2 3揮 1 2 3両 i 2 3 4ェ

1 2 3 4 5距 1 2 3 4溶 1 2表

1 2 e e e e e e e e e u u u u u u u u u a a a a a a a a a v v v v v v v v v

(face flaw Cvalue欠陥位置 )) ( 傑傷面

; 超音誼銀偏に関するデータ獲得のプレーム (value gel̲data2))

(valuc傘lnpul̲utlホ))

(value 'l<lnpul̲ut2市))

(valuc超音波探悔のデータを質問文にしたがって入力してください (value屈折角周披敷

探傷面卸触子 Y B路穏

E高さ (H線基鎗 ) 指示長さ前後走資

南側保留エコー特性幽線表面欠陥 ))

(gel̲vdala̲lisl (value屈折角周誼数 Y B 3&程 E高さ (H線基措 ) (gel̲ndata̲llsl (value探傷面探触子前後走査撮子走査両側探傷

エコー特性曲線表面欠陥欠陥位置 ))

先先先先関関関関形形形形い角深

V XレK

な先先 ( ( ( ( ( 隔閲開間表表

金Ri

角深

厚先先日板間関

e u a v

(value ( 問先形状 (judg̲lisl

Cresul l2 dala

{ 傑触子

( 前後走査

{ 両側傑傷 { 振子走査表開先角

裏開先深 )) い接いいさ溶 ) ささだクいだだ

ノ

一身

C J

︑J︑

て ) アだててし接スくしし訳溶ガて訳 ) 択 ) ) 週ク椴し } 週 ) )

﹀川選手 ) ) けを一炭択 } 日を先先先先を純手手手法ア動週飼鋼状開聞開問状せ締結締方覆自を

S M形形形形形形合ど字{子接被半料 S S先Vレ

X K手突かT+

溶

1 2材 1 2聞 1 2 3 4踏 1 2 3 4

pupup﹄ρ﹄

u u u u a a a a v v v v (溶後方法

( 開先形状

{ 触手形状

(材料

( エコー

深先隔閲間隔R間角R 先角関先裏

開

角 ) 厚先わ板川一針金i関当厚裏表板深層用先控接関溶溶表

ee uu aa

sd vv ee vv

O G O O F‑

‑r

且

グ白σ白

( 特性曲線

( 表面欠陥

( 欠陥位置 (value <18接用は多用ですか )

( 1 多用 ) ( 2単用 )) )

(value ( 表当金はありますか )

clある )

(2ない )) )

Calenai (value裏はつり )) { 溶筏用

( 表当金

a u

す

念品

し } を日つるなり)いはすし

裏

1 2

︿ ( (

e︐︑ v a u 由﹄

( 裏はつり

3昼間先角裏問先深表問先角

表問先深

輪車

角一深

数噌先先誼川

開閉周程ハい﹀

隔角路さ )

B D

厚間折高

;板R腐

YEZ

し申

t u

na uv a

t e am d a

‑n e g

指示長さ

{板厚

(ako (value get̲data̲unit)) (unit (value mm)))

︑J

︑ ノ ︑

}

﹀ } m m

}

﹀

)mm

﹀﹀m﹀︿︿m﹀

)・・く

︑

﹀}︿︿

mbL

U川﹀いいいくささ

m υ

さささい下下

︿い下下下ぎてていきててて下ししさ下しししてカカ下てカカカし入入てし入入入カををしカををを入ささカ入角角隔を深深入を先先閉ざ先先を角間関ト深開聞厚先面面一先面面桓開表裏ル開表裏

eeeeeeee uuuuuuuu aaaaaaaa vvvvvvvv

角角深深角先先隔深先先原先関関問先関開板開表裏

開表裏

{ 問先角

Cako (value get̲data̲unlt)) (unll (value • )))

{ 表開先角

; データ寝得のマスターフレーム (value master)) (get̲data2

{ako

ドキュメント内超音波探傷試験評価のためのファジィエキスパートシステムの構築に関する研究 (ページ 63-87)

‑ ‑

・

・

︑

・

ι

υ

ι

ι

︑

︑

p u ‑ ‑

" m

︑

. .

. .

.

.

‑ ‑

o

︑

・

︑ .

・

︑

︑

︑

︑ ︐

︑ ︐

‑ e

. . . .

.

，

︐

. J

m‑‑

・

••

、 . 圃 圃 圃 圃 園 田 園 ・ ー ー ー ー ー ー 一 一 一 一 一 一 一 一 一 . ← 司 ・ ・ E ・ ・ E ・ ・ E ・ E ・ E ・

・

︑

︑

u u ω

ω

・

・

・

︑

︑

・

ω

一

‑ b .

︑

︑

︑

m υ

、 . 圃圃圃圃園田園・ーーーーーー一一一一一一一一一 . ← 司・・ ^E ・・ ^E ・・ ^E ・ ^E ・ ^E ・