Авторизация
 

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ТИПИЗАЦИЯ<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
004
К 889


    Кудрявцева, Ирина Андреевна.
    Программирование: теория типов [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2022. - on-line. - (Высшее образование). - Библиогр.: с. 588-595. - ISBN 978-5-534-11088-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-teoriya-tipov-444496#page/1
Постоянная гиперссылка
2.
Шифр: В112429/2015/2
   Журнал

Вопросы радиоэлектроники : научно-технический сборник. Общетехническая/ ЦНИИ Электроника. - М. : ЦНИИ "Электроника". - ISSN 2218-5453. - Периодичность не определена
2015г. N 2
Содержание:
Иванов, Д. В. Применение метода точного позиционирования для высокоточных сличений стандартов времени и частоты РСДБ / Д. В. Иванов, А. А. Блудов. - С.7-11
Кл.слова: сличения высокоточные, позиционирование точное, стандарты частоты и времени
Алешкин, А. П. К вопросу совершенствования технологии обработки радиосигналов РЭС-локации и навигации на основе анализа их информационных характеристик / А. П. Алешкин, В. С. Бахолдин, В. М. Балашов. - С.12-20
Кл.слова: система спутниковая навигационная, измерения фазовые, параметры радиосигнала
Иванов, Д. В. Сравнительный анализ результатов сличения стандартов времени и частоты методами радиоинтерферометрических наблюдений и прецизионных измерений по сигналам глобальных навигационных систем / Д. В. Иванов. - С.20-31
Кл.слова: точность сличения, измерения фазовые, определения навигационные
Головачев, М. В. Многопозиционная мобильная радиотехническая система ближней навигации с кооперативной обработкой измерительной информации / М. В. Головачев, Е. Г. Борисов. - С.31-42
Кл.слова: система радионавигационная, измерения дальномерные, ошибка среднеквадратическая
Бундин, Г. Г. Снижение аппаратурных затрат и площади кристалла СНК при проектировании вычислительных сред цифровой обработки сигналов / Г. Г. Бундин, Т. Г. Помозова, В. Б. Поляков. - С.42-47
Кл.слова: параллелизм массовый, параллелизм архитектуры, конвейер синхронный
Бундин, Г. Г. Типизация фрагментов информационных графов решаемого класса задач для реализации на архитектуре вычислительного ядра СНК с программируемой архитектурой / Г. Г. Бундин, Т. Г. Помозова, В. Б. Поляков. - С.48-55
Кл.слова: распараллеливание обработки, библиотека типизированных фрагментов, среда многоядерная вычислительная
Балашов, В. М. Линия передачи с двухсторонней металлизацией диэлектрического слоя / В. М. Балашов, И. Г. Мироненко, И. А. Назаров. - С.56-67
Кл.слова: постоянная распространения, Лагерра полиномы, Галёркина метод
Кудрявцева, Е. В. Основные результаты моделирования системы стабилизации и управления антенной бортовой РЛС W-диапазона / Е. В. Кудрявцева. - С.67-75
Кл.слова: стабилизация косвенная, управление диаграммой направленности, система стабилизации и управления
Вилков, Г. И. Методы калибровки стержневых приемоизлучающих гидрофонов / Г. И. Вилков, Р. А. Балакин. - С.76-84
Кл.слова: гидроакустика, принцип взаимности четырехполюсников, методы калибровки гидрофонов
Бузинов, И. А. Устройство для проверки характеристик обтекателя / И. А. Бузинов. - С.84-90
Кл.слова: материал радиопрозрачный, устройства коммутирующие, стенд дальнего поля
Бузинов, И. А. Стенд автоматизированных измерений характеристик антенн / И. А. Бузинов. - С.90-100
Кл.слова: измерения автоматизированные, камера безэховая, устройства антенно-фидерные
Сотникова, Н. В. Математическое моделирование нестационарных процессов изменения скорости ветра в атмосфере при проектировании метеолокаторов оптического и радиодиапазона / Н. В. Сотникова, С. Ю. Страхов, А. А. Сорокин. - С.100-112
Кл.слова: потоки ветровые, процессы вихревые, метеорологические радары
Поленок, Е. А. Сравнительная оценка точностных характеристик поисковых и безпоисковых алгоритмов корреляционно-экстремальных навигационных систем / Е. А. Поленок, С. Ю. Страхов. - С.112-120
Кл.слова: Калмана фильтры, радиовысотомеры, рельеф земной поверхности
Блудов, А. А. Деградация характеристик бортовых радиолокационных станций в условиях отказов / А. А. Блудов, Е. Л. Капылов. - С.121-130
Кл.слова: решётка антенная, коэффициент направленного действия, изображение радиолокационное
Кирпанев, А. В. Методы амплитудной диагностики апертурных антенн и плоских антенных решеток на основе сферического сканирования ближнего поля / А. В. Кирпанев, В. В. Шубников. - С.131-142
Кл.слова: измерения антенные, диаграммы направленности, апертура излучения
Григорьева, А. С. Существующие тенденции и проблемы применения RFID-технологий в России / А. С. Григорьева, А. Л. Алексеев. - С.143-150
Кл.слова: ПАВ-технология, криптография, RFID
Алешкин, Н. А. К вопросу о совершенствовании интеллектуальных технологий аппаратно-программного обеспечения при управлении качеством производства специальной микроэлектроники / Н. А. Алешкин. - С.150-160
Кл.слова: показатели качественные, регулятор нечеткий, параметры воздушной среды
Алешкин, Н. А. Математическая модель автоматического управления вектором состояния недоопределенной динамической системы на основе принципов нечёткого регулирования / Н. А. Алешкин, В. Ю. Терещенко, В. М. Балашов. - С.160-172
Кл.слова: вектор состояния, функции принадлежности, модель наблюдения
Григорьева, А. С. Построение маркетинговой деятельности на предприятии радиоэлектронной промышленности / А. С. Григорьева, Н. В. Аллилуева. - С.172-181
Кл.слова: инновации, промыщленность радиоэлектронная, маркетинг
Фёдорова, Е. С. Методы оценки персонала: обзор современных практик и обоснование выбора / Е. С. Фёдорова. - С.182-193
Кл.слова: эффективность труда, оценка труда, оценка персонала
Макаров, В. В. Оценка экономической эффективности инвестиций в инновационные проекты с учетом нематериальных активов / В. В. Макаров, Н. С. Шувал-Сергеева. - С.193-198
Кл.слова: капитал интеллектуальный, инновации, управление инвестиционно-инновационным процессом
Шувал-Сергеева, Н. С. Методические подходы к ценообразованию на инновационные продукты / Н. С. Шувал-Сергеева. - С.198-203
Кл.слова: ценообразование, рынок новшеств, инновации
Батьковский, А. М. Оценка рисков инвестиционных проектов на основе имитационного статистического моделирования / А. М. Батьковский, Е. Г. Семенова, В. Я. Трофимец. - С.204-222
Кл.слова: Монте-Карло метод, закон больших чисел, процессор MS Excell
Батьковский, М. А. Экономическая оценка технологий двойного назначения / М. А. Батьковский, П. В. Кравчук, А. В. Фомина. - С.222-231
Кл.слова: методика, эффективность, модели
Батьковский, М. А. Финансово-кредитный механизм государственной поддержки оборонно-промышленного комплекса / М. А. Батьковский, П. В. Кравчук, И. А. Кравчук. - С.231-251
Кл.слова: заказ оборонный государственный, финансирование, процессы экономические
Батьковский, А. М. Оценка инновационного потенциала результатов интеллектуальной деятельности / А. М. Батьковский, П. А. Калачихин, Ю. Ф. Тельнов. - С.251-271
Кл.слова: оценка, методика, модели
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
3.
    (Свободных экземпляров нет)
Шифр: И271191/2012/4
2012г.4
Содержание:
Бочков, М. В. Перспективы развития методов семантической фильтрации текстовых документов / М. В. Бочков, А. Ю. Бородащенко. - С.2-7
Кл.слова: обработка, меры близости, алгоритмы
Борисов, В. В. Мультиагентное моделирование сложных организационно-технических систем в условиях противоборства / В. В. Борисов, В. В. Сысков. - С.7-14
Кл.слова: поведение, классификация, описание
Норенков, И. П. Извлечений знаний из текстовых документов на основе концептно - ориентированной типизации запросов / И. П. Норенков, М. Ю. Уваров. - С.14-17
Кл.слова: языки, кластеризация, типизация
Левин, В. И. Методы оптимизации систем в условиях интервальной неопределенности параметров / В. И. Левин. - С.17-22
Кл.слова: детерминизация, сравнение, сведение
Ураков, А. Р. Многоуровневый алгоритм разбиения графов по критерию средней длины / А. Р. Ураков, Т. В. Тимеряев. - С.22-25
Кл.слова: декомпозиция, задачи, решения
Минухин, С. В. Оптимизация энергопотребления вычислительных ресурсов двухуровневого Grid на основе балансировки их загрузки / С. В. Минухин, С. В. Знахур. - С.26-31
Кл.слова: кластер, метапланировщики, моделирование
Саак, А. Э. Диспетчеризация в Grid-системах на основе однородной квадратичной типизации массивов заявок пользователей / А. Э. Саак. - С.32-36
Кл.слова: полиэдрали, критерии, классификация
Каленик, А. Н. Умножение и возведение в степень по большим модулям с использованием минимально избыточной модулярной арифметики / А. Н. Каленик. - С.37-44
Кл.слова: криптосистемы, Монтгомери схема, интервалы
Крупнов, И. В. Анализ проблем обеспечения информационной безопасности системы электронного голосования в условиях российского информационного пространства / И. В. Крупнов. - С.45-49
Антонов, А. В. Бутстреп - метод оценки характеристик надежности восстанавливаемых объектов по специфическим данным об отказах / А. В. Антонов, С. В. Соколов, В. А. Чепурко. - С.50-54
Кл.слова: метод "складного ножа", Пуассона поток, задачи
Караев, Р. А. Индикаторы состояния и факторы развития ИКТ - сектора регионов / Р. А. Караев, Р. Г. Гюльмамедов, Н. Ю. Садыхова. - С.55-59
Капулин, Д. В. Прикладное решение по подготовке информации о бизнес - процессах для платформы 1С: Предприятие с использованием ERwin Process Modeler / Д. В. Капулин ; Д. В. Rапулин. - С.59-63
Кл.слова: проектирование, структурный анализ, XML
Куравский, Л. С. Применение фильтра Калмана для фильтрации артефактов при адаптивном тестировании / Л. С. Куравский, Г. А. Юрьев. - С.63-69
Мажуга, В. В. Цифровая фильтрация и анализ электрокардиограмм / В. В. Мажуга, В. М. Хачумов. - С.70-74
Кл.слова: визуализация, зубцы, алгоритмы
Немтинов, В. А. Имитационное моделирование динамических процессов при управлении городским пассажирским транспортом / В. А. Немтинов, Н. В. Пеньшин, Ю. А. Донских. - С.75-78
На вкладках: Кухаренко Б. Г. Алгоритмы выделения объектов переднего плана из фона и интерактивного редактирования изображения
Все экземпляры списаны
Постоянная гиперссылка
4.
681
М222


    Мамиконов, Акоп Гаспарович.
    Типизация разработки модульных систем обработки данных / Акоп Гаспарович Мамиконов, В.В. Кульба, С.А. Косиченко; РЕД.Воронов А. А. ; Академия наук СССР, Институт проблем управления. - М. : Наука, 1989. - 165 с. - (в пер.) : Б. ц.

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