Ասատրյան, Արմեն Ջոնի

Ինֆորմատիկա

Այս ուսումնասիրությունը վերաբերում է սահմանափակումների միալար մշակման (constraint-based processing) մոդելի կիրառությանը ինտեգրված համակարգերի նախագծման տվյալների հենքերում՝ ընդգծելով բարդ ինժեներական համակարգերի մոդելավորման և ավտոմատացված նախագծման ժամանակակից մոտեցումները։ Նյութում վերլուծվում է, թե ինչպես կարելի է սահմանափակումների համակարգը կիրառել նախագծման տվյալների կառուցվածքների վրա՝ ապահովելով տարրերի միջև հարաբերությունների ճշգրիտ նկարագրություն և նախագծային պահանջների ավտոմատ ստուգում։ Հատուկ ուշադրություն է դարձվում սահմանափակումների արտահայտման ձևական լեզուներին, լուծման ալգորիթմներին և օպտիմիզացիոն մեթոդներին, որոնք թույլ են տալիս նվազեցնել նախագծման սխալները և բարձրացնել համակարգերի համատեղելիությունը։ Աշխատությունը նաև ընդգծում է տվյալների հենքերի դերը որպես նախագծային տեղեկատվության կենտրոնացված միջավայր, որտեղ իրականացվում է տարբեր մոդուլների ինտեգրում, վավերացում և վերօգտագործում։ Միաժամանակ դիտարկվում են այս մոտեցման կիրառությունները բարդ տեխնիկական համակարգերում՝ ներառյալ էլեկտրոնային նախագծումը, կառավարման համակարգերը և ծրագրային ճարտարապետությունները, որտեղ կարևոր են ճշգրտությունը, ընդարձակելիությունը և ավտոմատացված վերլուծությունը։