Москва

2720

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Использование регулярных выражений над графами для описания допустимых структур данных

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

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2007

Страницы: 

209-218
Аннотация
Рассматривается задача спецификации структуры взаимодействий между объектами. Множество объектов и связей между ними представляется в виде размеченного ориентированного графа, а задача спецификации состоит в описании всех "хороших" графов: графов, которые задают допустимые структуры взаимодействия. По аналогии с классическим понятием регулярного выражения, определено понятие регулярного выражения над графами. При этом, если "кирпичиками" в обычных регулярных выражениях является строка символов, то в регулярных выражениях над графами роль "кирпичиков" выполняют графы

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

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

4072

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

Язык спецификации взаимодействующих процессов MODEL-100

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

  • Программирование

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

№ 1

Город: 

  • Москва

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

  • Наука

Год издания: 

2007

Страницы: 

1-18
Аннотация
Описывается идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов. Правила взаимо-действия процессов задаются предложениями вида "если … то …" (хорновскими дизъюнктами). Структура взаимодействий представляется графом, который описывается рациональным термом. Исполнение одного шага программы сводится к одновременному применению всех правил ко всем вершинам, к которым правило применимо (ко всем рациональным подтермам, с которыми хорновский дизъюнкт унифицируем).

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

Бабичев А.В., Лебедев В.Г. Язык спецификации взаимодействующих процессов MODEL-100 // Программирование. 2007. № 1. С. 1-18.

8746

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

Распараллеливание рекурсивных программ

Электронная публикация: 

Да

ISBN/ISSN: 

ISBN 978-5-91450-064-8

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

  • 6-ая Международная конференция «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

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

  • Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Страницы: 

583-606
Аннотация
В работе рассматривается задача автоматического распараллеливания кода. Для распараллеливания используется подход, который можно рассматривать как обобщение метода гиперплоскостей Лэмпорта на произвольные программы, работающие в статически выделенном объеме памяти (на программы, в которых не используется динамическое распределение памяти).

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

Бабичев А.В. Распараллеливание рекурсивных программ / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2010. С. 583-606.

5433

Автор(ы): 

Автор(ов): 

1

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

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

Книга (брошюра, монография, стандарт)

Название: 

Распознавание и спецификация структур данных

ISBN/ISSN: 

978-5-9710-0215-4

Город: 

  • Москва

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

  • ЛЕНАНД

Год издания: 

2008

Объём, стр.: 

192
Аннотация
В работе представлен аппарат, позволяющий автоматизировать процесс анализа и верификации структур данных, организованных в виде множества ссылающихся друг на друга объектов

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

Бабичев А.В. Распознавание и спецификация структур данных. М.: ЛЕНАНД, 2008. – 192 с.

2878

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

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

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

  • Инновации-2006

Город: 

  • Москва

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

  • Радио и связь

Год издания: 

2006

Страницы: 

108-109
Аннотация
Поставлена задача многомерного структурного прогнозирования как одна из задач классификацион-ного анализа данных. Идея такой постановки состоит в том, что требуется прогнозировать не точные значе-ния параметров, характеризующих каждый объект изучаемой системы, а лишь тип (класс) объекта в рамках этой системы. Для получения такой типологии используется один из алгоритмов автоматической классифи-кации. В качестве прогнозной модели для каждого объекта используется марковская цепь с r состояниями (r – число классов объектов). Разработан специальный алгоритм пересчета соответствующих переходных ве-роятностей с использованием информации о расстояниях до эталонов классов. Рассмотрена модификация процедуры прогнозирования, когда типология объектов задается заранее, например, экспертным способом и в последующем остается неизменной

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

Дорофеюк Ю.А., Дорофеюк А.А. Структурно-классификационное прогнозирование многомерных динамических объектов / . М.: Радио и связь, 2006. С. 108-109.

9077

Автор(ы): 

Автор(ов): 

2

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

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

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

Название: 

Численное решение задачи Хотеллинга в безопасных стратегиях

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

  • Управление большими системами

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

Выпуск 31

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2010

Страницы: 

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

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

Искаков М.Б., Искаков А.Б. Численное решение задачи Хотеллинга в безопасных стратегиях // Управление большими системами. 2010. Выпуск 31. С. 205-224.

7516

Автор(ы): 

Автор(ов): 

3

Обложка: 

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

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

Книга (брошюра, монография, стандарт)

Название: 

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

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

978-5-98540-013-7

Город: 

  • Москва

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

  • МИЭЭ

Год издания: 

2009

Объём, стр.: 

220
Аннотация
Цель данной работы – реальное и существенное повышение результативности и бюджетной эффективности управления развитием страны, регионов, муниципальных образований, корпораций и предприятий как единого целого. Для практиков, слушателей и аспирантов.

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

Ириков В.А., Новиков Д.А., Тренев В.Н. Целостная система государственно-частного управления инновационным развитием как средство удвоения темпов выхода России из кризиса и посткризисного роста. М.: МИЭЭ, 2009. – 220 с.

1662

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

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

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

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

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2006

Страницы: 

369-372
Аннотация
Рассматривается задача прогнозирования классификационной структуры множества многомерных динамических объектов. Основная идея предлагаемого метода решения этой задачи состоит в том, что требуется прогнозировать не точные значения параметров, описывающих состояние объекта, а лишь класс, к которому принадлежит этот объект в рамках некоторой структуры (классификации) изучаемого множества объектов. Для формализации этой задачи предложено использовать методологию классификационного анализа данных. Предложен алгоритм решения поставленной задачи.

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

Дорофеюк Ю.А., Дорофеюк А.А. Структурно-классификационное прогнозирование динамических объектов / . М.: ИПУ РАН, 2006. С. 369-372.

7605

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Защита отечественных высоких технологий и их разработчиков от информационной агрессии

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

  • Информационные войны

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

№3

Город: 

  • Москва

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

  • ИПЦ ЗАО ПСТМ

Год издания: 

2009

Страницы: 

77-92
Аннотация
Сформулировано «проклятие глобальной либерализации» для России. Показана необходимость защиты отечественных высоких технологий от информационной агрессии из-за рубежа. Проанализирован пример такой агрессии, поводом для которой явилось дело о незаконном экспорте двойных технологий выращивания профилированных кристаллов сапфира. Показано, что информационная агрессия была направлена на формирование представления об инвестиционной и миграционной непривлекательности высокотехнологичных бизнесов и России в целом. Предложено включить в состав национальной инновационной системы подсистему противодействия информационной агрессии против отечественных высоких технологий и их разработчиков.

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

Цыганов В.В. Защита отечественных высоких технологий и их разработчиков от информационной агрессии // Информационные войны. 2009. №3. С. 77-92.

2200

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Как измерять параметры цепей переменного тока?

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

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

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

№7

Город: 

  • Москва

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

  • ООО Издательский дом "ИнфоАвтоматизация"

Год издания: 

2006

Страницы: 

68
Аннотация
Перечислены задачи, решение которых требует проведения измерений параметров цепей переменного тока (ПЦПТ). Сформулированы рекомендации для проведения измерений ПЦПТ.

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

Сапронов П.В. Как измерять параметры цепей переменного тока? // Автоматизация в промышленности. 2006. №7. С. 68.

Страницы