×
16.03.2021
221.018.3f2d

Машина исполнения компьютерных алгоритмов - архитектура математической модели с центральным процессором и неограниченными лучами данных

Вид РИД

Произведениe науки

Юридическая информация Свернуть Развернуть
Наименование РИД на английском: Computer algorithm execution machine - a mathematical model architecture with a central processor and unlimited data beams
Краткое описание РИД Свернуть Развернуть
Описание произведения: Построена математическая модель вычислительной системы вместо машины Тьюринга. Архитектура построенной модели аналогична архитектуре современных компьютеров с центральным процессором и оперативной памятью. Удалось преодолеть ограничение на размер доступной оперативной памяти из-за разрядности процессора.
Ключевые слова: Вычислительные системы, Модель вычислительной системы, Скорость вычислений, Вычислимость, Машина Тьюринга
Развернутое описание Свернуть Развернуть
Основные результаты научного произведения:
Построена модель исполнения алгоритмов на основе «центрального процессора» и конечного количества «лучей данных», которые начинаются от процессора. Данная модель подобна современным вычислительным системам и позволяет использовать накопленный в ИТ опыт операций с данными. Одной из строк (частью «входных» данных) при этом оказывается сам алгоритм (соответствующий программный текст) – расположенный на одном из лучей данных.
Решен в принципиальном отношении вопрос масштабирования современных вычислительных систем до использования ими оперативной памяти неограниченных размеров при ограниченной разрядности процессора.
Перспективные направления применения для дальнейших исследований и разработок: Рассмотренная Машина исполнения компьютерных алгоритмов построена в соответствии с современной практикой построения вычислительных машин, её «эксплуатация» в этом смысле понятна и привычна с точки зрения стандартов ИТ. В отличие от машины Тьюринга данная модель годится для оценок времени, потому что ключевая часть вычислений вписана в «сетки синхронизаций» с однозначными интервалами времени между состояниями узлов Машины. Алгоритм является таким же объектом теории, что и данные. Программный текст, использование этого текста в качестве алгоритма, и время на его исполнение в качестве алгоритма, доступно теперь исследованию в рамках Теории компьютерных строк в той же мере, что и используемые программой данные.
Приоритетные направления развития науки, технологий и техники в РФ: Информационно-телекоммуникационные системы
Реферат Свернуть Развернуть
Создана теоретическая основа для рассмотрения современных практических вычислительных систем. Поэтому все выгоды использования модели (наглядность, «предчувствие» теорем, основа непротиворечивости и т.д.) теперь обоснованы и находятся в нашем распоряжении, что поможет формализовать знания и обеспечить их сохранение и передачу при обучении ИТ-специалистов. Если реализовать рассмотренную архитектуру на практике, то снимаются ограничения на размер используемой памяти даже для дешёвых процессоров с малой разрядностью – что экономически эффективно для разнообразных простых в вычислительном отношении, но оперирующих с большой памятью систем. Появляется возможность «универсального» отношения к любой памяти, как к оперативной памяти – притом без всяких ограничений на размер и разрядность. И потенциально такая универсализация очень упрощает и удешевляет аппаратную разработку и низкоуровневое программирование.
Оригинал произведения Свернуть Развернуть
Содержательная часть РИД:
Хеш-код депонирования: c61604cd729d3d672bb980d7a8ee81da163c2a90eb2a7ac9571fb31740095e23
Источник поступления информации: Портал edrid.ru

Показаны записи 1-5 из 5.
12.03.2017
№217.015.93d1

Программа гильберта, np ≠ p, рефлексия

Была использована методика Гёделя по построению такого рода тестовой задачи из класса NP, которая оказывается заведомо неразрешимой для заданного (произвольного) алгоритма-решения. При этом данная тестовая задача принадлежит классу NP, а искомый алгоритм-решение представляет из себя метод свести...
Тип: Произведениe науки
28.09.2017
№217.015.eeea

Языки логики и классы сложности. рефлексия. np ≠ p

Переработка предыдущей заметки на эту тему – «Программа Гильберта, NP ≠ P, Рефлексия» ( https://edrid.ru/rid/217.015.93d1.html ) на базе формализма языков и классов их сложности из теории алгоритмов. В том числе были «переведены» кое-какие сведения из формальной логики в термины «языков» и...
Тип: Произведениe науки
25.04.2020
№220.018.19db

Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов

Построение теории первого порядка - теории строк (слов) Доказательство недостаточной выразительности рекурсивных функций и арифметики для теории алгоритмов.
Тип: Произведениe науки
03.08.2022
№222.018.40c4

Вычислимость по тьюрингу превосходит в принципиальном отношении вычислимость рекурсивных функций

В данной работе продемонстрировано, что вычислимость по Тьюрингу превосходит вычислимость рекурсивных функций, вопреки принятому сейчас и «доказанному» мнению об их одинаковой вычислимости. Так же, намечен путь построения теории строк.
Тип: Произведениe науки
30.01.2023
№223.018.4167

Числа арифметики пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики пеано не создаёт им эти свойства

Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства. То есть, с точки зрения возможности применять числа арифметики Пеано в качестве вычислимых объектов внутри какой-либо теории они не были...
Тип: Произведениe науки
Показаны записи 1-5 из 5.
12.03.2017
№217.015.93d1

Программа гильберта, np ≠ p, рефлексия

Была использована методика Гёделя по построению такого рода тестовой задачи из класса NP, которая оказывается заведомо неразрешимой для заданного (произвольного) алгоритма-решения. При этом данная тестовая задача принадлежит классу NP, а искомый алгоритм-решение представляет из себя метод свести...
Тип: Произведениe науки
28.09.2017
№217.015.eeea

Языки логики и классы сложности. рефлексия. np ≠ p

Переработка предыдущей заметки на эту тему – «Программа Гильберта, NP ≠ P, Рефлексия» ( https://edrid.ru/rid/217.015.93d1.html ) на базе формализма языков и классов их сложности из теории алгоритмов. В том числе были «переведены» кое-какие сведения из формальной логики в термины «языков» и...
Тип: Произведениe науки
25.04.2020
№220.018.19db

Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов

Построение теории первого порядка - теории строк (слов) Доказательство недостаточной выразительности рекурсивных функций и арифметики для теории алгоритмов.
Тип: Произведениe науки
03.08.2022
№222.018.40c4

Вычислимость по тьюрингу превосходит в принципиальном отношении вычислимость рекурсивных функций

В данной работе продемонстрировано, что вычислимость по Тьюрингу превосходит вычислимость рекурсивных функций, вопреки принятому сейчас и «доказанному» мнению об их одинаковой вычислимости. Так же, намечен путь построения теории строк.
Тип: Произведениe науки
30.01.2023
№223.018.4167

Числа арифметики пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики пеано не создаёт им эти свойства

Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства. То есть, с точки зрения возможности применять числа арифметики Пеано в качестве вычислимых объектов внутри какой-либо теории они не были...
Тип: Произведениe науки
+ добавить свой РИД