В.А. Трапезникова РАН
ПРОБЛЕМЫ
УПРАВЛЕНИЯ
1.21111
lIllfl|E|')|H1|||1|E
Математические проблемы управления
Клещёв А.С. <...> Экзотические опционы купли с ограничением
выплат и гарантированным доходом в модели Блэка—Шоулса . <...> Система управления
рациональным распределением ресурсов на основе модернизированного
метода последовательных назначений . <...> А.С. Клешев
Прештожена операционная модель интуитивного доказательства, представляющая собой
последовательность команд, операндами которых служат формализованные математические утверждения. <...> Остаточная модель (макрорасширение) операционной модели
интуитивного доказательства, формируемая макрогенератором макроязыка, представляет собой программу rum виртуальной машины, успешное выполнение которой подтверждает правильность интуитивного доказательства. <...> Кшочевые слова: интуитивное доказательство, формализация, операционная модель, макроязык, интерактивная система, автоматическое доказательство теорем, проверка правильности. <...> Поэтому, нет никакой надежды построить такую фиксированную формальную модель (с фиксированными
языком представления математических утверждений, логическим исчислением и моделью доказательства), которую можно было бы положить в основу ОЕВ-системы (т. е. которая продолжала бы
удовлетворять обоим требованиям, несмотря на
дальнейшее развитие математического диалекта, L
GONTROL SGIENGES N5102|]11
МАТЕМАТИЧЕСКИЕ ПРОБЛЕМЫ УПРАВЛЕНИЯ ъ:
методов математических рассуждений и техники доказательства). <...> В Цикле работ, опубликованных в настоящем
журнале, автор предложил использовать для целей
проверки правильности математических доказательств расширяемые формальные модели. <...> Использование расширяемых моделей базируется на
конЦепЦии управления интеллектуальными системами [5]. <...> Основанная на расширяемой модели
ОЕВ-система должна быть дополнена программными средствами управления ею (интерактивными, автоматическими и автоматизированными), чтобы лица <...>
Проблемы_управления_№1_2011.pdf
S
CONTROL SCIENCES
Научнотехнический
журнал
6 номеров в год
ISSN 18193161
УЧРЕДИТЕЛЬ
Учреждение Российской
академии наук
Институт проблем управления
им. В.А. Трапезникова РАН
Главный редактор
Д.А. Новиков
Заместители главного
редактора
Л.П. Боровских, Ф.Ф. Пащенко
Редактор
Т.А. Гладкова
Выпускающий редактор
Л.В. Петракова
Издатель
ООО «СенСиДатКонтрол»
Адрес редакции
117997, ГСП7, Москва,
ул. Профсоюзная, д. 65, к. 410.
Тел./факс (495) 3349200
Еmail: pu@ipu.ru
Интернет: http://pu.mtas.ru
Оригиналмакет
и электронная версия
подготовлены
ООО «Адвансед Солюшнз»
Отпечатано в ИПУ РАН
Фото на четвертой странице обложки
В.М. Бабикова
Заказ № 5
Подписано в печать
15.01.2011 г.
Журнал зарегистрирован
в Министерстве Российской
Федерации по делам печати,
телерадиовещания и средств
массовых коммуникаций
Свидетельство о регистрации
ПИ №7711963 от 06 марта 2002 г.
Журнал входит в Перечень ведущих
рецензируемых журналов и изданий,
в которых должны быть опубликованы
основные научные результаты
диссертаций на соискание ученой
степени доктора и кандидата наук
Подписные индексы:
80508 и 81708 в каталоге Роспечати;
38006 в объединенном каталоге
«Пресса России»
Цена свободная
© Учреждение Российской
академии наук
Институт проблем управления
им. В.А. Трапезникова РАН
ПРОБЛЕМЫ
УПРАВЛЕНИЯ
1.2011
CОДЕРЖАНИЕ
Математические проблемы управления
Клещёв А.С. Операöионная ìоäеëü интуитивных äоказатеëüств . . . . . . . . . . . . . . 2
Подиновский В.В., Подиновская О.В. О некорректности ìетоäа анаëиза
иерархий. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Анализ и синтез систем управления
Паленов М.В. Частотный аäаптивный ПИДД-реãуëятор . . . . . . . . . . . . . . . . . . . 14
Управление в социально-экономических системах
Корепанов В.О., Новиков Д.А. Метоä рефëексивных разбиений в ìоäеëях
ãрупповоãо повеäения и управëения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Дёмин Н.С., Андреева У.В. Экзоти÷еские опöионы купëи с оãрани÷ениеì
выпëат и ãарантированныì äохоäоì в ìоäеëи Бëэка—Шоуëса . . . . . . . . . . . . . . 33
Акинфиев В.К., Коргин Н.А. Орãанизаöионные ìетоäы снижения риска
инвестиöионных реøений. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Акопов А.С. К вопросу проектирования интеëëектуаëüных систеì управëения
сëожныìи орãанизаöионныìи структураìи. Ч. 2. Проãраììная реаëизаöия
систеìы управëения инвестиöионной äеятеëüностüþ вертикаëüно
интеãрированной нефтяной коìпании . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Управление технологическими процессами и производствами
Зырянов Ю.Т., Коновалов О.А., Малыков А.К. Систеìа управëения
раöионаëüныì распреäеëениеì ресурсов на основе ìоäернизированноãо
ìетоäа посëеäоватеëüных назна÷ений . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Управление в медико-биологических системах
Тюмиков Д.К., Блашенцева С.А., Субботин А.М., Савченков Н.Н.
Реãрессионно-ëоãи÷еская ìоäеëü äиаãностики забоëеваний . . . . . . . . . . . . . . . . 63
Информационные технологии в управлении
Наградов Е.А. Заäа÷а построения расписания конфиãураöий äëя беспровоäных
сенсорных сетей . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Управление подвижными объектами и навигация
Тарасов Н.Н., Тахтамышев М.Г. Аëãоритì принятия реøений при управëении
баëëастной систеìой поäвоäноãо аппарата . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
Хроника
Пятая ìежäунароäная конференöия «Параëëеëüные вы÷исëения и заäа÷и
управëения» . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
* * *
Конференция «Управëение в техни÷еских систеìах» . . . . . . . . . . . . . . . . . . . . . . 81
Contents & abstracts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
Стр.1