Содержание № 1, 2008 г.

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

Аннотация. Рассмотрены проблемы экономического роста в России и логика проведения экономической политики, стимулирующей его. Продемонстрировано наличие “структурного парадокса” и рассмотрены аспекты, выступающие ограничителями экономического роста. Выполнен анализ, позволяющий учесть институциональные, демографические и экологические факторы развития экономической системы и сделать политику стимулирования экономического роста более эффективной.

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

Аннотация. Предложен новый подход к решению SAT-задач, основанный на концепции крупноблочного параллелизма, свойственного многочисленным задачам большой размерности. В рамках данного подхода строится декомпозиция исходной конъюнктивной нормальной формы (КНФ) на семейство КНФ с последующим решением SAT-задачи для каждой КНФ полученного семейства на отдельном вычислительном узле кластера. Планирование оптимального по трудоемкости вычисления осуществляется через решение задачи оптимизации специальной прогнозной функции. Эффективность подхода подтверждена на примере задач криптоанализа суммирующего и порогового генераторов.

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