|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Исследование трехзначного обобщения дизъюнктивной нормальной формы алгебраического представления отображаемых взаимосвязей и его применение в прикладных задачахНИР
- Руководители НИР: Брусенцов Н.П., Королев Л.Н., Ложкин С.А.
- Участники НИР: Владимирова Ю.С., Маслов С.П., Рамиль Альварес Х.
- Подразделение: Лаборатория дискретных управляющих систем и их приложений
- Срок исполнения: 1 января 2013 г. - 31 декабря 2015 г.
- Номер договора (контракта, соглашения): 6.7
- Номер ЦИТИС: 01201351281
- Тип: Фундаментальная
- Приоритетное направление научных исследований: Информационные технологии, компьютерные сети, распределенные вычисления и защита информации
- ПН России: Информационно-телекоммуникационные системы
- Направление технологического прорыва России: Стратегические информационные технологии
-
Рубрики ГРНТИ:
- 27.41.41 Алгоритмы решения задач вычислительной и дискретной математики
-
Ключевые слова:
троичное кодирование логических отношений, троичные вычислительные алгоритмы, симметричные системы счисления, схемотехника, аппаратная реализация троичных логики
-
Описание:
Исследование способов предлагаемой алгебраизации умозаключений, основывающейся на обобщении дизъюнктивной нормальной формы отображения отношений использованием в качестве символа исключенное ее членов индекса «0», тогда как умалчиваемые члены не исключены, но и не необходимы. Параллельно предполагается развитие программной системы умозаключений. Также должны быть продолжены разработки оптимальных процедур троичной арифметики, аппаратной реализации узлов троичных компьютеров и развитие эмуляции целочисленного троичного компьютера и языка ДССП-Т.
-
Основные результаты:
Исследован способ алгебраического представления трехзначного отношения следования на основе метода индексов Льюиса Кэрролла. Установлена избыточность указанного метода: поскольку в логике все термины сосуществуют с их противоположностями, отмечаемыми штрихом, в методе индексов нет необходимости в членах с индексом "1". Создана программная системы рассуждений, основанной на силлогистическом выводе в виде набора ДССП-процедур, реализующих основные операции над логическими отношениями. Найдена возможность практического применения найденного способа выражения логических отношений на примере задачи определения оптимального набора способов выборочного изотопного мечения аминокислот в протеинах в целях отнесения пиков на двумерных спектрах ЯМР на основе троичного кодирования взаимосвязей. Получены патенты на изобретение 1. Маслов С.П. (Патент МГУ). Троичный D-тригер (варианты). Патент РФ на изобретение RU № 2510129. Зарегистрирован: 20.03.2014. (Патент МГУ). 2. Маслов С.П. Троичный Т-тригер и троичный троичный реверсивный счетчик на его ос-нове. Патент РФ на изобретение RU № 2562370. Зарегистрирован: 11.09.2015. Осуществлено программное моделирование троичного процессора с варьируемой длиной операндов. Показана возможность потритного сравнения чисел в троичной симметричной системе. Разработаны алгоритмы вычисления квадратного корня и деления в троичной симметричной системе и извлечения квадратного корня из больших целых чисел. Программно реализованы стартовая модель целочисленного троичного компьютера и ассемблер, кросс-компилятор языка ДССП-Т. В 2013/14, 2014/15 и 2015/16 учебных годах для бакалавров прочтен курс «Введение в троичную информатику». На системе «Наставник» в отчетный период проведено 356 часов контрольных работ по курсу «Дифференциальные уравнения» и протестированы 47 группы студентов 1-го курса для определения уровня знаний английского языка.
- Добавил в систему: Врагова Елена Юрьевна
Соисполнители НИР
| МГУ имени М.В.Ломоносова | Координатор |
Источник финансирования НИР
| госбюджет, раздел 0110 (для тем по госзаданию) |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 января 2013 г.-31 декабря 2013 г. | Исследование трехзначного обобщения дизъюнктивной нормальной формы алгебраического представления отображаемых взаимосвязей и его применение в прикладных задачах |
| Результаты этапа: | ||
| 2 | 1 января 2014 г.-31 декабря 2014 г. | Исследование трехзначного обобщения дизъюнктивной нормальной формы алгебраического представления отображаемых взаимосвязей и его применение в прикладных задачах |
| Результаты этапа: Осуществлено трехзначное кодирование логических отношений на ТВМ. Доказан критерий выбора очередной цифры в алгоритме вычисления квадратного корня в троичной симметричной системе счисления. | ||
| 3 | 1 января 2015 г.-31 декабря 2015 г. | Исследование трехзначного обобщения дизъюнктивной нормальной формы алгебраического представления отображаемых взаимосвязей и его применение в прикладных задачах |
| Результаты этапа: | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".