Thesis Chapters by Davit Petrosyan
Աշխատանքը նվիրված է պատահական ցանցերի կառուցվածքային վերլուծությանը՝ K-Core տոպոլոգիական բնութագր... more Աշխատանքը նվիրված է պատահական ցանցերի կառուցվածքային վերլուծությանը՝ K-Core տոպոլոգիական բնութագրիչի հիման վրա։ Աշխատանքի շրջանակներում վերլուծվում են պատահական ցանցերի տարբեր մոդելներ, տրվում է K-Core պարամետրի, ինչպես նաև K-միջուկների դեկոմպոզիցիայի և CCS (Core Collapse Sequence) [1] բնութագրիչի հաշվարկման էֆեկտիվ ալգորիթմ։ Աշխատանքը հետապնդում է վերլուծական նպատակ՝ պարզելու վերոնշյալ բնութագրիչների պահվածքը տրված մոդելի կառուցման և էվոլյուցիայի ենթատեքստում։ Ուսումնասիրվում է նաև տրված մոդելի կառուցվածքի և վերոնշյալ բնութագրիչների կապը։ Վերլուծության արդյունքում ստացված հիմնական արդյունքն է պատահական ցանցերի կառուցվածքի կապը ցանցի գլոբալ՝ K-Core (Degeneracy) և տեղային բնութագրիչներից (CCS): Ինչպես նաև, փորձնական մեթոդով դուրս են բերվել արտաքին բացասական ազդեցության պարագայում և ուժգնացմանը զուգընթաց ցանցում k-միջուկների ապաակտիվացման դինամիկան տարբեր ցանցային մոդելների համար։
Խնդրի դրվածքը
Դիցուք բոլոր դիտարկվող լեզվուների համար տրված է R սահմանափակումների բազմությունը,... more Խնդրի դրվածքը
Դիցուք բոլոր դիտարկվող լեզվուների համար տրված է R սահմանափակումների բազմությունը, իսկ F-ը այն բանաձևերի բազմությունն է, որը չի հակասում R-ի սահմանափակումներին։
Որպես S կանոնների բազմություն կվերցնենք տվյալ լեզվում բուլյան արտահայտությունները ներկայացնելու համար անհրաժեշտ կանոնների բազմությունը, որոնք չեն հակասում R սահմանափակումներին։
Որպես R վերցնենք հետևյալ՝ մեկ սահմանափակում պարունակող բազմությունը․ { «Բանաձևը չի պարունակում որևէ ծավալիչ» }։
Դիտարկվող խնդիրը կարելի է ներկայացնել որպես հետևյալ ենթախնդիրների համախումբ։
• Սահմանել դեկլարատիվ լեզու, որում հնարավոր է ներկայացնել կամայական բուլյան արտահայտություն։
• Սահմանել դեկլարատիվ լեզու, որում հնարավոր է թվարկել R սահմանափակումներին բավարարող լեզուների S կանոնները։
• Կառուցել ունիվերսալ ալգորիթմ, որը F-ի կամայական ƒ բանաձևի և R-ին բավարարող µ լեզվի համար կանգ է առնում, որպես պատասխան վերադարձնելով ƒ-ի ներկայացումը µ լեզվում, իսկ հակառակ դեպքում կանգ է առնում դատարկ պատասխանով։
Uploads
Thesis Chapters by Davit Petrosyan
Դիցուք բոլոր դիտարկվող լեզվուների համար տրված է R սահմանափակումների բազմությունը, իսկ F-ը այն բանաձևերի բազմությունն է, որը չի հակասում R-ի սահմանափակումներին։
Որպես S կանոնների բազմություն կվերցնենք տվյալ լեզվում բուլյան արտահայտությունները ներկայացնելու համար անհրաժեշտ կանոնների բազմությունը, որոնք չեն հակասում R սահմանափակումներին։
Որպես R վերցնենք հետևյալ՝ մեկ սահմանափակում պարունակող բազմությունը․ { «Բանաձևը չի պարունակում որևէ ծավալիչ» }։
Դիտարկվող խնդիրը կարելի է ներկայացնել որպես հետևյալ ենթախնդիրների համախումբ։
• Սահմանել դեկլարատիվ լեզու, որում հնարավոր է ներկայացնել կամայական բուլյան արտահայտություն։
• Սահմանել դեկլարատիվ լեզու, որում հնարավոր է թվարկել R սահմանափակումներին բավարարող լեզուների S կանոնները։
• Կառուցել ունիվերսալ ալգորիթմ, որը F-ի կամայական ƒ բանաձևի և R-ին բավարարող µ լեզվի համար կանգ է առնում, որպես պատասխան վերադարձնելով ƒ-ի ներկայացումը µ լեզվում, իսկ հակառակ դեպքում կանգ է առնում դատարկ պատասխանով։
Դիցուք բոլոր դիտարկվող լեզվուների համար տրված է R սահմանափակումների բազմությունը, իսկ F-ը այն բանաձևերի բազմությունն է, որը չի հակասում R-ի սահմանափակումներին։
Որպես S կանոնների բազմություն կվերցնենք տվյալ լեզվում բուլյան արտահայտությունները ներկայացնելու համար անհրաժեշտ կանոնների բազմությունը, որոնք չեն հակասում R սահմանափակումներին։
Որպես R վերցնենք հետևյալ՝ մեկ սահմանափակում պարունակող բազմությունը․ { «Բանաձևը չի պարունակում որևէ ծավալիչ» }։
Դիտարկվող խնդիրը կարելի է ներկայացնել որպես հետևյալ ենթախնդիրների համախումբ։
• Սահմանել դեկլարատիվ լեզու, որում հնարավոր է ներկայացնել կամայական բուլյան արտահայտություն։
• Սահմանել դեկլարատիվ լեզու, որում հնարավոր է թվարկել R սահմանափակումներին բավարարող լեզուների S կանոնները։
• Կառուցել ունիվերսալ ալգորիթմ, որը F-ի կամայական ƒ բանաձևի և R-ին բավարարող µ լեզվի համար կանգ է առնում, որպես պատասխան վերադարձնելով ƒ-ի ներկայացումը µ լեզվում, իսկ հակառակ դեպքում կանգ է առնում դատարկ պատասխանով։