Предложен метод моделирования многоуровневых изображений, основанный на иерархиях нерегулярных замощений.

В настоящей работе, основанной на материалах зарубежной печати, рассматриваются алгебраические уравнения Риккати и линейные матричные неравенства, возникающие при решении задач H2 (ЛКГ) и H-infinity теории управления.

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

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

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