Preview

Вестник НГУ. Серия: Информационные технологии

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 20, № 3 (2022) Автоматизированная система контроля формирования индикаторов достижения компетенций при изучении основ алгебры логики Аннотация  PDF (Rus)  похожие документы
Е. А. Сидорова, А. В. Долгова, С. П. Железняк
"... technology. Boolean algebra is one of the most fundamental sections of computer science. There is a list ..."
 
Том 17, № 3 (2019) Разработка методов интеграции автоматических средств логического вывода для порождения знаний в онтологической модели Аннотация  PDF (Rus)  похожие документы
А. И. Капустина, Д. Е. Пальчунов
"... новых знаний реализуется при помощи автоматических средств логического вывода с использованием заранее ..."
 
Том 16, № 4 (2018) ПРОГРАММНАЯ СИСТЕМА ДЛЯ ОПРЕДЕЛЕНИЯ РЕЧЕВЫХ ДЕЙСТВИЙ В ТЕКСТАХ ЕСТЕСТВЕННОГО ЯЗЫКА Аннотация  PDF (Rus)  похожие документы
Е. Д. Махина, Д. Е. Пальчунов
"... методы, алгебра Линденбаума – Тарского, фрагменты атомарных диаграмм, онтология, естественно-языковые ..."
 
Том 19, № 2 (2021) Автоматизированная система синтеза структурированного учебного контента Аннотация  PDF (Rus)  похожие документы
Е. А. Сидорова, А. В. Долгова, С. П. Железняк
"... логически завершенных раздела, каждый из которых включает в себя несколько подразделов. В качестве разделов ..."
 
Том 16, № 2 (2018) СЕМАНТИЧЕСКИЙ ПОДХОД К МОДЕЛИРОВАНИЮ ФОНДА ОЦЕНОЧНЫХ СРЕДСТВ Аннотация  PDF (Rus)  похожие документы
Г. Э. Яхъяева, А. Р. Абсайдульева
"...   имеем       .t tt        A  Значениями истинности предложений (понятий) в ..."
 
Том 17, № 1 (2019) Разработка ядра онтологической модели, настраиваемой под предметную область Аннотация  PDF (Rus)  похожие документы
Ч. А. Найданов
"... время много работ публикуется на тему совместного применения логическо- го вывода и онтологий. В работе ..."
 
Том 22, № 1 (2024) Построение комплекса автоматизированной отладки фрагментированных программ Аннотация  PDF (Rus)  похожие документы
А. Ю. Власенко, М. А. Мичуров, В. Д. Царёв, М. А. Курбатов
 
Том 16, № 4 (2018) РАЗРАБОТКА ПРЕЦЕДЕНТНО-ОРИЕНТИРОВАННОГО ПОДХОДА ОБРАТНОГО РЕИНЖИНИРИНГА WEB-ИНТЕРФЕЙСОВ Аннотация  PDF (Rus)  похожие документы
П. В. Мызников
"... моделей // Алгебра и логика. 2015. Т. 54, № 1. С. 109–118. 11. Schank R., Abelson R. Scripts, Plans ..."
 
Том 16, № 4 (2018) МОДЕЛИРОВАНИЕ УПРУГИХ ВОЛН В СРЕДАХ СО СЛОЖНОЙ ТОПОГРАФИЕЙ СВОБОДНОЙ ПОВЕРХНОСТИ Аннотация  PDF (Rus)  похожие документы
П. А. Титов
"... . Фадеев Д. К., Фадеева В. Н. Вычислительные методы линейной алгебры. M.: Физмат- гиз, 1960. 17 ..."
 
Том 17, № 1 (2019) Обобщенный алгоритм защищенного информационного обмена для беспроводных систем безопасности с усложненной имитовставкой Аннотация  PDF (Rus)  похожие документы
А. А. Гавришев, А. П. Жук
"... запоминающее устройство уникальных идентификационных данных (ППЗУ УИД), НКХП, генератор ПСП-1, блок логической ..."
 
Том 16, № 3 (2018) ИНТЕЛЛЕКТУАЛЬНАЯ СИСТЕМА ОБРАБОТКИ И ИНТЕГРАЦИИ ЗНАНИЙ НА ОСНОВЕ ТЕХНОЛОГИЙ СЕМАНТИЧЕСКОЙ ПАУТИНЫ Аннотация  PDF (Rus)  похожие документы
И. А. Корсун, Д. Е. Пальчунов
"...   ,K A если   ,PA  то на модели A истинность формул  и  P равносильна ..."
 
Том 17, № 3 (2019) Обзор объектно-ориентированной парадигмы в приложении к разработке баз данных Аннотация  PDF (Rus)  похожие документы
Е. А. Яценко
"... метода данного подхода: алгебра select-project-join (SPJ) и многосортное исчисление предикатов высшего ..."
 
Том 17, № 3 (2019) Разработка автоматизированных методов представления знаний о действиях и ситуациях Аннотация  PDF (Rus)  похожие документы
Е. О. Ненашева, Д. Е. Пальчунов
"... – это знания, истинность которых не является точной, это приближенные, нечеткие, гипотетические или ..."
 
Том 16, № 4 (2018) ПРИМЕНЕНИЕ МОДЕЛЬНО-ОРИЕНТИРОВАННОГО ПРОЕКТИРОВАНИЯ К СОЗДАНИЮ АСУ ТП ОПАСНЫХ ПРОМЫШЛЕННЫХ ОБЪЕКТОВ Аннотация  PDF (Rus)  похожие документы
С. С. Журавлев, С. В. Рудометов, В. В. Окольнишников, С. Р. Шакиров
"... сигналов, блок дублирования физических сигналов и программируемые логические контроллеры АСУ ТП ..."
 
Том 17, № 2 (2019) Автоматический рефакторинг Java-кода с использованием Stream API Аннотация  PDF (Rus)  похожие документы
Р. А. Иванов, Т. Ф. Валеев
"... (boolean, short и т. д.) назовем неподдерживаемыми типами. Также для простоты под Stream мы будем ..."
 
Том 16, № 1 (2018) ПРОГРАММИРОВАНИЕ МОБИЛЬНЫХ ВЕБ-СИСТЕМ ДЛЯ АДАПТИВНОГО ТЕСТИРОВАНИЯ Аннотация  PDF (Rus)  похожие документы
А. В. Альтахер
"... answers to questions of a light level of complexity, a Boolean model is used . In this case, the truth of ..."
 
Том 16, № 4 (2018) АВТОМАТИЧЕСКОЕ ИЗВЛЕЧЕНИЕ РЕШЕТОК ПОНЯТИЙ ИЗ МЕДИЦИНСКИХ ТЕКСТОВ НА ОСНОВЕ КОМБИНАЦИИ АНАЛИЗА ФОРМАЛЬНЫХ ПОНЯТИЙ И ТЕХНОЛОГИЙ БУТСТРАППИНГА Аннотация  PDF (Rus)  похожие документы
А. Б. Нугуманова, Е. М. Байбурин, М. Е. Мансурова, В. Б. Барахнин
"... анализа формальных понятий – метода, который, как отмечается в работе [1], использует язык алгебры для ..."
 
Том 18, № 4 (2020) Некоторые аспекты визуализации трехмерных сферического и эллиптического пространств Аннотация  PDF (Rus)  похожие документы
Д. И. Мигранов
"... , необходимо изменить ось поворота, применяя известную формулу из линейной алгебры. Таким образом, получаем ..."
 
Том 16, № 3 (2018) РАЗРАБОТКА АВТОМАТИЗИРОВАННОГО МОДУЛЯ МИНЕРАЛИЗАЦИИ ПОЛИВНОЙ ВОДЫ Аннотация  PDF (Rus)  похожие документы
Р. М. Бандишоева
"... . Рис. 4. Визуализация нечеткого логического вывода для управления pH В подмодуле EC значения ..."
 
Том 16, № 4 (2018) ПРИМЕНЕНИЕ FPGA ДЛЯ УСКОРЕНИЯ РАСЧЕТА ВОЛНОВОГО ФРОНТА ЦУНАМИ Аннотация  PDF (Rus)  похожие документы
К. Ф. Лысаков, К. К. Облаухов, М. Ю. Шадрин
"... 1990-х гг. При этом вначале наибольшее применение нашли вариации про- граммируемых логических матриц ..."
 
1 - 20 из 48 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)