В некоторых случаях для переделки проектов, выполненных в среде MS DOS, на современные инструментальные средства целесообразно создавать специализированные конвертеры для автоматизации процесса. Обсуждаются принципы разработки конвертера на примере проектов, выполненных средствами системы Фрагмент в среде MS DOS.

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

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

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

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