2007
|
|
21.10.2007
| К. Джордж.
The RAISE Method Group: Алгебраическое проектирование класса
|
|
22.09.2007
| В. Шахов.
Программно-аппаратная декомпозиция реактивных параллельных систем
|
|
02.07.2007
| Б.П. Кузнецов
Настраиваемые автоматные программы
|
|
20.03.2007
| Эдвард А. Ли.
Проблемы с потоками
|
|
22.02.2007
| В.Е. Зюбин.
Программирование информационно-управляющих систем на основе конечных автоматов: учебное пособие
|
2006
|
|
15.11.2006
| А.И.Орехов.
Проект "Логика"
|
|
22.10.2006
| В. Шахов.
Моделирование программно-аппаратных "реактивных" систем раскрашенными сетями Петри
|
|
21.10.2006
| Б.П. Кузнецов.
Диагностика неисправностей модулей дискретного ввода-вывода
|
|
17.10.2006
| В.С. Любченко.
К проблеме создания модели параллельных вычислений
|
|
18.09.2006
| Р.Ю. Пузиков.
Немного философии о простых числах
|
|
10.09.2006
| В.Е. Зюбин.
Гиперавтомат - математическая модель сложных алгоритмов управления
|
|
20.08.2006
| А.Г. Пискунов, С.М. Петренко.
Graphviz и Sed: построение схемы иерархии наследования
|
|
20.08.2006
| А.Г. Пискунов, А.С. Горбань.
Doxygen и Graphviz: документирование проектов на C#
|
|
08.05.2006
|
Выложена программа В.С. Любченко, моделирующая асинхронное суммирования данных
с использованием КА-технологии.
|
|
10.03.2006
| А.И. Легалов.
Использование асинхронных списков в потоковой модели вычислений
|
|
30.01.2006
| В. Зюбин.
Программирование ПЛК: языки МЭК 61131-3 и возможные альтернативы
|
|
04.01.2006
| Борис Мурташин, Александр Артюшин.
Способ организации персистентной кэш памяти для многозадачных, в том числе симметричных,
многопроцессорных компьютерных систем
|
|
04.01.2006
| Борис Мурташин, Александр Артюшин.
К вопросу о кодогенерации для архитектур с ILP (с параллелизмом на уровне команд)
|
2005
|
|
15.11.2005
| Владимир Зюбин.
Язык Рефлекс - диалект Си для программируемых логических контроллеров
|
|
15.11.2005
| Антон Орехов.
Языки программирования – эволюция?
|
|
23.10.2005
| Борис Муратшин.
Еще раз об оптимальной генерации кода
|
|
19.10.2005
| Ю.Г. Медведев.
Некоторые применения трехмерной клеточно–автоматной модели потока вязкой жидкости RD-I
|
|
28.09.2005
| О.Л. Бандман.
Клеточно-автоматные модели пространственной динамики
|
|
22.09.2005
|
Некоторые вопросы защиты информации на компьютере
(c точки зрения профессионального установщика охранных систем на автомобили)
|
|
25.07.2005
|
Добавлен документ, описывающий
использование O2M из командной строки
|
|
25.07.2005
|
На странице загрузки, посвященной ППП, размещены исходные тексты утилит,
используемых при программировании на языке O2M:
|
|
22.07.2005
|
Любченко В.С.
Открой свое созвездие или тест на воображение
|
|
16.07.2005
|
На странице загрузки, посвященной ППП,
размещена новая версия системы O2M для Windows с библиотекой, содержащей модули
для работы с консолью Windows и графическими приложениями под Windows.
Для демонстрации возможностей добавлены новые примеры программ на О2М::
|
|
28.05.2005
|
Кузнецов Б.П.
Моделирование дискретных и непрерывных автоматов средствами электронных таблиц
|
|
04.04.2005
|
Кузнецов Б.П.
Аналоговые триггеры
|
|
28.03.2005
|
Орехов А.И.
Логическое программирование в Mozart
|
|
25.03.2005
|
Памяти Виктора Ильича Варшавского
|
|
23.03.2005
|
Кузнецов Б.П.
Цветное программирование
|
|
26.02.2005
|
Орехов А.И.
Приемы параллельного программирования в Mozart 1.3.1
|
|
21.02.2005
|
Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А.
UML. SWITCH-технология. Eclipse
|
2004
|
|
28.12.2004
|
Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А.
State Machine - расширение языка Java для эффективной реализации автоматов
|
|
18.12.2004
|
Беляев А. В., Суясов Д. И., Шалыто А. А.
Компьютерная игра "Космонавт". Проектирование и реализация
|
|
17.11.2004
|
Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А.
Паттерн State Machine. Внедрение. Сравнение с другими подходами
|
|
05.11.2004
|
Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А.
State Machine — новый паттерн объектно-ориентированного проектирования
|
|
25.10.2004
|
Корнеев Г. А., Шамгунов Н. Н., Шалыто А.А.
Обход деревьев на основе автоматного подхода
|
|
20.10.2004
|
Легалов А.И., Привалихин Д.В.
Эволюционное расширение программ в языке "Пифагор"
|
|
20.10.2004
|
Обновленная версия инструментальной системы, поддерживающей программирование на языке "Пифагор"
|
|
20.10.2004
|
Обновленная версия инструментальных ссредств для программирования на языке O2M
|
|
12.10.2004
|
Левченко В.Д.
Асинхронные параллельные алгоритмы как способ достижения 100% эффективности вычислений
|
|
10.10.2004
|
Шалыто А.А.
ИТ-образование. Поговорим о главном
|
|
05.10.2004
|
Шопырин Д.Г., Шалыто А.А.
Синхронное программирование
|
|
15.09.2004
|
Зюбин В.Е.
Исследование условий применимости языка параллельного программирования СПАРМ для задач
построения надежных управляющих программ
|
|
03.09.2004
|
Легалов А.И.
Построение алгоритмов за счет ограничений, накладываемых на максимальный параллелизм
(на примере задачи сортировки одномерного массива)
|
|
02.09.2004
|
Зюбин В.Е., Петухов А.Д.
Распределение вычислительных ресурсов в средах с многопоточной реализацией гипер-автомата
|
|
25.08.2004
|
Ваганов С.А.
FloraWare – ускорить разработку приложений
(подробный обзор среды программирования)
|
|
12.08.2004
|
Со страницы загрузки, отведенной для ППП, можно скачать
обновленную версию системы программирования на языке О2М
Добавлены новые примеры программ на О2М::
-
обработка динамических структур данных
-
использование эволюционного расширения мультиметодов и монометодов
|
|
12.08.2004
|
Легалов А. И., Швец Д.А.
Языковая поддержка эволюционного расширения процедурных программ
|
|
03.08.2004
|
Розенблюм Л.Я.
Отзыв на работу А.В. Немченко "Параллельные цифровые автоматы"
|
|
22.06.2004
|
Берлинский К.
Набор серебряных пуль (справочник удачных проектных решений при разработке ПО)
|
|
26.05.2004
|
Кузнецов Б.П.
Зигзаг в трансляции логических выражений
|
|
23.05.2004
|
Информационные сообщения о семинарах:
|
|
16.05.2004
|
Наумов Л.А., Шалыто А.А.
"Цветные" клеточные автоматы, или клонирование Мона Лизы
|
|
29.12.2003
|
Декларативное программирование перевалило за цифру семь:
|
|
08.04.2004
|
Кузнецов Б. П.
Конечные автоматы в виде булевых формул и их оптимизация
|
|
24.03.2004
|
Мазин М.А., Шалыто А.А.
Macromedia Flash и автоматы
|
|
01.03.2004
|
М.А. Казаков, Г.А. Корнеев, А.А. Шалыто.
Разработка логики визуализаторов алгоритмов на основе конечных автоматов
|
|
21.02.2004
|
Декларативное программирование. Еще два подраздела в "Логическом программировании"
|
|
13.02.2004
|
Сформирован отдельный раздел по процедурно-параметрическому программированию.
Добавлены: описание языка О2М, система программирования, примеры.
|
|
12.02.2004
|
А.А. Штучкин, А.А. Шалыто.
Совместное использование теории построения компиляторов и SWITCH-технологии
(на примере построения калькулятора)
|
|
07.02.2004
|
А.А. Шалыто.
Алгоритмизация и программирование задач логического управления
(увесистый документ в 55 страниц)
|
|
05.02.2004
|
Б.П. Кузнецов.
Экспоненциальные автоматы
(новый взгляд на RS-триггер?)
|
|
31.01.2004
|
А.А. Шалыто.
Зачем писать...?
(беллетристика)
|
|
18.01.2004
|
Параллельные цифровые автоматы:
1.
Основные понятия
2.
Подготовка к синтезу
3.
Синтез
4.
Собственно параллелизм
|
|
05.01.2004
|
Тестовое программирование
(новый взгляд на синтез тестов, позволяющий описать алгоритм реализуемой задачи)
|
|
05.01.2004
|
Об автоматизации "стиральных машин"
(легкое чтиво об автоматном программировании)
|
2003
|
|
29.12.2003
|
Декларативное программирование. Продолжение следует, но в другом ракурсе.
|
|
13.12.2003
|
Реализация рекурсивных алгоритмов на основе автоматного подхода
или еще раз об эквивалентных преобразованиях между разными парадигмами
|
|
13.12.2003
|
Построение автономного виртуального робота на основе автоматного подхода
(о соревнующихся программируемых системах)
|
|
05.11.2003
|
Графические и текстовые формы спецификации сложных управляющих алгоритмов: непримиримая оппозиция или кооперация?
|
|
28.10.2003
|
Технология автоматного программирования и ее возможности
(А.А. Шалыто)
|
|
17.10.2003
|
Декларативное программирование. В продолжение главы:
|
|
15.10.2003
|
О движении "За открытую документацию" (А.А. Шалыто)
|
|
03.10.2003
|
И все-таки:
почему никто не использует функциональные языки?
|
|
03.10.2003
|
Декларативное программирование. Еще одна часть:
|
|
03.10.2003
|
RS - триггер... Ох, нам бы его проблемы!!!
|
|
16.09.2003
|
Наумов Л.А., Шалыто А.А.
Клеточные автоматы. Реализация и эксперименты
|
|
16.09.2003
|
Любченко В.С.
Автоматная реализация магазинных автоматов
|
|
23.08.2003
|
Глебов А. Н.
Параллельное программирование в функциональном стиле.
Еще один подход к построению параллельных программ
|
|
27.08.2003
|
Продолжается публикация разделов "Декларативного программирования":
|
|
23.08.2003
|
Кузнецов Б.П.
Орграфы и булевы формулы
|
|
21.07.2003
|
Шалыто А.А., Туккель Н.И.
АВТОМАТЫ И ТАНКИ. Объектно-ориентированное программирование с явным выделением состояний
|
|
21.07.2003
|
Любченко В.С.
Решение задачи о преступниках с использования КА-технологии.
|
|
04.07.2003
|
Еще один комплект "Декларативного программирования" от И. Дехтяренко:
|
|
21.06.2003
|
Любченко В.С.
Решение задачи о стрелках с использования КА-технологии.
|
|
13.06.2003
|
Подборка новых демонстрационных материалов от В.С. Любченко:
-
Обновляенная версия библиотеки FSA, используемые для моделирования параллельной работы автоматов.
-
Упрощенный вариант решения задачи стрелков Майхилла.
Создан для сравнения с аналогичным решением А.А. Шалыто.
-
Модель RS-триггера в инерпретации автора.
|
|
04.06.2003
|
Изменено описание функционального языка параллельного программирования "Пифагор",
выложена новая версия транслятора с интерпретирующей средой.
"Достучаться" до всего можно отсюда.
|
|
28.05.2003
|
Дехтяренко И.
Декларативное программирование.
Часть 4: Программы как теории
|
|
29.03.2003
|
Информационные сообщения о семинарах:
|
|
10.02.2003
|
Задача о ходе коня
(оптимизированный алгоритм в автоматной обертке)
|
|
04.02.2003
|
Декларативное программирование (первые три части от И. Дехтяренко)
-
Программирование в повествовательном наклонении
-
История
-
Инструменты
|
2002
|
|
30.12.2002
|
Автоматные схемы программ
(
С исторической ремаркой автора
)
|
|
20.12.2002
|
Повторы в разных ракурсах... (брюзжание о рекуррентностях)
|
|
13.12.2002
|
В лабиринтах Ханойских башен
(в продолжение дискуссий о методах и стилях программирования)
|
|
13.12.2002
|
О борьбе с рекурсией
(война стилей продолжается:)
|
|
07.12.2002
|
Четыре танкиста и компьютер
(еще раз об игре Robocode)
|
|
07.12.2002
|
Преобразование итеративных алгоритмов в автоматные
(а когда-то мы так разрабатывали железо :)
|
|
30.11.2002
|
Еще раз об эволюционном расширении программ в двух статьях:
|
|
24.11.2002
|
Как добиться успеха в безнадежных проектах
(RUP применительно к местным условиям)
|
|
23.09.2002
|
Сильные стороны функционального программирования
(чего пока нет в других парадигмах)
|
|
19.09.2002
|
О программировании за 1 минуту (из рассылки от 19.10.2002)
|
|
19.09.2002
|
Программирование за... 1 (одну) минуту
(использование еще одной инструментальной надстройки над switch-технологией)
|
|
19.09.2002
|
Брюзжалки: новый раздел на сайте
|
|
30.09.2002
|
Крылья, ноги и хвосты
(или о разнообразии методов программирования на примере простой задачи)
|
|
17.09.2002
|
Головешин А.
Использование конвертора Visio2SWITCH
(генерация текста автоматной программы по диаграммам, построенным в MS Visio)
|
|
13.09.2002
|
Обедающие философы Дейкстры
(об автоматной модели параллельных процессов в итерпретации В. Любченко)
|
|
11.09.2002
|
Ханойские башни и автоматы
|
|
10.09.2002
|
Сформирован новый раздел
"Нейроинформатика", в котором размещены:.
|
|
23.08.2002
|
Добавлены
воспоминания Л.Я. Розенблюма об участниках Гавриловских
школ по теории автоматов
.
|
|
04.07.2002
|
Когда-то и мы были сильны и независимы! По этому поводу начаты публикации
воспоминаний участников Гавриловских школ по теории автоматов.
В настоящий момент выложены:
|
|
17.05.2002
|
Реализация автоматов при программировании событийных систем
|
|
06.05.2002
|
Эволюция мультиметодов при процедурном подходе
|
|
06.05.2002
|
Автоматное объектно-ориентированное проектирование типовых алгоритмов логического управления
|
|
06.05.2002
|
Структура и сложность модулей циклических программ
|
|
06.05.2002
|
Еще одна рецензия на работы по автоматному программированию и SWITCH-технологии
|
|
15.04.2002
|
ООП, мультиметоды и пирамидальная эволюция
|
|
05.04.2002
|
Стратегии управления в вычислительных системах и языках программирования
|
|
22.03.2002
|
Гипноз RS-триггера
|
|
20.03.2002
|
Система управления дизель-генератором (фрагмент).
Программирование с явным выделением состояний
|
|
01.03.2002
|
От тьюрингова программирования к автоматному
|
|
01.03.2002
|
Система управления танком для игры Robocode.
Объектно-ориентированное программирование с явным выделением состояний
|
|
28.02.2002
|
Искусство программирования ... RS-триггера?! Часть 3. Тест на синхронную работу
|
|
28.02.2002
|
Искусство программирования ... RS-триггера?! Часть 2. Программирование
|
|
21.02.2002
|
Искусство программирования ... RS-триггера?! Часть 1. Электронная схема и формальные модели
|
|
31.01.2002
|
Функционально-потоковое параллельное программирование: модель вычислений, язык, среда
|
2001
|
|
29.11.2001
|
Библиотеки и примеры программ В.С. Любченко, раскрывающие
его понимание автоматного программирования
|
|
18.11.2001
|
Постскриптум к размерности программного пространства и модели триггера
|
|
09.11.2001
|
Программирование с явным выделением состояний
|
|
09.11.2001
|
Рецензии на работы по автоматному программированию и SWITCH-технологии
|
|
18.09.2001
|
Размерность программного пространства и модель триггера
|
|
21.06.2001
|
Распределенные конечные автоматы
|
|
09.06.2001
|
Последовательно-событийные автоматы
|
|
02.06.2001
|
Процедурно-параметрическое программирование
|
|
16.05.2001
|
Конечно-автоматная технология программирования
|
|
11.05.2001
|
Использование SWITCH-технологии при разработке программ в среде "FLORA/C+"
(модель технологического процесса в цехе холодной прокатки)
|
|
07.05.2001
|
Разнорукое программирование (эволюционное кодирование и разные парадигмы)
|
|
17.04.2001
|
Использование граф-схем и графов переходов при программной
реализации алгоритмов логического управления. Часть 2
|
|
16.04.2001
|
Использование граф-схем и графов переходов при программной
реализации алгоритмов логического управления. Часть 1
|
|
18.03.2001
|
Интервью с Бьерном Страуструпом.
Будущее за мультипарадигматическим программированием
|
|
12.03.2001
|
Психология автоматного программирования
(автоматные модели в простых программах)
|
|
09.03.2001
|
Алгоритмизация и программирование для систем
логического управления и "реактивных" систем
|
|
25.02.2001
|
Реализация алгоритмов логического управления
программами на языке функциональных блоков
|
|
19.02.2001
|
Добавился пример программной документации на подсистему управления
печатью к статье
SWITCH-технология: автоматный подход к созданию программного обеспечения
"РЕАКТИВНЫХ" систем (в формате pdf)
|
|
17.02.2001
|
Автоматное проектирование программ.
Алгоритмизация и программирование задач логического управления
|
|
13.02.2001
|
Могут ли процессы заменить классы?
|
|
01.02.2001
|
Образцы и программное обеспечение: основные понятия и определения (введение, истоки, немного истории)
|
|
07.01.2001
|
SWITCH-технология: автоматный подход к созданию программного обеспечения "РЕАКТИВНЫХ" систем
|
2000
|
|
15.12.2000
|
Объектно-ориентированный подход действительно лучше структурного
|
|
01.12.2000
|
Лекции по трансляторам. Тема 8
|
|
27.11.2000
|
Дописана многострадальная пятая тема в курсе лекций по трансляторам
|
|
14.11.2000
|
Как внешние функции улучшают инкапсуляцию классов
|
|
05.11.2000
|
Как разделить окно на части
|
|
05.11.2000
|
Обертка для автоматизации
|
|
05.11.2000
|
Оболочка из классов для OLE
|
|
05.11.2000
|
Дефекты OLE
|
|
04.11.2000
|
Оболочка из классов для COM
|
|
04.11.2000
|
Практическое использование потоков
|
|
03.11.2000
|
Классовая оболочка для потоков
|
|
31.10.2000
|
Перья и кисти внутри классов
|
|
30.10.2000
|
Обертка для контекста устройств
|
|
29.10.2000
|
Использование фабрики классов для окон диалога
|
|
27.10.2000
|
Использование "Контроллера" в диалоге
|
|
26.10.2000
|
Седьмая тема в курсе лекций по трансляторам
|
|
20.10.2000
|
Шестая тема в курсе лекций по трансляторам
|
|
14.10.2000
|
Классовая обертка для элементов управления
|
|
13.10.2000
|
Windows и "Модель-Вид-Контроллер"
|
|
12.10.2000
|
Четвертая тема в курсе лекций по трансляторам
|