Ichi chinyorwa chinopa nzira isinganzwisisike yekupinza yakagadziriswa nemunyori semusanganiswa wemasvomhu asina kujeka uye fractal theory. Pfungwa yedhigirii rekudzokororwa kweiyo fuzzy seti inounzwa, uye tsananguro yekusakwana kudzokororwa kweseti sechikamu chayo chechikamu cheiyo domain modelling inoratidzwa. Iko kushandiswa kweiyo nzira yakatsanangurwa uye inozobuda yeruzivo modhi seti isina kujeka inoonekwa sekubatanidza kutenderera kwehupenyu hwemasisitimu eruzivo, kusanganisira kugadzirwa kwemakesi ekushandisa software uye kuyedzwa.
Pertinence
Munguva yekugadzira, kusimudzira, kuita, uye kushanda kwemasisitimu eruzivo, zvinodikanwa kuunganidza uye kuronga data, ruzivo, uye ruzivo rwakaunganidzwa kunze kana kugadzirwa padanho rega rega rehupenyu hwesoftware. Izvi zvinopa ruzivo rwakakosha uye nzira yerutsigiro yebasa rekugadzira nekuita sarudzo uye inonyanya kukosha mumamiriro ezvinhu ekusava nechokwadi kwakanyanya uye munzvimbo dzisina kurongeka. Nheyo yeruzivo yakaumbwa nekuda kwekuunganidzwa uye kurongeka kwezviwanikwa zvakadaro haifanirwe kungove sosi yeruzivo runobatsira rwakawanwa neboka reprojekiti panguva yekugadzirwa kwehurongwa hweruzivo, asiwo nzira dzakareruka dzekuenzanisira miono mitsva, nzira, uye algorithms ekuita mabasa eprojekiti. Mune mamwe mazwi, hwaro hweruzivo hwakadaro inzvimbo yehungwaru capital uye, panguva imwechete, chishandiso chekutonga ruzivo [3, 10].
Kushanda zvakanaka, kubatsira, uye kunaka kweruzivo sechishandiso zvinoenderana nekusimba kwekuchengetedzwa kwarwo uye kushanda kwekutsvaga ruzivo. Kuunganidzwa nekurekodhwa kweruzivo muruzivo kuri nyore uye nekukurumidza uye mhedzisiro yemibvunzo yacho inoenderana narwo, chishandiso pachacho chinova nani uye chakavimbika [1, 2]. Kunyange zvakadaro, nzira dzakasiyana uye maturusi ekugadzira anoshanda kumasisitimu. manejimendi yedhatabhesi, kusanganisira kugadzirisa hukama hwedatabase rehukama, hazvibvumire kutsanangurwa kana kuenzanisirwa kwezvikamu zve semantic, dudziro, interval uye continuous semantic sets [4, 7, 10]. Izvi zvinoda nzira ye methodological iyo inobatanidza zviitiko zvakasiyana zve finite ontologys uye inoswededza ruzivo rwemuenzaniso pedyo nekutsanangurwa kunoenderera mberi kwenzvimbo yenyaya ye information system.
Maitiro akadaro anogona kunge ari musanganiswa wezvipimo zvedzidziso yefuzzy mathematics uye pfungwa yefractal dimension [3, 6]. Nekugadzirisa tsananguro yeruzivo zvinoenderana nechiyero chedanho rekuenderera mberi (saizi yetsanangudzo discretization nhanho) pasi pezvipingamupinyi zveGödel kusakwana musimboti (mune system yeruzivo - iyo yakakosha kusakwana kwekufunga, ruzivo rwunobva muhurongwa uhu pasi pemamiriro ekuenderana kwayo), kuita sequential kutsanangudza uye kurongeka kwakazara, kuwana kutevedzana kuzere fuzzness uye kurongeka. inoratidza rumwe ruzivo rweruzivo uye iyo chero mashandiro emaitiro eruzivo anogona kuitwa - kuunganidza, kuchengetedza, kugadzirisa uye kutumira [5, 8, 9].
Tsanangudzo ye fuzzy set recursion
Rega X ive iyo seti yehumwe hunhu hweiyo system iri kuenzanisirwa:
(1)
apo n = [N ≥ 3] inhamba yehukoshi hwehunhu hwakadaro (kupfuura yekutanga seti (0; 1) - (nhema; chokwadi)).
Rega X = B, apo B = {a,b,c,…,z} ndiyo seti yezvakaenzana inoenderana elementwise kune seti yehunhu hwehunhu X.
Ipapo iyo fuzzy set
, iyo inoenderana nepfungwa isina kujeka (muzhinji) inotsanangura chimiro X, inogona kumiririrwa se:
(2)
uko m ndiyo nhanho yekutsanangura discretization, ini ndeweN - nhanho kuwanda.
Saizvozvo, kuitira kukwirisa modhi yeruzivo nezve system yeruzivo maererano nechiyero chekuenderera (kunyorova) kwetsananguro, ichisara mukati memiganhu yenzvimbo yekusakwana kwekufunga, tinosuma. dhigirii recursion of fuzzy set
uye isu tinowana inotevera vhezheni yekumiririra kwayo:
(3)
apo
- seti inoenderana nepfungwa isina kujeka, iyo kazhinji inotsanangura hunhu X zvakazara kupfuura iyo yakatarwa
, maererano nechiyero chekupfava; Re ndiyo dhigirii rekudzokororwa kwetsanangudzo.
Zvinofanira kurangarirwa izvozvo
(inoderedzwa kune crisp set) mune imwe nyaya kana zvichidikanwa.
Nhanganyaya yezvikamu zviduku
Kana Re = 1 set
yakajairika seti isina kujeka ye2nd degree, iyo inosanganisira sezvinhu zvisina kujeka seti (kana crisp mappings) inotsanangura ese maitiro ehunhu X [1, 2]:
(4)
Nekudaro, iyi inyaya yakashata, uye mukumiririra kwakazara, zvimwe zvezvinhu
inogona kuve seti, nepo zvimwe zvacho zvidiki (zvakanyanya nyore) zvinhu. Nokudaro, kutsanangura seti yakadaro, zvakakosha kusuma fractional recursion - analogue yechikamu chechikamu chenzvimbo (muchirevo chechinyorwa chino - nzvimbo yeontology yeimwe nzvimbo yezvidzidzo) [3, 9].
Kana Re iri chidimbu, tinowana inotevera yekupinda
:
(5)
apo
- isina kujeka seti yeiyo kukosha X1,
- isina kujeka seti yeiyo kukosha X2, nezvimwe.
Muchiitiko ichi, kudzokororwa kunobva kwaita fractal, uye seti dzetsanangudzo dzinova dzakafanana.
Kutsanangura seti yemodule inoshanda
Iyo dhizaini yeyakavhurika ruzivo sisitimu yakavakirwa pamusimboti wemodularity, iyo inogonesa scalability, kudzokorora, kuchinjika, uye sisitimu kubuda. Modular dhizaini inobvumira kuti tekinoroji yekuitwa kwemaitiro eruzivo kuve padyo sezvinobvira kune yavo yechisikigo, chinangwa embodiment munyika chaiyo, uye kugadzira maturusi ari nyore mukuita kwavo zvivakwa uye akagadzirirwa kwete kutsiva vanhu, asi kuti vabatsire zvinobudirira mukutonga kweruzivo.
A module inhengo yakaparadzana yeruzivo system, iyo inogona kuve yekumanikidza kana yekusarudzika nechinangwa chekuvapo kwehurongwa, asi chero zvakadaro inopa rakasiyana seti yemabasa mukati memiganhu yehurongwa.
Zvose zvakasiyana-siyana zvekushanda kwema modules zvinogona kutsanangurwa nemhando nhatu dzekushanda: kusika (kunyora data itsva), kugadzirisa (kushandura data yakamborekodhwa), kudzima (kubvisa data yakamborekodhwa).
Rega X ave humwe hunhu hwekugona kushanda kwakadaro, ipapo iyo inoenderana seti X inogona kumiririrwa se:
(6)
uko X1 kusikwa, X2 iri kugadzirisa, X3 iri kubviswa,
(7)
Uyezve, kushanda kwechero module ndeyekuti kugadzira data hakusi kuzvifananidzira (kunoitwa pasina kudzokororwa - basa rekugadzira harizvidzokorore), uye kugadzirisa uye kudzima mune yakajairika kesi inogona kupa kune ese maviri element-ne-element kuita (kuita oparesheni pazvinhu zvakasarudzwa zve data seti), uye ivo pachavo vanosanganisira mashandiro akafanana.
Izvo zvinofanirwa kucherechedzwa kuti kana oparesheni yekushanda X mune yakapihwa module isina kuitwa (isina kuisirwa muhurongwa), ipapo iyo seti inoenderana nekuvhiya kwakadaro inoonekwa isina chinhu.
Nekudaro, kutsanangura iyo fuzzy pfungwa (chirevo) "module inobvumidza iwe kuti uite oparesheni neinowirirana seti yedata nekuda kweiyo ruzivo system", iyo yakaoma seti.
mune yakapusa nyaya inogona kumiririrwa se:
(8)
Seti yakadaro mune yakajairika kesi ine dhigirii recursion yakaenzana ne1,6 (6) uye ine fractal uye fuzzy panguva imwe chete.
Kugadzirira mamiriro ekushandisa uye kuyedza module
Pamatanho ekuvandudza nekushanda kwehurongwa hweruzivo, mamiriro akakosha anodiwa anotsanangura kurongeka uye zviri mukati memashandiro ekushandisa mamodule kune yavo inoshanda chinangwa (kushandisa-kesi mamiriro), pamwe nekutarisa kutevedza kweinotarisirwa uye chaiyo mhedzisiro yekushanda kwemamodule (test-case scenarios).
Tichifunga nezvepfungwa dzataurwa pamusoro apa, nzira yekushanda pamamiriro ezvinhu akadaro inogona kutsanangurwa sezvinotevera.
A fuzzy seti inoumbwa yeiyo module
:
(9)
apo
- isina kujeka seti yekushanda kwekugadzira data pane inoshanda X;
- iyo isina kujeka seti yekushanda kwedhita data pane inoshanda X, uko dhigirii recursion a (basa embedding) inhamba yechisikigo uye mune diki kesi yakaenzana ne1;
- seti isina kujeka yekushanda kwekudzima data pane inoshanda kugona X, uko dhigirii recursion b (basa embedding) inhamba yechisikigo uye mune diki kesi yakaenzana ne1.
Seti iyi inotsanangura, chii chaizvo (izvo zvinhu zve data) zviri kugadzirwa, kugadziridzwa uye / kana kubviswa kune chero kushandiswa kwemodule.
Zvino seti yemamiriro ekushandisa Ux inounganidzwa yekushanda X yemodule iri mubvunzo, imwe neimwe inotsanangura, Nechinangwa chei (chebasa ripi rebhizinesi) zvinhu zve data zvinotsanangurwa neseti yakagadzirwa, yakagadziridzwa uye / kana kubviswa?
, uye muhurongwa hupi:
(10)
uko n ndiyo nhamba yemakesi ekushandisa eX.
Tevere, seti yezviitiko zvekuyedza Tx yekushanda X inounganidzwa kune yega yega kesi yekushandisa yemodule iri kutariswa. Mamiriro ebvunzo anotsanangura, ndeapi data data uye nenzira ipi inoshandiswa pakuita kesi yekushandisa, uye ndeipi mhedzisiro inofanirwa kuwanikwa:
(11)
uko [D] iri dhata rekuyedza, n nhamba yezviitiko zvekuyedza X.
Munzira yakatsanangurwa, nhamba yezviitiko zvekuedzwa yakaenzana nehuwandu hwemashandisirwo anoenderana, izvo zvinorerutsa tsananguro yavo nekuvandudza sezvo sisitimu inoshanduka. Uyezve, iyi algorithm inogona kushandiswa kuita otomatiki kuyedzwa kwemamodule esoftware mukati meiyo ruzivo system.
mhedziso
Iyo yakaratidzwa nzira yekupinza isina kujeka inogona kuitwa pamatanho akasiyana ehupenyu hwechero modular information system zvese nechinangwa chekuunganidza chikamu chinotsanangura chehwaro hweruzivo uye mukushanda pane zviitiko zvekushandisa uye kuyedza mamodule.
Uyezve, induction isina kujeka inobatsira kubatanidza ruzivo kubva pane zvinokonzeresa tsananguro, se "cognitive kaleidoscope," umo zvimwe zvinhu zvinoramba zvakajeka uye zvisina kujeka, nepo zvimwe, zvinoenderana nemutemo wekufanana, zvinoshandiswa kakawanda, zvakatsanangurwa nedhigirii recursion, kune yega yega data inozivikanwa. Zvikatorwa pamwechete, izvo zvinokonzeresa zvisinganzwisisiki seti zvinogadzira modhi inogona kushandiswa zvese kune ruzivo rwehurongwa uye nekutsvaga kwese kweruzivo rutsva.
Rudzi urwu rwemaitiro runogona kuverengerwa seyakasarudzika nzira ye "artificial intelligence," zvichipihwa kuti seti dzakasanganiswa hadzifanirwe kupokana nemusimboti wepfungwa dzisina kukwana uye dzinoitirwa kubatsira njere dzevanhu, pane kuitsiva.
Mareferensi
- Borisov V.V., Fedolov A.S., Zernov M.M., "Nheyo dzeChidzidzo cheFuzzy Sets". Moscow: Goryachaya Liniya - Telecom, 2014. - 88 p.
- Borisov V.V., Fedolov A.S., Zernov M.M., "Nheyo dzeChidzidzo cheFuzzy Logical Inference". Moscow: Goryachaya Liniya - Telecom, 2014. - 122 p.
- Demenok S.L., "Fractal: Pakati peNhema uye Craft." St. Petersburg: Academy yeCultural Research, 2011. - 296 p.
- Zade L., "Nheyo dzeNzira Itsva yeOngororo yeMasisitimu Akaoma uye Maitiro Ekuita Sarudzo" / "Mathematics Nhasi". Moscow: "Zivo", 1974. - P. 5 - 49.
- Krantz S., "Kuchinja Kwechimiro cheUchapupu hweMasvomhu." Moscow: Knowledge Laboratory, 2016. - 320 p.
- Mavrikidi F.I., “Fractal Mathematics and the Nature of Change” / “Delphis”, No. 54 (2/2008), .
- Mandelbrot B., "Fractal Geometry of Nature". Moscow: Institute of Computer Research, 2002. - 656 p.
- "Zvakakosha zvedzidziso yeFuzzy Sets: Methodological Guidelines", yakanyorwa naI.L. Korobova, I.A. Dyakov. Tambov: Publishing House yeTambov State Technical University, 2003. - 24 p.
- Uspensky V.A., "Kukumbira ruregerero rweMasvomhu". Moscow: Alpina Non-fiction, 2017. - 622 p.
- Zimmerman HJ "Fuzzy Set Theory - uye maapplication ayo", 4th edition. Springer Science + Business Media, New York, 2001. - 514 p.
Source: www.habr.com
