analog fuzzy inference engine.ps

收集了遗传算法、进化计算、神经网络、模糊系统、人工生命、复杂适应系统等相关领域近期的参考论文和研究报告

(circuits)f(for)f(the)f(implemen)o(tation)i(of)f(the)g(b)q(ell)h(shap)q(ed)
-47 1737 y(mem)o(b)q(ership)d(functions)i(and)g(the)e(rule)i(blo)q(c)o(ks)f
(of)g(the)g(inference)f(engine.)h(The)g(pap)q(er)h(is)f(organized)-47
1797 y(as)j(follo)o(ws.)h(A)e(v)o(ery)f(short)i(presen)o(tation)g(of)g(the)f
(theoretical)h(bac)o(kground)g(is)g(giv)o(en)g(in)g(section)g(2.)-47
1857 y(Section)h(3)g(describ)q(es)g(the)f(circuit)h(con\014guration)i(of)e
(eac)o(h)f(basic)h(blo)q(c)o(k)g(of)g(the)g(inference)e(engine.)-47
1917 y(Section)f(4)h(presen)o(ts)f(the)g(sim)o(ulation)i(and)f(test)f
(results)h(and)g(section)g(5)g(giv)o(es)f(some)g(conclusions.)-47
2036 y Fi(2.)27 b(FUZZY)20 b(LOGIC)-47 2135 y(2.1.)27 b(F)-5
b(uzzy)19 b(Op)r(erations)2 2195 y Fk(In)e(fuzzy)f(logic)j(theory)l(,)e(the)g
(mem)o(b)q(ership)g(of)g(an)h(elemen)o(t)f(in)h(a)f(set)g(is)i(a)e(matter)g
(of)h(grade.)f(Let)-47 2255 y(U)e(b)q(e)g(the)g(univ)o(erse)g(of)h(discourse)
g(of)g(elemen)o(t)e(u,)h(a)g(fuzzy)g(set)g(F)g(in)h(an)g(univ)o(erse)f(of)h
(discourse)g(U)f(is)-47 2315 y(c)o(haracterized)g(b)o(y)g(a)h(mem)o(b)q
(ership)f(function)h Fh(\026)848 2322 y Fg(F)878 2315 y Fk(,)f(whic)o(h)g
(tak)o(es)h(v)m(alues)g(for)g(eac)o(h)f(elemen)o(t)f(u)i(in)g(the)-47
2375 y(in)o(terv)m(al)h([0,1].)e(Zadeh)h(prop)q(osed)i(the)e(extension)h(of)f
(ordinary)i(set)e(theory)g(to)h(fuzzy)e(sets)h([4]:)25 2467
y Ff(\017)25 b Fe(Union)p Fk(:)33 b Fh(\026)281 2474 y Fg(A)p
Fd([)p Fg(B)361 2467 y Fk(\()p Fh(u)p Fk(\))14 b(=)g Fh(max)p
Ff(f)p Fh(\026)644 2474 y Fg(A)671 2467 y Fk(\()p Fh(u)p Fk(\))p
Fh(;)8 b(\026)788 2474 y Fg(B)819 2467 y Fk(\()p Fh(u)p Fk(\))p
Ff(g)25 2566 y(\017)25 b Fe(Interse)n(ction)p Fk(:)33 b Fh(\026)401
2573 y Fg(A)p Fd(\\)p Fg(B)481 2566 y Fk(\()p Fh(u)p Fk(\))14
b(=)g Fh(min)p Ff(f)p Fh(\026)756 2573 y Fg(A)784 2566 y Fk(\()p
Fh(u)p Fk(\))p Fh(;)8 b(\026)901 2573 y Fg(B)931 2566 y Fk(\()p
Fh(u)p Fk(\))p Ff(g)25 2664 y(\017)25 b Fe(Complement)p Fk(:)33
b Fh(\026)p 415 2651 29 2 v 14 x Fg(A)458 2664 y Fk(=)13 b(1)f
Ff(\000)f Fh(\026)624 2671 y Fg(A)-47 2756 y Fk(here)i(A)h(and)h(B)f(are)g(t)
o(w)o(o)g(fuzzy)f(sets)i(in)f(U)g(with)h(mem)o(b)q(ership)f(functions)h
Fh(\026)1360 2763 y Fg(A)1403 2756 y Fk(and)g Fh(\026)1525
2763 y Fg(B)1556 2756 y Fk(,)e(resp)q(ectiv)o(ely)l(.)2 2817
y(Moreo)o(v)o(er,)h(De)i(Morgan's)h(la)o(w)g(can)g(b)q(e)f(applied)i(to)e
(the)g(fuzzy)g(op)q(erations)i(as)f(follo)o(ws:)-47 2909 y
Fh(min)p Ff(f)p Fh(\026)96 2916 y Fg(A)124 2909 y Fk(\()p Fh(u)p
Fk(\))p Fh(;)8 b(\026)241 2916 y Fg(B)271 2909 y Fk(\()p Fh(u)p
Fk(\))p Ff(g)14 b Fk(=)p 427 2866 417 2 v 13 w Fh(max)p Ff(f)p
Fh(\026)p 578 2895 29 2 v 13 x Fg(A)606 2909 y Fk(\()p Fh(u)p
Fk(\))p Fh(;)8 b(\026)p 723 2895 31 2 v 13 x Fg(B)753 2909
y Fk(\()p Fh(u)p Fk(\))p Ff(g)936 b Fk(\(1\))p eop
%%Page: 2 2
bop 47 106 a Fk(2)47 247 y Fi(2.2.)27 b(F)-5 b(uzzy)19 b(Logic)g(Rules)96
308 y Fe(F)l(uzzy)h(lo)n(gic)j Fk(theory)c(pro)o(vides)h(an)g(algorithm)i
(whic)o(h)d(can)h(b)q(e)g(used)f(to)h(con)o(v)o(ert)e(the)h(linguistic)47
368 y(con)o(trol)e(strategy)g(based)g(on)f(exp)q(ert)g(kno)o(wledge)h(in)o
(to)g(an)f(automatic)i(fuzzy)d(con)o(trol)i(strategy)l(.)96
428 y(Assume)f(that)g(the)g(fuzzy)g(con)o(trol)h(rules)g(ha)o(v)o(e)e(the)h
(follo)o(w)i(form:)563 525 y Fh(R)600 532 y Fg(i)628 525 y
Fk(:)29 b Fh(if)22 b(x)16 b(is)g(A)871 532 y Fg(i)900 525 y
Fh(and)h(y)h(is)d(B)1131 532 y Fg(i)1162 525 y Fh(then)h(z)i(is)e(C)1408
532 y Fg(i)47 623 y Fk(where)g(x,)g(y)g(and)h(z)g(are)f(t)o(w)o(o)g(pro)q
(cess)i(state)e(v)m(ariables)j(and)e(one)f(con)o(trol)h(v)m(ariable;)h
Fh(A)1668 630 y Fg(i)1682 623 y Fk(,)e Fh(B)1749 630 y Fg(i)1763
623 y Fk(,)g(and)h Fh(C)1923 630 y Fg(i)47 683 y Fk(are)e(exp)q(ected)f(v)m
(alues)h(of)g(x,)f(y)h(and)g(z)f(in)i(the)e(univ)o(erse)g(of)h(discourse)h
(U,)e(V)g(and)h(W.)g(The)f(inputs)i(are)47 743 y(usually)k(measured)e(b)o(y)g
(sensors)h(and)g(then)f(broadcasted)h(to)g(all)g(the)f(rules)h(sim)o
(ultaneously)h(to)f(b)q(e)47 803 y(compared)d(with)g(stored)f(premises)h
(\(IF)f(blo)q(c)o(ks\).)g(Conceptually)l(,)i(the)e(b)q(etter)g(the)g(matc)o
(h)g(of)g(all)i(the)47 864 y(inputs)h(to)f(a)h(stored)f(rule,)g(the)f(more)h
(in\015uence)g(it)g(will)i(ha)o(v)o(e)d(in)h(the)g(\014nal)h(w)o(eigh)o(ted)f
(output.)g(The)47 924 y(w)o(eigh)o(ts)g Fh(\013)252 931 y Fg(i)282
924 y Fk(for)g(the)f Fh(i)p Fk(th)g(rule)g(is)h(calculated)h(as)f(follo)o
(ws:)47 1021 y Fh(\013)78 1028 y Fg(i)106 1021 y Fk(=)d Fh(min)p
Fk(\()p Fh(\026)295 1028 y Fg(A)321 1033 y Fc(i)336 1021 y
Fk(\()p Fh(x)383 1028 y Fb(0)403 1021 y Fk(\))p Fh(;)8 b(\026)473
1028 y Fg(B)500 1033 y Fc(i)515 1021 y Fk(\()p Fh(y)558 1028
y Fb(0)577 1021 y Fk(\)\))1260 b(\(2\))47 1119 y(where)11 b
Fh(\026)212 1126 y Fg(A)238 1131 y Fc(i)254 1119 y Fk(\()p
Fh(x)301 1126 y Fb(0)320 1119 y Fk(\))g(and)h Fh(\026)469 1126
y Fg(B)496 1131 y Fc(i)511 1119 y Fk(\()p Fh(y)554 1126 y Fb(0)574
1119 y Fk(\))f(are)g(called)h(fuzzy)e(mem)o(b)q(ership)h(functions)h(and)f
(represen)o(t)f(the)h(degrees)47 1179 y(of)h(the)g(partial)i(matc)o(h)d(b)q
(et)o(w)o(een)g(the)h(inputs)h(and)g(the)e(data)i(stored)f(in)h(the)f(rule)g
(base.)g(In)f(Mamdani's)47 1239 y(minim)o(um)19 b(op)q(eration)i(whic)o(h)f
(is)f(adopted)h(in)g(this)g(pap)q(er)g(the)e Fe(i)5 b Fk(th)20
b(rule)f(leads)h(to)f(the)g(conclusion)47 1299 y(\(THEN)d(blo)q(c)o(ks\):)47
1397 y Fh(\026)76 1405 y Fg(C)103 1393 y Fa(0)101 1417 y Fc(i)117
1397 y Fk(\()p Fh(z)r Fk(\))e(=)g Fh(min)p Fk(\()p Fh(\013)385
1404 y Fg(i)398 1397 y Fh(;)8 b(\026)449 1404 y Fg(C)474 1409
y Fc(i)490 1397 y Fk(\()p Fh(z)r Fk(\)\))1303 b(\(3\))47 1494
y(whic)o(h)15 b(implies)i(that)e(the)f(mem)o(b)q(ership)h(function)h
Fh(\026)1028 1501 y Fg(C)1072 1494 y Fk(of)g(the)e(inferred)h(consequence)f
(C)h(is)h(giv)o(en)f(b)o(y)47 1592 y Fh(\026)76 1599 y Fg(C)106
1592 y Fk(\()p Fh(z)r Fk(\))f(=)g Fh(max)p Fk(\()p Fh(min)p
Fk(\()p Fh(\013)490 1599 y Fg(i)502 1592 y Fh(;)8 b(\026)553
1599 y Fg(C)578 1604 y Fc(i)594 1592 y Fk(\()p Fh(z)r Fk(\)\))p
Fh(;)24 b(:::)14 b(min)p Fk(\()p Fh(\013)909 1599 y Fg(n)932
1592 y Fh(;)8 b(\026)983 1599 y Fg(C)1008 1603 y Fc(n)1032
1592 y Fk(\()p Fh(z)r Fk(\)\)\))742 b(\(4\))96 1689 y(According)17
b(to)f(Eq.)g(1,)g(Eq.)g(3)h(can)f(b)q(e)g(written)h(as:)47
1787 y Fh(\026)76 1795 y Fg(C)103 1783 y Fa(0)101 1806 y Fc(i)117
1787 y Fk(\()p Fh(z)r Fk(\))d(=)p 246 1744 697 2 v 14 w Fh(max)p
Fk(\()p Fh(max)p Fk(\()p Fh(\026)p 507 1773 42 2 v 13 x Fg(A)533
1805 y Fc(i)547 1787 y Fk(\()p Fh(x)p Fk(\))p Fh(;)8 b(\026)p
664 1773 V 13 x Fg(B)691 1805 y Fc(i)705 1787 y Fk(\()p Fh(y)r
Fk(\)\))p Fh(;)g(\026)p 839 1773 41 2 v 13 x Fg(C)864 1805
y Fc(i)879 1787 y Fk(\()p Fh(z)r Fk(\)\))914 b(\(5\))47 1884
y(This)18 b(means)f(that)g(Mamdani's)g(max-min)h(relation)g(Eq.)e(4)h(can)g
(b)q(e)g(implemen)o(ted)f(with)i(only)f(max)47 1944 y(and)g(complemen)o(t)e
(circuits.)47 2062 y Fi(3.)28 b(FUZZY)20 b(INFERENCE)e(ENGINE)96
2161 y Fk(A)g(blo)q(c)o(k)g(sc)o(hematic)g(of)g(our)h(prop)q(osed)h(fuzzy)d
(logic)i(inference)f(engine)h(is)g(presen)o(ted)e(in)i(Fig.)f(1.)47
2222 y(The)23 b(inference)g(pro)q(cess)g(is)h(based)g(on)f(Eq.)g(5)g(and)h
(Eq.)e(4.)h(The)g(mem)o(b)q(ership)g(function)h(circuit)47
2282 y(\(MF)o(C\))15 b(is)h(the)f(k)o(ernel)f(of)i(a)g(fuzzy)e(logic)j
(system.)d(The)h(implemen)o(ted)g(MF)o(C)g(has)h(v)o(oltage)g(sensitiv)o(e)47
2342 y(inputs)i(and)e(outputs,)h(therefore)f(the)g(input)h(of)f(sev)o(eral)g
(MF)o(C)g(can)g(b)q(e)h(connected)e(in)i(parallel)h(and)47
2402 y(eac)o(h)e(output)h(can)f(driv)o(e)g(sev)o(eral)g(Max)g(blo)q(c)o(k)h
(elemen)o(ts)f(\(Fig.)g(1\).)47 2501 y Fi(3.1.)27 b(The)19
b(F)-5 b(uzzy)19 b(Mem)n(b)r(ership)f(F)-5 b(unction)20 b(Circuit)96
2561 y Fk(The)e(MF)o(C)g(for)g(a)h(fuzzy)e(rule)h("if)i Fh(V)774
2568 y Fg(x)814 2561 y Fk(is)f Fh(V)893 2568 y Fg(r)912 2561
y Fk(")37 b(is)19 b(sho)o(wn)g(in)g(Fig.)f(2.)g(It)g(con)o(v)o(erts)f(a)i
(real-n)o(um)o(b)q(er)47 2622 y(input)f(v)m(alue)g(in)o(to)g(a)f(fuzzy)g(v)m
(alue)h(\(fuzzi\014cation\).)f(The)g(circuit)h(can)f(realize)h(an)o(y)f
(fuzzy)f(linguistic)47 2682 y(term)d(in)g(the)g(giv)o(en)g(v)o(oltage)h
(range)g(b)o(y)f(sp)q(ecifying)h(the)f(crossp)q(oin)o(t)i(v)o(oltages.)e(F)l
(or)g(eac)o(h)g(fuzzy)f(term,)47 2742 y(the)17 b(circuit)h(consists)g(of)g(t)
o(w)o(o)f(di\013eren)o(tial)i(ampli\014ers)f(and)g(a)f(t)o(w)o(o-input)h
(\015oating)h(gate)f(MOSFET)47 2802 y(ampli\014er)e(that)f(w)o(orks)g(as)g(a)
g(v)o(oltage)h(adder)f(and)g(complemen)o(t)f(op)q(erator.)h(Here)f
Fh(V)1602 2809 y Fg(x)1639 2802 y Fk(is)i(the)e(input)i(of)47
2862 y(the)h(circuit,)g Fh(V)326 2869 y Fg(r)q(i)375 2862 y
Fk(and)h Fh(V)499 2870 y Fg(r)q Fb(\()p Fg(i)p Fb(+1\))620
2862 y Fk(are)f(t)o(w)o(o)g(reference)f(v)o(oltages,)i(and)f
Fh(V)1326 2869 y Fg(iO)q(U)t(T)1439 2862 y Fk(is)h(the)f(output)h(of)f(the)g
Fe(i)p Fk(th)47 2922 y(term.)p eop
%%Page: 3 3
bop 1818 106 a Fk(3)p -47 208 1418 2 v -47 823 2 616 v 1368
823 V -47 825 1418 2 v -47 982 a(Figure)17 b(1.)f(A)g(F)l(uzzy)f(Logic)i
(Inference)e(Engine)p -47 1126 934 2 v -47 1623 2 498 v 884
1623 V -47 1625 934 2 v -47 1782 a(Figure)i(2.)f(A)g(mem)o(b)q(ership)f
(function)j(circuit)p 957 1126 875 2 v 957 1623 2 498 v 1829
1623 V 957 1625 875 2 v 957 1781 a(Figure)e(3.)h(A)e(2-input)j(max)e(circuit)
-47 1966 y Fi(3.2.)27 b(A)19 b(Max)g(Op)r(eration)f(Circuit)2
2026 y Fk(The)d(max)f(op)q(eration)j(circuit)f(is)g(easy)f(to)g(b)q(e)g
(realized)h(in)g(v)o(oltage-mo)q(de)g(with)g(a)f(NMOS)f(circuit.)-47
2086 y(Fig.)22 b(3)g(sho)o(ws)h(a)f(2-input)h(max)f(circuit.)g(F)l(or)f
(complemen)o(t)g(op)q(erations,)j(CMOS)d(ampli\014ers)i(are)-47
2146 y(used.)-47 2282 y Fi(4.)k(RESUL)-5 b(TS)2 2381 y Fk(The)20
b(circuits)h(w)o(ere)e(sim)o(ulated)j(extensiv)o(ely)d(using)j(HSPICE)e(and)h
(w)o(ere)f(fabricated)h(with)g(the)-47 2441 y(MIETEC)16 b(2.4)p
Fh(\026)p Fk(m)g(pro)q(cess.)g(F)l(or)g(a)h(detailed)g(description)g(of)f
(the)g(sim)o(ulation)i(and)e(test)g(results)h(see)-47 2501
y([2].)f(T)l(o)i(v)o(erify)e(the)i(\015exibilit)o(y)g(of)g(the)f(designed)h
(circuit)g(w)o(e)e(tested)h(shap)q(e)h(and)g(p)q(osition)i(c)o(hanges)-47
2561 y(of)15 b(the)f(mem)o(b)q(ership)h(function,)g(the)g(b)q(eha)o(viour)h
(of)f(the)f(max)h(circuit)g(for)g(di\013eren)o(t)g(input)h(v)o(oltages,)-47
2622 y(the)g(connection)h(in)g(parallel)h(of)f(IF)e(blo)q(c)o(ks)i(and)g(a)g
(complete)f(fuzzy)f(inference)h(engine.)2 2682 y(The)g(shap)q(e)i(c)o(hanges)
f(of)g(the)f(mem)o(b)q(ership)h(function)g(can)g(b)q(e)g(realized)g(either)g
(b)o(y)f(c)o(hanging)i(the)-47 2742 y(v)m(alues)24 b(of)g(the)f(load)i
(resistor)g Fh(R)588 2749 y Fg(LO)q(AD)721 2742 y Fk(\(Fig.)f(2\))g(and)g
(the)f(curren)o(t)g(sources)h(in)g(the)f(di\013eren)o(tial)-47
2802 y(ampli\014er)e(or)f(b)o(y)f(c)o(hanging)i(the)f(external)g(reference)e
(v)o(oltage)i Fh(V)1189 2809 y Fg(r)q(i)1241 2802 y Fk(and)g
Fh(V)1367 2810 y Fg(r)q Fb(\()p Fg(i)p Fb(+1\))1491 2802 y
Fk(\(see)f(Fig)i(4\).)f(The)-47 2862 y(load)g(resistor)f(and)g(the)g(curren)o
(t)e(sources)i(in\015uence)g(the)f(slop)q(e,)i(whereas)e(the)h(reference)e(v)
o(oltages)-47 2922 y(in\015uence)f(the)g(p)q(osition)j(and)e(width)g(of)f
(the)g(mem)o(b)q(ership)g(function.)p eop
%%Page: 4 4
bop 47 106 a Fk(4)p 47 208 827 2 v 47 705 2 498 v 872 705 V
47 707 827 2 v 47 866 a(Figure)14 b(4.)f(T)l(esting)h(results)f(of)g(a)h(MF)o
(C)e(with)i(a\))47 926 y Fh(V)75 933 y Fg(r)q Fb(2)126 926
y Fk(=)g Fh(V)206 933 y Fg(r)q Fb(1)254 926 y Fk(+)c(0)p Fh(:)p
Fk(4)p Fh(V)28 b Fk(and)16 b(b\))h Fh(V)605 933 y Fg(r)q Fb(2)655
926 y Fk(=)d Fh(V)735 933 y Fg(r)q Fb(1)783 926 y Fk(+)c(0)p
Fh(:)p Fk(8)p Fh(V)p 1051 208 V 1051 705 2 498 v 1876 705 V
1051 707 827 2 v 1051 863 a Fk(Figure)i(5.)f(The)g(output)h(of)g(a)f(3-rule)