Применение микроконтроллеров для синтеза цифровых конечных автоматов [Текст] / Ю. М. Агафонов [и др. ] // Известия вузов. Электроника. - 2007. - N 5. - С. 40-44 : ил. - Библиогр.: с. 44 (7 назв. )
Рубрики: Техника Автоматизация оборудования Энергетика Электротехника Кл.слова (ненормированные): микроконтроллеры -- автоматы -- конечные автоматы -- цифровые автоматы -- синтезы -- ячейки памяти -- отказы Аннотация: Проведен статистический анализ и вероятностная оценка работоспособности ячеек памяти данных EEPROM микроконтроллеров серии PIC16F877A, составлена таблица вероятностей отказов ячеек памяти в функции от количества циклов "стирание-запись". Доп.точки доступа: Агафонов, Юрий Михайлович; Акиншин, Николай Степанович; Акиншин, Руслан Николаевич; Анкудинов, Константин Александрович; Анкудинов, Александр Иванович; Казаков, Константин Юрьевич |
Проектирование бизнес-процессов в рамках автоматного подхода к BPR [Текст] / Ю. М. Сметанин [и др. ] // Менеджмент: теория и практика. - 2008. - N 3/4. - С. 211-220 : 5 рис. - Библиогр.: с. 220 (6 назв. )
Рубрики: Экономика Внутрифирменное управление. Менеджмент Кл.слова (ненормированные): проектирование бизнес-процессов -- бизнес-процессы -- инжиниринг -- посредники -- автоматные модели -- формальные модели -- конечные автоматы -- кусочно-линейные агрегаты Аннотация: Рассматривается пример инжиниринга бизнес-процессов фирмы-посредника. Для проектирования бизнес-процессов используются формальные модели конечных автоматов и кусочно-линейных агрегатов. Доп.точки доступа: Сметанин, Ю. М. (канд. физ.-мат. наук); Сметанина, Е. Ю. (экономист); Мелехов, Д. Г. (инженер-программист); Котегов, Д. Ю. (аспирант) |
Тестирование программной реализации протокола IRC на основе модели расширенного автомата [Текст] / М. В. Жигулин [и др. ] // Известия Томского политехнического университета. - 2011. - Т. 318, N 5 : Управление, вычислительная техника и информатика. - С. 81-84. : ил. - Библиогр.: с. 84 (5 назв. )
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): расширенные автоматы -- модели -- программные реализации -- протоколы связи -- проверяющие тесты -- конечные автоматы -- компьютерные эксперименты Аннотация: Рассматривается тестирование программной реализации ngIRCd телекоммуникационного протокола IRC на основе теста, построенного по модели расширенного автомата. Компьютерные эксперименты иллюстрируют эффективность предложенного подхода. Доп.точки доступа: Жигулин, М. В.; Коломеец, А. В.; Кушик, Н. Г.; Шабалдин, А. В. Нет сведений об экземплярах (Источник в БД не найден) |
Малахов, Эдуард Владимирович. Совершенствование алгоритма OSTIA для обучения трансдукторов [Текст] / Э. В. Малахов, О. М. Замятина // Известия Томского политехнического университета. - 2011. - Т. 318, N 5 : Управление, вычислительная техника и информатика. - С. 105-109. : ил. - Библиогр.: с. 109 (3 назв. )
Рубрики: Информатика Информационные системы с базами знаний Кл.слова (ненормированные): алгоритмы -- OSTIA -- трансдукторы -- двухленточные автоматы -- конечные автоматы -- обучение -- грамматическая индукция -- негативные образцы Аннотация: На примере алгоритма OSTIA рассмотрена задача обучения трансдукторов (двухленточных автоматов) на конечном множестве пар, задающих цепочку входного языка и эквивалентную ей цепочку выходного языка. Предложен метод использования множества цепочек, заведомо не входящих во входной язык, с целью уменьшения погрешности обучения по алгоритму OSTIA. Усовершенствован алгоритм OSTIA для обеспечения корректной трансляции цепочек, не входящих во входной язык. Проведен ряд экспериментов, в которых показано преимущество предложенного метода по сравнению с базовой версией OSTIA. Доп.точки доступа: Замятина, Оксана Михайловна Нет сведений об экземплярах (Источник в БД не найден) |
Горбаченко, Ирина Михайловна (кандидат технических наук ; доцент). Генерация тестирующих систем с помощью автоматного программирования [Текст] / И. М. Горбаченко // Ученые записки Российского государственного социального университета. - 2010. - N 8 (84). - С. 47-51. : табл. - Библиогр.: с. 51 (4 назв. ). - Аннот. на англ. яз.: с. 331
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): тестирующие системы -- конечные автоматы -- программирование -- автоматные подходы Аннотация: Описаны и приведены алгоритмы для генерации тестирующих систем. Нет сведений об экземплярах (Источник в БД не найден) |
Маслова, Е. Ю. Применение теории автоматов в исследовании экономических систем [Текст] / Маслова Е. Ю. // Аспирант и соискатель. - 2014. - № 5. - С. 43-45. - Библиогр.: с. 45 (2 назв. ) . - ISSN 1608-9014
Рубрики: Математика Теория графов Кл.слова (ненормированные): информационные модели -- автоматы (математика) -- конечные автоматы -- вычисления -- теория активных систем -- технологические процессы -- экономические системы Аннотация: Рассматриваются математические основы моделей технологических процессов, применяемых в экономических и технологических системах. Нет сведений об экземплярах (Источник в БД не найден) |
Буторин, Денис Николаевич (кандидат педагогических наук; доцент). Автоматизированная система распознавания алгоритма решения математической задачи [Текст] = Automation Program for Recognition of Algorithm Solution of Mathematic Task / Д. Н. Буторин // Открытое образование. - 2014. - № 5. - С. 28-34 : рис. - Библиогр.: с. 34 (16 назв.) . - ISSN 1818-4243
Рубрики: Образование. Педагогика Применение вычислительной техники в педагогике Методика преподавания учебных предметов Высшее профессиональное образование Кл.слова (ненормированные): openSEE система -- алгоритм решения задачи -- высшее образование -- генератор задач -- конечные автоматы -- математика -- математические задачи -- математическое образование -- обучающие системы -- преподавание математики -- система openSEE -- тестовые задания -- тренажеры Аннотация: В статье рассмотрена технология организации тестового задания в автоматизированной среде для распознавания выбора алгоритма решения математической задачи. Обоснован выбор иерархической структуры вопросов запроса данных для специального типа тестовых заданий. Представлена реализация указанного типа задания в программной среде openSEE.In the article are been describing technology for manage of testing task in computer program. It was found for recognition of algorithm solution of mathematic task. There are been justifi ed the using hierarchical structure for a special set of testing questions. Also, there has been presented the release of the described tasks in the computer program openSEE. Нет сведений об экземплярах (Источник в БД не найден) |
Метод автоматического формирования семантической сети из слабоструктурированных источников [Текст] = Method of automatic generation of semantic network from semi-structured sources / А. С. Письмак [и др.] // Программные продукты и системы. - 2016. - № 3. - С. 74-78 : ил.: 3 рис., 2 табл. - Библиогр.: с. 78 (13 назв.) . - ISSN 0236-235X
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): семантические сети -- компьютерная лингвистика -- обработка текста -- Wiktionary -- конечные автоматы -- словарные источники Аннотация: Предложен и реализован алгоритм восстановления структуры статей словаря Wiktionary. Доп.точки доступа: Письмак, А. Е.; Харитонова, А. Е.; Цопа, Е. А.; Клименков, С. В. Нет сведений об экземплярах (Источник в БД не найден) |
Лапин, Э. С. Функциональный подход к моделированию динамики систем детерминированных конечных автоматов [Текст] / Э. С. Лапин, М. И. Абдрахманов // Известия вузов. Горный журнал. - 2021. - № 2. - С. 113-122. - Библиогр.: с. 121-122 (15 назв.) . - ISSN 0536-1028
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Горное дело Рудничный транспорт Кл.слова (ненормированные): аппликативные функторы -- конвейерные системы -- конечные автоматы -- конечные динамические системы -- моделирование динамики систем -- функторы -- шахтные конвейерные системы Аннотация: Представлены результаты исследований функционального подхода к моделированию системы конечных автоматов, не ограниченной топологией связи между ее элементами и неоднородностью типов используемых алгоритмов. Рассмотрена методология моделирования системы конечных автоматов применительно к шахтным конвейерным системам. Доп.точки доступа: Абдрахманов, М. И. Нет сведений об экземплярах (Источник в БД не найден) |
Лапин, Э. С. Формальное доказательство соответствия программной реализации используемых в системах контроля и управления моделей заданным требованиям [Текст] / Э. С. Лапин, М. И. Абдрахманов // Известия вузов. Горный журнал. - 2021. - № 7. - С. 99-108. - Библиогр.: с. 106-108 (28 назв.) . - ISSN 0536-1028
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Горное дело Рудничный транспорт Кл.слова (ненормированные): конвейерные системы -- конечные автоматы -- математические системы -- модели систем -- программное обеспечение -- системы контроля -- системы управления -- технические системы -- формальное доказательство -- шахтные конвейерные системы Аннотация: Представлены результаты исследований возможности применения метода формального доказательства соответствия программной реализации модели заданным требованиям для систем, модели которых могут быть представлены в виде конечных автоматов. На примере шахтной конвейерной системы показано применение метода, состоящего в программной реализации модели соответствующего конечного автомата, формировании предположений о наличии у модели свойств в виде теорем с их последующим доказательством с использованием специальных программных средств. Доп.точки доступа: Абдрахманов, М. И. Нет сведений об экземплярах (Источник в БД не найден) |