Компьютерный форум

Компьютерный форум (http://www.hardforum.ru/)
-   Общие вопросы создания ПО (http://www.hardforum.ru/f159/)
-   -   Программная логика: линейные бинарные графы и автоматы (http://www.hardforum.ru/t118505/)

kbp 08.11.2014 06:32

Программная логика: линейные бинарные графы и автоматы
 
Когда-то я работал играющим тренером а потом просто игроком в команде программистов, оживляющих бортовую автоматику. Потом организм сдал и занялся консультированием будущих ученых, продолжая программировать уже как любитель в поисках того, чего еще не было сделано. Попутно создал некую теорию в части моделирования структур программ с использованием графов и автоматов: почти все было разбросано по не хилым журналам. Ключевой термин: линейный бинарный граф. Опорный авторитет: господин Липаев (известный автор множества книг).
Основной тезис: Программа может быть переупорядочена так, чтобы обеспечить: минимальную сложность ее структуры (наименьшую трудоемкость анализа), минимальную длину стека, наибольшее вероятное быстродействие, наибольшую достоверность вычислений. Все это обеспечивает аппарат линейных бинарных графов и булевых формул.
Десять лет назад собрал весь материал в книгу, которую так и не хватило ресурсов издать, да и объем был за 600-700 стр.
Сейчас возможности ограничены физически (данный текст набирается через "не могу"). В начале года смог урезать книгу до четырех глав, ориентировав ее на программистов разного профиля. Но дальше сработал "Стоп": мне уже под 70, а молодежь теперь иная, чем до перестройки.
Поэтому обязательно нужен соавтор, который поможет отредактировать подачу материала в интересах современной программирующей публики.
Актуальность темы пока не исчерпана, развитие ее в направлении параллельных вычислений. А линейные бинарные графы могут найти применение не только в программировании.
Время идет, есть материал еще на книгу и еще на исследования, но личный ресурс под вопросом. Прошу помощи, если преемственность поколений актуальна.

kbp 08.11.2014 15:42

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

kbp 09.11.2014 07:54

несколько слов археологам 57-го века от неудавшегося ночного технического писателя про возможности деревянно-проволочных подражателей складывания в столбик:

kbp 09.11.2014 07:56

PHP Код:
СОДЕРЖАНИЕ
Список аббревиатур
Предисловие
Введение
Глава 1. Анатомия логического условия
1.1.    Модели вычислений логических условий
1.1.1.  Скобочные булевы формулы
1.1.2.  Операторные схемы
1.1.3.  Линейные бинарные графы
1.1.4.  Ортогональные формы
1.1.5.  Нечеткие множества переходов
1.1.6.  Алгоритмы преобразований моделей друг в друга
1.2.    Структурная сложность булевых формул
Характеризует трудоемкость анализа (проверки правильности) логического условия, и это оценивается как
Число и суммарная длина путей линейного бинарного графа: подсчет,оценки, алгоритмы оптимизирующих перестановок членов булевой формулы
1.3.    Временная сложность булевых формул
Определяет длительность вычисления значения логического условия. Расчет, оценки, алгоритмы перестановок членов булевой формулы в обеспечение минимального времени вычислений.
1.4.    Достоверность вычислений булевых формул
Расчеты, оценки и алгоритмы перестановок членов булевых формул в обеспечение максимальной достоверности вычислений
1.5.    Оптимизация продукционных баз знаний по длительности и достоверности логичческого вывода (например в языке ПРОЛОГ)
Глава 2. Логика ациклических программ
Произвольный ациклический фрагмент программы,включающий логические условия (ветвления), фактически реализует систему булевых функций.
2.1. Метод независимых фрагментов – реорганизует программу и уменьшает трудоемкость проверки ее правильности.
2.2. Факторизация – реорганизация ветвлений без повторений общих частей логических условий
2.3. Настраиваемые бинарные процедуры
2.4. Логическая обработка многоразрядных данных
2.5. Интервальные дешифраторы
2.6. Верификация ациклических программ
Глава 3. Логика циклических программ
3.1. Структура и сложность программ и представление их С-автоматами
3.2. Пошаговый синтез автоматных программ
3.3. Распределенные конечные автоматы
3.4. Последовательно-событийные автоматы
3.5. Каноническое представление и верификация автоматов
Глава 4. Примеры логики управления техникой
4.1. Типовая управляющая программа
4.2. Вариант управления механизмом
4.3. Типовой класс логического управления
4.4. Классы контроля и управления агрегатами триггерного типа
4.5. Библиотека вспомогательных классов контроля и управления
Заключение

СОДЕРЖАНИЕ
Список аббревиатур
Предисловие
Введение
Глава 1. Анатомия логического условия
1.1.    Модели вычислений логических условий
1.1.1.  Скобочные булевы формулы
1.1.2.  Операторные схемы
1.1.3.  Линейные бинарные графы
1.1.4.  Ортогональные формы
1.1.5.  Нечеткие множества переходов
1.1.6.  Алгоритмы преобразований моделей друг в друга
1.2.    Структурная сложность булевых формул
Характеризует трудоемкость анализа (проверки правильности) логического условия, и это оценивается как
Число и суммарная длина путей линейного бинарного графа: подсчет,оценки, алгоритмы оптимизирующих перестановок членов булевой формулы
1.3.    Временная сложность булевых формул
Определяет длительность вычисления значения логического условия. Расчет, оценки, алгоритмы перестановок членов булевой формулы в обеспечение минимального времени вычислений.
1.4.    Достоверность вычислений булевых формул
Расчеты, оценки и алгоритмы перестановок членов булевых формул в обеспечение максимальной достоверности вычислений
1.5.    Оптимизация продукционных баз знаний по длительности и достоверности логичческого вывода (например в языке ПРОЛОГ)
Глава 2. Логика ациклических программ
Произвольный ациклический фрагмент программы,включающий логические условия (ветвления), фактически реализует систему булевых функций.
2.1. Метод независимых фрагментов – реорганизует программу и уменьшает трудоемкость проверки ее правильности.
2.2. Факторизация – реорганизация ветвлений без повторений общих частей логических условий
2.3. Настраиваемые бинарные процедуры
2.4. Логическая обработка многоразрядных данных
2.5. Интервальные дешифраторы
2.6. Верификация ациклических программ
Глава 3. Логика циклических программ
3.1. Структура и сложность программ и представление их С-автоматами
3.2. Пошаговый синтез автоматных программ
3.3. Распределенные конечные автоматы
3.4. Последовательно-событийные автоматы
3.5. Каноническое представление и верификация автоматов
Глава 4. Примеры логики управления техникой
4.1. Типовая управляющая программа
4.2. Вариант управления механизмом
4.3. Типовой класс логического управления
4.4. Классы контроля и управления агрегатами триггерного типа
4.5. Библиотека вспомогательных классов контроля и управления
Заключение

СОДЕРЖАНИЕ
Список аббревиатур
Предисловие
Введение
Глава 1. Анатомия логического условия
1.1.    Модели вычислений логических условий
1.1.1.  Скобочные булевы формулы
1.1.2.  Операторные схемы
1.1.3.  Линейные бинарные графы
1.1.4.  Ортогональные формы
1.1.5.  Нечеткие множества переходов
1.1.6.  Алгоритмы преобразований моделей друг в друга
1.2.    Структурная сложность булевых формул
Характеризует трудоемкость анализа (проверки правильности) логического условия, и это оценивается как
Число и суммарная длина путей линейного бинарного графа: подсчет,оценки, алгоритмы оптимизирующих перестановок членов булевой формулы
1.3.    Временная сложность булевых формул
Определяет длительность вычисления значения логического условия. Расчет, оценки, алгоритмы перестановок членов булевой формулы в обеспечение минимального времени вычислений.
1.4.    Достоверность вычислений булевых формул
Расчеты, оценки и алгоритмы перестановок членов булевых формул в обеспечение максимальной достоверности вычислений
1.5.    Оптимизация продукционных баз знаний по длительности и достоверности логичческого вывода (например в языке ПРОЛОГ)
Глава 2. Логика ациклических программ
Произвольный ациклический фрагмент программы,включающий логические условия (ветвления), фактически реализует систему булевых функций.
2.1. Метод независимых фрагментов – реорганизует программу и уменьшает трудоемкость проверки ее правильности.
2.2. Факторизация – реорганизация ветвлений без повторений общих частей логических условий
2.3. Настраиваемые бинарные процедуры
2.4. Логическая обработка многоразрядных данных
2.5. Интервальные дешифраторы
2.6. Верификация ациклических программ
Глава 3. Логика циклических программ
3.1. Структура и сложность программ и представление их С-автоматами
3.2. Пошаговый синтез автоматных программ
3.3. Распределенные конечные автоматы
3.4. Последовательно-событийные автоматы
3.5. Каноническое представление и верификация автоматов
Глава 4. Примеры логики управления техникой
4.1. Типовая управляющая программа
4.2. Вариант управления механизмом
4.3. Типовой класс логического управления
4.4. Классы контроля и управления агрегатами триггерного типа
4.5. Библиотека вспомогательных классов контроля и управления
Заключение

м

beroal 09.11.2014 13:07

Зачем содержание аж 3 раза?

kbp 09.11.2014 23:18

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


Часовой пояс GMT +4, время: 20:04.

Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.