Qhov tsab xov xwm no qhia txog cov txheej txheem ntawm fuzzy induction tsim los ntawm tus sau raws li ib tug ua ke ntawm cov kev cai ntawm fuzzy lej thiab txoj kev xav ntawm fractals, qhia lub tswv yim ntawm lub degree ntawm recursion ntawm ib tug fuzzy set, thiab nthuav qhia ib tug piav qhia ntawm qhov tsis tiav recursion ntawm ib tug. teem raws li nws qhov fractional dimension rau kev ua qauv ntawm cheeb tsam. Lub peev txheej ntawm daim ntawv thov ntawm txoj kev npaj thiab cov qauv kev paub tau tsim los ntawm nws lub hauv paus raws li fuzzy cov txheej txheem suav tias yog kev tswj hwm lub neej voj voog ntawm cov ntaub ntawv xov xwm, suav nrog kev tsim cov xwm txheej rau kev siv thiab kev sim software.
Qhov tseeb
Nyob rau hauv tus txheej txheem ntawm kev tsim thiab kev loj hlob, kev siv thiab kev khiav hauj lwm ntawm cov ntaub ntawv systems, nws yog ib qhov tsim nyog los sau thiab systematize cov ntaub ntawv, cov ntaub ntawv thiab cov ntaub ntawv uas yog sau los ntawm sab nraud los yog tshwm sim nyob rau hauv txhua theem ntawm lub software lub neej voj voog. Qhov no ua haujlwm raws li cov ntaub ntawv tsim nyog thiab kev txhawb nqa rau kev tsim qauv kev ua haujlwm thiab kev txiav txim siab thiab tshwj xeeb tshaj yog muaj feem cuam tshuam rau cov xwm txheej tsis paub meej thiab nyob rau hauv ib puag ncig tsis muaj zog. Lub hauv paus kev paub tsim los ntawm kev sib sau ua ke thiab kev ua haujlwm ntawm cov peev txheej zoo li no yuav tsum tsis yog tsuas yog lub hauv paus ntawm cov txiaj ntsig tau txais los ntawm pab pawg ua haujlwm thaum lub sijhawm tsim cov ntaub ntawv xov xwm, tab sis kuj yog qhov yooj yim tshaj plaws txhais tau tias ua qauv kev pom tshiab, txoj hauv kev thiab algorithms rau kev siv cov haujlwm ua haujlwm. Nyob rau hauv lwm yam lus, xws li lub hauv paus kev paub yog ib tug repository ntawm kev txawj ntse peev thiab, nyob rau tib lub sij hawm, ib tug paub tswj cuab yeej [3, 10].
Kev ua tau zoo, kev siv tau zoo, thiab kev ua tau zoo ntawm kev paub hauv paus raws li cov cuab yeej cuam tshuam nrog kev siv zog ntawm nws cov kev saib xyuas thiab kev ua tau zoo ntawm kev paub txog kev rho tawm. Qhov yooj yim dua thiab nrawm dua qhov sau thiab sau cov kev paub hauv cov ntaub ntawv thiab ntau qhov sib xws ntawm cov lus nug rau nws, qhov zoo dua thiab txhim khu kev qha cov cuab yeej nws tus kheej [1, 2]. Txawm li cas los xij, cov txheej txheem tsis sib xws thiab cov cuab yeej tsim qauv uas siv tau rau kev tswj hwm cov ntaub ntawv, suav nrog kev sib raug zoo ntawm kev sib raug zoo hauv kev sib raug zoo databases, tsis pub piav lossis ua qauv piv txwv, kev txhais lus, ncua sij hawm thiab txuas ntxiv semantic teev [4, 7, 10]. Qhov no yuav tsum muaj ib txoj hauv kev uas qhia txog cov xwm txheej tshwj xeeb ntawm finite ontologies thiab coj cov qauv kev paub los ze zog rau qhov txuas ntxiv ntawm cov lus piav qhia ntawm thaj chaw ntawm cov ntaub ntawv.
Xws li ib txoj hauv kev tuaj yeem yog kev sib xyaw ua ke ntawm cov kev xav ntawm kev ua lej fuzzy thiab lub tswv yim ntawm fractal dimension [3, 6]. Los ntawm optimizing cov lus piav qhia ntawm kev paub raws li cov txheej txheem ntawm cov degree ntawm continuity (qhov loj ntawm lub discretization kauj ruam ntawm cov lus piav qhia) nyob rau hauv tej yam kev mob ntawm kev txwv raws li lub hauv paus ntsiab lus ntawm GΓΆdel lub incompleteness (nyob rau hauv cov ntaub ntawv system - lub hauv paus incompleteness ntawm kev xav, kev paub. muab los ntawm cov txheej txheem no nyob rau hauv cov xwm txheej ntawm nws qhov sib xws), ua raws li fuzzification (txo kom fuzziness), peb tau txais cov lus piav qhia uas cuam tshuam txog qee lub cev ntawm kev paub kom tiav thiab sib koom ua ke raws li qhov ua tau thiab nrog uas nws muaj peev xwm ua tau txhua yam haujlwm ntawm cov txheej txheem cov ntaub ntawv - sau, khaws cia, ua thiab xa tawm [5, 8, 9].
Lub ntsiab lus ntawm fuzzy teeb recursion
Cia X yog ib txheej ntawm qhov tseem ceeb ntawm qee tus yam ntxwv ntawm cov qauv qauv:
(1)
qhov twg n = [N β₯ 3] β tus naj npawb ntawm qhov tseem ceeb ntawm cov yam ntxwv zoo li no (ntau tshaj cov txheej txheem theem pib (0; 1) β (false; tseeb)).
Cia X = B, qhov twg B = {a,b,c,β¦,z} yog cov txheej txheem sib npaug, lub ntsiab lus-los ntawm cov ntsiab lus sib raug rau cov txheej txheem ntawm tus yam ntxwv X.
Ces lub fuzzy teeb , uas sib haum mus rau fuzzy (nyob rau hauv cov ntaub ntawv dav dav) lub tswv yim piav txog tus yam ntxwv X, tuaj yeem sawv cev raws li:
(2)
qhov twg m yog cov lus piav qhia cov kauj ruam discretization, kuv belongs rau N - kauj ruam multiplicity.
Raws li, txhawm rau txhim kho cov qauv kev paub txog cov ntaub ntawv xov xwm raws li cov txheej txheem ntawm kev txuas ntxiv (softness) ntawm cov lus piav qhia, thaum tseem nyob hauv thaj tsam ntawm qhov chaw tsis tiav ntawm kev xav, peb qhia degree ntawm recursion ntawm fuzzy teeb thiab peb tau txais cov qauv hauv qab no ntawm nws cov sawv cev:
(3)
qhov twg - cov txheej txheem sib xws rau lub tswv yim fuzzy, uas feem ntau piav qhia tus yam ntxwv X ntau dua li qhov teeb tsa , raws li cov qauv softness; Re-degree ntawm recursion ntawm cov lus piav qhia.
Nws yuav tsum tau muab sau tseg tias (txo kom meej meej) hauv ib rooj plaub tshwj xeeb, yog tias tsim nyog.
Taw qhia ntawm fractional dimension
Thaum Re = 1 set yog ib qho zoo tib yam fuzzy teeb ntawm 2nd degree, suav nrog cov ntsiab lus fuzzy teeb (los yog lawv daim ntawv qhia meej) uas piav qhia txhua qhov txiaj ntsig ntawm tus yam ntxwv X [1, 2]:
(4)
Txawm li cas los, qhov no yog ib tug degenerate rooj plaub, thiab nyob rau hauv lub feem ntau ua sawv cev, ib co ntawm cov ntsiab lus tuaj yeem teeb tsa, thaum tus so tuaj yeem yog qhov tsis tseem ceeb (qhov yooj yim heev) cov khoom. Yog li ntawd, txhawm rau txheeb xyuas cov txheej txheem zoo li no, nws yog qhov yuav tsum tau ua kom paub fractional recursion - ib qho piv txwv ntawm qhov loj me ntawm qhov chaw (hauv cov ntsiab lus no, qhov chaw ontology ntawm ib qho chaw kawm) [3, 9].
Thaum Re yog fractional, peb tau txais cov lus hauv qab no :
(5)
qhov twg - fuzzy teem rau tus nqi X1, - fuzzy teem rau tus nqi X2, thiab lwm yam.
Hauv qhov no, recursion ua qhov tseem ceeb fractal, thiab cov lus piav qhia ua tus kheej zoo sib xws.
Defining ib Module ntau ntawm Functionality
Lub architecture ntawm lub kaw lus qhib xav tias lub hauv paus ntsiab lus ntawm modularity, uas ua kom muaj peev xwm ntawm kev ntsuas, rov ua dua, hloov kho thiab qhov tshwm sim ntawm qhov system. Modular kev tsim kho ua rau nws muaj peev xwm coj tau cov kev siv thev naus laus zis ntawm cov txheej txheem cov ntaub ntawv kom ze li sai tau rau lawv lub hom phiaj ntuj tsim nyob rau hauv lub ntiaj teb tiag tiag, los tsim cov cuab yeej yooj yim tshaj plaws ntawm lawv cov khoom siv, tsim los tsis hloov cov neeg, tab sis kom pab tau zoo. lawv nyob rau hauv kev tswj kev paub.
Ib qho module yog ib qho chaw cais ntawm cov ntaub ntawv kaw lus, uas yuav tsum tau los yog xaiv tau rau lub hom phiaj ntawm lub system muaj, tab sis nyob rau hauv txhua rooj plaub muab ib tug tshwj xeeb txheej ntawm lub luag hauj lwm nyob rau hauv lub kaw lus ciam teb.
Tag nrho ntau yam ntawm kev ua haujlwm module tuaj yeem piav qhia los ntawm peb hom kev ua haujlwm: kev tsim (sau cov ntaub ntawv tshiab), kho (hloov cov ntaub ntawv sau tseg yav dhau los), tshem tawm (luag cov ntaub ntawv yav dhau los kaw).
Cia X ua tus yam ntxwv ntawm kev ua haujlwm zoo li no, tom qab ntawd cov txheej txheem X tuaj yeem sawv cev raws li:
(6)
qhov twg X1 β creation, X2 β kho, X3 β deletion,
(7)
Tsis tas li ntawd, kev ua haujlwm ntawm ib qho module yog xws li cov ntaub ntawv tsim tsis zoo ib yam li nws tus kheej (ua tsis tau rov ua dua - kev tsim muaj nuj nqi tsis rov ua dua nws tus kheej), thiab kho thiab tshem tawm hauv cov ntaub ntawv dav dav tuaj yeem koom nrog ob qho tib si kev siv lub ntsiab lus (ua haujlwm. ib qho kev ua haujlwm ntawm cov ntsiab lus xaiv ntawm cov ntaub ntawv teev) thiab lawv tus kheej suav nrog kev ua haujlwm zoo ib yam li lawv tus kheej.
Nws yuav tsum raug sau tseg tias yog tias kev ua haujlwm rau kev ua haujlwm X tsis tau ua nyob rau hauv ib qho kev muab module (tsis siv nyob rau hauv lub kaw lus), ces cov txheej txheem sib xws rau xws li ib qho kev ua haujlwm yog suav tias yog khoob.
Yog li, los piav txog lub tswv yim fuzzy (daim ntawv qhia) "ib qho qauv tso cai rau koj ua haujlwm nrog cov ntaub ntawv sib txuas rau lub hom phiaj ntawm cov ntaub ntawv kaw lus," cov txheej txheem fuzzy hauv qhov yooj yim tshaj plaws nws tuaj yeem sawv cev raws li:
(8)
Nyob rau hauv cov ntaub ntawv dav dav, xws li cov txheej txheem muaj qhov sib npaug ntawm 1,6 (6) thiab yog fractal thiab fuzzy tib lub sijhawm.
Npaj cov xwm txheej rau kev siv thiab sim cov module
Nyob rau theem ntawm kev txhim kho thiab kev ua haujlwm ntawm cov ntaub ntawv xov xwm, cov xwm txheej tshwj xeeb yuav tsum tau piav qhia txog qhov kev txiav txim thiab cov ntsiab lus ntawm kev ua haujlwm rau kev siv cov modules raws li lawv lub hom phiaj (siv cov xwm txheej), nrog rau kev txheeb xyuas qhov ua tau raws li qhov xav tau thiab cov txiaj ntsig tiag tiag ntawm cov modules (test scenarios). .test-case).
Ua raws li cov tswv yim hais saum toj no, cov txheej txheem ntawm kev ua haujlwm ntawm cov xwm txheej zoo li no tuaj yeem piav qhia hauv qab no.
Ib txheej fuzzy yog tsim rau lub module :
(9)
qhov twg
- fuzzy teeb tsa rau kev ua haujlwm ntawm kev tsim cov ntaub ntawv raws li kev ua haujlwm X;
- fuzzy teem rau kev khiav hauj lwm ntawm kev kho cov ntaub ntawv raws li functionality X, thaum lub degree ntawm recursion a (function embedding) yog ib tug natural tooj thiab nyob rau hauv cov ntaub ntawv tsis tseem ceeb yog sib npaug rau 1;
- fuzzy teeb tsa rau kev ua haujlwm ntawm kev rho tawm cov ntaub ntawv raws li kev ua haujlwm X, thaum lub sijhawm rov ua haujlwm b (function embedding) yog tus lej ntuj thiab hauv qhov tsis tseem ceeb yog sib npaug rau 1.
Cov neeg coob coob piav li no dab tsi raws nraim (cov ntaub ntawv twg) yog tsim, kho thiab / lossis tshem tawm rau txhua qhov kev siv ntawm module.
Tom qab ntawd cov txheej txheem ntawm kev siv Ux rau kev ua haujlwm X rau lub module hauv nqe lus nug tau muab tso ua ke, txhua yam piav qhia yog vim li cas (rau dab tsi ua lag luam ua hauj lwm) yog cov ntaub ntawv khoom piav qhia los ntawm ib txheej tsim, kho thiab/los yog deleted? , thiab nyob rau hauv dab tsi txiav txim:
(10)
qhov twg n yog tus lej siv rau X.
Tom ntej no, ib txheej ntawm Tx test scenarios tau muab tso ua ke rau kev ua haujlwm X rau txhua qhov kev siv rau cov lus nug. Cov ntawv xeem piav qhia, dab tsi cov ntaub ntawv muaj nuj nqis yog siv thiab nyob rau hauv dab tsi txiav txim thaum executing cov ntaub ntawv siv, thiab dab tsi tshwm sim yuav tsum tau:
(11)
qhov twg [D] yog ib qho array ntawm cov ntaub ntawv xeem, n yog tus naj npawb ntawm cov xwm txheej rau X.
Nyob rau hauv txoj kev piav qhia, tus naj npawb ntawm cov xwm txheej sim yog sib npaug ntawm cov neeg siv sib raug, uas ua kom yooj yim rau kev ua haujlwm ntawm lawv cov lus piav qhia thiab hloov kho tshiab raws li kev txhim kho. Tsis tas li ntawd, xws li ib qho algorithm tuaj yeem siv los ua qhov kev sim ntawm software modules ntawm cov ntaub ntawv kaw lus.
xaus
Cov txheej txheem nthuav tawm ntawm fuzzy induction tuaj yeem siv tau nyob rau theem sib txawv ntawm lub neej voj voog ntawm cov ntaub ntawv xov xwm modular, ob qho tib si rau lub hom phiaj ntawm kev sib sau ua ke ntawm cov lus piav qhia ntawm lub hauv paus kev paub, thiab hauv kev ua haujlwm ntawm cov xwm txheej siv thiab ntsuas cov qauv.
Tsis tas li ntawd, fuzzy induction pab tsim cov kev paub raws li qhov tau txais cov lus piav qhia fuzzy, zoo li "kev paub txog kaleidoscope", uas qee cov ntsiab lus tseem ceeb thiab tsis meej, thaum lwm tus, raws li txoj cai ntawm tus kheej zoo sib xws, yog siv cov sij hawm teev tseg hauv qhov degree ntawm recursion rau txhua pawg ntawm cov ntaub ntawv paub. Ua ke, cov txiaj ntsig fuzzy teeb tsa tsim ib tus qauv uas tuaj yeem siv ob qho tib si rau lub hom phiaj ntawm cov ntaub ntawv xov xwm thiab hauv kev nyiam ntawm kev tshawb nrhiav kev paub tshiab nyob rau hauv dav dav.
Cov txheej txheem zoo li no tuaj yeem raug cais raws li ib qho tshwj xeeb ntawm "kev txawj ntse txuj ci", suav nrog qhov tseeb tias cov txheej txheem sib xyaw ua ke yuav tsum tsis txhob cuam tshuam cov ntsiab lus ntawm kev xav tsis tiav thiab tsim los pab tib neeg kev txawj ntse, thiab tsis hloov nws.
Cov lus nug
- Borisov V.V., Fedulov A.S., Zernov M.M., "Fundamentals of theory of fuzzy sets." M.: Xov tooj kub β Telecom, 2014. β 88 p.
- Borisov V.V., Fedulov A.S., Zernov M.M., "Lub hauv paus ntawm txoj kev xav ntawm fuzzy logical inference." M.: Xov tooj kub β Telecom, 2014. β 122 p.
- Demenok S.L., "Fractal: nruab nrab ntawm dab neeg thiab khoom siv tes ua." St. Petersburg: Academy of Cultural Research, 2011. β 296 p.
- Zadeh L., "Lub hauv paus ntawm txoj hauv kev tshiab rau kev tsom xam ntawm cov txheej txheem nyuaj thiab kev txiav txim siab" / "Mathematics Today". M.: βKnowledgeβ, 1974. β P. 5 β 49.
- Kranz S., "Qhov Kev Hloov Ntawm Cov Ntawv Pov Thawj Ua lej." M.: Laboratory of Knowledge, 2016. β 320 p.
- Mavrikidi F.I., βFractal lej thiab qhov xwm ntawm kev hloovβ / βDelphisβ, No. 54 (2/2008), .
- Mandelbrot B., "Fractal geometry ntawm xwm." M.: Lub koom haum ntawm Kev Tshawb Fawb Computer, 2002. β 656 p.
- "Lub hauv paus ntawm txoj kev xav ntawm fuzzy teev: Cov Lus Qhia", comp. Korobova I.L., Dyakov I.A. Tambov: Tamb Publishing House. xeev cov. Univ., 2003 β 24 p.
- Uspensky V.A., "Apology for Mathematics." M.: Alpina Tsis yog ntawv tseeb, 2017. β 622 p.
- Zimmerman HJ βFuzzy Set Theory β and its Applicationsβ, 4th edition. Springer Science + Business Media, New York, 2001. β 514 p.
Tau qhov twg los: www.hab.com