УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Автоматы (версия для печати)


Автоматы



Н.П. Вашкевич. Недетерминированные автоматы в проектировании систем параллельной обработки. Пенза: Изд-во Пенз. гос. ун-та, 2004. – 280 с. (PDF)

Фото членов научно-методической комиссии Минвуза в 1961 году в ЛИТМО. Письмо с пояснениями к фотографии

"Свидетельство ненормальности — это повторение одного и того же поступка с ожиданием разных результатов", но конечные автоматы работают именно так!

25000$ и автоматы (внешняя ссылка: www.wolframscience.com)

Головешин А. Конвертор для преобразования графов переходов в текст программы на языке Си (Visio2Switch). 2002.

Вавилов К.В. Программирование за... 1 (одну) минуту // Компьютер Price. - 2002. - № 31. - С. 288-293. (www.comprice.ru/debug)

Ваганов С.А. Автоматное программирование во "Флоре"

Козаченко В.Ф. Эффективный метод программной реализации дискретных управляющих автоматов во встроенных системах управления. (внешняя ссылка: www.motorcontrol.ru)

Кузнецов Б.П. Психология автоматного программирования (внешняя ссылка: www.softcraft.ru)

Автоматное программирование для начинающих (внешняя ссылка: tdocs.su)

Вавилов К.В. Программируемые логические контроллеры SIMATIC S7-200 (SIEMENS). Методика алгоритмизации и программирования задач логического управления (PDF)

Вавилов К.В. LabVIEW и SWITCH-технология. Методика алгоритмизации и программирования задач логического управления (ZIP)

Вавилов К.В. Контроллеры SIMATIC S7-300 (SIEMENS). Организация взаимодействия независимых локальных систем управления на основе автоматного подхода и функционального разделения автоматов управления (PDF)

LabVIEW и SWITCH-технология (обсуждение) (внешняя ссылка: labview.ilc.edu.ru)

Методика программирования для S7 (SWITCH-технология) (обсуждение) (внешняя ссылка: www.automation-drives.ru)

Черномырдин А. Автоматное программирование для микроконтроллеров. Switch-технология и интерпретаторы (PDF)

Черномырдин А. Автоматное программирование для микроконтроллеров - 2 (PDF)

Анализ и выделение информации из текста (Форум на Исходниках.Ру) (внешняя ссылка: forum.sources.ru)

Основанные на генераторах конечные автоматы и сопрограммы (внешняя ссылка: www.iso.ru)

Реализация модели переходов состояний (Реалiзацiя моделi переходiв станiв) (PDF)

Реализация систем, управляемых событиями. Использование конечных автоматов (внешняя ссылка: www.rsdn.ru)

Рахимбердыев А., Ксенофонтов А., Адаменков Е., Антонов Д., Степанов Р. Реализация систем, управляемых событиями (PDF)

Программа и задания по курсу "Сравнительный анализ языков программирования" (внешняя ссылка: acm.mipt.ru)

Применение конечных автоматов при программировании мобильных устройств

Татарчевский В. Некоторые мысли по поводу программирования встроенных систем (PDF)

Python и автоматы (внешняя ссылка: fsme.sourceforge.net)

Фаулер  М. и Скотт К. о применении диаграмм

DataArt об успехах использования Автоматного программирования на пресс конференции в СПбГУ ИТМО (внешняя ссылка: www.dataart.ru)

Адаптация принципов автоматно-ориентированного программирования к технологии CORBA (внешняя ссылка: network-journal.mpei.ac.ru)

Еще один подход к применению автоматов в программировании (внешняя ссылка: nvt.msk.ru)

Об автоматах и языках (внешняя ссылка: lpcs.math.msu.su)

The MathWorks - Stateflow® - Design and simulate state machines and control logic (внешняя ссылка: www.mathworks.com)

Конечные автоматы в JavaScript, Часть 1: Разработаем виджет (внешняя ссылка: www.ibm.com)

Конечные автоматы в JavaScript: Часть 2: Реализация виджета (внешняя ссылка: www.ibm.com)

Общекультурное значение автоматных понятий

Холодилов С. Недетерминированные конечные автоматы (PDF)

Рыбаков Р.А. Адаптация принципов автоматно-ориентированного программирования к технологии CORBA (внешняя ссылка: network-journal.mpei.ac.ru)

Бабкин Е.А., Бобрышев Е.А. О формализме иерархического событийно-автоматного моделирования (DjVu — о формате)

Динцис Д.Ю., Дедегкаев А.Г. Способ построения эффективного управляющего автомата на основе преобразования нечеткой модели процесса в стохастический автомат (DjVu — о формате)

Строгонов А. Проектирование конечных автоматов по методу ОНЕ (PDF)

13 международная конференция по реализации и применению автоматов (внешняя ссылка: ciaa2008.cs.sonoma.edu)

2007 год - урожайный для автоматов. Microsoft делает Windows Workflow, ACM дает премию за Statemate, а премию Тьюринга - за верификацию программ на основе моделей (внешняя ссылка: itc.ua)

Конечные автоматы в JavaScript, Часть 1: Разработаем виджет (внешняя ссылка: www.ibm.com)

Конечные автоматы в JavaScript: Часть 2: Реализация виджета (внешняя ссылка: www.ibm.com)

Конечные автоматы в JavaScript. Часть 3: Тестируем виджет (исходники) (внешняя ссылка: www.interface.ru)

Microsoft и автоматы (внешняя ссылка: www.odetocode.com)

Долматов А.Г., Петров А.С. Утилита разработки конечных автоматов StateCAD (внешняя ссылка: window.edu.ru)

Bustamante M.L. Finite State Machines, Wizards, and the Web (внешняя ссылка: msdn2.microsoft.com)

Finite State Machines (внешняя ссылка: klabs.org)

My baby, the finite state machine (внешняя ссылка: blogs.msdn.com)

Обсуждение автоматного программирования (PDF)

"Бог - это графический редактор для рисования конечных автоматов"

Миша Дворкин с детства любил автоматы (внешняя ссылка: aho-corasick.narod.ru)

Обсуждение автоматного программирования (январь 2008 года) (внешняя ссылка: community.livejournal.com)

В продаже первая в мире книга по автоматному программированию

Сайт, посвященный автоматно-алгоритмическим схемам (внешняя ссылка: aascheme.tom.ru)

Статьи про автоматы в журнале RSDN (внешняя ссылка: rsdn.ru?)

Письмо одного из известнейших специалистов Европы Манфреда Броя (http://se.ethz.ch/~meyer/gallery/)

Анисимов А.Е. Автоматное программирование. Часть 1 (PDF)

Анисимов А.Е. Автоматное программирование. Часть 2 (PDF)

Непейвода А.Н. Автоматное программирование. Часть 3 (PDF)

Из книги Непейвода Н.Н. Стили и методы программирования: Курс лекций. Учебное пособие. Интернет-университет информационных технологий, 2005. (внешняя ссылка: www.intuit.ru)

Автоматное программирование и робототехника (внешняя ссылка: robofob.ru)

Автоматное программирование как новый способ создания автоматических торговых систем (внешняя ссылка: www.mql5.com)

Торговые роботы и автоматное программирование на примере системы обеспечения бесперебойной связи с сервером брокера (внешняя ссылка: rusalgo.com)

Парадигмы программирования в примерах (внешняя ссылка: acm.mipt.ru)

Применение автоматов при проектировании больших интегральных схем! (внешняя ссылка: www.eecs.berkeley.edu)

Фирма IBM предлагает применять конечные автоматы при проектировании реаактивных ответственных систем (внешняя ссылка: www.swd.ru)

Принципы разработки программного обеспечения с учетом необходимости его повторного использования, сопровождения и модификации и их поддержка в среде разработки IBM Rational Rhapsody (PDF)

Разработка, проверка и согласование технических заданий на всех уровнях разработки программно-аппаратных систем с использованием формальных исполняемых моделей на языке моделирования UML 2.0 и среды разработки IBM Rational Rhapsody (PDF)


Google применяет автоматы

IBM Rational Statemate (внешняя ссылка: www-142.ibm.com)

В 100 наиболее известных технологий программирования входят Automata-Based Programming, Automata-Based Programming, (Shalyto`s approach), SWITCH-tecnology и JetBrains MPS (внешняя ссылка: top-topics.thefullwiki.org)

Туккель Н.И., Шалыто А.А. Реализация вычислительных алгоритмов на основе автоматного подхода (PDF)

Климович А.С., Соловьев В.В. преобразование автомата Мили в автомат Мура путем расщепления вершин (PDF)

Тойота выбирает автоматы как стратегию будущего развития. “MATLAB, Simulink, and Stateflow … have become the de facto standard at Toyota for simulation, data processing, and controls design. It would be impossible to list all of the applications for these tools at Toyota.” Akira Ohata, Toyota (внешняя ссылка: www.mathworks.com)

В книге "Стив Джобс и я" Стив Возняк дважды упоминает машину состояний . На стр. 203 - "Я спроектировал аппаратную часть флоппи-дисковода и запрограммировал машину состояний", а на стр. 251 - "Для четырехбитного процессора сложно писать программы. Почти так же сложно, как написать машину состояний для флоппи-диска".

Язык программирования "Дракон" (http://ru.wikipedia.org/wiki/ДРАКОН_(алгоритмический_язык)). Зачем управляющие алгоритмы описывать так громоздко (http://www.youtube.com/watch?v=Ua9dUUONjdk&feature=youtu.be), когда есть автоматное программирование (http://is.ifmo.ru/), в котором используются схемы связей и графы переходов (http://is.ifmo.ru/books/_book.pdf). Что применять схемы, похожие на схемы алгоритмов, применять нецелесообразно, показано здесь (http://is.ifmo.ru/books/djvu/pdf/A009.pdf).

Применение автоматов в промышленности (Разработка и исследование управляющего автомата электропривода технологического комплекса "Подъем") (внешняя ссылка: www.dissercat.com)

Язык Cell - программирование иерархических автоматов (внешняя ссылка: www.mathnet.ru)

Протокольные автоматы (Иерархические диаграммы состояний и переходов в синтезе телекоммуникационных протокольных автоматов) (внешняя ссылка: www.mathnet.ru)

Б.П. Кузнецов и А.А. Шалыто об автоматном программировании (PDF)

Статьи про конечные автоматы на habrahabr.ru:

Еще раз об автоматном программировании. Лившиц А.С. Два случая устойчивости логики программы (PDF)

Лившиц А.С. Два случая устранения дефектов (PDF)

А.А. Шалыто промотивировал к созданию разновидности автоматного программирования. Статья опубликована в журнале "Программная инженерия". 2014, с. 3-15. (внешняя ссылка: persons.iis.nsk.su)

Автоматный язык применяется в космосе более 25 лет (внешняя ссылка: old.computerra.ru)

Язык "ДРАКОН" (внешняя ссылка: ru.wikipedia.org)

Технология разработки алгоритмов и программ "Графит-Флокс" (PDF)

Использование автоматов в трейдинге (внешняя ссылка: www.cs.cornell.edu)

П.Н. Бибило, Ю.В. Поттосин, Л.Д. Черемисинова. О научном наследии члена-корреспондента Закревского А.Д. (PDF)

Zhabelova, G., Vyatkin, V. and Dubinin, V.N., 2015. Toward industrially usable agent technology for smart grid automation. IEEE Transactions on Industrial Electronics, 62(4), pp.2629-2641. (внешняя ссылка: vyatkin.org)

Клеточные автоматы

Малинецкий Г.Г., Науменко С.А. Вычисления на ДНК. Эксперименты. Модели. Алгоритмы. Инструментальные средства (внешняя ссылка: www.keldysh.ru)

Куракин П.В., Малинецкий Г.Г. Клеточные автоматы с псевдо-квантовой эволюцией (внешняя ссылка: www.keldysh.ru)

Малинецкий Г.Г., Митин Н.А., Науменко С.А. Нанобиология и синергетика. Проблемы и идеи. Часть 1. (внешняя ссылка: www.transhumanism-russia.ru)

Малинецкий Г.Г., Митин Н.А., Науменко С.А. Нанобиология и синергетика. Проблемы и идеи. Часть 2. (внешняя ссылка: www.transhumanism-russia.ru)

Брацун Д.А., Колесников А.К., Люшнин А.В., Шкараба Е.М. Моделирование процессов структурообразования в лесах Пермского края на основе клеточных автоматов и уравнений реакции-диффузии (DjVu — о формате)

Задорожный В.Н., Юдин Б.Е. Мультиагентный подход в имитационном моделировании клеточных автоматов и сетевых структур (DjVu — о формате)

R. Breukelaar, Th. Back Использование генетических алгоритмов для прослеживания поведения в многомерных клеточных автоматах (PDF)

Мы в библиографии Wolfram Science (внешняя ссылка: www.wolframscience.com)

Работы по однородным структурам и клеточным автоматам, выполненные в СССР, России и бывших республиках СССР (PDF)

Многофункциональные и настраиваемые модули

Работы по многофункциональным и настаиваемым модулям, выполненные в СССР и России (PDF)

Документооборот

Круковский М.Ю. Автоматная модель композитного документооборота (внешняя ссылка: www.viaduk-telecom.ua)

Круковский М.Ю. Автоматно-графовая модель композитного документооборота (PDF)

Круковский М.Ю. Графовая модель композитного документооборота (PDF)

Об автоматом программировании

Чалый Д.Ю., Кузьмин Е.В.,Соколов В.А. Об одном формальном подходе к построению автоматной модели (внешняя ссылка: knit2009.sgu.ru)

Большая дискуссия об автоматном программировании (внешняя ссылка: caxapa.ru)

Автоматы защищают Веб-серверы от некоторых атак (внешняя ссылка: habrahabr.ru)

Внедрение автоматного программирования

1993 год. Одно из первых внедрений Switch-технологии (PDF)

Самостоятельное внедрение SWITCH-технологии в сложном процессе

Вавилов К.В. Программируемые логические контроллеры SIMATIC S7-200 (SIEMENS). Методика алгоритмизации и программирования задач логического управления (PDF)

Вавилов К.В. LabVIEW и SWITCH-технология. Методика алгоритмизации и программирования задач логического управления (ZIP)

Вавилов К.В. Контроллеры SIMATIC S7-300 (SIEMENS). Организация взаимодействия независимых локальных систем управления на основе автоматного подхода и функционального разделения автоматов управления (PDF)

Вавилов К.В. Автоматная форма представления сложных алгоритмов (PDF)

Вавилов К.В. Программирование за... 1 (одну) минуту // Компьютер Price. - 2002. - № 31. - С. 288-293.

Диплом Андрея Клебанова за лучший доклад на секции "Автоматное программирование"

Автоматное программирование в школе

Виртуальная лаборатория для первоначального обучения проектированию программ на основе автоматного подхода (внешняя ссылка: rain.ifmo.ru)

Сайт городской экспериментальной площадки по проектной деятельности в программировании

Янушковский Владимир (9В класс "Лицей "Вторая школа"). Использование автоматного программирования для инкапсуляции сложного сигнально-слотового взаимодействия объектов в библиотеке Qt. (Доклад 5) (внешняя ссылка: storage.ded32.net.ru)

Морозов Федор (9В класс "Лицей "Вторая школа"). Разработка программного комплекса для создания мультиагентных систем, использующих автоматный подход. (Доклад 13) (внешняя ссылка: storage.ded32.net.ru)

Столяров Л. Трансляция описаний конечных автоматов, представленных в формате MS Visio, в исходный код на языке C (внешняя ссылка: txlib.wiki.sourceforge.net)

Токалов Н.С. Visio2Auto. Протокол тестирования (PDF)

От Невы до Невады всего один шаг - победа на конкурсе (внешняя ссылка: www.spbvedomosti.ru)

Дединский И.Р. Почему мы стали заниматься автоматным программированием? (PDF)

Дединский И.Р. Почему мы стали заниматься автоматным программированием ("Информатика", 2009, №8)

Дединский И.Р. Почему мы стали заниматься автоматным программированием ("Информатика", 2009, №8) (внешняя ссылка: inf.1september.ru)

Профессор Е.М. Лаврищева об автоматном программировании (PDF)

Итоги 5-го Балтийского научно-инженерного конкурса (BalticSEF) (внешняя ссылка: www.ci.ru)

Наша поддержка И.Р. Дединского (внешняя ссылка: ded32.net.ru)

Разработка автоматной многоагентной системы в стиле 3D-Action (внешняя ссылка: sourceforge.net)

Письмо благодарности от директора школы-интерната "Интеллектуал" Е.В. Маркелова

Леонид Столяров(9 класс), Федор Петрякин (9 класс), Никита Уваров (7 класс), Москва, лицей "Вторая школа" "Платформа для автоматного моделирования и соревнований. Разработка движка для автоматного моделирования" - дипломанты научно-инженерного конкурса Baltic ISEF`2010 (внешняя ссылка: www.ci.ru)




© 2002—2024 По техническим вопросам сайта: alexvatyan@gmail.com