Kontinye tèm nan , Ann gade nan pwoblèm nan nan modèl matematik soti nan lòt bò a. Apre nou fin konvenki ke modèl la koresponn ak verite ki bay lavi a lakay nou, nou ka reponn kesyon prensipal la: "ki sa, egzakteman, nou genyen isit la?" Lè nou kreye yon modèl yon objè teknik, anjeneral nou vle asire w ke objè sa a pral satisfè atant nou yo. Pou rezon sa a, kalkil dinamik nan pwosesis yo te pote soti ak rezilta a konpare ak kondisyon yo. Sa a se yon jimo dijital, yon pwototip vityèl, elatriye. alamòd ti mesye ki, nan etap konsepsyon an, rezoud pwoblèm nan nan ki jan yo asire w ke nou jwenn sa nou te planifye.
Ki jan nou ka byen vit asire w ke sistèm nou an se egzakteman sa nou konsepsyon, èske konsepsyon nou an vole oswa flote? Men, si li vole, ki jan wo? Men, si li flote, ki jan fon?
Atik sa a diskite sou automatisation nan verifikasyon konfòmite ak kondisyon ki nan yon bilding teknik lè yo kreye modèl dinamik nan sistèm teknik. Kòm yon egzanp, an n gade nan yon eleman nan spesifikasyon nan teknik pou yon sistèm refwadisman lè avyon.
Nou konsidere kondisyon sa yo ki ka eksprime nimerik epi verifye matematik ki baze sou yon modèl kalkil espesifik. Li klè ke sa a se sèlman yon pati nan kondisyon jeneral yo pou nenpòt ki sistèm teknik, men li se sou tcheke yo ke nou pase tan, nè ak lajan sou kreye modèl dinamik nan objè a.
Lè w ap dekri kondisyon teknik nan fòm yon dokiman, yo ka distenge plizyè kalite kondisyon diferan, chak nan yo ki mande diferan apwòch pou fòmasyon otomatik verifikasyon ranpli kondisyon yo.
Pou egzanp, konsidere ti seri egzijans sa a men reyalis:
- Tanperati lè atmosferik nan papòt sistèm tretman dlo a:
nan pakin nan - soti nan mwens 35 a 35 ºС,
nan vòl - soti nan mwens 35 a 39 ºС. - Presyon estatik lè atmosferik nan vòl la se soti nan 700 a 1013 GPa (soti nan 526 a 760 mm Hg).
- Presyon lè a total nan papòt la nan konsomasyon lè SVO a nan vòl se soti nan 754 a 1200 GPa (soti nan 566 a 1050 mm Hg).
- Tanperati lè refwadisman:
nan pakin - pa plis pase 27 ºС, pou blòk teknik - pa plis pase 29 ºС,
nan vòl - pa plis pase 25 ºС, pou blòk teknik - pa plis pase 27 ºС. - Koule lè refwadisman:
lè yo pake - omwen 708 kg / h,
nan vòl - pa mwens pase 660 kg / h. - Tanperati lè a nan konpatiman enstriman yo pa plis pase 60 ºС.
- Kantite imidite amann gratis nan lè a refwadi pa plis pase 2 g / kg lè sèk.
Menm nan seri limite sa a nan kondisyon, gen omwen de kategori ki bezwen okipe yon fason diferan nan sistèm nan:
- kondisyon pou kondisyon fonksyònman sistèm lan (klaz 1-3);
- kondisyon parametrik pou sistèm nan (paragraf 3-7).
Kondisyon kondisyon fonksyònman sistèm yo
Kondisyon ekstèn pou sistèm lan ap devlope pandan modèl yo ka espesifye kòm kondisyon fwontyè oswa kòm yon rezilta nan operasyon an nan sistèm jeneral la.
Nan simulation dinamik, li nesesè asire ke kondisyon fonksyònman espesifye yo kouvri pa pwosesis la simulation.
Kondisyon sistèm parametrik yo
Kondisyon sa yo se paramèt ki bay nan sistèm nan tèt li. Pandan pwosesis modèl la, nou ka jwenn paramèt sa yo kòm rezilta kalkil ak asire w ke kondisyon yo satisfè nan chak kalkil espesifik.
Egzijans idantifikasyon ak kodaj
Pou fasilite travay ak egzijans, estanda ki egziste deja rekòmande pou bay yon idantifyan pou chak egzijans. Lè w bay idantifyan yo, li trè dezirab pou itilize yon sistèm kodaj inifye.
Yon kòd egzijans kapab tou senpleman yon nimewo ki reprezante nimewo lòd egzijans la, oswa li ka genyen yon kòd pou kalite egzijans la, yon kòd pou sistèm oswa inite li aplike a, yon kòd paramèt, yon kòd kote, ak nenpòt lòt bagay yon enjenyè ka imajine. (gade atik la pou itilize kodaj)
Tablo 1 bay yon egzanp senp sou kodaj kondisyon yo.
- kòd sous la nan kondisyon R-kondisyon TK;
- kòd kalite kondisyon E - kondisyon - paramèt anviwònman, oswa kondisyon fonksyònman
S - kondisyon ki bay nan sistèm nan; - kòd sitiyasyon avyon 0 – nenpòt, G – ki pake, F – nan vòl;
- paramèt fizik kalite kòd T - tanperati, P - presyon, G - pousantaj koule, imidite H;
- nimewo seri kondisyon an.
| ID Kondisyon pou |
Deskripsyon | Paramèt |
| REGT01 | Tanperati lè anbyen nan papòt sistèm refwadisman dlo a: nan pakin nan - soti nan mwens 35ºС. jiska 35 ºС. | |
| REFT01 | Tanperati lè atmosferik nan papòt sistèm defans lè a: nan vòl - soti nan mwens 35 ºС rive 39 ºС. | |
| REFP01 | Estatik presyon lè atmosferik nan vòl la se soti nan 700 a 1013 hPa (soti nan 526 a 760 mm Hg). | |
| REFP02 | Presyon lè a total nan papòt la nan konsomasyon lè SVO a nan vòl se soti nan 754 a 1200 hPa (soti nan 566 a 1050 mm Hg). | |
| RSGT01 | Tanperati lè refwadisman: lè yo pake pa plis pase 27 ºС | |
| RSGT02 | Tanperati lè refwadisman: nan pakin, pou inite teknik yo pa plis pase 29 ºС | |
| RSFT01 | Tanperati lè refwadisman nan vòl pa plis pase 25 ºС | |
| RSFT02 | Tanperati lè refwadisman: nan vòl, pou inite teknik pa plis pase 27 ºС | |
| RSGG01 | Koule lè refwadisman: lè yo pake pa mwens pase 708 kg / h | |
| RSFG01 | Koule lè refwadisman: nan vòl pa mwens pase 660 kg / h | |
| RS0T01 | Tanperati lè a nan lòj enstriman pa plis pase 60 ºС | |
| RSH01 | Kantite imidite amann gratis nan lè a refwadi pa plis pase 2 g / kg lè sèk |
Konsepsyon sistèm verifikasyon kondisyon yo.
Pou chak kondisyon konsepsyon gen yon algorithm pou evalye korespondans nan paramèt konsepsyon yo ak paramèt yo espesifye nan kondisyon an. An jeneral, nenpòt sistèm kontwòl toujou gen algoritm pou tcheke kondisyon tou senpleman pa default. E menm nenpòt regilatè gen ladan yo. Si tanperati a ale deyò limit yo, èkondisyone a limen. Kidonk, premye etap la nan nenpòt ki règleman se tcheke si paramèt yo satisfè kondisyon yo.
Epi kòm verifikasyon se yon algorithm, Lè sa a, nou ka itilize menm zouti ak zouti ke nou itilize yo kreye pwogram kontwòl. Pou egzanp, anviwònman SimInTech pèmèt ou kreye pakè pwojè ki gen plizyè pati nan modèl la, egzekite sou fòm pwojè separe (modèl objè, modèl sistèm kontwòl, modèl anviwònman, elatriye).
Pwojè verifikasyon kondisyon an nan ka sa a vin menm pwojè algorithm epi li konekte ak pake modèl la. Ak nan mòd nan modèl dinamik li fè yon analiz pou konfòmite ak kondisyon ki nan espesifikasyon teknik yo.
Yon egzanp posib nan yon konsepsyon sistèm yo montre nan Figi 1.
Figi 1. Egzanp konsepsyon yon pwojè verifikasyon.
Jis tankou pou algoritm kontwòl, kondisyon yo ka trase moute kòm yon seri fèy papye. Pou konvenyans nan travay ak algoritm nan anviwònman modèl estriktirèl tankou SimInTech, Simulink, AmeSim, yo itilize kapasite nan kreye estrikti milti-nivo nan fòm lan nan submodèl. Òganizasyon sa a fè li posib pou gwoupe divès kondisyon an ansanm pou senplifye travay ak yon seri kondisyon, menm jan yo fè pou algoritm kontwòl (gade Fig. 2).
Figi 2. Estrikti yerarchize modèl verifikasyon kondisyon yo.
Pou egzanp, nan ka a anba konsiderasyon, de gwoup yo distenge: kondisyon pou anviwònman an ak kondisyon dirèkteman pou sistèm nan. Se poutèt sa, yo itilize yon estrikti done de nivo: de gwoup, chak nan yo se yon fèy algorithm la.
Pou konekte done ak modèl la, yo itilize yon konplo estanda pou jenere yon baz done siyal, ki estoke done pou echanj ant pati nan pwojè a.
Lè w ap kreye ak teste lojisyèl, yo mete lekti detèktè yo (analòg detèktè sistèm reyèl) ke sistèm kontwòl la itilize yo nan baz done sa a.
Pou yon pwojè tès, nenpòt paramèt kalkile nan modèl dinamik yo ka estoke nan menm baz done a epi konsa itilize yo tcheke si kondisyon yo satisfè.
Nan ka sa a, modèl dinamik nan tèt li ka egzekite nan nenpòt sistèm modèl matematik oswa menm nan fòm lan nan yon pwogram ègzèkutabl. Sèl kondisyon an se prezans nan entèfas lojisyèl pou bay done modèl nan anviwònman ekstèn lan.
Figi 3. Konekte pwojè verifikasyon an ak modèl konplèks la.
Yon egzanp sou yon fèy verifikasyon kondisyon debaz yo prezante nan Figi 4. Soti nan pwen de vi pwomotè a, li se yon dyagram kalkil konvansyonèl sou ki algorithm nan verifikasyon kondisyon yo prezante grafikman.
Figi 4. Fèy tcheke kondisyon yo.
Pati prensipal yo nan fèy chèk la yo dekri nan Figi 5. Algorithm chèk la fòme menm jan ak dyagram yo konsepsyon nan algoritm kontwòl. Sou bò dwat la gen yon blòk pou lekti siyal ki soti nan baz done a. Blòk sa a jwenn aksè nan baz done siyal la pandan simulation.
Siyal yo resevwa yo analize pou kalkile kondisyon verifikasyon kondisyon yo. Nan ka sa a, analiz altitid fèt pou detèmine pozisyon avyon an (si li pake oswa nan vòl). Pou rezon sa a, ou ka itilize lòt siyal ak paramèt kalkile nan modèl la.
Kondisyon verifikasyon ak paramèt yo tcheke yo transfere nan blòk verifikasyon estanda, nan ki paramèt sa yo analize pou konfòmite ak kondisyon yo espesifye. Rezilta yo anrejistre nan baz done siyal la nan yon fason ke yo ka itilize otomatikman jenere yon lis verifikasyon.
Figi 5. Estrikti fèy kalkil verifikasyon kondisyon yo.
Paramèt yo dwe teste yo pa nesesèman sèvi ak siyal ki genyen nan baz done a, ki kontwole pa paramèt kalkile pandan pwosesis la simulation. Pa gen anyen ki anpeche nou fè kalkil adisyonèl nan kad kondisyon bouyon yo, menm jan nou kalkile kondisyon verifikasyon yo.
Pou egzanp, kondisyon sa a:
Nimewo a nan aktivasyon nan sistèm koreksyon an pandan vòl la nan sib la pa ta dwe depase 5, ak tan total fonksyone nan sistèm koreksyon an pa ta dwe depase 30 segonn.
Nan ka sa a, yo ajoute yon algorithm pou kontrekare kantite kòmanse ak tan total opere nan dyagram nan konsepsyon kondisyon yo.
Kondisyon tipik verifikasyon blòk.
Chak bwat chèk egzijans estanda fèt pou kalkile akonplisman yon kondisyon nan yon sèten kalite. Pou egzanp, kondisyon anviwònman an gen ladan yon seri de tanperati fonksyònman anbyen lè yo estasyone ak nan vòl. Blòk sa a dwe resevwa tanperati lè a nan modèl la kòm yon paramèt epi detèmine si paramèt sa a kouvri seri tanperati espesifye a./p>
Blòk la gen de pò D ', param ak kondisyon.
Premye a se manje ak paramèt la ke yo te tcheke. Nan ka sa a, "Tanperati ekstèn".
Yon varyab Boolean apwovizyone nan dezyèm pò a - kondisyon an pou fè chèk la.
Si yo resevwa VRE (1) nan dezyèm antre a, Lè sa a, blòk la fè yon kalkil verifikasyon egzijans.
Si dezyèm opinyon an resevwa FALSE (0), lè sa a kondisyon tès yo pa satisfè. Sa nesesè pou kondisyon kalkil yo ka pran an kont. Nan ka nou an, yo itilize opinyon sa a pou pèmèt oswa enfim chèk la depann sou eta a nan modèl la. Si avyon an sou tè a pandan simulation an, Lè sa a, kondisyon ki gen rapò ak vòl yo pa tcheke, ak vis vèrsa - si avyon an se nan vòl, Lè sa a, kondisyon ki gen rapò ak operasyon nan kanpe yo pa tcheke.
D 'sa a ka itilize tou lè mete modèl la, pou egzanp nan etap inisyal la nan kalkil. Lè yo pote modèl la nan eta obligatwa a, blòk chèk yo enfim, men le pli vit ke sistèm lan rive nan mòd opere obligatwa a, blòk chèk yo vire sou.
Paramèt blòk sa a se:
- kondisyon fwontyè: limit anwo (UpLimit) ak pi ba (DownLimit) limit yo dwe tcheke;
- tan ekspoze sistèm obligatwa nan limit yo (TimeInterval) an segonn;
- Mande ID ReqName;
- permissibilite pou depase ranje Out_range se yon varyab Boolean ki detèmine si yon valè ki depase ranje tcheke a se yon vyolasyon kondisyon an.
Nan kèk ka, pwodiksyon valè tès la endike ke sistèm nan gen kèk maj epi li ka opere andeyò ranje fonksyònman li yo. Nan lòt ka, yon pwodiksyon vle di ke sistèm nan pa kapab kenbe setpoints yo nan ranje.
Figi 6. Yon blòk chèk pwopriyete tipik nan dyagram nan ak paramèt li yo.
Kòm yon rezilta nan kalkil blòk sa a, varyab Rezilta a fòme nan pwodiksyon an, ki pran valè sa yo:
- 0 – rNone, valè pa defini;
- 1 – rFè, kondisyon an satisfè;
- 2 - rFault, kondisyon an pa satisfè.
Imaj blòk la gen ladan:
- tèks idantifyan;
- ekspozisyon dijital nan paramèt limit mezi;
- koulè idantifyan estati paramèt la.
Anndan blòk la ka gen yon kous enferans lojik olye konplèks.
Pa egzanp, pou tcheke ranje tanperati fonksyònman inite yo montre nan Figi 6 la, yo montre sikwi entèn la nan Figi 7 la.
Figi 7. Dyagram entèn inite detèminasyon ranje tanperati a.
Anndan blòk sikwi a, yo itilize pwopriyete yo espesifye nan paramèt blòk yo.
Anplis analize konfòmite ak egzijans, dyagram entèn blòk la gen yon graf ki nesesè pou montre rezilta simulation yo. Ka graf sa a dwe itilize tou de pou gade pandan kalkil ak pou analize rezilta yo apre kalkil.
Rezilta kalkil yo transmèt nan pwodiksyon an nan blòk la epi yo ansanm anrejistre nan yon dosye rapò jeneral, ki se kreye ki baze sou rezilta yo pou tout pwojè a. (gade Fig. 8)
Yon egzanp yon rapò ki te kreye baze sou rezilta simulation yo se yon dosye html ki te kreye selon yon fòma bay yo. Fòma a ka abitrèman konfigirasyon nan fòma a aksepte pa yon òganizasyon an patikilye.
Anndan blòk sikwi a, yo itilize pwopriyete yo espesifye nan paramèt blòk yo.
Anplis analize konfòmite ak egzijans, dyagram entèn blòk la gen yon graf ki nesesè pou montre rezilta simulation yo. Ka graf sa a dwe itilize tou de pou gade pandan kalkil ak pou analize rezilta yo apre kalkil.
Rezilta kalkil yo transmèt nan pwodiksyon an nan blòk la epi yo ansanm anrejistre nan yon dosye rapò jeneral, ki se kreye ki baze sou rezilta yo pou tout pwojè a. (gade Fig. 8)
Yon egzanp yon rapò ki te kreye baze sou rezilta simulation yo se yon dosye html ki te kreye selon yon fòma bay yo. Fòma a ka abitrèman konfigirasyon nan fòma a aksepte pa yon òganizasyon an patikilye.
Figi 8. Egzanp yon dosye rapò ki baze sou rezilta simulation.
Nan egzanp sa a, se fòm rapò a configuré dirèkteman nan pwopriyete pwojè yo, epi fòma nan tablo a mete kòm siyal pwojè mondyal la. Nan ka sa a, SimInTech tèt li rezoud pwoblèm nan mete rapò a, ak blòk la pou ekri rezilta nan yon dosye sèvi ak liy sa yo ekri nan dosye a rapò.
Figi 9. Mete fòma rapò a nan siyal pwojè mondyal yo
Sèvi ak yon baz done siyal pou kondisyon.
Pou otomatize travay ak anviwònman pwopriyete yo, yo kreye yon estrikti estanda nan baz done a siyal pou chak blòk tipik. (gade Fig. 10)
Figi 10. Egzanp estrikti yon blòk chèk egzijans nan yon baz done siyal.
Baz done siyal bay:
- Sere tout paramèt kondisyon sistèm nesesè yo.
- Pratik gade nan kondisyon pwojè ki egziste deja soti nan paramèt espesifye ak rezilta modèl aktyèl.
- Mete kanpe yon blòk oswa yon gwoup blòk lè l sèvi avèk yon langaj pwogramasyon scripting. Chanjman nan baz done siyal la mennen nan chanjman nan valè pwopriyete blòk yo nan dyagram nan.
- Sere deskripsyon tèks, lyen ki mennen nan atik espesifikasyon teknik oswa idantifyan nan sistèm jesyon kondisyon an.
Estrikti baz done siyal pou kondisyon yo ka fasilman konfigirasyon pou travay avèk yon sistèm jesyon kondisyon twazyèm pati.Yon dyagram jeneral nan entèraksyon ak sistèm jesyon kondisyon yo prezante nan Figi 11.
Figi 11. Dyagram entèraksyon ak sistèm jesyon kondisyon yo.
Sekans entèraksyon ant pwojè tès SimInTech ak sistèm kontwòl kondisyon an se jan sa a:
- Tèm referans yo divize an kondisyon.
- Kondisyon yo nan espesifikasyon teknik yo idantifye ki ka verifye pa modèl matematik nan pwosesis teknik.
- Atribi nan kondisyon yo chwazi yo transfere nan baz done a siyal SimInTech nan estrikti a nan blòk estanda (pa egzanp, tanperati maksimòm ak minimòm).
- Pandan pwosesis kalkil la, done estrikti yo transfere nan dyagram konsepsyon blòk, analiz yo fèt ak rezilta yo estoke nan yon baz done siyal.
- Yon fwa kalkil la fini, rezilta analiz yo transfere nan sistèm jesyon kondisyon yo.
Etap 3 jiska 5 egzijans yo ka repete pandan pwosesis konsepsyon an lè chanjman nan konsepsyon ak/oswa egzijans yo rive epi enpak chanjman yo bezwen fè tès ankò.
Konklizyon yo.
- Pwototip kreye nan sistèm nan bay yon rediksyon enpòtan nan tan an nan analiz de modèl ki deja egziste pou konfòmite ak kondisyon ki nan espesifikasyon teknik yo.
- Teknoloji tès yo pwopoze a sèvi ak modèl dinamik ki deja egziste epi yo ka itilize menm pou nenpòt modèl dinamik, tankou sa ki pa fèt nan anviwònman SimInTech la.
- Sèvi ak òganizasyon done pakèt pèmèt ou kreye pakè verifikasyon kondisyon an paralèl ak devlopman modèl, oswa menm itilize pakè sa yo kòm espesifikasyon teknik pou devlopman modèl.
- Teknoloji a ka entegre ak sistèm jesyon kondisyon ki deja egziste san yo pa depans enpòtan.
Pou moun ki li jiska lafen,
Sous: www.habr.com