ProHoster > Blogs > AdministrÄcija > IzplÅ«duÅ”Äs indukcijas metode un tÄs pielietojums zinÄÅ”anu un informÄcijas sistÄmu modelÄÅ”anÄ
IzplÅ«duÅ”Äs indukcijas metode un tÄs pielietojums zinÄÅ”anu un informÄcijas sistÄmu modelÄÅ”anÄ
Å ajÄ rakstÄ tiek piedÄvÄta autora izstrÄdÄtÄ izplÅ«duÅ”Äs indukcijas metode kÄ izplÅ«duÅ”Äs matemÄtikas nosacÄ«jumu un fraktÄļu teorijas kombinÄcija, ieviests izplÅ«duÅ”Äs kopas rekursijas pakÄpes jÄdziens un sniegts nepilnÄ«gÄs kopas rekursijas apraksts. iestatÄ«t kÄ tÄ daļÄjo dimensiju priekÅ”meta apgabala modelÄÅ”anai. Par piedÄvÄtÄs metodes un uz tÄs bÄzes veidoto zinÄÅ”anu modeļu kÄ izplÅ«duÅ”o kopu pielietojuma sfÄru tiek uzskatÄ«ta informÄcijas sistÄmu dzÄ«ves cikla vadÄ«ba, tai skaitÄ programmatÅ«ras lietoÅ”anas un testÄÅ”anas scenÄriju izstrÄde.
Atbilstība
InformÄcijas sistÄmu projektÄÅ”anas un izstrÄdes, ievieÅ”anas un darbÄ«bas procesÄ ir nepiecieÅ”ams uzkrÄt un sistematizÄt datus, informÄciju un informÄciju, kas tiek savÄkta no Ärpuses vai rodas katrÄ programmatÅ«ras dzÄ«ves cikla posmÄ. Tas kalpo kÄ nepiecieÅ”amÄ informÄcija un metodiskais atbalsts projektÄÅ”anas darbam un lÄmumu pieÅemÅ”anai, un tas ir Ä«paÅ”i aktuÄli augstas nenoteiktÄ«bas situÄcijÄs un vÄji strukturÄtÄ vidÄ. Å Ädu resursu uzkrÄÅ”anas un sistematizÄÅ”anas rezultÄtÄ izveidotajai zinÄÅ”anu bÄzei jÄbÅ«t ne tikai noderÄ«gas pieredzes avotam, ko projekta komanda guvusi informÄcijas sistÄmas izveides laikÄ, bet arÄ« vienkÄrÅ”Äkajiem lÄ«dzekļiem jaunu vÄ«ziju, metožu un metožu modelÄÅ”anai. algoritmi projekta uzdevumu Ä«stenoÅ”anai. Citiem vÄrdiem sakot, Å”Äda zinÄÅ”anu bÄze ir intelektuÄlÄ kapitÄla krÄtuve un vienlaikus zinÄÅ”anu pÄrvaldÄ«bas instruments [3, 10].
ZinÄÅ”anu bÄzes kÄ instrumenta efektivitÄte, lietderÄ«ba un kvalitÄte korelÄ ar tÄs uzturÄÅ”anas resursu intensitÄti un zinÄÅ”anu ieguves efektivitÄti. Jo vienkÄrÅ”Äka un ÄtrÄka ir zinÄÅ”anu apkopoÅ”ana un ierakstÄ«Å”ana datu bÄzÄ un konsekventÄki tÄs vaicÄjumu rezultÄti, jo labÄks un uzticamÄks ir pats rÄ«ks [1, 2]. TaÄu diskrÄtÄs metodes un strukturÄÅ”anas rÄ«ki, kas ir piemÄrojami datu bÄzu pÄrvaldÄ«bas sistÄmÄm, ieskaitot attiecÄ«bu normalizÄciju relÄciju datu bÄzÄs, neļauj aprakstÄ«t vai modelÄt semantiskos komponentus, interpretÄcijas, intervÄlu un nepÄrtrauktas semantiskÄs kopas [4, 7, 10]. Tam nepiecieÅ”ama metodoloÄ£iska pieeja, kas vispÄrina Ä«paÅ”us ierobežotu ontoloÄ£iju gadÄ«jumus un tuvina zinÄÅ”anu modeli informÄcijas sistÄmas priekÅ”meta jomas apraksta nepÄrtrauktÄ«bai.
Å Äda pieeja varÄtu bÅ«t izplÅ«duÅ”Äs matemÄtikas teorijas nosacÄ«jumu un fraktÄļu dimensijas jÄdziena kombinÄcija [3, 6]. OptimizÄjot zinÄÅ”anu aprakstu pÄc nepÄrtrauktÄ«bas pakÄpes kritÄrija (apraksta diskretizÄcijas soļa lielums) ierobežojuma apstÄkļos pÄc GÄdela nepabeigtÄ«bas principa (informÄcijas sistÄmÄ - pamatojuma, zinÄÅ”anu nepabeigtÄ«ba kas atvasinÄts no Ŕīs sistÄmas ar tÄs konsekvences nosacÄ«jumu), veicot secÄ«gu izplÅ«dumu (samazinÄÅ”anu uz izplÅ«dumu), iegÅ«stam formalizÄtu aprakstu, kas pÄc iespÄjas pilnÄ«gÄk un saskaÅotÄk atspoguļo noteiktu zinÄÅ”anu kopumu un ar kuru iespÄjams veikt jebkuras informÄcijas procesi - vÄkÅ”ana, uzglabÄÅ”ana, apstrÄde un pÄrraide [5, 8, 9].
IzplÅ«duÅ”Äs kopas rekursijas definÄ«cija
Lai X ir kÄda modelÄtÄs sistÄmas raksturlieluma vÄrtÄ«bu kopa:
(1)
kur n = [N ā„ 3] ā Å”Äda raksturlieluma vÄrtÄ«bu skaits (vairÄk nekÄ elementÄrkopa (0; 1) ā (false; true)).
PieÅemsim, ka X = B, kur B = {a,b,c,ā¦,z} ir ekvivalentu kopa, kas atbilst raksturlieluma X vÄrtÄ«bu kopai.
Tad izplÅ«duÅ”ais komplekts , kas atbilst izplÅ«duÅ”am (vispÄrÄjÄ gadÄ«jumÄ) jÄdzienam, kas apraksta raksturlielumu X, var attÄlot kÄ:
(2)
kur m ir apraksta diskretizÄcijas solis, i pieder pie N ā soļu daudzveidÄ«bas.
AttiecÄ«gi, lai optimizÄtu zinÄÅ”anu modeli par informÄcijas sistÄmu pÄc apraksta nepÄrtrauktÄ«bas (maiguma) kritÄrija, vienlaikus paliekot sprieÅ”anas nepabeigtÄ«bas telpas robežÄs, ievieÅ”am izplÅ«duÅ”as kopas rekursijas pakÄpe un mÄs iegÅ«stam Å”Ädu tÄ attÄlojuma versiju:
(3)
kur ā izplÅ«duÅ”am jÄdzienam atbilstoÅ”a kopa, kas kopumÄ raksturo raksturlielumu X pilnÄ«gÄk nekÄ kopa , saskaÅÄ ar maiguma kritÄriju; Re ā apraksta rekursijas pakÄpe.
JÄatzÄ«mÄ, ka (reducÄjams lÄ«dz skaidram komplektam) Ä«paÅ”Ä gadÄ«jumÄ, ja nepiecieÅ”ams.
FrakcionÄlÄs dimensijas ievieÅ”ana
Kad Re = 1 komplekts ir parasta 2. pakÄpes izplÅ«duÅ”Ä kopa, kÄ elementi ietverot izplÅ«duÅ”Äs kopas (vai to skaidrus kartÄjumus), kas apraksta visas raksturlieluma X vÄrtÄ«bas [1, 2]:
(4)
TomÄr tas ir deÄ£enerÄts gadÄ«jums, un vispilnÄ«gÄkajÄ attÄlojumÄ daži elementi var bÅ«t kopas, bet pÄrÄjie var bÅ«t triviÄli (ÄrkÄrtÄ«gi vienkÄrÅ”i) objekti. TÄpÄc, lai definÄtu Å”Ädu kopu, ir nepiecieÅ”ams ieviest daļÄja rekursija ā telpas frakcionÄtÄs dimensijas (Å”ajÄ kontekstÄ noteiktas priekÅ”meta jomas ontoloÄ£ijas telpas) analogs [3, 9].
Kad Re ir daļskaitlis, mÄs iegÅ«stam Å”Ädu ierakstu :
(5)
kur ā izplÅ«duÅ”ais komplekts vÄrtÄ«bai X1, ā neskaidra kopa vÄrtÄ«bai X2 utt.
Å ajÄ gadÄ«jumÄ rekursija bÅ«tÄ«bÄ kļūst par fraktÄlu, un aprakstu kopas kļūst sev lÄ«dzÄ«gas.
Moduļa daudzo funkcionalitÄtes noteikÅ”ana
AtvÄrtas informÄcijas sistÄmas arhitektÅ«ra pieÅem modularitÄtes principu, kas nodroÅ”ina sistÄmas mÄrogoÅ”anas, replikÄcijas, pielÄgojamÄ«bas un raÅ”anÄs iespÄju. Moduļu konstrukcija ļauj tuvinÄt informÄcijas procesu tehnoloÄ£isko ievieÅ”anu pÄc iespÄjas tuvÄk to dabiskajam objektÄ«vajam iemiesojumam reÄlajÄ pasaulÄ, izstrÄdÄt to funkcionÄlo Ä«paŔību ziÅÄ ÄrtÄkos rÄ«kus, kas paredzÄti nevis cilvÄku aizstÄÅ”anai, bet gan efektÄ«vai palÄ«dzÄ«bai. zinÄÅ”anu pÄrvaldÄ«bÄ.
Modulis ir atseviŔķa informÄcijas sistÄmas vienÄ«ba, kas var bÅ«t obligÄta vai neobligÄta sistÄmas pastÄvÄÅ”anas nolÅ«kos, taÄu jebkurÄ gadÄ«jumÄ nodroÅ”ina unikÄlu funkciju kopumu sistÄmas robežÄs.
Visu moduļa funkcionalitÄtes dažÄdÄ«bu var raksturot ar trÄ«s veidu darbÄ«bÄm: izveidoÅ”ana (jaunu datu ierakstÄ«Å”ana), rediÄ£ÄÅ”ana (iepriekÅ” ierakstÄ«to datu mainÄ«Å”ana), dzÄÅ”ana (iepriekÅ” ierakstÄ«to datu dzÄÅ”ana).
Lai X ir noteiktas Å”Ädas funkcionalitÄtes raksturlielums, tad atbilstoÅ”o kopu X var attÄlot Å”Ädi:
(6)
kur X1 ā izveide, X2 ā rediÄ£ÄÅ”ana, X3 ā dzÄÅ”ana,
(7)
TurklÄt jebkura moduļa funkcionalitÄte ir tÄda, ka datu izveide nav lÄ«dzÄ«ga (tiek Ä«stenota bez rekursijas - izveides funkcija neatkÄrtojas), un rediÄ£ÄÅ”ana un dzÄÅ”ana vispÄrÄ«gÄ gadÄ«jumÄ var ietvert gan elementu pa elementu ievieÅ”anu (izpildÄ«Å”anu). operÄcija ar izvÄlÄtiem datu kopu elementiem) un paÅ”i ietver sev lÄ«dzÄ«gas darbÄ«bas.
JÄÅem vÄrÄ, ka, ja konkrÄtajÄ modulÄ« netiek veikta darbÄ«ba funkcionalitÄtei X (nav ieviesta sistÄmÄ), tad Å”Ädai darbÄ«bai atbilstoÅ”Ä kopa tiek uzskatÄ«ta par tukÅ”u.
TÄtad, lai aprakstÄ«tu izplÅ«duÅ”o jÄdzienu (paziÅojumu) āmodulis ļauj veikt darbÄ«bu ar atbilstoÅ”o datu kopu informÄcijas sistÄmas vajadzÄ«bÄmā, izplÅ«duÅ”u kopa vienkÄrÅ”ÄkajÄ gadÄ«jumÄ to var attÄlot Å”Ädi:
(8)
Å Ädai kopai vispÄrÄ«gÄ gadÄ«jumÄ ir rekursijas pakÄpe, kas vienÄda ar 1,6(6), un tÄ ir vienlaikus fraktÄla un izplÅ«dusi.
Moduļa lietoÅ”anas un testÄÅ”anas scenÄriju sagatavoÅ”ana
InformÄcijas sistÄmas izstrÄdes un darbÄ«bas posmos ir nepiecieÅ”ami Ä«paÅ”i scenÄriji, kas apraksta moduļu lietoÅ”anas darbÄ«bu secÄ«bu un saturu atbilstoÅ”i to funkcionÄlajam mÄrÄ·im (lietoÅ”anas scenÄriji), kÄ arÄ« pÄrbauda atbilstÄ«bu paredzamajiem un faktiskie moduļu rezultÄti (testÄÅ”anas scenÄriji). .test-case).
Å emot vÄrÄ iepriekÅ” izklÄstÄ«tÄs idejas, darba procesu pie Å”Ädiem scenÄrijiem var raksturot Å”Ädi.
Modulim tiek izveidots neskaidrs komplekts :
(9)
kur
ā izplÅ«duÅ”ais komplekts datu veidoÅ”anas darbÄ«bai atbilstoÅ”i funkcionalitÄtei X;
ā izplÅ«duÅ”Ä kopa datu rediÄ£ÄÅ”anas darbÄ«bai atbilstoÅ”i funkcionalitÄtei X, savukÄrt rekursijas pakÄpe a (funkcijas iegulÅ”ana) ir naturÄls skaitlis un triviÄlÄ gadÄ«jumÄ ir vienÄds ar 1;
ā izplÅ«dusi kopa datu dzÄÅ”anas darbÄ«bai atbilstoÅ”i funkcionalitÄtei X, savukÄrt rekursijas pakÄpe b (funkcijas iegulÅ”ana) ir naturÄls skaitlis un triviÄlÄ gadÄ«jumÄ ir vienÄds ar 1.
TÄds daudzums apraksta kas tieÅ”i (kuri datu objekti) tiek izveidoti, rediÄ£Äti un/vai dzÄsti jebkurai moduļa izmantoÅ”anai.
PÄc tam tiek apkopota scenÄriju kopa Ux izmantoÅ”anai funkcionalitÄtei X attiecÄ«gajam modulim, un katrs no tiem apraksta kÄpÄc (kÄdam biznesa uzdevumam) tiek izveidoti, rediÄ£Äti un/vai dzÄsti kopas aprakstÄ«tie datu objekti? , un kÄdÄ secÄ«bÄ:
(10)
kur n ir X lietoŔanas gadījumu skaits.
PÄc tam tiek apkopota Tx testÄÅ”anas scenÄriju kopa funkcionalitÄtei X katram attiecÄ«gÄ moduļa lietoÅ”anas gadÄ«jumam. Testa skripts apraksta, kÄdas datu vÄrtÄ«bas tiek izmantotas un kÄdÄ secÄ«bÄ, izpildot lietoÅ”anas gadÄ«jumu, un kÄds rezultÄts ir jÄiegÅ«st:
(11)
kur [D] ir testa datu masÄ«vs, n ir testa scenÄriju skaits X.
AprakstÄ«tajÄ pieejÄ testa scenÄriju skaits ir vienÄds ar atbilstoÅ”o lietoÅ”anas gadÄ«jumu skaitu, kas vienkÄrÅ”o darbu pie to aprakstÄ«Å”anas un atjauninÄÅ”anas, sistÄmai attÄ«stoties. TurklÄt ar Å”Ädu algoritmu iespÄjams automatizÄt informÄcijas sistÄmas programmatÅ«ras moduļu testÄÅ”anu.
SecinÄjums
PiedÄvÄtÄ izplÅ«duÅ”Äs indukcijas metode var tikt ieviesta dažÄdos jebkuras modulÄras informÄcijas sistÄmas dzÄ«ves cikla posmos gan zinÄÅ”anu bÄzes aprakstoÅ”Äs daļas uzkrÄÅ”anai, gan arÄ« strÄdÄjot pie moduļu izmantoÅ”anas un testÄÅ”anas scenÄrijiem.
TurklÄt izplÅ«duÅ”Ä indukcija palÄ«dz sintezÄt zinÄÅ”anas, balstoties uz iegÅ«tajiem izplÅ«duÅ”ajiem aprakstiem, kÄ ākognitÄ«vais kaleidoskopsā, kurÄ daži elementi paliek skaidri un nepÄrprotami, bet citi saskaÅÄ ar paÅ”lÄ«dzÄ«bas likumu tiek pielietoti tik reižu, cik norÄdÄ«ts. katras zinÄmo datu kopas rekursijas pakÄpe. KopÄ iegÅ«tÄs izplÅ«duÅ”Äs kopas veido modeli, ko var izmantot gan informÄcijas sistÄmas vajadzÄ«bÄm, gan jaunu zinÄÅ”anu meklÄÅ”anas interesÄs kopumÄ.
Å Äda veida metodoloÄ£iju var klasificÄt kÄ unikÄlu āmÄkslÄ«gÄ intelektaā formu, Åemot vÄrÄ to, ka sintezÄtÄs kopas nedrÄ«kst bÅ«t pretrunÄ ar nepilnÄ«gas argumentÄcijas principu un ir paredzÄtas, lai palÄ«dzÄtu cilvÄka intelektam, nevis to aizstÄtu.