Inventory number IRN Number of state registration
0321РК00874 AP08856493-KC-21 0120РК00517
Document type Terms of distribution Availability of implementation
Краткие сведения Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 0
International publications: 3 Publications Web of science: 3 Publications Scopus: 3
Patents Amount of funding Code of the program
0 18800000 AP08856493
Name of work
Позитивные графы и вычислимая сводимость на них как математические модели баз данных
Type of work Source of funding Report authors
Fundamental Калмурзаев Биржан Сеилханович
0
1
2
1
Customer МНВО РК
Information on the executing organization
Short name of the ministry (establishment) МНВО РК
Full name of the service recipient
АО «Казахстанско-Британский технический университет»
Abbreviated name of the service recipient АО "КБТУ"
Abstract

Объектом исследования являются специальные классы позитивных графов, позитивных предпорядков и позитивных отношении эквивалентности. Вычислимые нумерации классов позитивных графов, универсальных графов в специальных классах позитивных графов и индексные множества классов позитивных графов.

Зерттеу объектісі- позитивті графтардың, позитивті жарты реттің және позитивті эквивалентті қатынастардың белгілі кластары болып келеді. Позитивті графтар, позитив графтардағы белгілі кластардағы универсал графтар және позитив жарты реттердің белгілі кластарының индексті жиындары.

Цель работы – представление структур, индуцируемых позитивными графами, как математических моделей баз данных, исследования алгебраических и алгоритмических свойств структуры степеней позитивных графов относительно алгоритмической сводимости. Предполагается построить универсальные позитивные графы и установить индексные множества известных классов как позитивные предпорядки, позитивные эквивалентности, двудольные графы, леса, n-раскрашиваемые графы и так далее.

Жұмыстың мақсаты- позитив графтармен туындаған құрылымдарды деректер базаларының математикалық моделдері ретінде сипаттау, алгоритмдік көшулер бойынша позитив графтардың деңгейлерінің құрылымының алгоритмдік және алгебралық қасиеттерін зерттеу. Универсал позитив графтарды құру және жарты реттер, позитив эквиваленттіктер, екі жақты графтар, ормандар n-бояумен боялатын графтар және сол секілді белгілі класстардың индексті жиынын құру жоспарланады.

Основные инструменты наших исследовании - методы теории вычислимости, теории нумераций и теории конструктивных моделей, в том числе теорема Клини о рекурсии и ее обобщения, а также так называемый “метод приоритета”.

Біздің басты құралдарымыз есептелімділік теориясы, нөмірлеу теориясынан және конструктивті моделдер теориясынан алынған, олардың арасында рекурсия туралы Клини теоремасы мен оның жалпылаулары, сондай-ақ, «приоритет әдісі» деп аталатын маңызды инструменттер қолданылды

В результате исследований были установлены сложность индексных множеств для следующих классов предпорядков: отношения эквивалентности, линейные предпорядки, светлые и темные предпорядки, самополные предпорядки, а также supp-определимые предпорядки. Были установлены в классе арифметических предпорядков сложность отношения вычислимой сводимости позитивных эквивалентностей. А также были установлены достаточные условия для существования универсальных нумерации и универсальных степеней относительно вычислимой сводимостью.

Зерттеулер нәтижесінде позитив жарты реттердің келесі кластарының индексті жиындарын табу анықталды: эквиваленттік қатынастар, сызықты жарты реттер, жарық және қараңғы жарты реттер, өзітолық жарты реттер, және де supp-анықталымды жартыреттер. Позитив эквиваленттіліктердің есептелімді көшіру және арифметикалық кластарындағы жертылай реттердегі күрделілігі анықталды. Және де, графтардың универсал номілеулер және есептелімді көшірулерге байланысты универсал деңгейлер табылуының жеткілікті шарттары анықталды

По задачам данного проекта опубликовано одна научная статья в журнал входящее в базы Scopus и Web of Science, подано две статьи в рейтинговые журналы, одна из них уже имеет положительную рецензию. Также, по задачам проекта были сделаны доклады на международных конференциях (4 доклада).

Бұл жобаның есептері бойынша Scopus и Web of Scienc базаларына кіретін журналға бір ғылыми мақала жарияланды, рейтингтік журналдарға тағы екі мақала берілді, оның бірі оң сынпікірін алды. Одан қоса, жоба есептері бойынша халықаралық конференцияларда баяндама жасалды (4 баяндама).

Все полученные результаты являются новыми и в будущем могут быть использованы при построении принципиально различных математических моделей баз данных.

Алынған барлық нәтижелер жаңа және болашақта мәліметтер базасының әртүрлі математикалық модельдерін құруда қолданыла алады.

UDC indices
510.5, 510.535, 510.598
International classifier codes
27.03.45;
Key words in Russian
Вычислимо перечислимые отношения эквивалентности; позитивные предпорядки; конструктивные алгебраические системы; вычислимые нумерации; позитивные графы;
Key words in Kazakh
рекурсив саналымды эквивалент қатынастар; позитив жартыреттер; конструктивті алгебралық құрылымдар; есептелімді нөмірлеулер,; позитив графтар;
Head of the organization Габдуллин Маратбек Тулепбергенович Phd / Профессор
Head of work Калмурзаев Биржан Сеилханович Доктор PhD / Доктор философий