DRAKON.SU

Объяснил? Это не так. На самом деле вы пока что ничего не объяснили. Почти ничего. Вы не пользуетесь научным стилем изложения материала.

В первую очередь надо написать научную статью в научном рецензируемом журнале. Лучше всего в журнале Российской академии наук.

Михаил, к сожалению, почти все, что вы написали в этой теме, не годится для научной статьи.

Я догадываюсь). Все равно с Новым Годом! И огромная благодарность за Вашу помощь и участие. Ваши замечания были очень полезны для меня. На новый год я малость подчищу транслятор, затем сделаю виртуальную машину для показать. А там есть что. Я плохой рассказчик. Но еще вернусь как сделаю да и буду заходить может чего еще подскажете. Я хоть понятно пишу? А то у меня ощущение что не очень понятно.))
С Новым Годом!!! Спасибо!

Михаил, похоже, что вы сделали важное изобретение — изобрели новый компьютер. Я хотел бы пригласить сюда знающих людей, но для этого нужно, чтобы вы представили три вещи:
— точное название
— аннотацию
— оглавление.
Я не могу их пригласить, потому что вы не представили эти три вещи в удовлетворительном виде. Аннотации вообще нет. Это никуда не годится.
Нельзя вместо слова компьютер писать машина, машина Тьюринга

Это не обязательно.
А точное название, аннотация и оглавление нужны обязательно.

Хорошо. Подработаю содержание и оглавление. А что такое аннотация? Что там надо писать?
Кстати, вы обратили внимание что один раз написаны концепты не нуждаются в редактировании? Все изменения в работе делаются изменением подписок! Это полная имутабельность! Один раз написанное не надо переделывать! Все связи только подписками. Любое изменение ТЗ не легко внедрять.

У вас дома есть технические и научные книги? В каждой книге есть аннотация.


Привожу два примера из книжных магазинов. конечно, рекламный оттенок надо удалить.

Хотя главное назначение машины Тьюринга в работе математической моделью, её важнейшее свойство в том, что она действительно может быть аппаратной машиной, иначе она не могла бы выполнить своё предназначение по формализации исполнителя алгоритмов
https://youtu.be/E3keLeMwfHY
https://youtu.be/vo8izCKHiF0

Я не рассматривал свое описание машины как математическую модель. Хотя, может быть это и возможно. Просто по аналогии легче объяснить работу задуманного. По поводу аннотации, у меня есть краткое описание. Я его отправлю отдельным сообщением.

Основные концепции.

1. Предлагается новая архитектура компьютера, основанная на реактивных принципах и организацией данных памяти в виде графа и предполагающую параллельное выполнение на нескольких процессорах и шинах данных. Вершины графа представлены единой структурой данных названными концептами, а ветви графа представляют адресацию (или подписку).
2. Формализована вся система. А, именно: Все понятия и данные построены по единому принципу основе трех базовых понятий. В том числе и язык программирования и, естественно, новое определение грамматик, представляющая собой единое целое с работой компьютера, и потому фактически являющаяся транслятором.
3. События определены как изменение состояния памяти и являются элементарными логическими высказываниями на основе которых (и правил работы компьютера) строятся формулы-высказывания, которые могут выполняться параллельно и не только императивно, но и методом логического разбора (как в Прологе).
4. Взаимодействие между концептами осуществляется с помощью подписок, которые являются реакциями на событие, что может задаваться не только в представлении данных (это более правильное название процесса программирования для предлагаемой архитектуры), но и удаленно, тем самым изменяя существующий функционал без изменения самих концептов (полная иммутабельность).
5. События можно рассматривать как персептроны, (где выражение в качестве функции активации), а подписки – синапсами. В таком представлении имеем модель работы нейронной сети (ИИ) с интегрированным управлением.
Все что ниже обеспечивается единым форматом для управления и интеграции.
Управление системой универсально и предлагает:
a.) Визуализацию. Легко визуализируется в виде текста, элементов управления, таблиц или в любом другом виде удобном для пользователя. Фактически браузер. С любым наполнением и «оживлением» в виде создания собственных событий и реакций.
b.) Добавление новых подписок изменяя функционал.
c.) Добавление новых классов концептов и концептов.
d.) Обеспечивает универсальный протокола обмена так как представляет собой обмен концептами, классы которых описаны в приемнике и передатчике (если описание класса отсутствует, то его можно запросить у передатчика), потому универсален и прост так, как структура каждой транзакции сформулирована в описании класса передаваемого концепта. По этой причине система легко интегрируется и фактически является распределенной. Причем распределенными автоматически являются и сервера и устройства управления и браузеры построенные на предлагаемых принципах. Облачный сервис предлагается как часть общего принципа работы системы.
e.) Универсальна структура документов, потому нет необходимости в расширениях файла. Обмен и загрузка данных (и визуальное представление) универсальны. Как и и процесс их редактирования, представляющих данные в различных видах представления. Одним из которых является текстовый и одновременно транслятор. Табличная форма получается автоматически как Exel, графика и прочее просто виды представления. По этой причине среда является одновременно и транслятором и редактором и браузером и сервером.

В спешке упустил еще один вид визуализации! Тот, что стал поводом для нашего знакомства. Я его назвал схема событий. По аналогии со схемой данных в базах данных. И в трансляторе что я делаю предусмотрен такой вид. Это как раз блок схемы. Ведь блок-схемы это последовательность выполнения. В императивной парадигме ветвления только по If и Case. У меня как-то надо визуализировать подписки. Они будут выглядеть типа Case. А в базах данных -схема данных это ребра адресации (подписки) к полям сторонних таблиц, каждая из которых визуализируется как множество строк концептов одного класса. Каждое свойство -столбец. Ну, надо продумывать. Что б было удобно. Вы в этом дока!!!

1. Где название темы?

2. Не указана цель. Зачем нужен новый компьютер? В чем выгода?

3. Это компьютер фон Неймана? Если нет, в чем отличие?

4. Что такое реактивные принципы? Это реактивное программирование? Или нет?

1. Я уже забыл как название.. Запутался. Ну, как-то назовем.
2. Так это ж будет бомба. Вот стоит какой то прибор работает, допустим показывает температуру. И нам понадобилось к нему другой подключить что б запустить какой то процесс. Оформляем подписку (или создаем собственное событие) и подписываемся что б ото что там запустило то, что нам надо здесь. Структура концептов единая. Управляющее устройство может полностью управлять всей системой из нескольких приборов. Протокол единый. В данном случае просто адреса. И вообще там столько возможностей о которых даже я еще не догадываюсь.
Как то была задача распределить датчики равномерно по интерфейсам (на контроллере было 2 интерфейса I2C. Так на моей системе можно вообще динамически их распределять подключаясь к любому из них по необходимости в горячем режиме.
3. В перспективе лучше новая архитектура. Но, можно на любом контроллере смоделировать. Для начала бизнеса это вполне годится.
4. Ну, да. Реактивное программирование-событие-обработка. Принцип такой.

А что здесь нового?
— реактивное программирование давно известно.
— параллельное выполнение на нескольких процессорах тоже известно.
— шины данных тоже известны.

Михаил, вы не ответили на три вопроса:
1. Где название темы?

2. Не указана цель. Зачем нужен новый компьютер? В чем выгода? Ваш ответ неудовлетворительный.

3. Это компьютер фон Неймана? Если нет, в чем отличие? Ваш ответ неудовлетворительный.

Я извиняюсь. Небрежно ответил. Замотался тут и с подготовкой и ошибку обнаружил. Обещаю к вечеру ответить.

Работаю. Вот новое описание машины сделал. Кажется проще. Думаю что ее можно исследовать и как математическую модель. Просто некогда заняться. Дело в том, что при всей абстрактности понятия "состояние", событий меньше 16. Это 5 адресаций и баловство со сравнением с нулем, или другим значением и проверка на наличие значения. Все остальное порождается из этих приобретая семантический смысл. Так событие Key_Up это тоже ноль или единица на какой-то ножке контроллера.

Устройство состоит из конечного числа пронумерованных ячеек, которые мы назовем концептами и абстрактного понятия «головка» в функция которой адресоваться к концепту одним из видов адресации. Видов адресации 4. Для чтения, для записи, для выполнения и для инициализации. Каждый из видов адресации включает в себя составной частью просто адресацию.
Событием назовем изменение состояния концепта.
Работа начинается с адресации одного из концепта одним из видов адресации, что порождает события (конечное число) в адресованном концепте как самой адресацией, так и возможным изменением состояния концепта.
Каждый концепт может иметь подписки на события. Т.е. номер концепта к которому перемещается головка при выполнении данного события с указанием вида адресации. Событий может быть конечное число, как и и подписок на одно событие.
Работа головки завершается по выполнению вида адресации. Подписки порождают новые головки для адресации и, возможно, новые концепты подпиской на инициализацию.
Графически машину можно представить в виде графа с вершинами концептами и ребрами подписками.

Оно известно только для конкретных задач где алгоритм позволяет распараллеливание. Общего решения в императивной парадигме нет. И у меня его нет. Я просто перевернул вычислительную нагрузку на анализ состояния. А так как анализ состояния не меняет его, то можно выполнять параллельно. За императивной частью предусмотрены группы последовательного выполнения. От этого никуда не денешься. Другое дело что такой подход заставляет решать задачу уделяя внимание смысловой (событийной) части. Т.е. думать по другому. Это интересный момент я не раскрывал еще. Дело в том, что решая и определяя задачу в терминах событий, мы применяем технику ближе к декларативной. Типа Пролога. Например, для того что б определить знак числа в четной степени не обязательно производить вычисления. Это ж анализ событий на знак основания и на четность степени. И это заложено в архитектуре. И разбор грамматики и трансляция все идет декларативно. Я просто не акцентировал на этом внимание. Есть определение понятий и группирование по принципу И/ИЛИ. Адресация каждого концепта имеет событие "Выполнение" И мы можем подписываться на это событие. В общем надо показывать.

Я просидел весь день. Не могу я написать, то что вы просите. Мысли плывут. Перечислять что меня подвигло, это глупо. Я придумал. Сел и больше 20лет работал. И что-то родил. Но, это не то что надо написать. Избавьте. Могу на вопросы отвечать.. Вот что получилось..
Современная архитектура компьютеров тяготеет к императивному программированию, что является проблемой для моделирования физического мира. Разрыв между архитектурой, системой, языками программирования и работой пользователя решается построением иерархии и приложений. Я предлагаю архитектуру компьютера, систему, язык программирования и применение пользователем как единое целое. Исчезают полностью понятия ввода/вывода, отсутствуют приложения. Пользователь работает в среде где и транслятор, и редактор, и браузер и вообще все есть единая среда. Причем она является распределенной и единой для всех устройств и компьютеров удаленно подключенных пользователем логически независимо от интерфейса. То ли проводной, то ли в сети Инет или в облаке. Единый язык и для программирования и для построения сайтов и для управления браузером или подключенными устройствами. Первое, и наиболее коммерчески выгодное применение предполагается в области автоматики. Ибо в этой области нет предложений даже близко по возможностям даже в серьезнейших фирмах. Практически все изделия эксклюзивные частично или полностью. И объединять их в систему дорогое удовольствие. А иногда не возможно даже за дорого.

1. История проекта.
2. Общие соображения.
3. Работа НМТК. (Не детерминированная машина Тьюринга. Концептная.
4. Базовые понятия. Структура концепта.
5. Текстовое построение концепта. Основы синтаксиса.
6. Группы. Создание. Синтаксис.
7. Перечислимые типы.
8. Группы. Выполнение.
9. Примеры групп. Or, And, Select, While, Until.
10. Определение групп. Пустые скобки. Примеры.
11. Типы данных. Определение.
12. Операторы. Определения.
13. События. Определения.
14. Адресация
15. Лексика.
16. Синтаксис.
17. Текстовые группы. Определение знаков, алфавита, лексем.
18. Программирование. Структура концепта.
18.1.Атрибуты.
18.2. Подписки.
18.3. Методы. Инициализация.
18.4. Классы. Конструктор.

С Наступающим! Ну, вот так. Еще раз спасибо!

Это ты зря. Я как раз на теме графического представления и тормознулся. Актуальность вне сомнений. Есть проблема объективная. Многопоточность сразу перечеркивает понятие "алгоритм"
Блок схемы отражают только один поток. И это объективно. Многопроцессорность это еще серьезней чем многопоточность. Если потоки можно разделить, то многопроцессорность подразумевает ветвление внутри "программы" и, возможно, возвраты. Т.е. Так гладко не получается графически. Пока не могу уделить много времени этой проблеме, но ощущение что графически это будет выглядеть как набор Case-ов.

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