Рассматривается опыт применения семейства программных продуктов IBM Rational Rhapsody, ориентированных создание программного обеспечения для рынка систем реального времени и встраиваемых систем. Это семейство продуктов на базе унифицированного языка моделирования (спецификация UML 2.2) реализует подход проектирования на основе моделей (MDD). Исследуя эту систему на тестовых примерах, моделях секундомера, посудомоечной машины, радиоприёмника, мы получили практический опыт по генерации законченных приложений на языках C++ и Java. Весьма любопытным оказался механизм анимации моделей, когда при генерации кода можно указать, что необходимо создать анимированную версию приложения. В этом случае в поведенческий код, реализующий диаграммы конечных автоматов и диаграммы последовательностей, вставляются соответствующие инструкции. При выполнении такой программы среда разработки отражает изменение состояния приложения на соответствующей диаграмме.

Рассматриваются воксельные графические структуры, формируемые для решения задач проектирования

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

Описан метод проверки корректности построения модели технологического процесса при выборе части технологической сети основанный на приоритетных типах агрегатов.