Inventory number IRN Number of state registration
0220РК01228 AP05131579-OT-20 0118РК00286
Document type Terms of distribution Availability of implementation
Заключительный Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 0
International publications: 1 Publications Web of science: 1 Publications Scopus: 1
Number of books Appendicies Sources
0 3 22
Total number of pages Patents Illustrations
52 0 0
Amount of funding Code of the program Table
12000000 AP05131579 2
Code of the program's task under which the job is done
Г.2018
Name of work
Позитивные предпорядки и вычислимая сводимость на них как математические модели баз данных.
Report title
Type of work Source of funding The product offerred for implementation
Fundamental Методическая документация
Report authors
Бадаев Серикжан Агыбаевич , Калмурзаев Биржан Сеилханович , Исахов Асылбек Абдиашимович , Абешев Куаныш Шурабатырович , Мұқаш Назгүл Қанышқызы , Кабылжанова Диана Калкажановна , Serikzhan Raushan , Сыдыкбек Айбек Жандосович , Өстемірова Ұлдана Бектемірқызы , Рақымжанқызы Фариза ,
0
4
1
0
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

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

Зерттеу нысаны позитив алғыреттердің әр түрлі дербес кластары, арнайы универсал позитив алғыреттер, позитив алғыреттердің супремум және инфимумдері, ақшыл және қошқыл алғыреттер.

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

Жұмыстың мақсаты – позитив алғыреттер құрылымдағы Тьюринг секірмесінің аналогтарын және позитив алғыреттер дербес кластарында универсал алғыреттердің табылуын, сонымен қатар салыстырылмайтын алғыреттердің супремум мен инфимумының бар-жоғын зерттеу және позитив алғыреттер кластарының есептелімді изоморфизм тұрпаттар саны мен алгоритмдік күрделігін сараптау.

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

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

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

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

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

Әртүрлі позитив реттеулердің құрастыру жолдары және бір деректер базаларын өзге деректер базаларына тиімді түрінде көшіру проекттің негізгі конструктив көрсеткіштері боолып табылады.

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

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

UDC indices
510.5, 510.535, 510.598
International classifier codes
27.03.45; 20.01.07; 27.03.19;
Readiness of the development for implementation
Key words in Russian
позитивные предпорядки; вычислимая сводимость; математические модели баз данных; позитивные эквивалентности; универсальные предпорядки;
Key words in Kazakh
позитив жарты реттер; есептелімді көшіру; деректер базаларының математикалык моделдері; позитив эквиваленттіліктер; универсал жарты реттер;
Head of the organization Калимолдаев Максат Нурадилович Доктор физико-математических наук / профессор
Head of work Бадаев Серикжан Агыбаевич Доктор физико-математических наук / Профессор
Native executive in charge Калмурзаев Биржан Сеилханович Доктор философий