Atik sa a pwopoze metòd endiksyon flou devlope pa otè a kòm yon konbinezon de dispozisyon matematik flou ak teyori fractals, entwodui konsèp nan degre nan rekursion nan yon seri flou, epi prezante yon deskripsyon nan rekouvèsyon enkonplè nan yon seri. mete kòm dimansyon fraksyon li pou modèl sijè a. Dimansyon aplikasyon metòd yo pwopoze a ak modèl konesans yo kreye sou baz li yo kòm seri flou konsidere kòm jesyon sik lavi sistèm enfòmasyon yo, ki gen ladan devlopman senaryo pou itilize ak tès lojisyèl.
Enpòtans
Nan pwosesis la nan konsepsyon ak devlopman, aplikasyon ak operasyon nan sistèm enfòmasyon, li nesesè akimile ak sistematize done, enfòmasyon ak enfòmasyon ki kolekte soti nan deyò a oswa ki rive nan chak etap nan sik lavi lojisyèl an. Sa a sèvi kòm enfòmasyon ki nesesè ak sipò metodolojik pou travay konsepsyon ak pran desizyon epi li enpòtan sitou nan sitiyasyon ki gen gwo ensètitid ak nan anviwònman ki fèb estriktire. Baz konesans ki te fòme kòm rezilta akimilasyon ak sistematizasyon resous sa yo pa ta dwe sèlman yon sous eksperyans itil ekip pwojè a te genyen pandan kreyasyon yon sistèm enfòmasyon, men tou mwayen ki pi senp posib pou modèl nouvo vizyon, metòd ak algoritm pou egzekite travay pwojè yo. Nan lòt mo, yon baz konesans sa yo se yon depo kapital entelektyèl ak, an menm tan an, yon zouti jesyon konesans [3, 10].
Efikasite, itilite, ak kalite yon baz konesans kòm yon zouti korelasyon ak entansite resous nan antretyen li yo ak efikasite nan ekstraksyon konesans. Pi senp ak pi vit koleksyon ak anrejistreman konesans nan baz done a ak pi konsistan rezilta yo nan demann nan li, se pi bon ak plis serye zouti nan tèt li [1, 2]. Sepandan, metòd disrè ak zouti estriktirasyon ki aplikab nan sistèm jesyon baz done, ki gen ladan nòmalizasyon nan relasyon nan baz done relasyon, pa pèmèt dekri oswa modèl eleman semantik, entèpretasyon, entèval ak seri semantik kontinyèl [4, 7, 10]. Sa a mande pou yon apwòch metodolojik ki jeneralize ka espesyal nan ontoloji fini ak pote modèl konesans lan pi pre kontinwite nan deskripsyon nan matyè a nan sistèm enfòmasyon an.
Yon apwòch konsa ta ka yon konbinezon de dispozisyon ki nan teyori a nan matematik flou ak konsèp nan dimansyon fraktal [3, 6]. Pa optimize deskripsyon konesans selon kritè degre kontinwite (gwosè etap diskretizasyon deskripsyon an) nan kondisyon limitasyon dapre prensip enkonplè Gödel (nan yon sistèm enfòmasyon - enkonplè fondamantal rezònman, konesans. sòti nan sistèm sa a anba kondisyon konsistans li), fè fuzzification sekans (rediksyon nan flou), nou jwenn yon deskripsyon fòmalize ki reflete yon sèten kò konesans kòm konplètman ak koyerans ke posib epi ak ki li posib pou fè nenpòt operasyon nan pwosesis enfòmasyon - koleksyon, depo, pwosesis ak transmisyon [5, 8, 9].
Definisyon fuzzy set recursion
Se pou X yon seri valè kèk karakteristik sistèm modle a:
(1)
kote n = [N ≥ 3] - kantite valè yon karakteristik konsa (plis pase seri elemantè (0; 1) - (fo; vre)).
Se pou X = B, kote B = {a,b,c,...,z} se ansanm ekivalan, eleman-pa-eleman ki koresponn ak seri valè karakteristik X.
Lè sa a, seri a flou , ki koresponn ak yon konsèp flou (nan ka jeneral la) ki dekri karakteristik X, ka reprezante kòm:
(2)
kote m se etap diskretizasyon deskripsyon an, i fè pati N – miltiplisite etap la.
An konsekans, yo nan lòd yo optimize modèl la konesans sou sistèm enfòmasyon an dapre kritè kontinwite (dousè) nan deskripsyon, pandan y ap rete nan limit yo nan espas ki la nan enkonplè nan rezònman, nou prezante. degre nan repetisyon nan yon seri flou epi nou jwenn vèsyon sa a nan reprezantasyon li yo:
(3)
kote – yon seri ki koresponn ak yon konsèp flou, ki an jeneral dekri karakteristik X la pi plis pase seri a , dapre kritè a tendres; Re - degre nan rekouvèsyon nan deskripsyon an.
Li ta dwe remake ke (redwi a yon seri klè) nan yon ka espesyal, si sa nesesè.
Entwodiksyon nan dimansyon fraksyon
Lè Re = 1 seri se yon seri flou òdinè nan 2yèm degre, ki gen ladan kòm eleman seri flou (oswa kat klè yo) ki dekri tout valè nan karakteristik X [1, 2]:
(4)
Sepandan, sa a se yon ka dejenere, ak nan reprezantasyon ki pi konplè, kèk nan eleman yo ka seri, pandan y ap rès la ka trivial (trè senp) objè yo. Se poutèt sa, defini yon seri tankou li nesesè prezante repetisyon fraksyon – yon analogue dimansyon fraksyon espas (nan kontèks sa a, espas ontoloji yon sèten matyè) [3, 9].
Lè Re se fraksyon, nou jwenn antre sa a :
(5)
kote - seri flou pou valè X1, – seri flou pou valè X2, elatriye.
Nan ka sa a, recursion vin esansyèlman fractal, ak seri deskripsyon vin pwòp tèt ou menm jan an.
Defini anpil fonksyonalite modil la
Achitekti a nan yon sistèm enfòmasyon ouvè sipoze prensip la nan modilarite, ki asire posiblite pou dekale, replikasyon, adaptabilite ak Aparisyon nan sistèm nan. Konstriksyon modilè fè li posib pou pote aplikasyon teknolojik pwosesis enfòmasyon yo pi pre ke posib nan reyalizasyon objektif natirèl yo nan mond reyèl la, yo devlope zouti ki pi pratik an tèm de pwopriyete fonksyonèl yo, ki fèt pa ranplase moun, men efektivman ede. yo nan jesyon konesans.
Yon modil se yon antite separe nan yon sistèm enfòmasyon, ki ka obligatwa oswa opsyonèl pou rezon egzistans sistèm nan, men nan nenpòt ka bay yon seri inik nan fonksyon nan limit sistèm nan.
Tout varyete fonksyonalite modil la ka dekri pa twa kalite operasyon: kreyasyon (anrejistre nouvo done), koreksyon (chanje done deja anrejistre), efase (efase done deja anrejistre).
Se pou X yon sèten karakteristik nan fonksyonalite sa yo, Lè sa a, ansanm X korespondan an ka reprezante kòm:
(6)
kote X1 - kreyasyon, X2 - koreksyon, X3 - efase,
(7)
Anplis de sa, fonksyonalite a nan nenpòt modil se tankou ke kreyasyon done se pa pwòp tèt ou menm jan an (aplike san yo pa repetisyon - fonksyon an kreyasyon pa repete tèt li), ak koreksyon ak sipresyon nan ka jeneral la ka enplike tou de aplikasyon eleman pa eleman (fè yon operasyon sou eleman chwazi nan seri done) ak tèt yo gen ladan operasyon ki sanble ak tèt yo.
Li ta dwe remake ke si yon operasyon pou fonksyonalite X pa fèt nan yon modil bay (pa aplike nan sistèm nan), Lè sa a, seri a ki koresponn ak operasyon sa yo konsidere kòm vid.
Kidonk, pou dekri konsèp flou (deklarasyon) "yon modil pèmèt ou fè yon operasyon ak seri done ki koresponn lan pou rezon sistèm enfòmasyon an," yon seri flou. nan ka ki pi senp li ka reprezante kòm:
(8)
Nan ka jeneral la, yon seri konsa gen yon degre recursion egal a 1,6(6) epi li se fraktal ak flou an menm tan.
Prepare senaryo pou itilize ak teste modil la
Nan etap yo nan devlopman ak operasyon nan yon sistèm enfòmasyon, senaryo espesyal yo obligatwa ki dekri lòd la ak kontni nan operasyon pou itilize modil yo dapre objektif fonksyonèl yo (senaryo ka itilize), osi byen ke yo tcheke konfòmite a nan espere ak rezilta aktyèl modil yo (senaryo tès). .test-case).
Lè w konsidere lide ki endike anwo a, pwosesis travay sou senaryo sa yo ka dekri jan sa a.
Yon seri flou fòme pou modil la :
(9)
kote
– seri flou pou operasyon an nan kreye done dapre fonksyonalite X;
– yon seri flou pou operasyon an nan koreksyon done dapre fonksyonalite X, pandan y ap degre nan recursion yon (fonksyon embedding) se yon nimewo natirèl ak nan ka a trivial egal a 1;
– yon seri flou pou operasyon an nan efase done dapre fonksyonalite X, pandan y ap degre nan rekursion b (fonksyon embedding) se yon nimewo natirèl ak nan ka a trivial egal a 1.
Yon foul moun konsa dekri ki sa egzakteman (ki objè done) yo kreye, modifye ak/oswa efase pou nenpòt itilizasyon modil la.
Lè sa a, yon seri senaryo pou itilize Ux pou fonksyonalite X pou modil nan kesyon an konpile, chak nan ki dekri poukisa (pou ki travay biznis) yo dekri objè done pa yon seri kreye, modifye ak/oswa efase? , ak nan ki lòd:
(10)
kote n se kantite ka itilize pou X.
Apre sa, yon seri senaryo tès Tx yo konpile pou fonksyonalite X pou chak ka itilize pou modil nan kesyon an. Script tès la dekri, ki valè done yo itilize ak nan ki lòd lè w ap egzekite ka itilize a, ak ki rezilta yo ta dwe jwenn:
(11)
kote [D] se yon etalaj done tès, n se kantite senaryo tès pou X.
Nan apwòch ki dekri a, kantite senaryo tès yo egal ak kantite ka itilizasyon ki koresponn lan, ki senplifye travay sou deskripsyon yo ak ajou pandan sistèm nan devlope. Anplis de sa, yo ka itilize yon algorithm konsa pou otomatize tès modil lojisyèl yon sistèm enfòmasyon.
Konklizyon
Metòd prezante nan endiksyon flou ka aplike nan diferan etap nan sik lavi a nan nenpòt ki sistèm enfòmasyon modilè, tou de nan bi pou yo akimile yon pati deskriptif nan baz la konesans, ak nan travay sou senaryo pou itilize ak tès modil.
Anplis de sa, endiksyon flou ede fè sentèz konesans ki baze sou deskripsyon flou yo jwenn, tankou yon "kaleidoskop kognitif", kote kèk eleman rete klè ak klè, pandan ke lòt yo, dapre règ resanblans pwòp tèt yo, yo aplike kantite fwa ki espesifye nan. degre nan repetisyon pou chak seri done li te ye. Ansanm, seri flou ki kapab lakòz yo fòme yon modèl ki ka itilize tou de pou objektif yon sistèm enfòmasyon ak nan enterè pou chèche nouvo konesans an jeneral.
Sa a kalite metodoloji ka klase kòm yon fòm inik nan "entèlijans atifisyèl", pran an kont lefèt ke seri sentèz pa ta dwe kontredi prensip la nan rezònman enkonplè epi yo fèt pou ede entèlijans imen, epi yo pa ranplase li.
Referans
- Borisov V.V., Fedulov A.S., Zernov M.M., "Fondamantal nan teyori a nan seri flou." M.: Liy dirèk – Telecom, 2014. – 88 p.
- Borisov V.V., Fedulov A.S., Zernov M.M., "Fondamental teyori a nan enferans lojik flou." M.: Liy dirèk – Telecom, 2014. – 122 p.
- Demenok S.L., "Fractal: ant mit ak atizana." Saint Petersburg: Akademi Rechèch Kiltirèl, 2011. – 296 p.
- Zadeh L., "Fontalman nan yon nouvo apwòch nan analiz la nan sistèm konplèks ak pwosesis pou pran desizyon" / "Matematik Jodi a". M.: “Konesans”, 1974. – P. 5 – 49.
- Kranz S., "Nati a chanje nan prèv matematik." M.: Laboratwa Konesans, 2016. – 320 p.
- Mavrikidi F.I., "Matematik Fraktal ak nati chanjman" / "Delphis", No 54 (2/2008), .
- Mandelbrot B., "Jeometri fraktal nan lanati." M.: Institute of Computer Research, 2002. – 656 p.
- "Fontalman nan teyori a nan seri flou: Gid", konp. Korobova I.L., Dyakov I.A. Tambov: Tamb piblikasyon. eta sa yo. Univ., 2003. – 24 p.
- Uspensky V.A., "Ekkiz pou Matematik." M.: Alpina Non-fiction, 2017. – 622 p.
- Zimmerman HJ "Fuzzy Set Theory - ak aplikasyon li yo", 4yèm edisyon. Springer Science + Business Media, New York, 2001. – 514 p.
Sous: www.habr.com