Kontakty

Algoritmizácia procesov fungujúcich systémov. Formalizácia a algoritmizácia systémov fungujúcich procesov 2 modelovanie algoritmizácie výskumného procesu

MOSKVA TECHNOLOGICKÝ ÚSTAV
Počítačové modelovanie
Buzhinsky V.A. ktn
odborný asistent

Moskva
2014

Základné pojmy CM
Model je umelo vytvorený objekt, ktorý sa v určitom reprodukuje
skutočný objekt je originál.
Počítačový model - prezentácia informácií o simulovanom systéme
pomocou počítača.
Systém - sada vzájomne prepojených prvkov s vlastnosťami,
odlišné od vlastností jednotlivých prvkov.
Element je objekt, ktorý má vlastnosti, ktoré sú dôležité pre účely modelovania.
V počítačovom modeli sú vlastnosti prvku predstavované hodnotami charakteristík prvku.
Vzťah medzi prvkami je opísaný najmä pomocou veličín a algoritmov
výpočtové vzorce.

V súčasnosti sa počítačový model najčastejšie chápe ako:
podmienený obraz objektu alebo nejakej sústavy objektov (alebo procesov),
popísané pomocou vzájomne prepojených počítačových tabuliek, blokových diagramov,
diagramy, grafy, kresby, fragmenty animácií, hypertext atď.
a líčenie štruktúry a vzťahov medzi prvkami objektu.
Počítačové modely tohto druhu budeme nazývať štrukturálne a funkčné;
samostatný program, sada programov, softvérový balík,
umožňujúce pomocou postupnosti výpočtov a grafických
zobraziť ich výsledky reprodukovať (simulovať) procesy
fungovanie objektu, sústavy predmetov, ktoré môžu na predmet pôsobiť
rôzne (zvyčajne náhodné) faktory. Takéto modely budeme naďalej používať.
nazývané simulačné modely.
Počítačové modelovanie je metóda na riešenie problému analýzy resp
syntéza zložitého systému založená na použití jeho počítačového modelu.
Podstatou počítačového modelovania je získanie kvantitatívnych a
kvalitatívne výsledky podľa existujúceho modelu.

Číslo témy 1. Základné pojmy počítačového modelovania.
Téma číslo 2. Konštrukcia modelovacích algoritmov: formalizácia a
algoritmizácia procesov.
Téma č. 3. Všestrannosť matematických modelov.
Téma č. 4. Matematické modely zložitých systémov.
Téma № 5. Spojité-deterministické, diskrétne-deterministické, diskrétne-pravdepodobnostné a spojité pravdepodobnostné modely.

Webinár číslo 2
Konštrukcia modelovacích algoritmov:
formalizácia a algoritmizácia procesov
1. Formalizácia modelu
2. Algoritmizácia procesu

Počas svojej histórie ľudstvo používalo rôzne
metódy a nástroje na tvorbu informačných modelov. Tieto spôsoby
neustále vylepšované. Takže prvé informačné modely
boli vytvorené vo forme skalných obrazov. Momentálne informačné
modely sa zvyčajne zostavujú a skúmajú pomocou moderných
počítačová technológia.
Pri štúdiu nového objektu sa zvyčajne stavia ako prvý.
popisný informačný model využívajúci prirodzené jazyky
a kresby. Takýto model dokáže zobraziť objekty, procesy a javy.
kvalitatívne, to znamená bez použitia kvantitatívnych charakteristík. Napríklad,
heliocentrický model sveta Koperníka v prirodzenom jazyku
bol formulovaný takto:
Zem sa točí okolo slnka a mesiac sa točí okolo Zeme;
všetky planéty sa točia okolo slnka.

Formálne jazyky sa používajú na konštrukciu formálnych jazykov
informačné modely. Matematika je najrozšírenejšia
použitého formálneho jazyka. Pomocou matematických
koncepty a vzorce sú zostavené matematické modely.
V prírodných vedách (fyzika, chémia atď.)
formálne modely javov a procesov. Často sa na to používa
univerzálny matematický jazyk algebraických vzorcov (pre lekciu č. 3).
V niektorých prípadoch však špecializované
formálne jazyky (v chémii - jazyk chemických vzorcov, v hudbe - hudobné
diplom atď.) (?).

1. uch. otázka. Formalizácia
modely
Proces budovania informačných modelov pomocou
formálne jazyky sa nazýva formalizácia.
V procese štúdia formálnych modelov sa to často deje
ich vizualizácia. (?)
Na vizualizáciu algoritmov sa používajú blokové diagramy,
priestorové vzťahy medzi objektmi - kresby, modely
elektrické obvody - elektrické obvody. Pri formálnom podaní
modely pomocou animácie možno zobraziť dynamiku procesu,
zakreslenie grafov zmien hodnôt a pod.
V súčasnej dobe rozšírený
počítačové interaktívne vizuálne modely. V takýchto modeloch výskumník
môže meniť počiatočné podmienky a parametre procesov a dodržiavať ich
zmeny v správaní modelu.

Prvou etapou každého výskumu je formulácia problému, ktorý
určený daným cieľom.
Problém je formulovaný v bežnom jazyku. Podľa povahy výroby všetko
úlohy je možné rozdeliť do dvoch hlavných skupín. Do prvej skupiny môžete
zadať úlohy, v ktorých sa vyžaduje, aby preskúmali, ako sa majú zmeniť
vlastnosti objektu s určitým dopadom na neho, „čo sa stane,
Ak?…". Druhá skupina úloh: na aký dopad by sa malo pôsobiť
objekt tak, aby jeho parametre vyhovovali niektorým daným
podmienka „ako na to? ..“.
Druhou etapou je analýza objektu. Výsledkom analýzy objektu je jeho identifikácia
komponenty (elementárne objekty) a definícia vzťahov medzi nimi.
Treťou etapou je vývoj informačného modelu objektu. Budova
model musí súvisieť s účelom simulácie. Každý objekt má
veľké množstvo rôznych vlastností. V procese budovania modelu
sú zvýraznené hlavné, najdôležitejšie vlastnosti, ktoré
účel
Všetko, čo bolo uvedené vyššie, je formalizácia, to znamená nahradenie
skutočný objekt alebo proces podľa jeho formálneho popisu, t.j. jeho
informačný model.

10.

Po vybudovaní informačného modelu ho človek používa namiesto
pôvodný objekt na štúdium vlastností tohto objektu, predpoveď
jeho správanie atď. Pred vybudovaním akejkoľvek zložitej štruktúry
napríklad most, návrhári z neho robia výkresy, vykonávajú výpočty
pevnosť, prípustné zaťaženie. Takže namiesto skutočného mosta
zaoberajú sa popisom modelu vo forme výkresov,
matematické vzorce.
Formalizácia je proces
pridelenie a preklad
vnútorná štruktúra objektu v
určité informácie
štruktúra - forma.

11.

12.

Podľa stupňa formalizácie sú informačné modely
obrazne významné a ikonické.
Ikonické modely možno rozdeliť do nasledujúcich skupín:
matematické modely predstavované matematickými vzorcami,
zobrazenie vzťahu rôznych parametrov objektu, systému alebo
proces;
špeciálne modely uvádzané v špeciálnych jazykoch (noty,
chemické vzorce atď.);
algoritmické modely predstavujúce proces vo forme programu,
zaznamenané v osobitnom jazyku.

13.

Postupnosť príkazov na ovládanie objektu,
ktorých implementácia vedie k dosiahnutiu vopred určeného
cieľ sa nazýva riadiaci algoritmus.
Pôvod pojmu „algoritmus“.
Slovo „algoritmus“ pochádza z názvu matematika
stredoveký východ Muhammada al-Khwarizmiho (787 - 850). Oni boli
metódy vykonávania aritmetických výpočtov s
viacciferné čísla. Neskôr v Európe sa tieto techniky nazývali
algoritmy, z latinského pravopisu názvu al-Khwarizmi. V dnešnej dobe
pojem algoritmus sa neobmedzuje iba na aritmetiku
výpočty.

14.

Algoritmus - jasný a presný pokyn na vykonanie
určitá postupnosť akcií,
zamerané na dosiahnutie stanoveného cieľa alebo
riešenie úlohy.
Algoritmus použitý pri výpočte
stroj - presný predpis, to znamená súbor operácií a
pravidlá ich striedania, pomocou ktorých, počnúc
s niektorými počiatočnými údajmi môžete vyriešiť akékoľvek
problém s pevným typom.

15.

Vlastnosti algoritmu:
Diskrétnosť - algoritmus by mal byť rozdelený do krokov (samostatný
dokončené akcie).
Istota - interpret by nemal mať
nejasnosti v porozumení krokov algoritmu (umelec nie
musí prijímať nezávislé rozhodnutia).
Efektívnosť (konečnosť) - algoritmus by mal viesť k
konečný výsledok v konečnom počte krokov.
Zrozumiteľnosť - algoritmus musí byť pre umelca zrozumiteľný.
Efektívnosť - je zvolený jeden z možných algoritmov
algoritmus, ktorý obsahuje menej krokov alebo na jeho vykonanie
trvá to menej času.

16.

Typy algoritmov
Typy algoritmov ako logické a matematické prostriedky v systéme Windows
v závislosti od cieľa, počiatočných podmienok problému, spôsobov jeho riešenia,
definície konania exekútora sa členia nasledovne
spôsob:
mechanické algoritmy, inak deterministické;
flexibilné algoritmy, inak pravdepodobnostné a heuristické.
Mechanický algoritmus určuje určité akcie,
ich označenie v jedinečnom a spoľahlivom poradí,
čím poskytuje jednoznačné požadované alebo želané
výsledok, ak sú splnené tieto podmienky procesu alebo úlohy, pretože
algoritmus bol vyvinutý.
Heuristický algoritmus je algoritmus, v ktorom
dosiahnutie konečného výsledku akčného programu rozhodne nie je
preddefinované, rovnako ako nie je uvedená celá sekvencia
úkony exekútora. Tieto algoritmy používajú
univerzálne logické postupy a metódy rozhodovania,
na základe analógií, združení a skúseností, riešení podobných
úlohy.

17.

V procese algoritmizácie je pôvodný algoritmus rozdelený na samostatné
súvisiace časti nazývané kroky alebo súkromné ​​algoritmy.
Existujú štyri hlavné typy súkromných algoritmov:
lineárny algoritmus;
vetviaci algoritmus;
cyklický algoritmus;
pomocný alebo podriadený algoritmus.
Lineárny algoritmus - skupina vykonaných pokynov
postupne v čase jeden za druhým.
Algoritmus vetvenia - algoritmus obsahujúci aspoň jeden
stavu v dôsledku kontroly, na ktorú počítač zabezpečuje prechod
jeden z dvoch možných krokov.
Cyklický algoritmus - algoritmus, ktorý zahŕňa opakovania
rovnaká akcia na nové zdrojové údaje. Je to nevyhnutné
všimnite si, že cyklický algoritmus je ľahko implementovateľný dvoma
z predtým uvažovaných typov algoritmov.
Pomocný alebo podriadený algoritmus - algoritmus predtým
vyvinutý a úplne používaný pri algoritmizácii konkrétneho
úlohy.

18.

Vo všetkých fázach prípravy na algoritmizáciu problému je široko používaný
štruktúrne znázornenie algoritmu vo forme blokových diagramov.
Blokový diagram - grafické znázornenie algoritmu vo forme diagramu
bloky grafických symbolov navzájom spojené pomocou šípok (prechodových čiar), z ktorých každá zodpovedá jednému kroku
algoritmus. Blok obsahuje popis akcií v ňom vykonaných.

19.

Metódy popisu algoritmov
Výber nástrojov a metód na zaznamenávanie algoritmu
závisí predovšetkým od účelu (povahy)
algoritmus, ako aj o tom, kto (čo) bude
vykonávateľ algoritmu.
Algoritmy sú napísané ako:
slovné pravidlá,
blokové diagramy,
programov.

20.

Slovný spôsob popisu algoritmov je v podstate bežný jazyk, ale
s dôkladným výberom slov a fráz, ktoré neumožňujú zbytočné slová,
nejednoznačnosť a opakovanie. Jazyk je doplnený bežnou matematikou
notácia a niektoré osobitné dohovory.
Algoritmus je opísaný ako postupnosť krokov. Na každom kroku
zloženie vykonaných činností a ďalší smer
výpočty. Navyše, ak z aktuálneho kroku nevyplýva, ktorý krok by mal byť
potom sa vykoná prechod na ďalší krok.
Príklad. Vytvorte algoritmus na vyhľadanie najväčšieho počtu troch z nich
čísla a, b, c.
Porovnajte a a b. Ak a> b, potom ber ako maximum t, inak (a<=b) в
ber b ako maximum.
Porovnaj t a c. Ak t> c, prejdite na krok 3. Inak (t maximum c (t = c).
Vezmite t ako výsledok.
Nevýhody verbálneho spôsobu popisu algoritmov:
nejasnosť,
nedostatok presnosti.

21.

Grafický spôsob popisu
algoritmy je cesta
reprezentácia algoritmu s
pomocou všeobecne akceptovaných
grafické obrázky, každý z
ktorý z nich alebo
niekoľko krokov algoritmu.
Vo vnútri bloku je to napísané
popis príkazov alebo podmienok.
Naznačovať
postupnosť vykonania
bloky používajú komunikačné linky
(spojovacie vedenia).
Existujú určité
pravidlá pre opis algoritmov v systéme Windows
vo forme blokových diagramov. (?)

22.

Popis algoritmov využívajúcich programy - algoritmus napísaný v
programovací jazyk sa nazýva program.
Verbálna a grafická forma zápisu algoritmu sú určené pre
osoba. Algoritmus navrhnutý na spustenie na počítači
napísané v programovacom jazyku (jazyk, ktorému rozumie počítač). Teraz
je známych niekoľko stovák programovacích jazykov. Najpopulárnejší:
C, Pascal, BASIC atď.
Príklad. Vytvorte algoritmus na vyhľadanie najväčšieho počtu troch
dané čísla a, b, c.
program MaxFromThree;
var
a, b, c, výsledok: Skutočný;
začať
Napíšte („Zadajte a, b, c“);
ReadLn (a, b, c);
ak a> b potom výsledok: = a else výsledok: = b;
ak c> výsledok, potom výsledok: = c;
WriteLn („Maximálne tri čísla sú:“, výsledok: 9: 2)
koniec.
(?)

23.

Príklad 1
Vzhľadom na jednorozmerné pole vypočítajte aritmetický priemer. (?)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Riešenie problému
Test programu;
Var i, súčet: Celé číslo;
massiv: pole Integer;
Začať
suma: = 0;
pre i: = 1 až 5 robiť
začať
Write ("Zadajte prvok poľa:");
ReadLn (hromadné [i]);
summ: = summ + massiv [i];
koniec;
Write ("aritmetický priemer poľa je:", súčet / 5);
WriteLn;
Koniec.
(?)

24.

Príklad 2
Vytvorte algoritmus pre proces vrhania tela pod uhlom k horizontu
(?)

25.

V.V. Vasiliev, L.A. Simak, A.M. Rybnikov. Matematické a
počítačové modelovanie procesov a systémov v prostredí
MATLAB / SIMULINK. Učebnica pre študentov vysokoškolského a postgraduálneho štúdia. 2008
rok. 91 strán
Počítačová simulácia fyzikálnych problémov v
Microsoft Visual Basic. Autor učebnice: Alekseev D.V.
SOLON-PRESS, 2009
Autor: Orlova I.V., Polovnikov V.A.
Vydavateľ: Vysokoškolská učebnica
Rok: 2008

26.

Anfilatov, V.S. Systémová analýza v manažmente [Text]: učebnica / V.S.
Anfilatov, A. A. Emelyanov, A. A. Kukushkin; vyd. A. A. Emelyanova. - M.:
Financie a štatistika, 2002. - 368 s.
Venikov, V.A. Teória podobnosti a modelovania [Text] / V. A. Venikov, G. V.
Venikov, Moskva: Vyššia škola, 1984, 439 s.
Evsyukov, V. N. Analýza automatických systémov [Text]: didaktická metodológia
príručka k praktickým úlohám / V. N. Evsyukov, A. M. Černousova. -
2. vydanie, Isp. - Orenburg: IPK GOU OSU, 2007 .-- 179 s.
Zarubin, V. S. Matematické modelovanie v technológii [Text]: učebnica. pre univerzity /
Ed. V. S. Zarubina, A. P. Krishchenko. - M.: Vydavateľstvo Moskovskej štátnej technickej univerzity Baumana, 2001. -
496 s.
Kolesov, Yu.B. Modelovanie systémov. Dynamické a hybridné systémy [Text]:
uch. manuálna / Yu.B. Kolesov, Yu.B. Senichenkov. - SPb. : BHV-Petersburg, 2006 .-- 224 s.
Kolesov, Yu.B. Modelovanie systému. Objektovo orientovaný prístup [Text]:
Uch. manuálna / Yu.B. Kolesov, Yu.B. Senichenkov. - SPb. : BHV-Petersburg, 2006 .-- 192 s.
Norenkov, I. P. Základy počítačového návrhu [Text]: učebnica pre
univerzity / I.P.Norenkov. - M.: Vydavateľstvo MSTU im. N.E. Bauman, 2000 - 360 s.
Skurikhin a V.I. Matematické modelovanie [Text] / V. I. Skurikhin, V. V.
Shifrin, V. V. Dubrovský. - K.: Tekhnika, 1983 - 270 s.
Chernousova A.M. Softvér pre automatizované systémy
design a management: učebnica [Text] / A. M. Černousová, V.
N. Šerstobitovej. - Orenburg: OSU, 2006. - 301 s.

Čiastkové kroky prvej fázy modelovania. Algoritmizácia systémových systémov a ich strojová implementácia

Počítačová veda, kybernetika a programovanie

Formy znázornenia modelovacích algoritmov Čiastkové fázy prvej etapy modelovania Uvažujme podrobnejšie o hlavných čiastkových fázach konštrukcie koncepčného modelu systému MC a jeho formalizácii, pozri formuláciu cieľa a formuláciu problém strojového modelovania systému. Je uvedená jasná formulácia cieľa a formulácia štúdia konkrétneho systému S a hlavná pozornosť je venovaná takým problémom, ako sú: uznanie existencie cieľa a potreba strojového modelovania; b výber metód riešenia problému s prihliadnutím na dostupné zdroje; v definícii ...

Prednáška 12. Podstupne prvej etapy modelovania. Algoritmizácia modelov systémov a ich strojová implementácia. Princípy algoritmov modelovania budov. Formy znázornenia modelovacích algoritmov

Čiastkové kroky prvej fázy modelovania

Uvažujme podrobnejšie o hlavných čiastkových fázach zostavovania koncepčného modelu. M K. systém a jeho formalizácia (pozri obr. 3.1)

1.1. formulácia cieľa a formulácia problému strojového modelovania systému.Je uvedená jasná formulácia úlohy cieľa a formulácia štúdie konkrétneho systému. S a zameriava sa na problémy ako: a) uznanie existencie cieľa a potreby strojového modelovania; b) výber metodiky riešenia problému s prihliadnutím na dostupné zdroje; c) určenie rozsahu úlohy a možnosti jej rozdelenia na čiastkové úlohy. V procese modelovania je možné revidovať počiatočnú formuláciu problému v závislosti od účelu modelovania a účelu fungovania systému.

1.2. Analýza problému modelovania systému.Analýza obsahuje nasledujúce otázky: a) výber kritérií pre hodnotenie efektívnosti procesu fungovania systému S ; b) stanovenie endogénnych a exogénnych premenných modelu M ; c) výber možných metód identifikácie;
d) vykonanie predbežnej analýzy obsahu druhej etapy algoritmizácie modelu systému a jeho strojovej implementácie; e) vykonanie predbežnej analýzy obsahu tretej etapy získania a interpretácie výsledkov modelovania systému.

1.3. Stanovenie požiadaviek na počiatočné informácie o objekte modelovania a organizácia jeho zberu.Po nastavení problému modelovania systému S sú stanovené požiadavky na informácie, z ktorých sa získavajú kvalitatívne a kvantitatívne počiatočné údaje potrebné na riešenie tohto problému. Táto podstata obsahuje:
a) výber potrebných informácií o systéme
S a vonkajšie prostredie E ;
b) príprava a priori údajov; c) analýza dostupných experimentálnych údajov; d) výber metód a prostriedkov na predbežné spracovanie informácií o systéme.

1.4. Vytváranie hypotéz a predpokladov.Hypotézy pri zostavovaní modelu systému S slúžia na vyplnenie „medzier“ v porozumení problému výskumníkom. Taktiež sú predložené hypotézy týkajúce sa možných výsledkov modelovania systému S, ktorého platnosť sa kontroluje počas strojového experimentu. Predpoklady naznačujú, že niektoré údaje nie sú známe alebo ich nemožno získať. O známych údajoch, ktoré nespĺňajú požiadavky na riešenie problému, sa dajú predpokladať. Predpoklady poskytujú príležitosť na zjednodušenie modelu v súlade s vybranou úrovňou modelovania. Pri navrhovaní hypotéz a vytváraní predpokladov sa berú do úvahy nasledujúce faktory: a) množstvo dostupných informácií na riešenie problémov; b) čiastkové úlohy, pre ktoré sú informácie nedostatočné; c) obmedzenia časových zdrojov na riešenie problémov; d) očakávané výsledky simulácie.

1.5. Definícia parametrov a premenných modelu.Pred pokračovaním v popise matematického modelu je potrebné určiť parametre systému, vstupné a výstupné premenné, vplyv vonkajšieho prostredia a posúdiť mieru ich vplyvu na proces fungovania systému ako celku. Opis každého parametra a premennej by mal byť uvedený v tejto forme: a) definícia a stručný opis; b) označovací symbol a jednotka merania; c) rozsah zmien; d) miesto aplikácie v modeli.

1.6. Stanovenie hlavného obsahu modelu.V tejto sub-etape je určený hlavný obsah modelu a je vybraná metóda na zostavenie modelu systému, ktorá je vyvinutá na základe prijatých hypotéz a predpokladov. Berú sa do úvahy nasledujúce funkcie:
a) formulácia cieľa a formulácia problému modelovania systému;
b) štruktúra systému
S a algoritmy jeho správania, vplyv vonkajšieho prostredia E; c) možné metódy a prostriedky riešenia modelového problému.

1.7. Opodstatnenie kritérií na hodnotenie efektívnosti systému.Na posúdenie kvality procesu fungovania modelovaného systému je potrebné určiť súbor kritérií na hodnotenie efektívnosti v závislosti od parametrov a premenných systému. Táto funkcia je povrchom odozvy v študovanej oblasti zmien parametrov a premenných a umožňuje určiť odozvu systému.

1.8. Definícia aproximačných postupov.Na priblíženie skutočných procesov prebiehajúcich v systéme S, Spravidla sa používajú tri typy postupov: a) deterministické; b) pravdepodobnostné; c) stanovenie priemerných hodnôt.

Pri deterministickom postupe sú výsledky simulácie jednoznačne určené danou sadou vstupných akcií, parametrov a premenných systému. S. V takom prípade neexistujú žiadne náhodné prvky, ktoré ovplyvňujú výsledky simulácie. Pri náhodných prvkoch vrátane vplyvov prostredia sa uplatňuje pravdepodobnostný (randomizovaný) postup E, ovplyvňujú charakteristiky procesu fungovania systému S a keď je potrebné získať informácie o zákonoch distribúcie výstupných premenných. Postup stanovenia priemerných hodnôt sa používa, keď sú pri modelovaní systému zaujímavé priemerné hodnoty výstupných premenných za prítomnosti náhodných prvkov.

1.9. Opis koncepčného modelu systému.V tejto etape budovania modelu systému: a) je popísaný koncepčný model M K. v abstraktných pojmoch a pojmoch; b) cieľová funkcia je nastavená; c) opis modelu sa vykonáva pomocou štandardných matematických schém;
d) hypotézy a predpoklady sa nakoniec prijímajú; e) zdôvodňuje výber postupu aproximácie reálnych procesov pri konštrukcii modelu.

1.10. Validácia koncepčného modelu.Po koncepčnom modeli M K. je potrebné skontrolovať platnosť niektorých koncepcií modelu pred pokračovaním do ďalšej fázy modelovania systému. S. Jedna z metód kontroly modelu M K: použitie operácií reverzného prechodu, ktoré umožňujú analýzu modelu, návrat k prijatým aproximáciám a nakoniec opätovné zváženie skutočných procesov prebiehajúcich v modelovanom systéme. Validácia koncepčného modelu M K. Mal by obsahovať: a) overenie konštrukcie modelu; b) posúdenie spoľahlivosti počiatočných informácií; c) zváženie formulácie modelového problému; d) analýza prijatých aproximácií; e) výskum hypotéz a predpokladov.

1.11. Príprava technickej dokumentácie pre prvú etapu.Na konci fázy budovania koncepčného modelu M K. a jeho formalizácia je pre etapu vypracovaná technická správa, ktorá obsahuje:
a) podrobné vyjadrenie problému modelovania systému
S; b) analýza problému modelovania systému; c) kritériá na hodnotenie efektívnosti systému;
d) parametre a premenné modelu systému; e) hypotézy a predpoklady použité pri konštrukcii modelu; f) abstraktný popis a koncepcie modelu; g) popis očakávaných výsledkov modelovania systému
S.

3.3. Algoritmizácia systémových systémov a ich strojová implementácia

V druhej etape modelovania - v etape algoritmizácie modelu a jeho strojovej implementácie - je matematický model vytvorený v prvej etape zakomponovaný do konkrétneho strojového modelu.

Princípy algoritmov modelovania budov

Proces prevádzky systému S možno považovať za postupnú zmenu jeho stavov v -rozmernom priestore. Je zrejmé, že úloha modelovania procesu fungovania skúmaného systému S je konštrukcia funkcií z , na základe ktorého je možné vypočítať charakteristiky záujmového procesu fungovania systému. Na to musia existovať vzťahy spájajúce funkcie z s premennými, parametrami a časom, ako aj s počiatočnými podmienkami v danom čase.

Za deterministický systém, v ktorých neexistujú náhodné faktory, možno stav procesu v okamihu času jednoznačne určiť zo vzťahov matematického modelu podľa známych počiatočných podmienok. Ak je krok dostatočne malý, potom je možné získať približné hodnoty z.

Pre stochastický systém, tie. systém ovplyvnený náhodnými faktormi, funkcia stavu procesu z v okamihu času a vzťahy modelu určujú iba rozdelenie pravdepodobnosti pre v okamihu času. Všeobecne môžu byť počiatočné podmienky tiež náhodné, dané príslušným rozdelením pravdepodobnosti. V tomto prípade štruktúra modelovacieho algoritmu pre stochastické systémy zodpovedá deterministickému systému. Iba namiesto stavu je potrebné vypočítať rozdelenie pravdepodobnosti pre možné stavy.

Tento princíp konštrukcie modelovacích algoritmov sa nazýva princíp. Toto je najuniverzálnejší princíp, ktorý vám umožňuje určiť postupné stavy procesu fungovania systému. S v stanovených intervaloch. Ale z pohľadu nákladov na počítačový čas sa to niekedy ukáže ako neekonomické.

Pri zvažovaní procesov fungovania niektorých systémov možno zistiť, že sa vyznačujú dvoma typmi stavov: 1) špeciálny, inherentný procesu fungovania systému iba v určitých časových okamihoch (okamihy príchodu vstupu alebo kontroly) činnosti, narušenie vonkajšieho prostredia atď.); 2) nie je zvláštne, pri ktorom je proces celý zvyšok času. Špeciálne stavy sa vyznačujú aj tým, že funkcie stavov sa v týchto časových okamihoch náhle menia a medzi špeciálnymi stavmi zmena súradníc nastáva plynulo a nepretržite alebo sa nevyskytuje vôbec. Teda po modelovaní systému S iba pre jeho špeciálne stavy v tých časových okamihoch, keď k týmto stavom dôjde, je možné získať informácie potrebné na zostavenie funkcie. Je zrejmé, že pre opísaný typ systémov možno modelové algoritmy zostrojiť podľa „princípu špeciálnych stavov“. Označme skokovú (reléovú) zmenu stavu z ako, a "princíp osobitných štátov" - ako princíp.

„Princíp“ umožňuje mnohým systémom výrazne znížiť náklady na počítačový čas na implementáciu modelovacích algoritmov v porovnaní s „princípom“. Logika konštrukcie modelovacieho algoritmu, ktorý implementuje „princíp“, sa líši od logiky uvažovanej pre „princíp“ iba v tom, že obsahuje postup na určenie časového okamihu zodpovedajúceho nasledujúcemu špeciálnemu stavu systému S. Na štúdium procesu fungovania veľkých systémov je racionálne použiť kombinovaný princíp konštrukcie modelovacích algoritmov, ktorý kombinuje výhody každého z uvažovaných princípov.

Formy znázornenia modelovacích algoritmov

Vhodnou formou reprezentácie logickej štruktúry modelov je diagram. V rôznych fázach modelovania sú vypracované zovšeobecnené a podrobné logické diagramy modelovacích algoritmov, ako aj programové diagramy.

Zovšeobecnené (zväčšené) diagram simulačného algoritmustanovuje všeobecný postup pre modelovanie systémov bez bližších podrobností. Zovšeobecnený diagram ukazuje, čo je potrebné urobiť v ďalšom kroku simulácie.

Podrobný diagram modelovacieho algoritmuobsahuje vysvetlenia, ktoré nie sú k dispozícii v generickej schéme. Podrobný diagram ukazuje nielen to, čo treba urobiť v ďalšom kroku modelovania systému, ale aj to, ako na to.

Logický diagram modelovacieho algoritmupredstavuje logickú štruktúru modelu procesu fungovania systému S. Logický diagram označuje časovo usporiadanú postupnosť logických operácií spojených s riešením simulačného problému.

Schéma programu zobrazuje poradie softvérovej implementácie modelovacieho algoritmu pomocou špecifického softvéru a algoritmického jazyka.

Logickú schému algoritmu a schému programu je možné vykonať vo zväčšenej aj podrobnej podobe. Symboly najčastejšie používané v praxi počítačového modelovania sú znázornené na obr. 3.3, ktorý zobrazuje základné, špecifické a špeciálne symboly procesu. Medzi ne patrí: hlavný symbol: a - proces; špecifické symboly procesu: b - riešenie; c - príprava; r - preddefinovaný proces; d - manuálna operácia; Špeciálne symboly: e - konektor; g - terminátor.

Príklad obrázku diagramu simulačného algoritmu je znázornený na obr. 3,3, h.

Najvýhodnejšou formou predstavovania štruktúry modelovacích algoritmov, napríklad vo forme, je zvyčajne diagram grafové schémy (obr. 3.3, i). Tu - začiatok, - koniec, - výpočet, - formácia, - kontrola stavu,- počítadlo, - vydanie výsledku,, kde g - celkový počet operátorov modelovacieho algoritmu. Ako vysvetlenie grafickej schémy algoritmu poskytuje text zverejnenie obsahu operátorov, čo umožňuje zjednodušiť prezentáciu algoritmu, ale komplikuje prácu s ním.

a b h i

v g

d f

Obr. 3.3. Symboly a schémy modelovacích algoritmov

BIBLIOGRAFICKÝ ZOZNAM

1. Rady B.Ya. Modelovanie systému: učebnica. pre univerzity / B.Ya. Sovieti, S.A. Jakovlev. M .: Vyššie. shk., 2001,343 s.

2. Rady B.Ya. Modelovanie systému: učebnica. pre univerzity / B.Ya. Sovieti, S.A. Jakovlev. 2. vyd. M.: Vyššia škola, 1998.319 s.

3. Tarasik V.P. Matematické modelovanie technických systémov: učebnica. pre univerzity / V.P. Tarasik. Moskva: Nauka, 1997 600 s.

4. Úvod do matematického modelovania: učebnica. príručka pre univerzity / vyd. P. V. Tarasovej. Moskva: Intermet Engineering, 2000.200 s.

5. Ivchenko G.I. Matematická štatistika: učebnica pre technické vysoké školy / G.I. Ivchenko, Yu.I. Medvedev. M.: Vyššie. shk., 1984,248 s.

6. Alyanakh I.N. Modelovanie výpočtových systémov / I.N. Alyanakh. Ľ: Strojárstvo, 1988.233 s.

7. Shannon R. Simulácia systémov - umenie a veda / R. Shannon. Moskva: Mir, 1978.308 s.

P 3

P 4

F 5

R 6

C 7


A tiež ďalšie diela, ktoré by vás mohli zaujímať

15330. Dizajn interiéru bazéna v 3D Max 1,96 MB
Téma 6: Vytvorenie interiéru bazéna Výsledkom tejto práce by malo byť získanie vykreslenej scény zobrazenej na obrázku. 1. Dvojrozmerné formy. Modifikátory 2D tvarov Účel: osvojiť si technológiu vytvárania a
15332. Základy práce so statickými obrázkami v 3D grafickom programe 3ds max 4,96 MB
Téma 5: Základy práce so statickými obrázkami v 3D grafickom programe max. 3ds. Fázy vytvárania trojrozmerných scén Projekt Vytvorme roh časti miestnosti, v ktorej je umiestnený stôl. Na stole je pohár ľadu. Pre uvedené ...
15333. Procesy zapínania a vypínania obvodu s kondenzátorom 1,71 MB
Vypočítajte predkomutáciu t = 0 počiatočné t = 0 a ustálené t → ∞ hodnoty prúdov a napätí na kondenzátore v obvode Obr. 1. v dvoch prípadoch: 1. kľúč sa otvorí; 2. kľúč je zatvorený. R1 = 330 Ohm; R2 = 220 Ohm; U = 15 V; C = 10 μF ryža ...
15334. Procesy zapínania a vypínania obvodu pomocou tlmivky 75 kB
Všeobecné informácie Obvod s jedným induktorom, ako aj obvod s jedným kondenzátorom, je opísaný diferenciálnou rovnicou prvého rádu. Preto sa všetky prúdy a napätia v prechodnom režime menia exponenciálne s rovnakou časovou konštantou
15335. Štúdium prechodných procesov v lineárnych elektrických obvodoch 94 KB
Príprava na prácu V uzavretej slučke na obr. 1 môžu po odpojení od zdroja jednosmerného alebo striedavého napätia dôjsť k tlmeným sínusovým osciláciám v dôsledku počiatočného prívodu energie v elektrickom poli kondenzátora a v magnetickom poli.
15336. Štúdium Dijkstraovho algoritmu a jeho implementácie pre daný graf v programovacom jazyku C ++ 344,5 KB
Laboratórna práca č. 1 o disciplíne Štruktúry a algoritmy spracovania dát Účel práce: Štúdium Dijkstrinho algoritmu a jeho implementácia pre daný graf v programovacom jazyku C. Dijkstraho algoritmus eng. Dijkstrasov algoritmus algoritmus na grafoch vynájdených n
15337. Štúdium halpsortového algoritmu a jeho implementácia v programovacom jazyku C ++ 49 kB
Laboratórna práca č. 2 o disciplíne Štruktúry a algoritmy spracovania údajov Účel práce: Štúdium algoritmu heapsort a jeho implementácia v programovacom jazyku C. Zadanie úlohy Napíš program, ktorý generuje numerické pole p
15338. Štúdium algoritmu hĺbkového vyhľadávania a jeho implementácie v programovacom jazyku C ++ 150 kB
Laboratórna práca č. 3 o disciplíne Štruktúry a algoritmy spracovania údajov Účel práce: Štúdium algoritmu hĺbkového vyhľadávania a jeho implementácia v programovacom jazyku C. Zadanie úlohy Implementovať algoritmus hĺbkového vyhľadávania. Odhadovaný čas ...

Oneskorenia transakcií za daný čas. Statické modelovanie sa používa na opis správania objektu v ktoromkoľvek okamihu. Dynamické modelovanie odráža chovanie objektu v čase. Diskrétne modelovanie sa používa na zobrazenie objektu v konkrétnom časovom okamihu.


Zdieľajte svoju prácu na sociálnych sieťach

Ak vám táto práca nevyhovovala, v dolnej časti stránky je zoznam podobných prác. Môžete tiež použiť tlačidlo vyhľadávania


Ďalšie podobné diela, ktoré by vás mohli zaujímať

9929. Algoritmické metódy ochrany informácií 38,36 KB
Pre normálne a bezpečné fungovanie týchto systémov je potrebné zachovať ich bezpečnosť a integritu. Čo je to kryptografia Kryptografia je veda o šifrách - dlho sa klasifikovala, pretože sa používala hlavne na ochranu štátnych a vojenských tajomstiev. V súčasnosti sa metódy a prostriedky kryptografie používajú na zaistenie informačnej bezpečnosti nielen štátu, ale aj jednotlivcov organizácií. Zatiaľ sú kryptografické algoritmy pre bežného spotrebiteľa tajomstvom zapečateným siedmimi pečaťami, hoci mnohé už ...
1927. Modelovanie systému 21,47 KB
V študentskej počítačovej miestnosti sú dva minipočítače a jedno zariadenie na prípravu údajov (UPD). Študenti prichádzajú s intervalom 8 ± 2 minúty a tretina z nich chce používať UPD a počítač a zvyšok chce používať iba počítač. Povolený rad v strojovni sú štyri osoby, vrátane jednej pracujúcej na FRT.
1974. MODELOVANIE POVRCHOV 233,46 KB
Povrchový a digitálny model Digitálne výškové modely sú základom pre prezentáciu údajov o zemskom povrchu. Povrchy sú objekty, ktoré sú najčastejšie reprezentované hodnotami výšky Z rozloženými po ploche definovanej súradnicami X a Y. DEM je prostriedok na digitálne znázornenie reliéfu zemského povrchu. Zhromažďovanie obrázkov zo stereoparov je namáhavé a vyžaduje si konkrétny softvér, zároveň vám však umožňuje poskytnúť požadovaný stupeň podrobnosti pri znázornení zemského povrchu.
2156. Simulácia osvetlenia 125,57 KB
Pre pozorovateľa v ktoromkoľvek bode bude jasnosť bodu, ktorý vidí, vyjadrená nasledovne. kde V je jas pre bw; E je albedo povrchovej odrazivosti. V porovnaní s Lambertovou metódou tento model znižuje jas bodov, na ktoré sa pozeráme pod uhlom 90, a zvyšuje jas tých bodov, na ktoré náhodne hľadíme. Aplikácia svetelných zákonov pri syntéze obrazového objektu. 7 Jas sa počíta v jednom bode, napríklad v ťažisku pre konvexné mnohouholníky tváre podľa Lamberta a ...
8080. Ternárne modelovanie 18,3 KB
Ternárne simulácie Ternárne simulácie sa často používajú na identifikáciu podmienok priebehu signálu, ktoré sa môžu v obvode vyskytnúť. Vstupná množina je modelovaná v 2 fázach. Príklad: uskutočnenie ternárneho logického modelovania metódou E. Ternárne modelovanie so zvyšujúcou sa neistotou V tomto algoritme sú pre každý LT uvedené maximálne a minimálne hodnoty oneskorenia.
6675. Simulačné modelovanie 56,71 KB
Tento proces pozostáva z dvoch veľkých etáp: vývoj modelu a analýza vyvinutého modelu. Modelovanie umožňuje skúmať podstatu zložitých procesov a javov pomocou experimentov nie so skutočným systémom, ale s jeho modelom. V oblasti vytvárania nových systémov je modelovanie prostriedkom na skúmanie dôležitých charakteristík budúceho systému v najskorších fázach jeho vývoja.
5651. Modelovanie výrobného systému 391,61 KB
Počítač sa podieľa na správe technologických zariadení. Na sledovanie stavu zariadenia sa každých 20 minút spustí jeden z troch typov úloh. Každých 5 minút práce procesora vydáva každá úloha výsledky práce do databázy
4640. MODELOVANIE digitálnych uzlov 568,49 KB
Na kryštáloch moderných LSI je možné umiestniť veľa funkčných blokov starých počítačov spolu s prepojovacími obvodmi. Vývoj a testovanie takýchto kryštálov je možné iba metódami matematického modelovania pomocou výkonných počítačov.
6206. Modelovanie vo vedeckom výskume 15,78 KB
Metóda modelovania 20. storočia priniesla veľký úspech a uznanie takmer vo všetkých odvetviach modernej vedy. Metodika modelovania sa však už dlho vyvíjala nezávisle od samostatných vied. Až postupne si začala uvedomovať úlohu modelovania ako univerzálnej metódy vedeckého poznania.
3708. Modelovanie pomocou splajnov 465,08 KB
Určujú tiež stupeň zakrivenia spline segmentov susediacich s týmito vrcholmi. Segment je časť čiary spline medzi dvoma susednými vrcholmi. V aplikácii 3ds Mx sa používajú štyri typy vrcholov: Rohový roh - vrchol susediaci s tým, že segmenty nemajú zakrivenie; Hladký Hladký vrchol, cez ktorý je krivka spline zakrivená, a má rovnaké zakrivenie segmentov na oboch jeho stranách; Bézier Bezierov vrchol, ktorý je podobný vyhladenému, ale umožňuje ovládať zakrivenie spline segmentov na oboch stranách vrcholu ....

Na modelovanie ľubovoľného objektu uvedeného pomocou matematického modelu, ako aj vo forme postupnosti postupov, ktoré simulujú jednotlivé elementárne procesy, je potrebné zostaviť vhodný modelovací algoritmus. Štruktúra výpočtového programu zostavená vo vzťahu k typu počítača závisí od typu algoritmu a od charakteristík počítača. Algoritmus modelovania musí byť napísaný vo forme, ktorá odráža v prvom rade vlastnosti jeho konštrukcie bez zbytočných drobných detailov.

Vytvorenie modelovacieho algoritmu je fázou výskumu, keď už sú vyriešené všetky otázky týkajúce sa výberu matematického aparátu pre výskum.

Algoritmus je potrebné zaznamenať bez ohľadu na vlastnosti počítača. Spôsoby prezentácie modelovacieho algoritmu sú nasledujúce: písanie algoritmov pomocou operátorských schém; písanie v programovacích jazykoch; použitie metód aplikovaných programov.

Pokiaľ ide o simuláciu, hovorí sa tomu: operátorské schémy modelovacích algoritmov (OCMA); programovacie jazyky; univerzálne simulačné modely.

OCMA obsahuje postupnosť operátorov, z ktorých každý zobrazuje pomerne veľkú skupinu základných operácií. Tento záznam neobsahuje podrobné schémy počítania, skôr plne odráža logickú štruktúru modelovacieho algoritmu. OCMA neberie do úvahy špecifiká systému príkazov. To sa stane, keď je program zostavený.

Požiadavky na prevádzkovateľov: prevádzkovateľ musí mať jasný význam súvisiaci s povahou modelovaného procesu; ľubovoľný operátor môže byť vyjadrený postupnosťou elementárnych operácií.

Operátory tvoriace modelovací algoritmus sú rozdelené na hlavné, pomocné a obslužné.

Hlavnými operátormi sú operátory používané na simuláciu jednotlivých elementárnych aktov študovaného procesu a interakcie medzi nimi. Implementujú sa pomery matematického modelu, ktoré popisujú procesy fungovania reálnych prvkov systému s prihliadnutím na vplyv vonkajšieho prostredia.

Účelom pomocných operátorov nie je simulovať základné kroky procesu. Vypočítajte tie parametre a charakteristiky, ktoré sú potrebné pre prácu hlavných operátorov.

Prevádzkovatelia služieb nie sú prepojení vzťahmi matematického modelu. Poskytujú interakciu hlavných a pomocných operátorov, synchronizujú činnosť algoritmu, fixujú hodnoty, ktoré sú výsledkami modelovania, ako aj ich spracovanie.

Pri konštrukcii modelovacieho algoritmu sú najskôr načrtnutí hlavní operátori, ktorí simulujú procesy fungovania jednotlivých prvkov systému. Mali by byť navzájom prepojené v súlade s formalizovanou schémou procesu, ktorý je predmetom štúdie. Po zistení, aké operátory sú potrebné na zabezpečenie činnosti hlavných operátorov, sa do schémy operátorov zavedú pomocné operátory na výpočet hodnôt týchto parametrov.

Hlavný a pomocný operátor by mali pokrývať všetky vzťahy matematického modelu a tvoriť hlavnú časť modelovacieho algoritmu. Potom sú predstavení prevádzkovatelia služieb. Uvažuje sa o dynamike fungovania skúmaného systému, zohľadňuje sa interakcia medzi rôznymi fázami procesu a analyzuje sa aj získavanie informácií počas modelovania.

Je vhodné použiť aritmetické a logické operátory na znázornenie operátorského diagramu modelovacích algoritmov.

Aritmetické operátory vykonávajú výpočtové operácie. Určené A14 - aritmetický operátor č. 14.

Vlastnosťou aritmetického operátora je, že po vykonaní operácií, ktoré zobrazuje, sa akcia prevedie na iného operátora. - prenos kontroly z A14 na A16 (graficky označený šípkou).

Logické operátory sú určené na kontrolu platnosti stanovených podmienok a na generovanie znakov označujúcich výsledok kontroly.

Vlastnosťou logického operátora je, že po jeho implementácii sa riadenie prevedie na jedného z dvoch operátorov algoritmu v závislosti od hodnoty prvku vygenerovaného logickým operátorom. Je označený ako Рi a graficky ako kruh alebo kosoštvorec, vo vnútri ktorého je symbolicky napísaná podmienka.

Obrázok prenosu riadenia je P352212. Ak je podmienka splnená, potom sa riadenie prenesie na operátora # 22, ak nie, potom na operátora # 12.

Pre operátorov všetkých tried je notácia pre prenos kontroly na operátora bezprostredne po nej vynechaná.

Prenos kontroly nad týmto operátorom od iných operátorov sa označuje ako 16.14A18. Operátor A18 získava kontrolu od operátorov # 16 a # 14 ..

Označenie operátora označujúce koniec výpočtov je J.

Príklad. Zvážte riešenie rovnice x2 + px + q = 0,

Poďme predstaviť operátorov:

A1 - výpočet p / 2;

A2 - výpočet p2 / 4-q;

A3 - výpočet;

Р4 - skontrolujte stav D0;

A5 - určenie skutočných koreňov x12 = - (p / 2) R;

A6 - určenie imaginárnych koreňov х12 = - (р / 2) jR;

I - koniec výpočtov a vystavenia (x1, x2).

Operátorská schéma algoritmu

A1 A2 A3 P46 A57 A6, 5Я7.

Operátorský diagram algoritmu je možné nahradiť výkresom algoritmu, ktorého forma je znázornená na obrázku 4.1.

Operátorské schémy algoritmov vám umožňujú prejsť od schematického znázornenia algoritmu k jeho napísaniu vo forme vzorca.

Môžete zvážiť ďalšie príklady konštrukcie operátorských schém na modelovanie algoritmov.

Ako samostatná úloha sa navrhuje vyvinúť operátorské schémy modelovania algoritmov na získavanie náhodných premenných metódou inverzných funkcií, metódou postupnej aproximácie, s cieľom získať zákon normálneho rozdelenia pomocou limitných viet.

Najdôležitejšie typy operátorov sú nasledujúce. Výpočtové operátory (počítacie operátory) popisujú ľubovoľne zložitú a ťažkopádnu skupinu operátorov, ak spĺňajú požiadavky na operátory algoritmu (pripravenosť počiatočných údajov, prenos kontroly iba na jedného operátora v operátorských schémach modelovacieho algoritmu). Ai sú určené.

Prevádzkovatelia formovania implementácií náhodných procesov riešia problém prevodu náhodných čísel štandardného tvaru pri implementácii náhodných procesov s danými vlastnosťami. Som označený.

Operátory vytvárania nenáhodných hodnôt tvoria rôzne konštanty a nenáhodné funkcie času. Fi sú určené.

Počítadlá počítajú počet rôznych objektov so zadanými vlastnosťami. Ki sú určené.



Páčil sa vám článok? Zdieľaj to