Հարվածային բեռով ասինխրոն էլեկտրաբանեցման համակարգի բարելավումը

Other Subjects

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

History

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

Technology

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

Informatics

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

Mathematics

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

Mathematics

Այս աշխատանքը ուսումնասիրում է արտածումների բարդության (proof complexity) հիմնախնդիրը ասույթային հաշվի տարբեր հայտնի և նոր կառուցված համակարգերում՝ կենտրոնանալով այն վրա, թե ինչպես են փոխվում ապացույցների երկարությունը, կառուցվածքը և հաշվարկային ռեսուրսների պահանջները տարբեր տրամաբանական համակարգերում։ Աշխատությունում վերլուծվում են դասական ապացուցման համակարգեր, ինչպիսիք են Հիլբերտյան համակարգերը, բնական դեդուկցիան և ռեզոլյուցիոն մեթոդները, ինչպես նաև նորագույն մոտեցումներ, որոնք կիրառվում են ավտոմատացված ապացուցման և հաշվողական բարդության տեսության մեջ։ Հեղինակը դիտարկում է, թե ինչպես են տարբեր համակարգերում նույն տրամաբանական պնդումների արտածումները կարող ունենալ զգալիորեն տարբեր բարդություն՝ թե՛ քայլերի քանակի, թե՛ կառուցվածքային խորության տեսանկյունից, և ինչպես են այդ տարբերությունները կապված հաշվարկային բարդության դասերի հետ։ Աշխատությունը նաև անդրադառնում է ապացույցների կոմպրեսիայի, էքսպոնենցիալ երկարությունների առաջացման պատճառներին և այն հարցին, թե արդյոք հնարավոր է գտնել ավելի արդյունավետ ապացուցման համակարգեր, որոնք կկրճատեն արտածումների բարդությունը առանց արտահայտչականության կորստի։ Բացի այդ, քննարկվում են ժամանակակից արդյունքներ proof complexity-ի և SAT-խնդիրների լուծման ալգորիթմների միջև կապերի վերաբերյալ, ինչը կարևոր է ինչպես տեսական ինֆորմատիկայի, այնպես էլ կիրառական ալգորիթմների զարգացման համար։ Ընդհանուր առմամբ, աշխատանքը ներկայացնում է խորքային վերլուծություն այն մասին, թե ինչպես են տրամաբանական համակարգերի կառուցվածքային հատկությունները ազդում արտածումների բարդության վրա և ինչ սահմանափակումներ են առաջանում ավտոմատացված դատողությունների համակարգերում։