Логическое моделирование процедурных языков программирования и недетерминированных конечных автоматов

Информатика

Աշխատությունը նվիրված է Գրիդ միջավայրում «Հերմես» փորձի Մոնտե Կառլոյի սիմուլյացիաների գործարկման և մոնիթորինգի գործընթացների ավտոմատացման համար նախատեսված ծրագրային միջոցների մշակմանը։ Հետազոտության հիմնական նպատակն է ստեղծել այնպիսի ծրագրային լուծումներ, որոնք հնարավորություն կտան կազմակերպված և վերահսկելի ձևով կառավարել մեծ թվով հաշվարկային առաջադրանքների նախապատրաստումը, գործարկումը, ընթացքի հետևումը և արդյունքների հավաքագրումը բաշխված հաշվարկային ենթակառուցվածքում։ Աշխատության շրջանակում ուսումնասիրվում են Մոնտե Կառլոյի մեթոդի կիրառման առանձնահատկությունները, որի դեպքում փորձի կամ ֆիզիկական գործընթացի վիճակագրական բնութագրերը գնահատվում են բազմաթիվ պատահական կամ պսևդոպատահական փորձարկումների միջոցով։ Նման հաշվարկների մեծ ծավալը պահանջում է զգալի հաշվողական ռեսուրսներ, ինչի պատճառով Գրիդ միջավայրը հնարավորություն է տալիս հաշվարկային առաջադրանքները բաշխել տարբեր հանգույցների միջև և կազմակերպել դրանց զուգահեռ կատարումը։ Առանձնահատուկ ուշադրություն է դարձվում առաջադրանքների ավտոմատացված գործարկման մեխանիզմներին, դրանց վիճակի վերահսկմանը և հնարավոր խափանումների հայտնաբերմանը։ Ծրագրային միջոցները կարող են ապահովել առաջադրանքների հերթագրման, հեռակառավարման, կատարման ընթացքի գրանցման, ավարտված և ձախողված հաշվարկների տարբերակման, ինչպես նաև արդյունքների կենտրոնացված հավաքագրման և պահպանման գործառույթներ։ Կարևոր խնդիր է նաև բաշխված հաշվարկների ընթացքում առաջացող տարբեր վիճակների ճիշտ կառավարումը, որպեսզի օգտագործողը կարողանա արագ պարզել յուրաքանչյուր առաջադրանքի ընթացիկ կարգավիճակը և անհրաժեշտության դեպքում կրկին գործարկել չավարտված կամ սխալով ավարտված հաշվարկները։ Հետազոտության ընթացքում կարող են մշակվել ծրագրային ճարտարապետություն, տվյալների փոխանակման մեխանիզմներ, մոնիթորինգի գործիքներ և օգտագործողի հետ փոխգործակցության միջոցներ, որոնք միասին ձևավորում են հաշվարկային գործընթացների կառավարման միասնական համակարգ։ Առանձին ուշադրություն է դարձվում համակարգի հուսալիությանը, ընդլայնելիությանը և տարբեր հաշվարկային հանգույցների պայմաններում արդյունավետ աշխատանքին։ Մոնտե Կառլոյի սիմուլյացիաների ավտոմատացումը կարող է էապես նվազեցնել ձեռքով կատարվող գործողությունների քանակը, կրճատել հաշվարկների կազմակերպման ժամանակը և նվազեցնել մարդկային սխալների հավանականությունը։ Աշխատության արդյունքները կարող են կիրառվել մեծածավալ գիտական հաշվարկների, ֆիզիկական փորձերի համակարգչային մոդելավորման և այլ բաշխված հաշվողական խնդիրների ավտոմատացման համար։ Մշակված մոտեցումները կարող են նաև հիմք հանդիսանալ նմանատիպ Գրիդ կամ այլ բարձրարտադրողական հաշվարկային միջավայրերում առաջադրանքների կառավարման և մոնիթորինգի համակարգերի ստեղծման համար։ Աշխատանքը կարող է հետաքրքրել ծրագրային ապահովման մշակողներին, համակարգային և ցանցային ինժեներներին, բարձրարտադրողական և բաշխված հաշվարկների մասնագետներին, ֆիզիկոսներին, գիտական հաշվարկներով զբաղվող հետազոտողներին, ասպիրանտներին և համապատասխան մասնագիտություններով սովորող ուսանողներին։

Религия

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

Математика

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

Физика

Գրքում ներկայացվում են լույսի ալիքային բնույթը և բևեռացման երևույթի հիմնական տեսակները՝ գծային, շրջանաձև և էլիպտիկ բևեռացում։ Բացատրվում է, թե ինչպես է լույսը փոխազդում տարբեր միջավայրերի հետ և ինչ պայմաններում է առաջանում բևեռացում։ Հատուկ ուշադրություն է դարձվում փորձարարական մեթոդներին՝ բևեռացնող ֆիլտրեր, անդրադարձման և բեկման միջոցով բևեռացում, ինչպես նաև Մալուսի օրենքի կիրառություն։ Ներկայացվում են նաև լաբորատոր աշխատանքների օրինակներ։ Գիրքը օգնում է խորացնել օպտիկայի գիտելիքները և հասկանալ լույսի վարքագիծը ժամանակակից ֆիզիկայի տեսանկյունից։

Педагогика

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

Политология

Այս գիրքը նվիրված է Հայաստանի և Ադրբեջանի միջև հարաբերությունների, ինչպես նաև Լեռնային Ղարաբաղի շուրջ տեղի ունեցող իրադարձությունների ուսումնասիրությանը՝ կենտրոնանալով բնակչության տեղաշարժերի, հումանիտար հետևանքների և տարածաշրջանային զարգացումների վրա։ Աշխատանքը ներկայացնում է հակամարտության տարբեր փուլերի, քաղաքական գործընթացների և դրանց ազդեցության վերլուծությունը՝ անդրադառնալով մարդկանց կյանքի, անվտանգության և սոցիալական պայմանների վրա ունեցած հետևանքներին։ Գրքում քննարկվում են միջազգային արձագանքները, տարածաշրջանային ուժերի դերակատարությունը և այն մարտահրավերները, որոնք առաջանում են երկարատև հակամարտությունների պայմաններում։ Այն կարող է օգտակար լինել պատմաբանների, քաղաքագետների, միջազգային հարաբերությունների մասնագետների, հետազոտողների, ուսանողների և Հարավային Կովկասի քաղաքական գործընթացներով հետաքրքրվող ընթերցողների համար։