DRAKON.SU https://forum.drakon.su/ |
|
Визуальный язык ДРАКОН и неклассическая теория алгоритмов https://forum.drakon.su/viewtopic.php?f=168&t=6230 |
Страница 1 из 2 |
Автор: | Владимир Паронджанов [ Четверг, 05 Апрель, 2018 21:52 ] |
Заголовок сообщения: | Визуальный язык ДРАКОН и неклассическая теория алгоритмов |
Доклад Паронджанова В.Д. "Визуальный язык ДРАКОН и неклассическая теория алгоритмов" 11 мая 2018 года я буду делать доклад на семинаре в Вычислительном центре имени А.А. Дородницына Российской академии наук (который сейчас входит в состав Федерального исследовательского центра «Информатика и управление» Российской академии наук). Цитата: 11 мая 2018г. в Федеральном исследовательском центре «Информатика и управление» Российской академии наук будет проводиться научный семинар, посвященный памяти выдающегося ученого и конструктора первой
автоматизированной системы ПВО Советского Союза 3.М. Бененсона. 5. Паронджанов В.Д., кандидат технических наук, старший научный сотрудник "Визуальный язык ДРАКОН и неклассическая теория алгоритмов" |
Автор: | LKom [ Пятница, 06 Апрель, 2018 21:32 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Тема доклада - звучит как заезженная пластинка. |
Автор: | Владимир Паронджанов [ Пятница, 06 Апрель, 2018 21:39 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
LKom писал(а): Тема доклада - звучит как заезженная пластинка. Не могу согласиться. Разработка неклассической теории алгоритмов — трудная задача. Необходимо представить убедительные аргументы и проанализировать возможные возражения оппонентов. Это дело совсем не простое. |
Автор: | Игорь Мазница [ Пятница, 06 Апрель, 2018 21:51 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
доклад "Практическое применение языка ДРАКОН в космической отрасли с примерами" вызвал бы больше интереса имхо у профессионалов |
Автор: | Владимир Паронджанов [ Суббота, 21 Апрель, 2018 13:28 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Произошло изменение: не 11 мая, а 4 июня 2018 Доклад Паронджанова В.Д. "Визуальный язык ДРАКОН и неклассическая теория алгоритмов" 4 июня 2018 года я буду делать доклад на семинаре в Вычислительном центре имени А.А. Дородницына Российской академии наук (который сейчас входит в состав Федерального исследовательского центра «Информатика и управление» Российской академии наук). Цитата: 4 июня 2018г. в Федеральном исследовательском центре «Информатика и управление» Российской академии наук будет проводиться научный семинар, посвященный памяти выдающегося ученого и конструктора первой автоматизированной системы ПВО Советского Союза 3.М. Бененсона.
5. Паронджанов В.Д., кандидат технических наук, старший научный сотрудник "Визуальный язык ДРАКОН и неклассическая теория алгоритмов" |
Автор: | Владимир Паронджанов [ Суббота, 26 Май, 2018 10:08 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Игорь Мазница писал(а): доклад "Практическое применение языка ДРАКОН в космической отрасли с примерами" вызвал бы больше интереса имхо у профессионалов Возможно. Но я хочу не просто "вызвать интерес у профессионалов", а предложить для обсуждения ученым НОВУЮ НАУЧНУЮ идею. Согласитесь, что это разные вещи. |
Автор: | Игорь Мазница [ Суббота, 26 Май, 2018 15:34 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Цитата: Согласитесь, что это разные вещи. да, с учеными это попытка революционного действия, которое требует огромного количества времени и ресурсов с крайне малой вероятностью положительного исхода, так как аудитория сильно оторванная от практики, а с профессионалами это гораздо большая вероятность положительного исхода за обозримое время и эволюционный подход, по моему Ботвинник в своей книге "шахматный метод решения..." приводил пример одного математика советского который так ничего и не смог доказать советским же ученым, зато им доказало внедрение его теории в практику американцами (уже после смерти мтематика) и скрепя сердце советским ученым пришлось собираться опять и отменять осуждение и игнорирование |
Автор: | TAU [ Воскресенье, 27 Май, 2018 22:44 ] | |||
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо | |||
Может, кому-либо покажется интересным... Я выступил на конференции "Пром-инжиниринг" в Москве 17 мая и XXI Международной конференции по мягким вычислениям и измерениям в Санкт-Петербурге 23 мая с докладами примерно на одну тему. А именно: "Адаптивные расписания как семантическая модель управляющих алгоритмов реального времени". Прилагаю материалы. Рассматриваются в том числе разновидности алгоритмов и смысл понятия "алгоритм" - традиционное распространенное понимание и понятия "управляющий алгоритм", "управляющий алгоритм реального времени". Замечу, что в числе причин, побудивших меня на это публичное выступление, была и дискуссия на здешнем и родственном форуме.
|
Автор: | Владимир Ситников [ Понедельник, 28 Май, 2018 17:02 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
TAU писал(а): Прилагаю материалы. Рассматриваются в том числе разновидности алгоритмов и смысл понятия "алгоритм" - традиционное распространенное понимание и понятия "управляющий алгоритм", "управляющий алгоритм реального времени". Есть пример какой-нибудь практической задачи, решённой с помощью предлагаемой нотации? Так, чтобы можно было сравнить с чем-нибудь. "Вот блок-схема, а вот оно же в виде адаптивных расписаний". Сейчас ни в статье, ни в слайдах конкретного примера нет |
Автор: | TAU [ Вторник, 29 Май, 2018 22:11 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Владимир Ситников писал(а): Сейчас ни в статье, ни в слайдах конкретного примера нет Ну-ну. А 16-18 слайды с копиями экранов откуда появились? Из воздуха? ))) Используются эти модели на протяжении более чем 20 лет в прикладных разработках для космических предприятий. |
Автор: | Владимир Ситников [ Вторник, 29 Май, 2018 22:54 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
TAU писал(а): Ну-ну. А 16-18 слайды с копиями экранов откуда появились? Из воздуха? ))) . Я могу посмотреть на их и прикинуть что-то. Но эти снимки экрана никак не помогают понять то какие задачи помогает решать предлагаемый подход. На слайдах сплошь и рядом конструкции f000, f004, f006, t005, a001 и так далее. Совершенно непонятно каким образом это добро что-то там упрощает. Если бы вы сделали постановку задачи (например, 'светофор') и потом показали как её можно решить скриншотами, то было бы гораздо понятнее. Абстрактная алгебра это не конкретный пример. Снимок экрана - тоже. Поймите меня правильно. Я различаю греческие буквы, и понимаю смысл букв УА РВ = { < fi, ti , τi , l i > }. Но это "великое" уравнение никак в себе не содержит пример использования. Чтобы понять сильные/слабые стороны предлагаемого подхода, мне нужно как-то самому напялить эти греческие буквы на мою задачу. Может, они и хорошие эти буквы, но пока так не выглядит. Я смотрю на картинки 16-18 и понимаю, что там тоже без поллитра не разберёшься. |
Автор: | Alexey_Donskoy [ Среда, 30 Май, 2018 20:29 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
TAU писал(а): Рассматриваются в том числе разновидности алгоритмов Посмотрел презентацию. Есть одно замечание по слайду №5 - по последним двум строкам.Наблюдается попытка притянутой за уши классификации ради классификации; в реальности эти два вида очень плотно перемешиваются и по отдельности встречаются крайне редко. Так, рабочий цикл в промышленных контроллерах вроде бы представляет собой явный пример "УА РВ, управляемого временем", однако реальные изменения и события в системе (в части дискретной логики, конечно, речь не идёт об аналоговых контурах управления) начинаются при поступлении внешних событий - то есть одновременно это и "УА РВ, управляемый событиями". Думаю, вернее всего говорить в данном случае об управлении событиями, но в дискретной области (дискретизация по времени). А уж такие характеристики как "активная/пассивная природа" и вовсе зависят от конкретной задачи, но не присущи самим алгоритмам - УА РВ обоих рассмотренных видов можно строить как пассивными, так и активными (а на практике они опять же обычно комбинируется). Слайды 12, 16-17 очень одобряю. Делал когда-то подобные инструменты, вещь крайне полезная в инженерной практике. Удивительно, что до сих пор вроде нет распространённого программного продукта - по идее его надо было бы выпустить лет так тридцать назад... |
Автор: | PSV100 [ Четверг, 31 Май, 2018 19:25 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Владимир Ситников писал(а): Я смотрю на картинки 16-18 и понимаю, что там тоже без поллитра не разберёшься. Раньше был сайт: http://grafkont.ru/ Остался в архивах: https://web.archive.org/web/20150801174337/http://grafkont.ru/ Наткнулся у себя в загашниках на парочку обзорных статеек, скорее всего, когда-то здесь на форуме представленных: Вложение:
ВИЗУАЛЬНЫЙ ПОДХОД К ВЕРИФИКАЦИИ УПРАВЛЯЮЩИХ ПРОГРАММ РЕАЛЬНОГО ВРЕМЕНИ.pdf [446.17 КБ]
Скачиваний: 415 Вложение:
ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЯ НАДЕЖНЫХ УПРАВЛЯЮЩИХ АЛГОРИТМОВ РЕАЛЬНОГО ВРЕМЕНИ ДЛЯ КОСМИЧЕСКИХ АППАРАТОВ.pdf [443.35 КБ]
Скачиваний: 390 Где-то было больше инфы, но не могу вспомнить. |
Автор: | TAU [ Пятница, 01 Июнь, 2018 00:38 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Alexey_Donskoy писал(а): Думаю, вернее всего говорить в данном случае об управлении событиями, но в дискретной области (дискретизация по времени) Неверно. Время - особая субстанция. Кстати, данный аспект классификации - не мое изобретение. В классической книге Гецци, Джазайери, Мандриоли "Основы инженерии программного обеспечения" именно так на 58 странице и написано - "управляемые событиями" и "управляемые временем" системы реального времени... |
Автор: | Alexey_Donskoy [ Пятница, 01 Июнь, 2018 11:54 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
TAU писал(а): Alexey_Donskoy писал(а): Думаю, вернее всего говорить в данном случае об управлении событиями, но в дискретной области (дискретизация по времени) Неверно. Время - особая субстанция.На практике как только в управляемом событиями УА РВ появится какое-нибудь реле времени или таймер, УА сразу становится комбинированным. И в то же время дисркетизация по времени в УА РВ, независимо от прочей классификации, существенна. И эту особенность поэтому тоже можно добавить в критерий классификации. Но дерева уже получается криво, потому что все эти критерии переплетаются: - УА РВ - - аналоговые - - цифровые - - - управляемые временем (всегда с дискретизацией по времени?) - - - управляемые событиями - - - - без учёта времени - - - - с дискретизацией по времени и это ещё наверняка не все возможные комбинации. Поэтому я бы предложил в разделе УА РВ рассматривать не подвиды алгоритмов, а функциональные механизмы, которые могут пересекаться: - управление событиями; - управление по времени; - дискретизация по времени (включая стоящий особняком крайний случай - аналоговое управление). Думается, это будет продуктивнее. |
Автор: | Владимир Паронджанов [ Понедельник, 04 Июнь, 2018 19:24 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Доклад Паронджанова В.Д. "Визуальный язык ДРАКОН и неклассическая теория алгоритмов" Сегодня 4 июня 2018 года я сделал доклад на семинаре в Вычислительном центре имени А.А. Дородницына Российской академии наук (который сейчас входит в состав Федерального исследовательского центра «Информатика и управление» Российской академии наук). Указанный семинар посвящен памяти выдающегося ученого и конструктора первой автоматизированной системы Противовоздушной обороны Советского Союза 3алмана Михайловича Бененсона. Презентация моего доклада состоит из 55 слайдов. В ближайшее время я выложу презентацию на сайте. В работе семинара участвовали 15 человек, в том числе Директор Федерального исследовательского центра «Информатика и управление» академик РАН Игорь Анатольевич Соколов |
Автор: | LKom [ Среда, 13 Июнь, 2018 16:41 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Понедельник, 04 Июнь, 2018 19:24 Владимир Паронджанов писал(а): Презентация моего доклада состоит из 55 слайдов. Когда?
В ближайшее время я выложу презентацию на сайте. |
Автор: | Владимир Паронджанов [ Среда, 13 Июнь, 2018 18:09 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Презентация доклада Паронджанова В.Д. "Визуальный язык ДРАКОН и неклассическая теория алгоритмов" http://drakon.su/_media/video_i_prezent ... c_ran_.pdf |
Автор: | Владимир Паронджанов [ Пятница, 06 Июль, 2018 18:31 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
По требованию организатора семинара Я.В. Безеля пишу статью в сборник по материалам доклада. Основной текст статьи я уже написал. Осталось написать два Приложения (к статье) по тематике двух Институтов (из пяти) входящих в состав Федерального исследовательского центра "Информатика и управление" РАН (ФИЦ ИУ РАН). Надеюсь закончить через 10 дней. Сейчас для меня это главная задача |
Автор: | Владимир Паронджанов [ Четверг, 26 Июль, 2018 10:29 ] |
Заголовок сообщения: | Re: Визуальный язык ДРАКОН и неклассическая теория алгоритмо |
Кончил писать статью и отослал ее Безелю. Гора с плеч свалилась. Я потратил на эту статью ровно 40 дней. Статья получилась 37 страниц. Посмотрим, что из этого выйдет |
Страница 1 из 2 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |