Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=СЕМАНТИЧЕСКИЙ АНАЛИЗ<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
517
Л 877


    Лушников, Евгений Михайлович.
    Интегральное исчисление. Решение в элементарных функциях неберущихся интегралов [Электронный ресурс] : учебное пособие для вузов / Е. М. Лушников ; рец. С. Г. Герман-Галкин. - Электрон. текстовые дан. - СПб. : Лань, 2024. - on-line : табл. - (Высшее образование). - Библиогр.: с. 117-118. - ISBN 978-5-507-48268-9 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/367469#1
Постоянная гиперссылка
2.
004
М 219


    Малявко, Александр Антонович.
    Формальные языки и компиляторы [Электронный ресурс] : учебное пособие для вузов / А. А. Малявко ; рец.: А. В. Гунько, Е. Л. Романов ; Новосибирский государственный технический университет. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 430. - ISBN 978-5-534-04288-7 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/formalnye-yazyki-i-kompilyatory-453250#page/1
Постоянная гиперссылка
3.
Шифр: В942804/2012/4
   Журнал

Вопросы радиоэлектроники : научно-технический сборник. Системы отображения информации и управления спецтехникой (СОИУ). - М. : ОАО "ЦНИИ "Электроника", ОАО НПП "Рубин". - Периодичность не определена
2012г. N 4
Содержание:
Безяев, В. С. Роль и место научно-призводственного предприятия "Рубин" в оборонно-промышленном комплексе России / В. С. Безяев. - С.5-8
Кл.слова: модернизация предприятия, филиалы, устройства
Сериков, И. В. Создание мобильных пунктов управления, программно-аппаратных комплексов передачи и защиты документальной информации, автоматизированных информационных систем управления для силовых ведомств / И. В. Сериков. - С.9-18
Кл.слова: аппараты, обмен, требования
Сафронов, А. Д. Автоматизация Тыла Вооруженных Сил с 70-х годов XX века до наших дней / А. Д. Сафронов. - С.19-26
Кл.слова: подсистемы, перспективы, конструкторы
Коробов, А. Г. Совершенствование противотанкового вооружения / А. Г. Коробов. - С.26-29
Кл.слова: артиллерия, подразделения, защита
Дудкин, В. И. Механизм взаимосвязи внедрения результатов НИОКР в радиоэлектронное производство и их рыночной реализации / В. И. Дудкин. - С.29-41
Кл.слова: качественная оценка, потенциалы
Цофин, А. С. Пути развития средств автоматизации управления войсками ПВО тактического звена / А. С. Цофин. - С.42-47
Кл.слова: эффективность, скрытность работы, обработка
Бабич, М. Ю. Моделирование силовых индивидуальных-ориентированных действий боевого рационального агента / М. Ю. Бабич, В. Е. Кузнецов. - С.47-56
Кл.слова: внешняя среда, матрицы подобия, лингвистические переменные
Сафронов, А. Д. Создание эффективного информационного пространства должностных лиц МТО при проведении войсковых операций / А. Д. Сафронов. - С.56-61
Кл.слова: модули, операции, планирование
Соков, В. М. Стандартизированный подход к реализации специального программного обеспечения / В. М. Соков, А. Д. Сафронов. - С.61-66
Кл.слова: сценарий, базы знаний, разработки
Скварник, С. В. Применение сетей передачи данных в процессах информационного управления ПВО м Единой системы организации воздушного движения / С. В. Скварник, А. Е. Кислуха, В. К. Федоров. - С.67-74
Кл.слова: сетевые технологии, сети передачи, данные
Вашкевич, Н. П. Определение графов зависимостей в онтологии функциональных блоков и их использование для анализа систем управления / Н. П. Вашкевич, В. Н. Дубинин. - С.74-86
Кл.слова: определение циклов, семантический анализ, реальное время
Трокоз, Д. А. Формализация процесса моделирования многопоточных сетей Петри / Д. А. Трокоз. - С.86-97
Кл.слова: математические модели, формализация, рекурсивные формулы
Пащенко, Д. В. Формализация процедур контроля действий операторов авиационного комплекса радиолокационного дозора и наведения / Д. В. Пащенко, М. П. Синев. - С.97-108
Кл.слова: анализ действия операторов, экспертные системы
Ординарцева, Н. П. Регрессионные эксперименты с пропущенными, неполными, цензурированными данными / Н. П. Ординарцева. - С.108-114
Кл.слова: пропущенные данные, неполные данные, механизмы
Майоров, Б. Г. Исследование возможного поведения параметров сигнала между соседними выборками / Б. Г. Майоров. - С.114-123
Кл.слова: длительность, погрешность, ускорение
Белоруцкий, Р. Ю. Алгоритмы управления амплитудами сигналов двухточечной модели в задаче моделирования эхо-сигнала от точечного отражателя / Р. Ю. Белоруцкий. - С.124-133
Кл.слова: эхо-сигналы, радиолокация, двухточечные модели
Белоруцкий, Р. Ю. Замещение поверхности Земли дискретной моделью при имитации радиолокационных эхосигналов от неё / Р. Ю. Белоруцкий, А. В. Никулин. - С.134-144
Кл.слова: дальномерные ошибки, параметры распределения, математическое ожидание
Турыгин, И. Г. Многокритериальный выбор программируемых логических интегральных схем при проектировании специализированных устройств / И. Г. Турыгин, М. В. Кручинина, О. С. Литвинская. - С.145-156
Кл.слова: ПЛИС, целевой функционал, оптимальный выбор
Бабич, А. М. Методы определения характеристик окружающего пространства при помощи монокулярных систем технического зрения / А. М. Бабич. - С.156-162
Кл.слова: затенение, текстура, фокусировка
Логинова, Н. А. Применение алгоритмов построения зон видимости и воздействия для обнаружения и противодействия БПЛА / Н. А. Логинова, Н. В. Ползунов, А. С. Фролов. - С.162-169
Кл.слова: зоны видимости, зоны воздействия, обнаружения
Кучеева, Е. А. Разработка принципов проектирования изделий специального машиностроения на основе методологии concurrent engineering / Е. А. Кучеева, В. К. Федоров, А. В. Луценко. - С.169-175
Кл.слова: инжиниринг, подготовка, производство
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
4.
А
Т 191


    Тарасов, Елизар Саввич.
    Разработка лингвосемантических методов обработки экспертной информации для ситуационных центров органов государственной власти : автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Е. С. Тарасов ; науч. рук. В. С. Симанков ; Кубанский государственный технологический университет (Краснодар). - Краснодар, 2011. - 23 с. : ил., табл. - Библиогр.: с. 22-23

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка
5.
А
Ш 199


    Шамшев, Алексей Борисович.
    Методы и средства предикатно-онтологического контроля семантики проектных задач и проектных решений : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.12 / А. Б. Шамшев ; науч. рук. П. И. Соснин ; Ульяновский государственный технический университет. - Ульяновск, 2010. - 19 с. : ил. - Библиогр.: с. 18-19

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка
 
Статистика
за 15.06.2024
Число запросов 435
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)