Lietuvos energetikos referatas

Mechanika  Referatai   (17 psl., 5,25 MB)

1.FOLOSOFIJOS KILME, OBJEKTAS Filosofija- isminties meile.Senones Graikijoje ismintis tapatinama su zinojimu apskritai.Reikia siekti isminties, ja myleti.Pats zodis filosofija atsirado VI a pr kr. Pavartojo Pitagoras.Filisofija susiformavo VI a pr kr. 3 salyse: Indijoje Kinijoje Graikijoje.Aukstumas pasieke Grakijoje. Filosofijai atsirasti butinas laisvalaikis, kad butu laiko filosofuoti. Gali kilti tik laisvoje salyje. Objektas- tai ka nagrineja mokslas. Filosofija turi pagrindini, centrini klausima: kas yra butis? Kokia vieta zmogus uzima pasaulyje? Pazinimo problemos : kas yra pazinimas? Jo saltiniai? Ribos? Kas yra tiesa? Geris? Grozis? Zmogus? Laime? Teisingumas? Ir kiti fundamentalus klausimai. Pagrindines strukturines filosofijos dalys : buties teorija (ontologija)- metafizika; gnoseologija( epistemologija)- pazinimo teorija; politine ir socialine filosofija; estetika- grozio teorija; logika. Butis yra viena, ji supantis pasaulis be materialiu daiktu.

Kita  Paruoštukės   (4 psl., 50,3 kB)

Turizmas yra viena svarbiausių aktyvaus poilsio rūšių ir viena veiksmingiausių žmogaus rekreacinių poreikių tenkinimo priemonių. Žodis „turizmas“ kilęs iš lotynų kalbos(„turn“- sukimas, sukutis – vilkutis), reiškiantis kelionę iš vienos vietovės į kitą, tačiau grįžtant į pirmąją. Turizmas gali būti suprantamas kaip geografinis reiškinys, nes žmonės keliauja iš savo gyvenamosios vietos pro šalį arba į užsienį. Lankomos vietos pasižymi gražiais unikaliais peizažais, istoriniais bei kultūriniais paminklais bei savita tautos kultūra. Tačiau turizmo plėtotei reikalingi geografiniai tyrimai. Šalyse, priimančiose keliautojus, atliekamas regiono funkcinis tyrimas, reljefo sandaros įvertinimas ir jo panaudojimo turizmui galimybės.

Geografija  Kursiniai darbai   (27 psl., 2,98 MB)

Terminas "kriminalistika" greičiausiai kilęs iš lotynų kalbos "criminalis" - nusikalstamas, susijęs su nusikaltimu arba “crimen” – nusikaltimas. Kriminalistika atsirado ir vystėsi kaip mokslas, kriminalistika padeda paieškos, tardymo organams, ekspertizės įstaigoms ir teismui atskleisti nusikaltimus, surasti ir išaiškinti nusikaltėlius, nustatyti tiesą baudžiamosiose bylose. Kriminalistika atsirado 19 am. pabaigoje. Pradininkas H.Grosas "Teismo tardytojo vadovas". 1893 m. pirmasis moksliškai išanalizavo ir apibendrino anksčiau naudotus nusikaltimų išaiškinimo būdus, sujungė į vieną, darnią sistemą ir pavadino Kriminalistika. Dėl kriminalistikos dalyko, jo apibrėžimo, pačios kriminalistikos sąvokos teisinėje literatūroje - ginčai. Vienodos nuomonės nėra ir dabar. Teisingas kriminalistikos dalyko nustatymas, tikslus jo apibrėžimas turi ne tik teorinę, bet ir praktinę reikšmę. Dauguma užsienio kriminalistų šio mokslo dalyką labai susiaurino ir jam priskiria tik policijos technikos priemones ir jų panaudojimo būdų tyrinėjimą, o Kriminalistikos nelaiko teisės mokslu.

Teisė  Konspektai   (23 psl., 127,25 kB)

Migracijos politika – tai vyriausybės veiksmai, siekiant reguliuoti gyventojų migraciją sukeliančias priežastis, migracijos procesus ir jų pasekmes. Gyventojų migracijos požiūriu gali būti vykdoma skirtinga politika: migraciją ribojanti, migraciją skatinanti ir nesikišimo (kai vyriausybė nesikiša į migracijos procesus ir leidžia jiems plėtotis natūralia eiga). Migracijos politikos objektas – migracijos procesus formuojančios sąlygos. Migracijos politikos principai atspindi konkrečios šalies išsivystymo lygį, socialinę, ekonominę, politinę situaciją, ideologiją bei kultūrą.

Ekonomika  Kursiniai darbai   (26 psl., 62,54 kB)

Kursinio temos pavadinime yra tiksliai atspindėtas šio tyrimo objektas ir kartu teisinė problema – tai prievolių teisės principai, teorinė jų samprata ir šios sampratos įtvirtinimas teisinėje praktikoje. Tyrimo tikslas yra nustatyti, kokia prievolių teisės principų samprata yra įtvirtinta Lietuvos teisės doktrinoje ir Lietuvos Aukščiausiojo Teismo jurisprudencijoje. Siekiant tyrimo tikslo yra keliami šie uždaviniai: 1. apžvelgti ir kritiškai įvertinti pagrindines prievolių teisės principų sampratą aiškinančias koncepcijas, taip pat remiantis Lietuvos Aukščiausiojo Teismo jurisprudencijos pavyzdžiais pagrįsti prievolių teisės principų vietą ir reikšmę teisės sistemoje, 2. atskleisti Lietuvos Aukščiausiojo Teismo jurisprudencijoje įtvirtintos prievolių teisės principų sampratos pagrindinius bruožus, atskirų prievolių teisės principų pagrindinius bruožus ir taikymo praktikoje ypatumus; 3. pateikti kontinentinėje ir anglosaksų teisės sistemose taikomų prievolių teisės principų ir jų turinio lyginamąją analizę. Metodai. Šiame darbe atsispindi loginis, sisteminis, lyginamasis ir analitinis metodai.

Administravimas  Kursiniai darbai   (37 psl., 68,4 kB)

Marsas (sen. lietuvių pavadinimas Žiezdrė) - ketvirtoji pagal atstumą nuo Saulės ir septinta pagal dydį Saulės sistemos planeta. Iš Žemės matomas plika akimi kaip ryški rausvos spalvos žvaigždė. Dėl rausvo atspalvio žvelgiant iš Žemės kartais vadinama "raudonąja planeta". Planetos pavadinimas kilęs nuo romėnų karo dievo Marso (graikų Arėjo atitikmuo). Atitinkamai pavadinti ir Marso palydovai Fobas ir Deimas, kurie graikų mitologijoje yra Arėjo sūnūs, lydintys jį mūšyje. Panašiai kaip priešdėlis geo- kalbant apie dalykus, susijusius su Žeme, Marso atžvilgiu naudojamas priešdėlis areo-, pvz., areologija kaip geologijos atitikmuo.

Astronomija  Pateiktys   (13 psl., 589,68 kB)

Maži vaikai visada smalsūs, betarpiški, konkrečiai mąstantys, trokštantys patekti į suaugusiųjų pasaulį. Vienas iš raktų - kalbinė raiška. Kalba yra vienas iš svarbiausių psichikos komponentų. Psichologų ir fiziologų įrodyta, kad žodis, kalba vienaip ar kitaip dalyvauja visose žmogaus psichikos apraiškose. Vaiko mąstymo raida susijusi su jo kalbos tobulėjimu. Kaip plytą būtų sunku padaryti, neturint formos, taip ir mintį sunku išreikšti, neturint atitinkamų žodžių ir gramatikos priemonių. Kalba yra minties reiškimo forma. Tik tada, kai mintis išreikšta žodžiu, ji yra aiški ir tampa realybe kalbančiam ir kitiems – klausantiems.

Pedagogika  Kursiniai darbai   (22 psl., 40,69 kB)

Šiandieną kaip niekad daug yra teikia paslaugų, parduodama prekių. Todėl įmonėm vis sunkiau pasiūlyti vartotojams to, kokie trokštų, bet ir patys vartotojo norai nuolat kinta. Šie keblumai trukdo, jog įmonė sugebėtų ilgą laiką gauti pelną nesugalvojus naujų verslo idėjų, ar pakeičiant kažką specifinio iš jau teikiamų paslaugų, ar parduodamų prekių. Mes siūlome UAB „Gamtos namai“, kuri užsiima maisto produktų vertinimu ir informacijos sklaida Lietuvos gyventojams ir maisto produktų gaminančiom įmonėm. Tai konkurentų neturėsianti įmonė, busianti informacinio – organizacinio arba kitaip dispečerinio – operatyvinio tipo įmonė.

Aplinka  Referatai   (29 psl., 109,33 kB)

Problemos pagrindimas Mechatroninė sistema apjungia elektrines, mechanines hidraulines ir elektronines technologijas ir naudoja kompiuterinį valdymą. Kai kurios mechatroninės sistemos kaip pvz.: automatinė pavarų dėžė, variklio valdymas jau veikia šiuolaikinėse mašinose. Valdymo sistemos tikslas: darbinis dalies stebėjimas įvertinant fizinius kintamuosius – matuojamas sensoriais ir tinkamos komandos, apdorojamos aktyvatorių pasirinkimas. Yra galimos dvi veiksmų rūšys: nenutrūkstami ir disktretūs veiksmai. Nenutrūkstamas valdymo procesas įvertina išėjimo klaidą, palygina su užduota reikšme ir apskaičiuoja naują nenutrūkstamą veiksmą klaidos sumažinimui. Diskretus valdymo procesas aptinka kokį nors įvykį (tipiškai – klaidos slenkstį – ribos slenkstį) ir parenka sistemai naują diskrečią būseną. Rekonfigūracijos sistema tai diskreti valdymo sistema, skirta reakcijai į sistemų komponentų klaidas. Tipinių mechatroninių sistemų architektūrą pateikta 1 pav. Šiame staripsnyje apžvelgiami tik diskretūs valdymo procesai. 1. Naujos mechatroninės sistemos. Ankstyvajame projektavimo etape projektuotojai susiduria su patikimumo įvertinimu. Iš funkcinio modelio preliminari rizikos analizė identifikuoja įvykius, kurie gali būti katastrofiniai, taip pat vadinamieji “pavojingi įvykiai”. Defektų medžio metodas naudojamas kokybiniam kiekybiniam patikimumo įvertinimui. Defektų medis nusako logines sąlygas, kurioms esant gali įvykti pavojingas įvykis. Efektyvūs algoritmai ir priemonės šiandien leidžia apskaišiuoti pavojingo įvykio atsitikimo tikimybę, nustatančio elementarių pavojingų įvykių greičius. Tačiau tai yra statiška ir nereaguoja į skaičių pasikeitimus. Defektų medžių modeliavimui alternatyva yra struktūrinių ir funkcinių sąveikų tarp sistemos komponentų modeliavimas Būsenų Diagramoje. Modeliuojamos būsenos – sistemos veikimo ir defektų būsenos. Būsenų diagramos leidžia nustatyti (aprašyti) bet kurią baigtinių įvykių sistemą – išvardinant būsenas, tačiau būsenų skaičius auga kartu su lygiagrečiais veiksmais generuojamais sistemos. Petri tinklai labai tinka diskrečių įvykių sistemoms su lygiagrečiais ir sinchroniniais veiksmais modeliuoti ir kovoti su būsenų skaičiaus kombinatoriniu didėjimu. Kiekybiniam patikimumo įvertinimui būtina laiką apibrėžti kaip kintamąjį. Mechatroninėse sistemose įrenginio būsenos pasikeitimo vėlinimas parenkamas patalpinant vėlinimą į vietą ar perėjimą Petri Tinkluose. Vėlinimai susiję su atsinaujinimo ir sutrikimo procesais modeliuojami atitiktinais kintamaisiais eksponentine perdavimo funkcija. Petri tinklai apimantys tik stochastinius laiko vėlinimus yra žinomi kaip stochastiniai Petri Tinklai. Jei lestume skubų (neatidėliotiną) kuro įpurškimą (sincroninazijos modeliavimui), tai būtų apibedrintas stochastinis PT. Abiem atvejais tinklo sėkmingas pažymėjimas gali būti pristatytas kaip Maskovo Grandinė ir be to patikimumas būtų vertinamas auditiškai. Daugelis patikimumo įvertinimo programų kompiuteriuose naudoja šį metodą. Apibendrintai, gali būti naudinga modeliuoti įrenginio būsenų pasiketimus, kurie neatspindi atsinaujinimo sutrikimo pricesų, bet atspindi pasikeitimus, susijusius su reguliaria sistemos elgsena. Šiuo atveju būsenos pasikeitimo vėlinimas yra projekuotojų modeliuojamas kaip perdavimo funkcija laiko intervale. Patikimumo rezultatai tuomet randami naudojant Monte Carlo algoritmą: daug turimos informacijos yra simuliuojama per ribotą laikotarpį ir vidutinis informacijos skaičius, kuris pasiekia pavojingą įvykį, yra suskaičiuojamas. Būsenios pasikeitimo vėlinimas taip pat gali priklausyti nuo besitęsiančio proceso fizinio vystymosi. Tai tipinis atvejis Mechatroninių sistemų, kuomet valdymo sistema yra labiau linkusi apdoroti kelis proceso kintamuosius apibrėžtomis ribomis. Inicijuojamo įvykio padarinys – kai kurie proceso kintamieji gali peržengti šias ribas, ir valdymo sistema modifikuoja sistemos konfigūraciją tam, kad paveikti proceso vystymąsi ir sugrąžinti sistemą į jos normalias ribas. Šis hibridinis požiūris yra esminis įvertinant Mechatronininių sistemų patikimumą. Iš tikrųjų, tiek nenutrūkstamos tiek diskrečios dalys dinamiškai veikia Mechatroninių sistemų patikimumą. Rekonfigūracija bus veiksminga tik tuomet, kai ji veiks “palankiu periodu”, kuris tęsiasi nuo tos datos pereinamo valdymo ribos iki to laikotarpio, kuomet išlenda pavojingi įvykiai. “Palankaus periodo trukmė” priklauso nuo darbinės (operatyvinės) dalies dinamikos, o rekonfigūracijos trukmė priklauso nuo valdymo sistemos ir aktyvatorių dinamikos. Šiandien egzistuoja hibridinių sistemų modeliavimo ir simuliavimo priemonės. Valdymo dalis modeliuojama Petri Tinklų arba Būsenų diagramų reikšmėmis. Nutrūkstama dalis paprastai modeliuojama naudojant diferencialinės algebros lygtis. Bet iki šiol vis dar sunku pasiekti skaitmeninę integraciją Monte Karlo algoritmui prieinamame laike. Problemos sprendimo kelias – abstraktaus modelio sukūrimas operatyviai daliai. Iš tikrųjų, dažnai įmanoma diferencialines algebrines lygtis į tikslesnes ir paprastenes algebrines. Naudojant SPT operatyvinė dalis ir bus modeliuojama šiuo būdu. Visų sistemos dalių elgsena gali būti aprašyta SP tinklais. Dėl visų šių priežasčių SPT ir buvo pasirinkti mūsų sistemos modeliavimui simuliavimo tikslams. Mes naudojame projektavimo SPT priemones. 2. Atvejo analizė ir modeliavimas 2.1 Atvejo analizė Nagrinėjant paprastą Mechatroninę sistemą (2. pav.) kuri yra sudėtingos sistemos dalis, kurios tikslas yra palaikyti spaudimo lygį (P) tam tikrose ribose [Pmin, Pmax]. Funkcinė priklausomybė aprašyta žemiau: - Jei P>Pmax elektrinis vožtuvas uždarytas - Jei P < Pmin elektrinis vožtuvas atidarytas - Jei P > Palarm_max arba P<Palarm_min – sistema sugenda 2.2 Funkcinis ir diskfunkcinis modelis Vienintelis galimas sistemos nefunkcionavimo atvejis – tuščias rezervuaras (bakas). Sistema gali būti sumodeliuota algebriniais ryšiais sekančiai (P yra rezervuaro slėgis, V – tūris, Qin – įeinantis srautas, Qout – išeinantis srautas Qconsumer – suvartojamas srautas, Qleak –nutekėjimo srautas, Qpump – siurblio srautas): (f grįžtamasis) Gali būti bet kuris funkcijos žingsnis (r3): jei elektrinis vožtuvas atidarytas, tada Qin = Qpump, kitaip Qin = 0. r1 ir r2 yra apibrėžtos algebrinės lygtys kurios leidžia paskaičiuoti slenkstinę ribą P (P = Ptreshold) inicijuojamą būseną (P = P0, V = V0 laiko momentu t = t0) Kiekvienam įrengimui viena vieta apima požymį nusakantį sistemos būseną ir susijusį pradžios periodą. Mūsų pavyzdyje tokia būsena nusakoma rezervuaro spaudimu ir tūriu, sistemos faze (elektrinio vožtuvo pozicija), suvartojimo lygiu ir nutekėjimo rūšimi. Kiekvieną kartą diskretus įvykis įvyksta kaip suvartojamo pokyčio, elektrinio vožtuvo padėtis pasikeitimo arba nuotėkio atsiradimo (perėjimai suvartojimą, pakeisti aktyvatorių arba nutekėjimą). Esama būsena paskaičiuojama , žinant prieš tai buvusią ir nustatant pradžios periodą , remaintis (r1) ir (r2) santykiais. Kiekvieną testiniu periodu, valdymo sistema nuskaito rezervuaro slėgį ir atnaujina komandą. Galima pažymėti, kad naujos komandos skaičiavimas kiekvienu testavimo periodu yra mažai naudingas Iš tikrųjų, komanda pasikeičia tik kartą, kuomet slėgio ribos yra peržengtos. Pakanka ryškių slėgio intervalų, kad nustatyti komandos efektyvumą. Privalome pridėti du trukdančius intervalus, kurie nusakytų pavojingsu įvykius. (4. pav.) Kiekvieną kartą įvykus išoriniam įvykiui (nutekėjimas arba suvartojimo pasiektimas), yra atnaujinama nauja būsena (slėgis ir tūris rezervuare, slėgio intervalas, elektros vožtuvo pozicija, suvartojimo lygis ir nutekėjimo rūšis yra įtraukiami į naują rezervuarą kintamojo laiko įrašą). Atsitikimo periodas ir esamo slėgio intervalas. Tuomet yra paskaičiuojami sekantis intervalas , kuris iššauks sprendimą (komandą arba trūkumą) ir vėlinimas, kada šis intervalas bus pasiektas (next_level ir next_time kintamieji).Atnaujinimo būsena yra tuomet, kai realizuojamas “šuolis” į sprendimo lygį. Remiantis pasiektu lygiu (apsauga perėjimuose prie “exec_command” ar “gedimas” nusprendžia, kuris perėjimas reikalingas) vykdoma komanda ar aptinkamas gedimas. Dar daugiau, yra paskaičiuojamas sekantis sprendimo lygis ir laikas, kada jis bus pasiektas. Abiejų modelių elgsena yra panaši. (pav 6)Įvykių grafas (diagrama) yra naudojama dinaminių savybių ir modelio patvirtinimui. Ji apima visas galimas būsenas, kokias tik sistema gali įgyti ir kaip jos yra pasiektos (lankas atspindi perėjimo uždegimą ir vadinasi įvykį, apskritimas vaizduoja PT žymėjimą ir vadinasi sistemos būseną). Bet įvykių diagrama (grafas) negali būti išsamus, taigi ir naudingas modelio patvirtinimui, jei žymės (token) gali įgyti neribotą galimų reikšmių skaičių. Tai yra tas mūsų modelių atvejis, kuomet laikas yra tiksliai apibrėžiamas nenutrūkstamu kintamuoju. Iš tikrųjų gedimas gali įvykti bet kuriuo metu ir vadinasi neribotas galimas skaičius. Sprendimas būtų sugalvoti tokį kokybinį modelį, kur nebūtų vertinamas laikas, bet atsižvelgiama tik į įvykių sekos sekos tvarką. Prieš tai naginėtame kiekybiniame modelyje, nenutrūkstamų procesų kintamųjų sritis natūraliai yra padalinama į diskrečius lygius. Sistemos vystymasis yra apibrėžiamas esama diskretine būsena ir šios būsenos veikimo trukme. Kad gauti atitinkamą kokybišką modelį, reikia tik panaikinti tikslaus laiko nuorodas. Laikas bus modeliuojamas po tam tikro įvykio tam tikra tvarka. Įvykių grafas asociatyvus kokybinio modelio gb pilnai sukurtas kiekybinis modelis nagrinėjamos problemos, pateiktos 9 pav. (Įvykių grafas turi 21 mazgą ir 34 laukus). Modelio patvirtinimui mes galime įrodyti, pvz: kad “negyvų” būsenų žymėjimas vaizduoja ne ką kitą, kaip klaidingas būsenas. Mes taip pat galime patvirtinti, kad kai kurie gerai žinomi scenarijai įvyksta taip, kaip tikimasi – realizuojant tai. Įvykių grafo priemonės arba modeliavimo priemonės dėka. Mes taip pat galime sistematiškai ištyrinėti visus žinomus scenarijus (ir galimas daiktas – surasti netikėtus sprendimus). Ši analizė remiasi įvykių grafo tvirtai sujungtu komponentu (Scc). Iš tikrųjų Scc sąvoka iš priklausomybės požiūrio taško turi naudingą interpretaciją. Bet kuri Scc būsena gali būti pateikiama iš bet kurios Scc būsenos (10 pav.). Du neišskirtiniai atvejai yra galimi hibridinių sistemų atveju. - Scc apima aibę būsenų, cikliškai sujungtų per galimą neribotą laiką, (kuris nukreiptas į paslaugos tiekimą nominaliu ar pažemintu laipsniu darbo būdu) - Scc vaizduoja greitai pereinantį vystymąsi, kuris baigiasi tuomet, kai aptinkamos galimo pavojingo įvykio sąlygos (kuomet proceso kintamasis peržengia duotą ribą, sistema pasiekia absorbinę būseną) Bet kuris laukas, einantis iš Scc, reiškia kad atitinkamas įvykis apsaugos sistemą nuo sugrįžimo į ankstesnę padėtį ar greit praeinančią būseną. Šie įvykiai vadinami kritiniais įvykiais (plonos rodyklės pav. 10). Yra 2 kritinių atvejų rūšys: -nepataisomi gedimai ; -pavojingo įvykio atsiradimo aptikimas; Analizė atliekama 3 etapais ir susideda iš - Mirties žymių nustatymas. Kiekviena iš nesujungtų aibių kreipiasi į vieną tikėtiną pavojingą įvykį; - Visų netrivialių Scc interpretavimas ir funkcinės dalies, kurią jis atspindi, radimas; - Visų įmanomų dalių (įvykių sekos – vienas įvykis charakterizuojamas rišamuoju elementu) radimas ir aiškinimas iš kiekvieno Scc į sekantį ar pavojingą įvykį. Šios dalys apibrėžia ryšių medžius ir viena šaka nusako vieną iš įvykių sekos. Dauguma šių medžių šakų gali būti sujungtos jei sugrupuotume ryšius, atspindinčius tuos pačius įvykius. Šis aiškinamasis darbas apima daugumą projektuotojo žinių, kurias jis turi savo sistemoje ir negali jų realizuoti automatiniu būdu. Tai gali būti sunku ir gali pareikalauti daug laiko sudėtingoms sistemoms. Pastebėkite, kad “mirties” taškų pažymėjimas bendrąja prasme aprašo gedimų aibes, kurios susijusios su tam tikru “pavojingu” įvykiu. Bet tai nesuteikia jokios informacijos apie tai, kokia tvarka, šie gedimai įvyksta, kad gali būti netrivialu sudėtingoms sistemoms. Kai kurios gedimų sekos gali vesti prie pavojingų įvykių, esant sistemos ypatingam reikalavimui. Šiuo atveju “mirties” taško žymėjimas neteikia jokios informacijos apie reikalavimų, susietų su gedimais seką, kad veda prie pavojingų įvykių. Mūsų pavyzdžiu, mes galime įrodyti, kad tik viena Scc (susietas su 15 Scc mazgų) apima ciklinę būsenos aibę, atitinkančią prieinamą slėgio lygio palaikymą. Mes galime įrodyti, kad tik 2 įvykių rūšys iššaukia išėjimą iš Scc ir tiesiogiai siejasi su pavojingais įvykiais. - nepavyksta rekonfigūracija siurblio sutaisymo arba užsidaro blokuotas elektros vožtuvas - elektros vožtuvas atsidaro, kai prašoma uždaryti. Išvados SP-tinklai puikiai tinka hibridinės sistemos aprašymui, su sąlyga, kad operatyvinė dalis gali būti modeliuojama algebrinių lygčių. Dar daugaiu, ML programa pritaikyta Monte-Carlo modeliavimui gali būti išvesta ir patvirtinta per abstraktųjį SP-tinklą. Iš pradžių paprastų mechatroninių sistemų patikimumo įvertinimui ir buvo naudojamas šis metodas. Šis metodas gali būti naudojamas ir sudėtingesnėms sistemoms. Literatūra 1. Jean-François Ereau et Malecka Saleman: « Modelling and Simulation of a Satellite Constellation based on Petri Nets », Annual Reliability and Maintenability Symposium, Proceedings 1996. 2. Nicolae Fota: « Spécification et Construction Incrémentale de Modèles de Sûreté de Fonctionnement -Application au CAUTRA », thèse présentée au LAAS, 1997. 3. G. Florin et S. Natkin: « Les réseaux de Petri stochastiques », Techniques et Sciences Informatiques, vol.4, n°1, 1985. 4. Jacques Guyot: « Mechatronic components design in the automotive industry », Proceedings of the 2nd Japan-France congress on Mechatronics, Japan, 1994. 5. Valéry Hénault: « Méthodologie de développement des systèmes électroniques embarqués automobiles, matériels et logiciels, sûrs de fonctionnement », thèse présentée à l’IRESTE, septembre 1996. 6. Jensen, K. (1992) Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. EATCS Monographs on Theoretical Computer Science, Springer-Verlag. 7. Jensen, K. (1994) Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag. 8. Jensen, K.; Christensen, S.; Huber, P.; Holla, M. (1997) Design/CPN Reference Manual. Computer Science Department, University of Aarhus, Denmark. On-line http //www.daimi.aau.dk/designCPN/. 9. Alain Leroy et Jean Pierre Signoret: « Le risque technologique », Collection « Que sais-je ? », 1992. 10. M. Marseguerra & E. Zio: Monte Carlo approach to PSA for dynamic process systems, Reliability Engineering & System Safty, vol. 52, 1996 11. A. Pagès et M.Gondran: « Fiabilité des systèmes », collection de la Direction des Etudes et Recherche d'Electricité de France, 1980.

Informatika  Referatai   (118,57 kB)