ШЕЛКОВ А.Б.
ЦЕЛИКОВ А.В.
Описана компьютерная система учета и обработки медико-статистической информации муниципального уровня, в которой используются различные методы анализа данных, работы с обобщенными показателями, методы кластеризации, прогнозирования и искусственного интеллекта. Система позволяет осуществлять многомерный анализ показателей заболеваемости на различных уровнях управления, основываясь на данных государственной медицинской статистической отчетности.
СИДОРОВ А.А., СИЛИЧ М.П.
Рассмотрены вопросы вычисления интегральной оценки уровня демографического развития муниципального образования и интерпретации демографических данных. В качестве методологической основы применен метод построения функциональной сети параметров с заданием различных видов зависимостей в виде правил-продукций, формул, процедур фаззификации. Отмечено, что описанные приемы могут применяться органами государственной власти субъектов Российской Федерации и органами местного самоуправления при комплексном социально-экономическом планировании.
СУХАРЕВ О.С.
Рассмотрены проблемы экономического роста в России и логика проведения экономической политики, стимулирующей его. Продемонстрировано наличие «структурного парадокса» и рассмотрены аспекты, выступающие ограничителями экономического роста. Выполнен анализ, позволяющий учесть институциональные, демографические и экологические факторы развития экономической системы и сделать политику стимулирования экономического роста более эффективной.
ЗЕМЛЯКОВ С.Д., ДАНИЛОВА Е.А.
Рассмотрена проблема анализа и синтеза релейной нестационарной системы. Показано, что можно подобрать конструктивные параметры, при которых желаемое движение системы, описываемой редуцированной математической моделью, асимптотически устойчиво в целом. Для частного случая доказано, что движение системы, описываемой полной математической моделью, сходится при этом к некоторой области, включающей в себя желаемое движение. Предложена методика поиска области сходимости.
ГУСЕВ В.Б.
Рассмотрены методы отладки многопараметрических непрерывных шкал оценивания, предназначенных для принятия согласованных решений при многоцелевом планировании на основе экспертных знаний. Приведены примеры процедур верификации и тестирования шкал.
КАВАЛЕРОВ М.В., МАТУШКИН Н.Н.
Предложен ряд алгоритмов, обеспечивающих назначение параметров задач реального времени для планирования с фиксированными приоритетами при любых линейных интервальных ограничениях реального времени. Показано, что предложенные алгоритмы позволяют повысить эффективность планирования и, как следствие, реализовать при имеющихся вычислительных ресурсах более качественное управление.
КРАСНОВА С.А., УТКИН В.А., УТКИН А.В., ТИЕН НГУЕН ТХАНЬ
Предложены прямые процедуры синтеза автономного управления положением рабочего органа манипулятора. Разработан метод допредельной иерархии управлений, позволяющий обеспечить заданную точность слежения в условиях неопределенности оператора объекта управления и действия внешних неконтролируемых возмущений. Для решения проблемы информационного обеспечения применен наблюдатель состояния на скользящих режимах, позволяющий за теоретически конечное время получить оценки неиз-меряемых переменных и имеющихся неопределенностей.
ЖОЖИКАШВИЛИ В.А.
ЗАИКИН О.С., СЕМЕНОВ А.А.
Предложен новый подход к решению SAT-задач, основанный на концепции крупноблочного параллелизма, свойственного многочисленным задачам большой размерности. В рамках данного подхода строится декомпозиция исходной конъюнктивной нормальной формы (КНФ) на семейство КНФ с последующим решением SAT-задачи для каждой КНФ полученного семейства на отдельном вычислительном узле кластера. Планирование оптимального по трудоемкости вычисления осуществляется через решение задачи оптимизации специальной прогнозной функции. Эффективность подхода подтверждена на примере задач криптоанализа суммирующего и порогового генераторов.
НИЖЕГОРОДЦЕВ P.M.
ГИЛЯЗОВ Р.Л., ГИТМАН М.Б., СТОЛБОВ В.Ю.
Рассмотрена задача оптимального управления параметрами транспортной сети электросвязи. Построена модель транспортной сети. Разработаны два алгоритма решения задачи, решены тестовые задачи и проверена адекватность модели.