Построение множества уравнений движений, ограниченных программными связямиПостроение
множества уравнений движений, ограниченных программными связями
Алгоритм нахождения множества Парето на конечном наборе начальных данныхПредлагаемый в работе метод нахождения
множества Парето Т на конечном наборе начальных данных N
Один подход к построению кратно транзитивного множества блочных преобразованийПродолжается исследование
множества преобразований { : F £ Q(Q)}, реализуемых сетью У с одной
Об одном подходе к построению транзитивного множества блочных преобразований обозначать y F. Доказывается критерий биективности всех преобразований из
множества {S F : F £ Q(Q)}, а также
Поиск максимального независимого множества в нечетком графеПредставлен оригинальный подход к отысканию максимального независимого
множества (максимальной
Метод разделения множества дизъюнктов в нахождении решения булевых формул с кванторами экспериментальные исследования влияния метода разделения
множества дизъюнктов на скорость сколемизации таких формул.
Полное решение проблемы минимизации для одного множества бинарных двухленточных автоматовВ статье завершается решение проблемы минимизации для одного
множества бинарных двухленточных