DRAKON.SU

Доклад Паронджанова В.Д. "Визуальный язык ДРАКОН и неклассическая теория алгоритмов"


11 мая 2018 года я буду делать доклад на семинаре в Вычислительном центре имени А.А. Дородницына Российской академии наук (который сейчас входит в состав Федерального исследовательского центра «Информатика и управление» Российской академии наук).

Тема доклада - звучит как заезженная пластинка.

Не могу согласиться. Разработка неклассической теории алгоритмов — трудная задача.
Необходимо представить убедительные аргументы и проанализировать возможные возражения оппонентов.

Это дело совсем не простое.

доклад "Практическое применение языка ДРАКОН в космической отрасли с примерами" вызвал бы больше интереса имхо у профессионалов

Произошло изменение: не 11 мая, а 4 июня 2018

Доклад Паронджанова В.Д. "Визуальный язык ДРАКОН и неклассическая теория алгоритмов"


4 июня 2018 года я буду делать доклад на семинаре в Вычислительном центре имени А.А. Дородницына Российской академии наук (который сейчас входит в состав Федерального исследовательского центра «Информатика и управление» Российской академии наук).

Возможно.
Но я хочу не просто "вызвать интерес у профессионалов", а предложить для обсуждения ученым НОВУЮ НАУЧНУЮ идею.

Согласитесь, что это разные вещи.

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

Может, кому-либо покажется интересным...

Я выступил на конференции "Пром-инжиниринг" в Москве 17 мая и XXI Международной конференции по мягким вычислениям и измерениям в Санкт-Петербурге 23 мая с докладами примерно на одну тему. А именно: "Адаптивные расписания как семантическая модель управляющих алгоритмов реального времени".

Прилагаю материалы. Рассматриваются в том числе разновидности алгоритмов и смысл понятия "алгоритм" - традиционное распространенное понимание и понятия "управляющий алгоритм", "управляющий алгоритм реального времени".

Замечу, что в числе причин, побудивших меня на это публичное выступление, была и дискуссия на здешнем и родственном форуме.

Есть пример какой-нибудь практической задачи, решённой с помощью предлагаемой нотации?
Так, чтобы можно было сравнить с чем-нибудь.
"Вот блок-схема, а вот оно же в виде адаптивных расписаний".

Сейчас ни в статье, ни в слайдах конкретного примера нет

Ну-ну. А 16-18 слайды с копиями экранов откуда появились? Из воздуха? )))

Используются эти модели на протяжении более чем 20 лет в прикладных разработках для космических предприятий.

Я могу посмотреть на их и прикинуть что-то. Но эти снимки экрана никак не помогают понять то какие задачи помогает решать предлагаемый подход.
На слайдах сплошь и рядом конструкции f000, f004, f006, t005, a001 и так далее. Совершенно непонятно каким образом это добро что-то там упрощает.

Если бы вы сделали постановку задачи (например, 'светофор') и потом показали как её можно решить скриншотами, то было бы гораздо понятнее.

Абстрактная алгебра это не конкретный пример. Снимок экрана - тоже.

Поймите меня правильно. Я различаю греческие буквы, и понимаю смысл букв УА РВ = { < fi, ti , τi , l i > }. Но это "великое" уравнение никак в себе не содержит пример использования. Чтобы понять сильные/слабые стороны предлагаемого подхода, мне нужно как-то самому напялить эти греческие буквы на мою задачу. Может, они и хорошие эти буквы, но пока так не выглядит. Я смотрю на картинки 16-18 и понимаю, что там тоже без поллитра не разберёшься.

Посмотрел презентацию. Есть одно замечание по слайду №5 - по последним двум строкам.
Наблюдается попытка притянутой за уши классификации ради классификации; в реальности эти два вида очень плотно перемешиваются и по отдельности встречаются крайне редко.
Так, рабочий цикл в промышленных контроллерах вроде бы представляет собой явный пример "УА РВ, управляемого временем", однако реальные изменения и события в системе (в части дискретной логики, конечно, речь не идёт об аналоговых контурах управления) начинаются при поступлении внешних событий - то есть одновременно это и "УА РВ, управляемый событиями".
Думаю, вернее всего говорить в данном случае об управлении событиями, но в дискретной области (дискретизация по времени).
А уж такие характеристики как "активная/пассивная природа" и вовсе зависят от конкретной задачи, но не присущи самим алгоритмам - УА РВ обоих рассмотренных видов можно строить как пассивными, так и активными (а на практике они опять же обычно комбинируется).

Слайды 12, 16-17 очень одобряю. Делал когда-то подобные инструменты, вещь крайне полезная в инженерной практике. Удивительно, что до сих пор вроде нет распространённого программного продукта - по идее его надо было бы выпустить лет так тридцать назад...

Раньше был сайт: http://grafkont.ru/
Остался в архивах: https://web.archive.org/web/20150801174337/http://grafkont.ru/

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


Где-то было больше инфы, но не могу вспомнить.

Неверно. Время - особая субстанция.

Кстати, данный аспект классификации - не мое изобретение.

В классической книге Гецци, Джазайери, Мандриоли "Основы инженерии программного обеспечения" именно так на 58 странице и написано - "управляемые событиями" и "управляемые временем" системы реального времени...

Согласен, но такая классификация не очень полезна.
На практике как только в управляемом событиями УА РВ появится какое-нибудь реле времени или таймер, УА сразу становится комбинированным.
И в то же время дисркетизация по времени в УА РВ, независимо от прочей классификации, существенна. И эту особенность поэтому тоже можно добавить в критерий классификации. Но дерева уже получается криво, потому что все эти критерии переплетаются:

- УА РВ
- - аналоговые
- - цифровые
- - - управляемые временем (всегда с дискретизацией по времени?)
- - - управляемые событиями
- - - - без учёта времени
- - - - с дискретизацией по времени
и это ещё наверняка не все возможные комбинации.

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

Доклад Паронджанова В.Д. "Визуальный язык ДРАКОН и неклассическая теория алгоритмов"


Сегодня 4 июня 2018 года я сделал доклад на семинаре в Вычислительном центре имени А.А. Дородницына Российской академии наук (который сейчас входит в состав Федерального исследовательского центра «Информатика и управление» Российской академии наук).

Указанный семинар посвящен памяти выдающегося ученого и конструктора первой автоматизированной системы Противовоздушной обороны Советского Союза 3алмана Михайловича Бененсона.

Презентация моего доклада состоит из 55 слайдов.
В ближайшее время я выложу презентацию на сайте.

В работе семинара участвовали 15 человек, в том числе Директор Федерального исследовательского центра «Информатика и управление» академик РАН Игорь Анатольевич Соколов

Понедельник, 04 Июнь, 2018 19:24
Когда?

По требованию организатора семинара Я.В. Безеля пишу статью в сборник по материалам доклада.

Основной текст статьи я уже написал.
Осталось написать два Приложения (к статье) по тематике
двух Институтов (из пяти) входящих в состав Федерального исследовательского центра "Информатика и управление" РАН (ФИЦ ИУ РАН).

Надеюсь закончить через 10 дней.

Сейчас для меня это главная задача

Кончил писать статью и отослал ее Безелю.

Гора с плеч свалилась.

Я потратил на эту статью ровно 40 дней.
Статья получилась 37 страниц.

Посмотрим, что из этого выйдет