Москва

4305

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Исчисление понятий

ISBN/ISSN: 

ISBN 978-5-91450-009-9

Наименование конференции: 

  • 7-я международная конференция «Когнитивный анализ и управление развитием ситуаций» (CASC-2007, Москва)

Наименование источника: 

  • Труды VII Международной конференции «Когнитивный анализ и управление развитием ситуаций» (CASC-2007, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2007

Страницы: 

31-35
Аннотация
Для когнитивного моделирования сложных слабоструктурированных задач предлагается использование формальной теории понятий. Приводится описание алфавита, аксиом и правил вывода исчисление понятий, являющейся основой понятийной математической модели предметной области.

Библиографическая ссылка: 

Выхованец В.С. Исчисление понятий / Труды VII Международной конференции «Когнитивный анализ и управление развитием ситуаций» (CASC-2007, Москва). М.: ИПУ РАН, 2007. С. 31-35.

7396

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Некоторые определения из области системного подхода

Наименование конференции: 

  • Международная научно-практическая конференция «Теория активных систем» (TAS'2009, Москва)

Наименование источника: 

  • Труды Международной научно-практической конференции «Теория активных систем» (TAS'2009, Моква)

Обозначение и номер тома: 

Т. 1

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2009

Страницы: 

45-49
Аннотация
Придерживаясь единого и достаточно общего терминологического базиса, основанного на теоретико-множественном формализме, дано строгое определение системы и основных системных понятий.

Библиографическая ссылка: 

Выхованец В.С. Некоторые определения из области системного подхода / Труды Международной научно-практической конференции «Теория активных систем» (TAS'2009, Моква). М.: ИПУ РАН, 2009. Т. 1. С. 45-49.

2920

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Тезисы доклада

Название: 

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

Наименование конференции: 

  • 3-я Международная конференция по проблемам управления (МКПУ 2006, Москва)

Наименование источника: 

  • Тезисы докладов 3-й Международной конференции по проблемам управления (МКПУ 2006, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2006

Страницы: 

106
Аннотация
В статье обсуждается синтез оптимальных форм логического управления, задаваемых в виде последовательность операции (команд) некоторого вычислительного средства. Решение задачи предлагается осуществить на основе синтеза формулы для функции в базисе бинарных операций произвольной значности.

Библиографическая ссылка: 

Выхованец В.С. Оптимальный синтез логического управления / Тезисы докладов 3-й Международной конференции по проблемам управления (МКПУ 2006, Москва). М.: ИПУ РАН, 2006. С. 106.

2896

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Разнесенный грамматический разбор

Наименование источника: 

  • Проблемы управления

Обозначение и номер тома: 

№ 1

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2006

Страницы: 

32-43
Аннотация
Рассматривается контекстная технология программирования, основанная на создании специализированного языка для решения заданного класса прикладных задач путем понятийного анализа предметной области и отражения ее понятийной структуры в понятиях создаваемого языка. Описывается метод разнесенного грамматического разбора, который необходим для эффективной реализации компилятора системы контекстного программирования.

Библиографическая ссылка: 

Выхованец В.С. Разнесенный грамматический разбор // Проблемы управления. 2006. № 1. С. 32-43.

6306

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Совершенствование логической модели экспертной системы (тренажёра) мастера доменной печи

Наименование источника: 

  • Промышленные АСУ и контроллеры

Город: 

  • Москва

Издательство: 

  • Научтехлитиздат

Год издания: 

2008

Страницы: 

38-40
Аннотация
В работе представлено совершенствование логической модели экспертной системы (тренажёра) мастера доменной печи на базе ранее разработанных методов моделирования. Использован принцип гетерогенного моделирования.

Библиографическая ссылка: 

Малюгин В.Д., Иванов Е.Б. Совершенствование логической модели экспертной системы (тренажёра) мастера доменной печи // Промышленные АСУ и контроллеры. 2008. С. 38-40.

4298

Автор(ы): 

Автор(ов): 

3

Параметры публикации

Тип публикации: 

Доклад

Название: 

Разработка экспертной системы (тренажёра) доменной печи с применением модели шлакоперерабатывающей установки

Наименование конференции: 

  • Автоматизация в промышленности

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2007

Страницы: 

124-129
Аннотация
Представлена постановка задачи и первые шаги разработки математической модели экспертной системы управления шлакоперерабатывающей установки доменного производства на основе нечеткой логики и икусственного интеллекта.

Библиографическая ссылка: 

Малюгин В.Д., Иванов Е.Б., Пареньков А.Е. Разработка экспертной системы (тренажёра) доменной печи с применением модели шлакоперерабатывающей установки / . М.: ИПУ РАН, 2007. С. 124-129.

3233

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Тезисы доклада

Название: 

Репрезентация знаний в системах управления крупномасштабными производствами

Наименование конференции: 

  • 1-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2007, Москва)

Наименование источника: 

  • Тезисы докладов 1-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2007, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2007

Страницы: 

124-125
Аннотация
Для репрезентации данных и знаний, накопленных в информационной системе, предприятия, предлагается использовать механизм автоматической генерации документов, основанный на понятийном моделировании некоторого фрагмента предметной области репрезентации.

Библиографическая ссылка: 

Выхованец В.С. Репрезентация знаний в системах управления крупномасштабными производствами / Тезисы докладов 1-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2007, Москва). М.: ИПУ РАН, 2007. С. 124-125.

4290

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Репрезентация знаний

Наименование конференции: 

  • 7-я международная конференция «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2007, Москва)

Наименование источника: 

  • Труды 7-й Международной конференции «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2007, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2007

Страницы: 

49-52
Аннотация
При репрезентации знания преобразуются в новую форму с учетом некоторой активной проблематики, а сам процесс преобразования описывается знанием о накопленных ранее знаниях, или метазнанием. Для представления метазнаний используется понятийная структура области репрезентации, где заданы отображения одних понятий в другие, задающие способы их абстрагирования. Приведено описание разработанной системы текстовой репрезентации знаний, накопленных в CAD/CAM/PDM системах.

Библиографическая ссылка: 

Выхованец В.С. Репрезентация знаний / Труды 7-й Международной конференции «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2007, Москва). М.: ИПУ РАН, 2007. С. 49-52.

5788

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Сертификация систем логического управления на основе количества выполняемых операций и объема обрабатываемых данных

ISBN/ISSN: 

ISBN 978-5-91450-022-8

Наименование конференции: 

  • 1-я Российская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва)

Наименование источника: 

  • Труды 1-й Российской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2008

Страницы: 

02-07
Аннотация
Для устранения субъективности в оценке качества программ и устройств предлагается использовать верхние оценки трудоемкости вычислений для задач дискретной обработки данных конечной размерности, для чего служит разработанная методика абсолютной оценки эффективности дискретных моделей, которая применима не только при программной, но и для аппаратурной реализации логической обработки данных.

Библиографическая ссылка: 

Выхованец В.С. Сертификация систем логического управления на основе количества выполняемых операций и объема обрабатываемых данных / Труды 1-й Российской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2008, Москва). М.: ИПУ РАН, 2008. С. 02-07.

5093

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Рекуррентное оценивание матриц параметров и ковариаций случайных возмущений в многомерных динамических системах, описываемых разностными уравнениями

Наименование конференции: 

  • 7-я Международная конференция «Идентификация систем и задачи управления» (SICPRO'2008, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2009

Страницы: 

398-405
Аннотация
Для многомерных динамических систем, описывамых разностными уравнениями с зависимыми случайными возмущениями, рассматриваются задачи оценивания параметров систем и параметров ковариаций при специальной структуре неизвестной ковариационной матрицы. Приводятся оценки максимального правдоподобия для матриц параметров системы и коэффициентов разложения ковариационной матрицы. Получена рекуррентная процедура вычисления оценок параметров системы и оценок ковариаций.

Библиографическая ссылка: 

Сысоев Л.П. Рекуррентное оценивание матриц параметров и ковариаций случайных возмущений в многомерных динамических системах, описываемых разностными уравнениями / . М.: ИПУ РАН, 2009. С. 398-405.

Страницы