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

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

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

Показано, что SAT-задачу (satisfiability problem) нельзя считать универсальной NP-полной задачей, а следовательно, вопрос о существовании хотя бы одной NP-полной задачи остается открытым, чем объясняется безуспешность ...