Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Теория программирования > Общие вопросы создания ПО
Перезагрузить страницу Программная логика: линейные бинарные графы и автоматы
Ответ
 
Опции темы Опции просмотра
  (#1 (permalink)) Старый
kbp kbp вне форума
Новичок
 
Сообщений: 6
Сказал(а) спасибо: 1
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 08.11.2014
По умолчанию Программная логика: линейные бинарные графы и автоматы - 08.11.2014, 06:32

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

под личным ресурсом понимать отпущенное Богом время двигать пальцами и пошевеливать извилинами несмотря на более чем суровый приговор медиков.
Ответить с цитированием
  (#3 (permalink)) Старый
kbp kbp вне форума
Новичок
 
Сообщений: 6
Сказал(а) спасибо: 1
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 08.11.2014
По умолчанию 09.11.2014, 07:54

несколько слов археологам 57-го века от неудавшегося ночного технического писателя про возможности деревянно-проволочных подражателей складывания в столбик:
Ответить с цитированием
  (#4 (permalink)) Старый
kbp kbp вне форума
Новичок
 
Сообщений: 6
Сказал(а) спасибо: 1
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 08.11.2014
По умолчанию 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. Библиотека вспомогательных классов контроля и управления
Заключение

м
Ответить с цитированием
  (#5 (permalink)) Старый
beroal beroal вне форума
Member
 
Сообщений: 108
Сказал(а) спасибо: 3
Поблагодарили 4 раз(а) в 4 сообщениях
Регистрация: 13.12.2002
По умолчанию 09.11.2014, 13:07

Зачем содержание аж 3 раза?
Ответить с цитированием
Пользователь сказал cпасибо:
kbp (09.11.2014)
Ads.
  (#6 (permalink)) Старый
kbp kbp вне форума
Новичок
 
Сообщений: 6
Сказал(а) спасибо: 1
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 08.11.2014
По умолчанию 09.11.2014, 23:18

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

Метки
структура программы

Опции темы
Опции просмотра

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Trackbacks are Вкл.
Pingbacks are Вкл.
Refbacks are Выкл.


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Автоматы dronotelo Задания за деньги 0 06.08.2012 23:17
линейные алгоритмы xeaton Pascal 0 27.02.2012 17:36
Автоматы с магазинной памятью Денек .NET 2 08.10.2011 10:47
Логика предикатов как составить массив irina03 Информационные технологии 1 14.11.2010 13:49
Линейные списки и графический интерфейс lb-lux Вопросы начинающих программистов 1 02.01.2010 17:41
логика капут))) aag Prolog 22 19.10.2009 19:04
логика король Prolog 3 19.05.2009 23:32
Линейные и разветвляющиеся алгоритмы. Срочно! Chaser Pascal 4 02.07.2006 06:51
Линейные двусвязные списки REX_SMUN С/С++ 1 29.04.2005 04:00
В чем логика функций MOD и DIV в Обероне kesha Oberon 5 18.10.2004 18:40



Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.
Нardforum.ru - компьютерный форум и программирование, форум программистов