Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Книги" (2)

Труды АМГУ (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=автоматное программирование<.>)

Общее количество найденных документов : 16
Показаны документы с 1 по 16

Инструментальное средство для поддержки автоматного программирования [Текст] / В. С. Гуров [и др. ] // Программирование. - 2007. - N 6. - С. 65-80. - Библиогр.: с. 79-80 (47 назв. )

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
бъектно-ориентированные программы -- методы проектирования программ -- автоматное программирование -- Model-Oriven Engineering -- MDE
Аннотация: Предлагается метод проектирования и реализации реактивных объектно-ориентированных программ с явным выделением состояний.

Доп.точки доступа:
Мазин, М. А.; Нарвский, А. С.; Шалыто, А. А.; Гуров, В. С.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тазетдинов, А. Д.
Автоматный подход в построении компьютерных обучающих диалогов [Текст] / А. Д. Тазетдинов // Информационно-управляющие системы. - 2008. - N 4 (35). - С. 42-48. : 1 рис. - Библиогр.: с. 48

УДК

^a371.69:004.3

ББК 74с
Рубрики: Образование. Педагогика
Применение вычислительной техники в педагогике
Кл.слова (ненормированные):
компьютерные обучающие диалоги -- автоматный подход -- автоматное программирование
Аннотация: Рассматривается автоматный принцип построения вопросно-ответных структур компьютерных адаптивных обучающих диалогов, предлагается технология их создания и применения.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Сергеев, М. Б.
Рецензия на книгу Н. Поликарповой, А. Шалыто "Автоматное программирование" [Текст] / М. Б. Сергеев // Информационно-управляющие системы. - 2009. - N 3 (40). - С. 75. . - Рец. на кн.: Поликарпова Н., Шалыто А. Автоматное программирование / Н. Поликарпова, А. Шалыто. - СПб.: Питер, 2009. - 176 с.

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
рецензии -- автоматное программирование -- процедурное программирование -- объектно-ориентированное программирование

Доп.точки доступа:
Поликарпова, Н.; Шалыто, А.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Малаховски, Я. М.
Реализация конечных автоматов на функциональных языках программирования [Текст] / Я. М. Малаховски, А. А. Шалыто // Информационно-управляющие системы. - 2009. - N 6 (43). - С. 30-33. - Библиогр.: с. 33 . - ISSN 1684-8853

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
конечные автоматы -- функциональное программирование -- автоматное программирование -- Haskell
Аннотация: Рассматриваются вопросы реализации на функциональных языках программирования событийных структурных конечных автоматов, используемых в автоматном программировании.

Доп.точки доступа:
Шалыто, А. А.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Новиков, Ф. А.
Автоматный метод определения проблемно-ориентированных языков [Текст]. Ч. 1 / Ф. А. Новиков, У. Н. Тихонова // Информационно-управляющие системы. - 2009. - N 6 (43). - С. 34-40. - Библиогр.: с. 33. - Продолж. следует . - ISSN 1684-8853

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
проблемно-ориентированные языки -- абстрактный синтаксис -- автоматное программирование -- метамодели
Аннотация: Описывается новый метод определения синтаксиса и семантики проблемно-ориентированных языков с помощью диаграмм классов и диаграмм автоматов.

Доп.точки доступа:
Тихонова, У. Н.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Владыкин, А. А. (аспирант).
Непроцедурный текстовый язык для описания автоматных обработчиков XML-документов и его применение [Текст] / А. А. Владыкин, А. А. Шалыто // Информационные технологии. - 2009. - N 12. - С. 38-45. - Библиогр.: с. 41 (5 назв. ) . - ISSN 1684-6400

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
компьютерные программы -- автоматное программирование -- XML-документы -- автоматизированные объекты управления -- языки описания обработчиков -- SAX-обработчики
Аннотация: Предложен непроцедурный язык для описания обработчиков XML-документов, который целесообразно применять для разбора этих документов.

Доп.точки доступа:
Шалыто, А. А. (д-р техн. наук, проф.)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Новиков, Ф. А.
Автоматный метод определения проблемно-ориентированных языков [Текст]. Ч. 2 / Ф. А. Новиков, У. Н. Тихонова // Информационно-управляющие системы. - 2010. - N 2 (45). - С. 31-37. - Библиогр.: с. 37. - Продолж. Начало в N 6, 2009 . - ISSN 1684-8853

УДК

^a004.78

ББК 32.973.202
Рубрики: Вычислительная техника
Диалоговые вычислительные системы для специальных целей
Кл.слова (ненормированные):
проблемно-ориентированные языки -- абстрактный синтаксис -- метамодели -- автоматное программирование
Аннотация: Описывается новый метод определения синтаксиса и семантики проблемно-ориентированных языков с помощью диаграмм классов и диаграмм автоматов.

Доп.точки доступа:
Тихонова, У. Н.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Новиков, Ф. А.
Автоматный метод определения проблемно-ориентированных языков [Текст]. Ч. 3 / Ф. А. Новиков, У. Н. Тихонова // Информационно-управляющие системы. - 2010. - N 3 (46). - С. 29-37. . - Библиогр.: с. 37. - Окончание. Начало в N 6, 2009

УДК

^a004.78

ББК 32.973.202
Рубрики: Вычислительная техника
Диалоговые вычислительные системы для специальных целей
Кл.слова (ненормированные):
проблемно-ориентированные языки -- абстрактный синтаксис -- метамодели -- автоматное программирование -- мини-языки множеств
Аннотация: Описывается новый метод определения синтаксиса и семантики проблемно-ориентированных языков с помощью диаграмм классов и диаграмм автоматов. В третьей части статьи описывается задание операционной семантики взаимодействующих автоматов на примере мини-языка множеств.

Доп.точки доступа:
Тихонова, У. Н.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Попов, С. И. (студент).
Задача о муравьеде и муравьях [Текст] / С. И. Попов, Ю. И. Попов, А. А. Шалыто // Информационные технологии. - 2010. - N 8. - С. 18-22. . - Библиогр.: с. 22 (7 назв. )

УДК

^a004.8

ББК 32.813
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
интеллектуальные технологии -- генетические алгоритмы -- инструментальные средства -- управляющие автоматы -- автоматное программирование -- коэволюционные задачи -- эксперименты
Аннотация: Цель работы - построить с помощью генетического алгоритма автоматы, управляющие муравьедом и муравьями, которые позволят эффективно решить поставленную задачу.

Доп.точки доступа:
Попов, Ю. И. (студент); Шалыто, А. А. (д-р техн. наук, проф.)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

10.

Царев, Ф. Н.
Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования [Текст] / Ф. Н. Царев // Информационно-управляющие системы. - 2010. - N 5 (48). - С. 31-36. : 4 рис. - Библиогр.: с. 36

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
генетическое программирование -- автоматное программирование -- машинное обучение -- тестовые примеры -- управляющие конечные автоматы
Аннотация: Предлагается метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

11.

Хлебус, Е. А.
Программирование автоматического поста системы экологического мониторинга с явным выделением состояний [Текст] / Е. А. Хлебус // Экологические системы и приборы. - 2011. - № 6. - С. 42-46. . - Библиогр.: с. 45-46 (8 назв. )

УДК

^a502/504

ББК 20.1
Рубрики: Экология
Теория и методы изучения и охраны окружающей среды--Российская Федерация--Москва, 2011 г.
Кл.слова (ненормированные):
экологические мониторинги -- мониторинги -- программирование поста -- автоматное программирование -- аппаратно-программные посты -- международные конференции -- доклады
Аннотация: Рассматривается функционирование поста системы экологического мониторинга как конечного автомата. Приводится описание аппаратной архитектуры и программного обеспечения.

Доп.точки доступа:
Экологические системы, приборы и чистые технологии, международная конференция

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

12.

Разработка программной системы для генерации автоматных программ [Текст] / Т. Э. Шульга [и др.] // Программирование. - 2016. - № 3. - С. 55-63. - Библиогр.: с. 63 (18 назв.) . - ISSN 0132-3474

УДК

^a004.41/.42

13.

Шелехов, В. И. (кандидат технических наук; заведующий лабораторией).
Технология автоматного программирования на примере программы управления лифтом [Текст] / В. И. Шелехов, З. Г. Тумуров // Программная инженерия. - 2017. - Т. 8, № 3. - С. 99-111 : схем. - Библиогр.: с. 109 (28 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
автоматное программирование -- автоматные программы -- верификация автоматных программ -- инженерия требований -- пассажирские лифты -- предикатное программирование -- технологии автоматного программирования -- язык автоматного программирования
Аннотация: Технология автоматного программирования ориентирована на разработку простых, надежных и эффективных программ для класса реактивных систем. В качестве языка автоматного программирования используется формальный язык спецификации функциональных требований. Технология представлена в виде свода правил, определяющих правильный баланс в интеграции автоматного, предикатного и объектно-ориентированного программирования. Технология проиллюстрирована на примере программы управления лифтом.

Доп.точки доступа:
Тумуров, З. Г. (младший научный сотрудник)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

14.

Скворцов, А. А. (кандидат технических наук; доцент).
Применение конечных автоматов при разработке пользовательского интерфейса встроенных систем [Текст] / А. А. Скворцов // Программная инженерия. - 2019. - Т. 10, № 4. - С. 186-192 : рис. - Библиогр.: с. 191 (4 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
автоматное программирование -- встроенные системы -- конечные автоматы -- пользовательский интерфейс
Аннотация: Рассмотрены вопросы, возникающие в процессе разработки пользовательского интерфейса встроенных систем. Показан способ применения конечных автоматов при разработке пользовательского интерфейса встроенных систем, при котором объем памяти, занимаемый программой, минимален.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

15.

Митькин, С. Б.
Автоматное программирование на языке Дракон [Текст] / С. Б. Митькин // Программная инженерия. - 2019. - Т. 10, № 1. - С. 3-13 : рис. - Библиогр.: с. 12-13 (13 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
автоматное программирование -- визуальное программирование -- деревья принятия решений -- конечные автоматы -- машины состояний -- реактивные системы -- язык Дракон
Аннотация: Предложен новый метод визуального автоматного программирования на языке ДРАКОН, состоящий в совмещении конечных автоматов с деревьями принятия решений. Описана генерация программного кода из автоматных ДРАКОН-схем и способ передачи сигналов между автоматами. Рассмотрен опыт применения предлагаемого метода в реальном программном проекте.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

16.

Скворцов, А. А. (кандидат технических наук; доцент).
Проектирование и реализация многозадачных встроенных систем управления на микроконтроллерах: операционная система или автоматы? [Текст] / А. А. Скворцов // Программная инженерия. - 2019. - Т. 10, № 7/8. - С. 311-316 : рис. - Библиогр.: с. 316 (3 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
switch-технологии -- автоматное программирование -- встроенные системы управления -- микроконтроллеры -- операционные системы реального времени -- программная инженерия -- проектирование систем управления
Аннотация: Проведено сравнение двух способов проектирования и реализации многозадачных встроенных систем управления на микроконтроллерах: с использованием операционной системы реального времени и с помощью конечных автоматов. Использование конечных автоматов при небольшом увеличении времени на проектирование значительно сокращает объем памяти программ микроконтроллера, объем памяти данных, а также сроки реализации систем управления.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 12.09.2024
Число запросов	32265
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)