КИРИЛЛОВ ВАДИМ ПЕТРОВИЧ

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

  Изобретение относится к вычислительной технике и может быть использовано в однородных вычислительных структурах для обработки нечетких (расплывчатых) логических формул (составных нечетких высказываний), а также для логического вывода в многозначном исчислении высказываний. Цель изобретения - упрощение настройки однородной структуры за счет обеспечения хранения признаков принадлежн...

  Изобретение относится к вычислительной технике и может быть использовано для анализа баз знаний и решения задач логического вывода. Целью изобретения является расширение функциональных возможностей устройства за счет решения задач автоматического доказательства теорем . Устройство содержит блок 1 задания матрицы прямого вхождения литер в дизъюнкты , блок 2 проверки достижимости И...

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