Авторизация
 

Базы данных


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

Вид поиска
Основная база библиотеки
База данных нормативных документов
Персоналии ученых-профессоров ТУСУРа
Календарь знаменательных дат
Электронные книги ЛитРес
ЭБС «Лань»
ЭБС «Юрайт»
Область поиска
в найденном
 Найдено в других БД:База данных нормативных документов (3)
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=спецификации<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 20
 1-20    21-23 
1.
1821(И)


   Bjørner, Dines
    Software Engineering / D. Bjørner. - Berlin Heidelberg : Springer, 2006 - . - (Texts in Computer Science : An EATCS series).
   Vol. 1 : Abstraction and Modelling. - Berlin Heidelberg : Springer, 2006. - 711[39] p. : 38 figur. - Reference: p. 687-711; Index: p. 649-685. - ISBN 9-783-540-21149-5 : 74.95 €
Перевод заглавия: Программирование

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


   Bjørner, Dines
    Software Engineering / D. Bjørner. - Berlin Heidelberg : Springer, 2006 - . - (Texts in Computer Science : An EATCS series).
   Vol. 2 : Specification of Systems and Languages. - Berlin Heidelberg : Springer, 2006. - 777[39] p. : 151 fig., 27 tabl. - Reference: p. 751-777; Index: p. 721-749. - ISBN 978-3-540-21150-1 : 74.95 €
Перевод заглавия: Программирование

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
3.
62:744
Б 799

    Большаков, Владимир Павлович.
    Инженерная и компьютерная графика. Изделия с резьбовыми соединениями [Электронный ресурс] : учебное пособие для вузов / В. П. Большаков, А. В. Чагина. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., черт. - (Высшее образование). - Библиогр.: с. 64. - ISBN 978-5-534-12090-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/inzhenernaya-i-kompyuternaya-grafika-izdeliya-s-rezbovymi-soedineniyami-452004#page/1
Постоянная гиперссылка
4.


    Варфоломеева, О. А.
    Нововведения спецификации CSS3 и обзор современных браузеров [Текст] : доклад / О. А. Варфоломеева, А. А. Бахарев, Е. А. Черноусов, С. В. Ступаков // Научная сессия ТУСУР-2011. - Томск : В-Спектр. - Ч. 4. - С. 189-191 : ил. - Библиогр. в конце ст.

    Коды, Ключ.слова, Доп.точки доступа
Полный текст/внешний ресурс   (постраничный просмотр) : 2011_varfolomeeva_070711.pdf или скачать 

Постоянная гиперссылка
5.
681.3
Д 303

    Деметрович, Янош.
    Автоматизированные методы спецификации [Текст] : научное издание / Я. Деметрович, Э. Кнут, П. Радо ; пер. Л. В. Шабанов ; ред. Ю. Г. Дадаев. - М. : Мир, 1989. - 115 с. - Пер. с англ. - Библиогр.: с. 112-115. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл, счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка
6.
Шифр: Д572536/2020/79/4
   Журнал
Деньги и кредит : ежемесячный теоретический научно-практический журнал/ Банк России. - М. : Финансы и статистика, 1927 - . - ISSN 0130-3090. - Выходит ежемесячно
2020г. т.79 N 4 . - 1168.43, р.
Содержание:
Пономаренко, Алексей. Оценка последствий пандемии для экономики России через призму межотраслевого баланса / А. Пономаренко, С. Попова, А. Синяков, Н. Турдыева. - С.3-17
Другие авторы: Попова С., Синяков А., Турдыева Н.
Кл.слова: COVID-19, платежная система, ВВП
Асоян, Ани. Моделирование последствий шоков здоровья для экономики Армении / А. Асоян, В. Давтян, А. Игитян, А. Карташян. - С.18-44
Другие авторы: Давтян В., Игитян А., Карташян А.
Кл.слова: COVID-19, карантин, робастность
Мамонов, Михаил. Финансовые шоки и кредитные циклы / М. Мамонов, В. Панкова, Р. Ахметов, А. Пестова. - С.45-74
Другие авторы: Панкова В., Ахметов Р., Пестова А.
Кл.слова: рецессии, SVAR-подход, спецификации
Ульянкин, Филипп. Прогнозирование российских макроэкономических показателей на основе информации в новостях и поисковых запросах / Ф. Ульянкин. - С.75-97
Кл.слова: машинное обучение, анализ данных, индексы
Коротких, Ольга. Межстрановая BVAR-модель внешнего сектора / О. Коротких. - С.98-112
Кл.слова: гиперпараметры, прогнозирование, байесовские методы
Имеются экземпляры в отделах: всего 1 : счз1 (1)
Свободны: счз1 (1)

Постоянная гиперссылка
7.
Шифр: Д301668/2011/2(24)
   Журнал
Томский государственный университет систем управления и радиоэлектроники.
Доклады Томского государственного университета систем управления и радиоэлектроники : периодический научный журнал/ Томский государственный университет систем управления и радиоэлектроники. - Томск : Издательство ТУСУР, 1997 - . - ISSN 1818-0442. - Выходит ежеквартально
2011г. N 2(24)Ч.2
Содержание:
Антипов, Владимир Борисович. Получение наноуглеродных структур из природного газа в плазме СВЧ-разряда / В. Б. Антипов, Ю. В. Медведев, С. А. Фирсов. - С.7-9
Кл.слова: утилизация, конверсия, магнетроны
Ющенко, Алексей Юрьевич. СВЧ-монолитные интегральные схемы широкополосных коммутаторов и ограничителей мощности на основе гетероструктурных арсенидгаллиевых pin-диодов / А. Ю. Ющенко, Г. И. Айзенштат, Е. А. Монастырев. - С.10-16
Кл.слова: сопротивление, потери, кристаллы
Коколов, Андрей Александрович. Построение и характеристики СВЧ монолитных усилителей мощности на основе полупроводниковых материалов GaAs и GaN / А. А. Коколов, М. В. Черкашин. - С.17-23
Кл.слова: связь, галлий, транзисторы
Коколов, Андрей Александрович. Схемы сложения мощности для монолитных интегральных СВЧ-усилителей / А. А. Коколов, Л. И. Бабак. - С.24-30
Кл.слова: транзисторы, сумматоры, классификация
Михайлович, Сергей Викторович. Построение масштабируемой шумовой модели МНЕМТ на GaAs c Lg от 50 до 250 нм / С. В. Михайлович, Ю. В. Федоров, А. С. Бугаев. - С.31-35
Кл.слова: схемы, коэффициенты, транзисторы
Доценко, Ольга Александровна. Микроволновые характеристики композиционных радиоматериалов на основе полимера и углеродных структур / О. А. Доценко, В. И. Сусляев, В. Л. Кузнецов. - С.36-40
Кл.слова: проницаемость, перколяция, наноматериалы
Ерофеев, Евгений Викторович. Исследование термостабильности параметров бездрагметалльного GaAs рНЕМТ транзистора с металлизацией на основе CuGe-соединений / Е. В. Ерофеев, А. И. Казимиров, В. А. Кагадей. - С.41-46
Кл.слова: германиды, литография, затворы
Романовский, Михаил Николаевич. Методика расчета теплопереноса в светоизлучающих диодах на основе GaN / М. Н. Романовский, С. Г. Еханин. - С.47-51
Кл.слова: температура, дефекты, перегрев
Саврук, Елена Владимировна. Получение периодических наноструктур γ-Al2O3 при воздействии лазерного излучения / Е. В. Саврук. - С.52-54
Кл.слова: керамика, оплавление, кристаллизация
Смирнов, Серафим Всеволодович. Температурная зависимость спектров излучения светодиодов белого свечения на основе нитрида галлия и его твердых растворов / С. В. Смирнов, Е. В. Саврук, Ю. С. Гончарова. - С.55-58
Кл.слова: гетероструктуры, люминофоры, свет
Сусляев, Валентин Иванович. Электромагнитные характеристики композиционных радиоматериалов на основе наноразмерных наноструктурных наполнителей / В. И. Сусляев, О. А. Доценко, В. Л. Кузнецов. - С.59-63
Кл.слова: проницаемость, гексаферриты, порошки
Данилина, Тамара Ивановна. Создание микрорельефных поверхностей в просветляющих оптических покрытиях для повышения внешней квантовой эффективности синих светодиодов на основе GaN / Т. И. Данилина, П. Е. Троян, И. А. Чистоедова. - С.64-67
Кл.слова: литография, наноострия, спектры
Казимиров, Артем Игоревич. Формирование медно-германиевого соединения низкотемпературной обработкой в потоке атомарного водорода / А. И. Казимиров, Е. В. Ерофеев, В. А. Кагадей. - С.68-72
Кл.слова: пленки, диффузия, сопротивление
Жидик, Юрий Сергеевич. Расчет теплоотводящего и несущего покрытия при изготовлении светодиодов / Ю. С. Жидик, П. Е. Троян, Д. Д. Каримбаев. - С.73-76
Кл.слова: температура, напряжения, инвар
Сахаров, Юрий Владимирович. Исследование пористых пленок диоксида кремния / Ю. В. Сахаров, П. Е. Троян. - С.77-80
Кл.слова: углерод, магнетрон, мишени
Астахов, Алексей Анатольевич. Оптимизация тепловых режимов в конструкциях световых приборов на полупроводниковых источниках света / А. А. Астахов, Д. Д. Каримбаев, А. О. Мисюнас. - С.81-89
Кл.слова: светодиоды, платы, теплопроводность
Добуш, Игорь Мирославович. "Визуальное" проектирование СВЧ-усилителей с корректирующими двухполюсниками с учетом влияния температуры на активные и пассивные элементы / И. М. Добуш, М. В. Черкашин, Л. И. Бабак. - С.90-98
Кл.слова: методики, синтез, термостабильность
Добуш, Игорь Мирославович. Программное обеспечение для автоматизации измерений, деэмбеддинга и построения линейных моделей СВЧ полевых транзисторов / И. М. Добуш, А. В. Степачева, А. А. Коколов. - С.99-105
Кл.слова: модули, параметры, системы
Черкашин, Михаил Владимирович. Проектирование монолитного СВЧ-усилителя миллиметрового диапазона волн / М. В. Черкашин. - С.106-111
Кл.слова: транзисторы, каскады, годографы
Кулешов, Юрий Валерьевич. Выращивание и монодоменизация кристаллов семейства КТР / Ю. В. Кулешов, В. А. Краковский, Л. Я. Серебренников. - С.112-115
Кл.слова: кристаллизация, травление, затравка
Паргачев, Иван Андреевич. Электрооптические модуляторы лазерного излучения на основе высокоомных кристаллов КТР / И. А. Паргачев, Л. Я. Серебренников, А. Е. Мандель. - С.116-118
Кл.слова: напряжение, добротность, модуляции
Паргачев, Иван Андреевич. Получение и электрофизические свойства кристаллов GTR-KTP / И. А. Паргачев, В. А. Краковский, Л. Я. Серебренников. - С.119-123
Кл.слова: электропроводность, коэффициенты, лазеры
Парханюк, Александр Николаевич. Пироэлектрическая компенсация дифракции световых пучков в кристаллах ниобата лития / А. Н. Парханюк, А. О. Маркин, В. М. Шандаров. - С.124-127
Кл.слова: пироэлектрики, эксперименты, нелинейность
Смычков, Станислав Александрович. Исследование стойкости планарных волноводов Zn:LiNbO3 к оптическому излучению с длиной волны 532 нм / С. А. Смычков, М. В. Бородин, В. В. Щербина. - С.128-130
Кл.слова: лазеры, дифракция, цинк
Тренихин, Павел Александрович. Исследование возможности продольной оптической модуляции одномерных фоторефрактивных фотонных решеток в ниобате лития / П. А. Тренихин, В. М. Шандаров, Ф. Чен. - С.131-134
Кл.слова: волноводы, кристаллы, дифракция
Орликов, Леонид Николаевич. Исследование способов управления генерацией электронного потока из ниобата лития при термоциклировании / Л. Н. Орликов, В. Я. Романов, С. И. Арестов. - С.135-138
Кл.слова: разряды, плазма, электроны
Задорин, Анатолий Семенович. Скорость генерации кода в системе квантового распределения ключей / А. С. Задорин, А. В. Максимов, Д. А. Махорин. - С.139-141
Кл.слова: криптография, фотодиоды, фотоны
Войцеховский, Александр Васильевич. Наблюдение и анализ излучения в диапазоне 2,5-6 мкм в одиночной квантовой яме Cd0,24Hg0,76Te толщиной 12,5 нм при оптической накачке / А. В. Войцеховский, Д. И. Горн, И. И. Ижнин. - С.142-146
Кл.слова: фотолюминесценция, монохроматоры, спектры
Постоев, Александр Иванович. Высокоскоростной видеорегистратор с использованием "системы на кристалле" на основе ПЛИС архитектуры FPGA / А. И. Постоев, А. А. Соловьев, В. И. Иордан. - С.147-150
Кл.слова: видеосенсоры, фотоматрицы, изображения
Романов, Иван Сергеевич. Светодиодные структуры InGaN/GaN, изготовленные методом газофазной эпитаксии из металлоорганичеких соединений / И. С. Романов, А. А. Мармалюк, А. В. Войцеховский. - С.151-153
Кл.слова: галлий, фотолюминесценция, ямы
Антонишен, Игорь Владимирович. Применеие модифицированной функции гиперболического тангенса для аппроксимации вольт-амперных характеристик светоизлучающих диодов / И. В. Антонишен, А. И. Кох, В. И. Туев. - С.154-156
Кл.слова: напряжения, коэффициенты, погрешности
Климов, Александр Сергеевич. Особенности функционирования плазменного электронного источника при повышенных давлениях / А. С. Климов, А. С. Жигалкина, В. А. Бурдовицин. - С.157-160
Кл.слова: форвакуум, катоды, разряды
Юшков, Юрий Георгиевич. Распределение плотности тока по сечению импульсного электронного пучка в форвакууме / Ю. Г. Юшков, Е. М. Окс, А. В. Медовник. - С.161-163
Кл.слова: разряды, катоды, плазма
Пуговкин, Алексей Викторович. Энергетические характеристики светодиодов и светодиодных ламп / А. В. Пуговкин, В. С. Степной, А. Ю. Антонова. - С.164-168
Кл.слова: модели, мощность, сопротивление
Гриценко, Юрий Борисович. Типовые архитектурные решения геоинформационных систем ведения инженерной инфраструктуры предприятия / Ю. Б. Гриценко, О. И. Жуковский. - С.171-175
Кл.слова: технологии, планы, карты
Жуковский, Олег Иванович. Типология инженерных сетей и классификации задач их эксплуатации / О. И. Жуковский, Ю. Б. Гриценко. - С.178-180
Кл.слова: инвентаризация, паспортизация, моделирование
Карминская, Татьяна Дмитриевна. Математическая модель оценки показателей качества деятельности системы однородных объектов / Т. Д. Карминская, В. З. Ковалев, П. И. Ципорин. - С.181-184
Кл.слова: энтропия, матрицы, оптимизация
Бортников, Евгений Валерьевич. Реализация протокола IEEE 802.16 WiMAX на основе событийно-управляемой архитектуре / Е. В. Бортников, И. В. Бойченко. - С.185-188
Кл.слова: сети, доступ, модули
Кориков, Анатолий Михайлович. Технология проектирования адаптивной системы идентификации и прогноза производственных процессов в условиях неопределенности / А. М. Кориков, В. Л. Сергеев, Д. В. Севостьянов. - С.189-194
Кл.слова: прогнозы, скважины, месторождения
Хоай, Ле. Разработка семантических электронных библиотек / Л. Хоай, А. Ф. Тузовский. - С.195-199
Кл.слова: технологии, архитектура, документы
Белобрюхов, Максим Сергеевич. Система машинного зрения для киберфутбола / М. С. Белобрюхов, А. В. Романенко. - С.200-203
Кл.слова: образы, распознавание, роботы
Акимов, Сергей Викторович. Анализ проблемы автоматизации структурно-параметрического синтеза / С. В. Акимов. - С.204-211
Кл.слова: модели, множества, алгоритмы
Немеров, Александр Александрович. Применение технологии UniTESK для тестирования сервис-ориентированных систем / А. А. Немеров, И. В. Бойченко. - С.212-217
Кл.слова: тесты, сценарии, спецификации
Сальников, Андрей Сергеевич. Программное обеспечение для хранения результатов измерений СВЧ МИС и статистического анализа в составе системы INDESYS-MS / А. С. Сальников, И. М. Добуш, Е. П. Каратаев. - С.218-223
Кл.слова: схемы, данные, базы
Воропаев, Михаил Владимирович. Метод определения теплопроводности диэлектрических слоев для светодиодных матриц видимого диапазона / М. В. Воропаев, Д. Д. Каримбаев, Ю. А. Хотненок. - С.224-227
Кл.слова: измерения, сопротивление, металлизация
Окишев, Андрей Сергеевич. Методы квазилинеаризации с учетом высших производных в задаче параметрической идентификации автоматизированной системы управления ядерным реактором / А. С. Окишев. - С.228-231
Кл.слова: кинетика, модели, качество
Муслимова, Надежда Игоревна. Автоматизированная система поквартирного учета тепловой энергии / Н. И. Муслимова, Д. Н. Ушарова, А. В. Егоров. - С.232-237
Кл.слова: энергосбережение, теплоснабжение, модели
Самойлов, Дмитрий Олегович. Беспроводная система охранно-пожарной сигнализации с использованием технологий ZigBee и GSM / Д. О. Самойлов, В. Д. Семенов, А. Б. Упаев. - С.238-240
Кл.слова: сети, роутеры, координаторы
Ручай, Алексей Николаевич. Улучшение надежности текстозависимой верификации диктора на основе формантного метода с помощью нового метода сегментации речевого сигнала / А. Н. Ручай. - С.241-246
Кл.слова: распознавание, сингулярность, ошибки
Кручинин, Дмитрий Владимирович. Метод построения алгоритмов проверки простоты натуральных чисел для задач защиты информации / Д. В. Кручинин, В. В. Кручинин. - С.247-251
Кл.слова: функции, суперпозиции, генерация
Куршин, Михаил Львович. Выявление электромагнитных каналов утечки речевой информации в ближней зоне на основе тестовых корреляционных методов / М. Л. Куршин, В. А. Трушин. - С.252-254
Кл.слова: радиомониторинг, антенны, радиопередатчики
Варлатая, Светлана Клементьевна. Алгоритм создания и введения в эксплуатацию информационных систем персональных данных / С. К. Варлатая, А. В. Белев, С. В. Ширяев. - С.255-258
Кл.слова: мероприятия, защита, документы
Исхаков, Сергей Юнусович. Разработка структуры системы управления сетью / С. Ю. Исхаков, А. А. Шелупанов. - С.259-262
Кл.слова: серверы, компьютеры, модули
Додохов, Александр Леонидович. Исследование применения СУБД Oracle для защиты персональных данных / А. Л. Додохов, А. Г. Сабанов. - С.263-266
Кл.слова: шифрование, ключи, алгоритмы
Сабанов, Алексей Геннадьевич. Аутентификация при электронном обмене конфиденциальными документами / А. Г. Сабанов. - С.267-270
Кл.слова: идентификация, подписи, ключи
Гребенщиков, Сергей Александрович. Совершенствование системы оценки выполнения портфеля проектно-изыскательских работ при обустройстве месторождений нефти и газа за счет внедрения информационной системы и применения комплексной методики оценки / С. А. Гребенщиков, В. А. Силич, О. Б. Фофанов. - С.271-275
Кл.слова: планирование, контроль, проекты
Гриценко, Юрий Борисович. Анализ процесса эвакуации людей нечеткими временными сетями Петри / Ю. Б. Гриценко, А. А. Голубева. - С.276-281
Кл.слова: безопасность, сети, моделирование
Катаев, Михаил Юрьевич. Автоматизированная программная система управления бизнес-процессами предприятия: задачи, описание, структура / М. Ю. Катаев, А. А. Емельяненко, В. А. Емельяненко. - С.282-289
Кл.слова: подходы, моделирование, модули
Копаница, Георгий Дмитриевич. Разработка системы сбора и анализа данных медицинской статистики на основе стандарта передачи медицинских данных ISO 13606 / Г. Д. Копаница, В. А. Силич. - С.290-294
Кл.слова: здравоохранение, показатели, архитектура
Силич, Виктор Алексеевич. Построение информационной системы поддержки принятия решений при выборе вида геолого-технического мероприятия на нефтедобывающей скважине / В. А. Силич, В. П. Комагоров, А. О. Савельев. - С.295-299
Кл.слова: пласты, гидроразрывы, нефть
Копытов, Евгений Юрьевич. Оценка периодичности профилактического обслуживания технических систем на основе модели полумарковского процесса / Е. Ю. Копытов, А. А. Любченко. - С.300-305
Кл.слова: моделирование, надежность, отказ
Хлебус, Евгений Александрович. Объектно-ориентированное проектирование измерительной информационной системы для контроля радиационной обстановки / Е. А. Хлебус. - С.306-310
Кл.слова: наблюдения, датчики, измерения
Сенченко, Павел Васильевич. Анализ программно-технологических решений информационно-аналитической поддержки управления социально-экономическим развитием территориальных образований / П. В. Сенченко, А. А. Сидоров. - С.311-317
Кл.слова: мониторинг, оценка, системы
Бараксанов, Дмитрий Николаевич. Интернет-площадка для продвижения прикладных программных продуктов / Д. Н. Бараксанов. - С.318-321
Кл.слова: структура, заявки, подсистемы
Кречетов, Иван Анатольевич. Моделирование и технология онтологического подхода при разработке образовательного контента / И. А. Кречетов, В. В. Кручинин. - С.322-325
Кл.слова: знания, базы, обучение
Романенко, Владимир Васильевич. Виртуальный ассистент для студента дистанционной формы обучения / В. В. Романенко. - С.326-330
Кл.слова: речь, синтез, мимика
Дмитриев, Вячеслав Михайлович. Автоматизированная система онлайн-проектирования / В. М. Дмитриев, В. В. Ганджа. - С.331-333
Кл.слова: конференции, совещания, блоки
Ганджа, Тарас Викторович. Задачи и архитектура подсистемы документирования исследований в среде многоуровневого моделирования МАРС / Т. В. Ганджа, С. А. Панов. - С.334-338
Кл.слова: системы, документы, компоненты
Имеются экземпляры в отделах: всего 2 : сбо (2)
Свободны: сбо (2)
Перейти к описаниям статей

Постоянная гиперссылка
8.
Шифр: Д301668/2014/4(34)
   Журнал
Томский государственный университет систем управления и радиоэлектроники.
Доклады Томского государственного университета систем управления и радиоэлектроники : периодический научный журнал/ Томский государственный университет систем управления и радиоэлектроники. - Томск : Издательство ТУСУР, 1997 - . - ISSN 1818-0442. - Выходит ежеквартально
2014г. N 4(34)
Содержание:
Исаев, Вячеслав Михайлович. Современные радиоэлектронные системы терагерцового диапазона / В. М. Исаев, И. Н. Кабанов, В. В. Комаров. - С.5-21
Кл.слова: электроника, диагностика, измерения
Малютин, Николай Дмитриевич. Широкополосные дискретные недисперсионные фазовращатели на основе эффекта кратного изменения фазовой скорости в многосвязных полосковых структурах с существенно неуравновешенной электромагнитной связью при сохранении согласования в широкой полосе частот / Н. Д. Малютин, А. Г. Лощилов, В. Н. Федоров. - С.22-30
Кл.слова: распространение волн, линии связанные, сдвиг фазовый
Буянов, Юрий Иннокентьевич. Электродинамика ближней зоны короткого диполя / Ю. И. Буянов. - С.31-33
Кл.слова: линии силовые, ток смещения, сила Ампера
Суровцев, Роман Сергеевич. Распространение импульса в меандровой линии с неоднородным диэлектрическим заполнением без искажений его формы перекрестными наводками / Р. С. Суровцев, А. М. Заболоцкий, Т. Р. Газизов. - С.34-38
Кл.слова: задержки погонные, моды четные, моды нечетные
Комнатнов, Максим Евгеньевич. О совместных климатических и электромагнитных испытаниях радиоэлектронной аппаратуры / М. Е. Комнатнов, Т. Р. Газизов. - С.39-45
Кл.слова: совместимость электромагнитная, условия эксплуатации, исследования
Коколов, Андрей Александрович. Исследование нелинейной зависимости сопротивления стока в GaAs и GaN HEMT-транзисторах / А. А. Коколов, Л. И. Бабак. - С.46-51
Кл.слова: модели малосигнальные, модели нелинейные, метод экстракции
Жидик, Юрий Сергеевич. Технология формирования покрытий на светодиодных гетероструктурах методом магнетронного распыления на примере нанесения пленок ITO / Ю. С. Жидик, П. Е. Троян. - С.52-55
Кл.слова: подложки, бомбардировка электронная, пленки
Казаков, Андрей Викторович. Структура поверхности полипропилена при облучении импульсным электронным пучком в форвакуумном диапазоне давлений / А. В. Казаков, А. С. Смаилов, В. А. Бурдовицин. - С.56-59
Кл.слова: полимеры, источник электронов плазменный, изменения поверхности
Тюньков, Андрей Владимирович. Генерация ионов магния в пучковой плазме форвакуумного электронного источника / А. В. Тюньков, Ю. Г. Юшков, Д. Б. Золотухин. - С.60-62
Кл.слова: источник электронов плазменный, изотопы стабильные, масс-спектрометры квадрупольные
Пономарев, Олег Геннадьевич. Выбор инструментов кодирования стандарта H.265/HEVC для аппаратной реализации системы сжатия ключевых видеокадров / О. Г. Пономарев, С. Е. Стрельников, М. П. Шарабайко. - С.65-71
Кл.слова: предсказание пространственное, видеокодирование, степень сжатия
Мельников, Григорий Андреевич. Метод построения деревьев регрессии на основе муравьиных алгоритмов / Г. А. Мельников, В. В. Губарев. - С.72-78
Кл.слова: обучение машинное, регрессия нелинейная, деревья моделей
Кравченко, Александр Николаевич. Методы проектирования параллельного BCH/CRC-кодера / А. Н. Кравченко. - С.79-84
Кл.слова: регистр сдвига, матрица порождающая, метод пространства состояний
Задорин, Анатолий Семенович. Интерферометрический контроль целостности данных в системе квантового распределения ключей с временным кодированием / А. С. Задорин, Д. А. Махорин. - С.85-88
Кл.слова: кубиты проверочные, контроль интерференционный, защита
Перминова, Мария Юрьевна. Алгоритмы рекурсивной генерации ограниченных разбиений натурального числа / М. Ю. Перминова, В. В. Кручинин. - С.89-94
Кл.слова: нумерация, сложность временная, дерево разбиений
Кручинин, Дмитрий Владимирович. Программное обеспечение для анализа тестов простоты натурального числа / Д. В. Кручинин, Ю. В. Шабля. - С.95-99
Кл.слова: функции производящие, анализ, сравнение
Бухтияров, Иван Валерьевич. Сети Петри как инструмент спецификации специализированной сервис-ориентированной информационной среды для производства программных продуктов / И. В. Бухтияров. - С.100-108
Кл.слова: деятельность проектная, модель функциональная, моделирование имитационное
Катаев, Михаил Юрьевич. Построение скелетной модели фигуры человека по потоку изображений / М. Ю. Катаев, А. П. Коробко. - С.109-113
Кл.слова: анализ движений, обработка, модель скелетная
Абрамов, Максим Олегович. Влияние методов предобработки на восстановление фигуры движущегося человека из потока изображений / М. О. Абрамов, М. Ю. Катаев. - С.114-119
Кл.слова: распознавание движения, алгоритмы, анализ
Демьянович, Дмитрий Николаевич. Исследование СВЧ-тракта синтезатора и разработка его модели при проектировании системы АРУ / Д. Н. Демьянович, О. С. Вадутов, А. И. Солдатов. - С.120-126
Кл.слова: аттенюаторы управляемые, характеристики статические, связь параметрическая обратная
Жмудь, Вадим Аркадьевич. Проектирование полных многоканальных ПД-регуляторов методом численной оптимизации при моделировании / В. А. Жмудь, В. М. Семибаламут. - С.127-132
Кл.слова: автоматика, запаздывание, функция целевая
Сонькин, Михаил Аркадьевич. Системы мониторинга и оповещения о чрезвычайных ситуациях в регионах разработки нефтегазовых месторождений / М. А. Сонькин, Д. М. Сонькин, В. З. Ямпольский. - С.133-137
Кл.слова: пожары лесные, связь цифровая, терминалы интеллектуальные
Добуш, Игорь Мирославович. Исследование методов деэмбеддинга «Open», «Open-Short», «Open-Short-Thru» для зондовых измерений параметров рассеяния элементов СВЧ-монолитных интегральных схем / И. М. Добуш. - С.138-145
Кл.слова: S-параметры, характеризация, измерения зондовые
Дмитриев, Вячеслав Михайлович. Вольтамперометрический комплекс для анализа химических растворов на основе многоуровневой компьютерной модели / В. М. Дмитриев, Т. В. Ганджа, В. В. Ганджа. - С.146-150
Кл.слова: вольтамперометрия, инструменты виртуальные, приборы виртуальные
Абраменко, Александр Юрьевич. Полифазная реализация полиномиального интерполяционного фильтра / А. Ю. Абраменко. - С.151-154
Кл.слова: разложение полифазное, обработка сигналов цифровая, интерполяция сигнала
Бураков, Вадим Витальевич. Оценивание и выбор эффективных технологий автоматизированного управления активными подвижными объектами на основе комплексного моделирования / В. В. Бураков, В. А. Зеленцов, С. А. Потрясаев. - С.155-164
Кл.слова: мониторинг проактивный, модели управления, моделирование комплексное
Капилевич, Вячеслав Леонидович. Комбинированный алгоритм для отображения навигационных данных в высоконагруженных web-ориентированных пассажирских информационных системах / В. Л. Капилевич, Д. М. Сонькин, А. О. Игумнов. - С.165-170
Кл.слова: визуализация, мониторинг транспорта, координаты
Комагоров, Владимир Петрович. Система адаптивного управления разработкой «интеллектуального» месторождения / В. П. Комагоров, О. Б. Фофанов, Э. М. Мехтиев. - С.171-175
Кл.слова: информация геолого-технологическая, мониторинг, управление адаптивное
Мицель, Артур Александрович. Динамическая модель управления инвестиционным портфелем с линейным критерием качества / А. А. Мицель, Н. П. Красненко. - С.176-182
Кл.слова: управление оптимальное, программирование линейное, портфель эталонный
Боровской, Игорь Георгиевич. Численный расчет перетекания невязкого газа через диафрагму методом дробной размерности / И. Г. Боровской, Е. А. Шельмина. - С.183-186
Кл.слова: системы уравнений гиперболические, течения пространственные, подход квазимногомерный
Киселев, Александр Викторович. Анализ теплового состояния первичного источника электрической энергии забойной телеметрической системы / А. В. Киселев, А. Г. Гарганеев, О. С. Качин. - С.189-193
Кл.слова: генераторы скважинные, магниты постоянные, моделирование
Михальченко, Геннадий Яковлевич. Двойная модуляция электрической энергии в частотно-регулируемом электроприводе / Г. Я. Михальченко, Д. С. Муликов. - С.194-198
Кл.слова: инверторы напряжения автономные, выпрямители активные, электропривод
Серов, Александр Борисович. Определение связи между числами пазов статора и полюсов ротора вентильного магнитоэлектрического двигателя методом планирования эксперимента / А. Б. Серов, А. Б. Цукублин, А. Г. Гарганеев. - С.199-202
Кл.слова: момент вращения, пазы статора, полюса ротора
Ивойлов, Евгений Вячеславович. Изменение свойств индуктивности при замыкании витков на корпус / Е. В. Ивойлов, С. М. Слободян. - С.203-208
Кл.слова: замыкание короткое, витки, модели
Абрамчук, Станислав Игоревич. Энергетическая эффективность электрического обогревателя / С. И. Абрамчук, А. В. Пуговкин. - С.211-214
Кл.слова: энергия тепловая, метод динамический, коэффициент теплоотдачи
Майстренко, Андрей Васильевич. Косвенное измерение расхода жидкости, перекачиваемой насосными агрегатами / А. В. Майстренко, А. А. Светлаков. - С.215-219
Кл.слова: расходомеры, полиномы, характеристики напорные
Учаев, Виктор Николаевич. Согласование рабочего инструмента с ультразвуковой колебательной системой для введения иглы в биологическую ткань при реализации локальной гипертермии / В. Н. Учаев, А. В. Кобзев, В. Д. Семенов. - С.220-223
Кл.слова: ультразвук, анализ модальный, пьезоэлементы
Литвинов, Александр Викторович. Электротепловая модель локального объёма живой ткани для исследования тепловых процессов при реализации локальной гипертермии / А. В. Литвинов, А. В. Кобзев, В. Д. Семенов. - С.224-227
Кл.слова: аналогия электротепловая, теплопередача, теплоемкость
Хуторной, Александр Юрьевич. Конструктивные особенности инструмента для реализации способа высокотемпературного воздействия на костную ткань / А. Ю. Хуторной, А. В. Кобзев, В. Д. Семенов. - С.228-231
Кл.слова: нагрев, модели тепловые, нагреватели
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
9.
621.319
Д 946

    Дэммер, Дж. В. А.
    Конденсаторы постоянной и переменной емкости [Текст] / Дж. В. А. Дэммер, Г. М. Норденберг ; пер. З. В. Ерюхина ; ред. В. Т. Ренне. - Л. ; М. : Госэнергоиздат, 1963. - 315 с : граф., рис., схемы, табл. - Пер. с англ. - Библиогр.: с. 292-313. - 01.31 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка
10.
62
Е 519

    Елкин, Владимир Владимирович.
    Инженерная графика [Текст] : учебник / В. В. Елкин, В. Т. Тозик. - 4-е изд., стер. - М. : Академия, 2016. - 299 с. : граф., рис., табл., черт. - (Техника и технические науки. Бакалавриат). - Библиогр.: с. 294. - ISBN 978-5-4468-2760-2 : 574.00 р.

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

    Информационные технологии [Электронный ресурс] : учебник в 2-х т. / В. В. Трофимов [и др.] ; ред. В. В. Трофимов ; рец.: Е. В. Песоцкая, Т. А. Павловская, М. С. Гаспариан. - Электрон. текстовые дан. - М. : Юрайт, 2019. - (Бакалавр. Академический курс). - ISBN 978-5-534-01936-0.
   Т. 1. - on-line : рис., табл., граф., портр. - ). - Библиогр. в конце разд. - ISBN 978-5-534-01935-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/informacionnye-tehnologii-v-2-t-tom-1-434432#page/1
Постоянная гиперссылка
12.
Шифр: И292818/2011/2
   Журнал
Российская Федерация. Российская Академия Наук (М.).
Искусственный интеллект и принятие решений/ Российская Академия Наук (М.), Институт системного анализа РАН (М.). - М., 2008 - . - ISSN 2071-8594. - Выходит ежеквартально
2011г. N 2
Содержание:
Стефанюк, В. Л. Творческое решение задач / В. Л. Стефанюк. - С.3-11
Кл.слова: представление задач, интроспекция, пространственная версия
Жихарев, А. Г. Метод формализации организационных знаний / А. Г. Жихарев, С. И. Маторин. - С.12-18
Кл.слова: системный подход, процессы, исчисление
Городецкий, В. И. Теория, модели, инфраструктуры и языки спецификации командного поведения автономных агентов. Обзор (Часть 1) / В. И. Городецкий. - С.19-30
Кл.слова: командная работа, модель, инструменты
Дударов, С. П. Ячеечно-нейросетевые модели в задачах экологической безопасности / С. П. Дударов, П. Л. Папаев, А. Н. Кудряшов. - С.31-39
Кл.слова: моделирование, аварийные выбросы, загрязнение
Болотов С. Ю,. Алгоритмы релевантного обратного вывода на основе решения продукционно-логических уравнений / С. Ю, Болотов, С. Д. Махортов. - С.40-50
Кл.слова: решетка, верификация, знания
Бекяшева, З. С. Статистические свойства гипотез, порождаемых нейронной сетью со связями по схеме голографии Фурье / З. С. Бекяшева, А. В. Павлов. - С.51-61
Кл.слова: творчество, мышление, ПВР
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
13.
681.3
К 170

    Калайда, Владимир Тимофеевич.
    Технология разработки программного обеспечения : учебное пособие для студентов специальности 230105 / В. Т. Калайда, В. В. Романенко ; Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : ТМЦДО, 2007. - 257 с. : ил., табл. - Библиогр.: с. 257. - 77.10 р., 128.50 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , счз1 (2 экз.), аунл (10 экз.)
Свободны: счз1 (2), аунл (10)
Постоянная гиперссылка
14.
621.315
К 172

    Калин, Николай Федорович.
    Изыскание и проектирование кабельных линий электропередачи 3-35 кв [Текст] : учебное пособие / Н. Ф. Калин, М. Л. Казанцев. - М., Л. : Госэнергоиздат, 1958. - 192 с : рис., табл. - Библиогр.: с. 191. - 00.66 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
15.
Шифр: К067075/2010/4
   Журнал
Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2010г. N 4
Содержание:
Летичевский, А. А. Свойства предикатного трансформера системы VRS / А. А. Летичевский, А. Б. Годлевский, С. В. Потиенко
Кл.слова: верификация, символьное моделирование, трансформеры
Скобелев, В. В. О сложности анализа автоматов над конечным кольцом / В. В. Скобелев, В. Г. Скобелев
Кл.слова: автоматы, конечные кольца, симметричные поточные шифры
Шахбазян, К. В. Вхождения в моноидах треков / К. В. Шахбазян, Ю. Г. Шукурян
Кл.слова: графы зависимостей, моноид треков, сравнение образцов
Захаров, В. А. Проверка эквивалентности программ с помощью двухленточных автоматов / В. А. Захаров
Кл.слова: разрешимость, многоленточные автоматы, вычислительная сложность
Елфимова, Л. Д. Быстрые гибридные алгоритмы умножения матриц / Л. Д. Елфимова
Кл.слова: линейная алгебра, умножение матриц, клеточные методы
Чеботарев, А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L / А. Н. Чеботарев
Кл.слова: двустороннее сверхслово, элиминация кванторов, язык спецификации L*
Колчин, А. В. Автоматический метод динамического построения абстракций состояний формальной модели / А. В. Колчин
Кл.слова: проверка модели, динамическое построение, абстракция
Годлевский, А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем / А. Б. Годлевский
Кл.слова: символьное моделирование, предикатные преобразователи
Bjorner, D. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner
Кл.слова: domain engineering, domin modelling, software development
Глибовец, Н. Н. Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda / Н. Н. Глибовец, С. С. Гороховский, М. С. Стукало
Кл.слова: расширение языка, распределенные вычисления, координационные системы
Герман, В. Н. Решение линейных ограничений над полем вещественных и рациональных чисел / В. Н. Герман
Кл.слова: верификация моделей, линейные неравенства, элиминация кванторов
Лаврищева, Е. М. Формальные основы интероперабельности компонентов в программировании / Е. М. Лаврищева
Кл.слова: гетерогенные среды, интероперабельность, компонентное программирование
Дорошенко, А. Е. Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств / А. Е. Дорошенко, Н. В. Котюк, С. С. Николаев
Кл.слова: искусственный интеллект, алгебра алгоритмики, синтез программ
Львов, М. С. Полиномиальные инварианты линейных циклов / М. С. Львов
Кл.слова: статический анализ, полиномиальные инварианты, линейные циклы
Летичевский, А. А. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / А. А. Летичевский, В. Н. Герман, М. К. Мороховец
Кл.слова: алгебраическое программирование, параллельные вычисления, логические выводы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
16.
Шифр: К067075/2011/3
   Журнал
Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2011г. N 3
Содержание:
Тимофеев, В. Г. Усовершенствованный метод синтеза автомата по его спецификации в языке L / В. Г. Тимофеев, А. Н. Чеботарев. - С.3-14
Кл.слова: множители, формы, методы расщепления
Кнопов, П. С. О некоторых задачах Марковских случайных процессов с локальным взаимодействием / П. С. Кнопов, А. С. Самосёнок. - С.15-32
Кл.слова: Изинга модель, Гиббса поля, стохастические процессы
Белан, Е. П. Двумерные стационарные структуры в параболическом уравнении с отражением пространственных переменных / Е. П. Белан. - С.33-41
Кл.слова: обратная связь, бифуркация, устойчивость
Михайлюк, В. А. К вопросу о существовании полиномиально приближенных схем для реоптимизации дискретных задач оптимизации / В. А. Михайлюк. - С.42-50
Кл.слова: задачи, алгоритмы, оптимизация
Сергиенко, И. В. Идентификация параметров задач термоупругости при нестационарном поле температур / И. В. Сергиенко, В. С. Дейнека. - С.51-77
Кл.слова: тела, градиентные методы, термонапряженное состояние
Булавацкий, В. М. Неклассические дифференциальные модели динамики пространственно-временных консолидационных процессов / В. М. Булавацкий, В. В. Скопецкий. - С.78-87
Кл.слова: численные решения, математическое моделирование, краевые задачи
Сергиенко, И. В. Правила симметрии в записи генетической информации в ДНК / И. В. Сергиенко, А. М. Гупал, А. А. Вагис. - С.88-94
Кл.слова: симметрия, Маркова цепь, основания
Емеличев, В. А. Постоптимальный анализ одной векторной минимаксной комбинаторной задачи / В. А. Емеличев, В. В. Коротков, К. Г. Кузьмин. - С.95-108
Кл.слова: исходные данные, диапазонные критерии, устойчивость
Бондарев, Б. В. Оценка неизвестного параметра в системах со слабым сигналом / Б. В. Бондарев, С. М. Козырь. - С.109-117
Кл.слова: интервал накрытия, плотность мер, оценки параметров
Лебедев, Е. А. О системах с повторными вызовами и переменной интенсивностью обслуживания / Е. А. Лебедев, В. Д. Пономарёв. - С.118-126
Кл.слова: стационарные режимы, стохастические системы, Маркова модели
Царьков, Е. Ф. Устойчивость в импульсных системах с Марковскими возмущениями в схеме усреднений. Слабая сходимость решений импульсных систем / Е. Ф. Царьков, В. К. Ясинский, И. В. Малык. - С.127-145
Кл.слова: Маркова процессы, методы усреднения, импульсные системы
Москальков, М. Н. О сходимости схемы метода конечных элементов для уравнения внутренних волн / М. Н. Москальков, Д. Утебаев. - С.146-152
Кл.слова: разностные схемы, оценки точности, задачи
Денисенко, П. Н. Алгоритм регуляризации τ-метода Ланцоша и его реализация средствами алгебраического программирования / П. Н. Денисенко. - С.153-168
Кл.слова: символьные вычисления, уравнения, численные методы
Алиев, Т. А. Алгоритмы определения коэффициента корреляции и взаимно корреляционной функции между полезным сигналом и помехой зашумленных технологических параметров / Т. А. Алиев, Г. А. Гулиев, Ф. Г. Пашаев. - С.169-178
Кл.слова: помехи, дефекты, зашумленные сигналы
Воронин, А. Н. Многокритериальная задача распределения ограниченных ресурсов / А. Н. Воронин. - С.179-187
Кл.слова: оптимизация, схемы компромиссов, ресурсы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
17.
Шифр: К067075/2012/2
   Журнал
Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2012г. N 2
Содержание:
Сергиенко, И. В. О развитии научных идей Б. Н. Пшеничного в области оптимизации и математической теории управления / И. В. Сергиенко, А. А. Чикрий. - С.3-28
Кл.слова: производные, отображения, экстремумы
Норкин, В. И. Оптимизация финансового портфеля на основе принципа безопасности / В. И. Норкин, С. В. Бойко. - С.29-41
Кл.слова: доходность, риски, границы
Герасин, С. Н. Качественный анализ одного класса популяционных моделей с комменсальным взаимодействием / С. Н. Герасин, С. В. Яковлев, И. Г. Яловега. - С.42-49
Кл.слова: устойчивость, анализ, состояние
Марценюк, В. П. Построение оценок решений в модели противоопухолевого иммунитета с импульсными возмущениями / В. П. Марценюк, И. Е. Андрущак, И. С. Гвоздецкая. - С.50-54
Кл.слова: системы, медицина, существование
Дунаев, Б. Б. Монетарное регулирование равновесия экономики / Б. Б. Дунаев. - С.55-68
Кл.слова: труд, капитал, инфляция
Михалевич, В. М. О двух критериях при многократном выборе решений / В. М. Михалевич. - С.68-79
Кл.слова: системы, проблемы, модели
Воронин, А. Н. Экспертные модели векторной оптимизации / А. Н. Воронин. - С.80-85
Кл.слова: полиномы, квадраты, схемы
Донской, В. И. Сложность семейств алгоритмов обучения и оценивание неслучайности извлечения эмпирических закономерностей / В. И. Донской. - С.86-96
Кл.слова: функции, сложность, размерность
Михайлюк, В. А. Реоптимизация задачи о максимальном k-покрытии: порог отношения аппроксимации / В. А. Михайлюк. - С.97-104
Кл.слова: алгоритмы, приближение, качество
Скобелев, В. В. О двух последовательностях множеств отображений абстрактных множеств в Дедекиндово кольцо / В. В. Скобелев. - С.105-112
Кл.слова: кольца, матрицы, остатки
Олейник, Ан. А. Агентные технологии для отбора информативных признаков / Ан. А. Олейник, Ал. А. Олейник, С. А. Субботин. - С.113-125
Кл.слова: агенты, интеллект, отбор
Лювов, М. С. Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов / М. С. Лювов, В. А. Крекнин. - С.126-140
Кл.слова: анализ, генерация, программы
Бабенко, Л. П. Как понять программу. Характеристический анализ современных подходов к спецификации программ / Л. П. Бабенко. - С.140-150
Кл.слова: веб - сервис, интерфейсы, функциональность
Акуловский, В. Г. Алгебра алгоритмов, базирующаяся на данных / В. Г. Акуловский. - С.151-166
Кл.слова: модели ЭВМ, данные, конструкции
Левин, В. И. Синтез логических многополюсников с заданной динамикой выходных процессов / В. И. Левин. - С.167-176
Кл.слова: логика, синтез, элементы
Баркалов, А. А. Структурная декомпозиция как средство оптимизации схемы автомата Мили на ПЛИС / А. А. Баркалов, Л. А. Титаренко, А. А. (мл.) Баркалов. - С.177-187
Кл.слова: блоки, память, процессы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
18.
Шифр: К067075/2013/1
   Журнал
Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2013г. N 1 . - 480.81, р.
Содержание:
Чеботарев, А. Н. Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L / А. Н. Чеботарев. - С.3-10
Кл.слова: языки программирования, кванторы, фиктивные состояния
Белан, С. Н. Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах / С. Н. Белан, Р. Л. Моторнюк. - С.11-18
Кл.слова: элементы, линейность, сдвиги
Елфимова, Л. Д. Новые клеточные методы умножения матриц / Л. Д. Елфимова. - С.19-29
Кл.слова: линейная алгебра, алгоритмы, матрицы
Голодников, А. Н. Интегрированное моделирование для управления состоянием продовольственной безопасности в Украине. I. Модель для управления экономической доступностью продуктов питания / А. Н. Голодников, Ю. М. Ермольев, Т. Ю. Ермольева. - С.30-42
Кл.слова: модели спроса, регулирование, цены
Гупал, А. М. Свойства процедур сепарации для дискретных объектов в моделях байесовских сетей / А. М. Гупал, Н. А. Гупал. - С.43-48
Кл.слова: сепарация, Маркова условие, дискретные объекты
Корхин, А. С. Об использовании априорной информации в регрессионном анализе / А. С. Корхин. - С.49-64
Кл.слова: сочетания, ограничения, случайные величины
Меликов, А. З. Численный метод анализа моделей систем массового обслуживания со скачкообразными приоритетами / А. З. Меликов, Л. А. Пономаренко, Сон Ким Чи. - С.65-72
Кл.слова: очереди, буфера, каналы
Мащенко, С. О. Задача математического программирования с нечетким множеством индексов ограничений / С. О. Мащенко. - С.73-81
Кл.слова: принятие решений, множества, неравенства
Ряшко, Л. Б. Спектральный критерий стохастической устойчивости инвариантных многообразий / Л. Б. Ряшко, И. А. Башкирцева. - С.82-90
Кл.слова: конусы, формулы, векторы
Воронин, А. Н. Компромиссный метод в задачах условной оптимизации / А. Н. Воронин. - С.91-95
Кл.слова: целевые функции, схемы, программирование
Марценюк, В. П. Метод построения оценки устойчивости и компартментной модели с запаздыванием / В. П. Марценюк, Н. М. Гандзюк. - С.96-101
Кл.слова: векторы, функции, матричные формы
Емец, О. А. Доказательство сходимости итерационного метода решения задачи комбинаторной оптимизации игрового типа на размещениях / О. А. Емец, Е. В. Ольховская. - С.102-114
Кл.слова: координаты, множества, математические модели
Дунаев, Б. Б. Оптимизация роста реального валового внутреннего продукта / Б. Б. Дунаев. - С.115-128
Кл.слова: экономика, рынки, прибыли
Лаврищева, Е. М. Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем / Е. М. Лаврищева. - С.129-144
Кл.слова: комплексы, вариабельность, сборки
Шелестов, А. Ю. Информационная система агромониторинга на основе геопространственных данных / А. Ю. Шелестов, А. Н. Кравченко, С. В. Скакун. - С.145-154
Кл.слова: геопорталы, спутниковые данные, интерфейсы
Скуратовский, Р. В. Метод быстрого таймерного кодирования текстов / Р. В. Скуратовский. - С.154-160
Кл.слова: блочное кодирование, архивация
Баркалов, А. А. Модификация системы адресации микрокоманд в устройстве управления с разделением кодов / А. А. Баркалов, Л. А. Титаренко, А. Н. Мирошкин. - С.161-171
Кл.слова: интегральные схемы, адресация, алгоритмы
Панченко, Б. Е. Каркасный анализ предметной области: стационарные динамические задачи теории упругости для изотропных сред с произвольными неоднородностями / Б. Е. Панченко, А. М. Назаренко. - С.172-182
Кл.слова: плотность, модули сдвига, время
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
19.
Шифр: К067075/2019/5
   Журнал
Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2019г. N 5 . - 6255.30, р.
Содержание:
Боюн, Виталий Петрович. Принципы организации сетчатки глаза человека и их использование в системах компьютерного зрения / В. П. Боюн, Л. А. Возненко, И. Ф. Малкуш. - С.3-17
Кл.слова: нейросети, управление, параметры считывания информации
Крывый, Сергей Лукьянович. Численные методы решения задачи о математическом сейфе / С. Л. Крывый. - С.18-34
Кл.слова: уравнения диофантовые, поля конечные, базис решений
Бессалов, Анатолий Владимирович. Суперсингулярные скрученные кривые Эдвардса над простым полем. II. Суперсингулярные скрученные кривые Эдвардса с j-инвариантом, равным 663 / А. В. Бессалов, Л. В. Ковальчук. - С.35-46
Кл.слова: порядок точки, символ Лежандра, вычет квадратичный
Чеботарев, Анатолий Николаевич. Определение фиктивных состояний в Ʃ-автомате, синтезированном по спецификации в языке LP / А. Н. Чеботарев. - С.47-57
Кл.слова: форма нормальная, цикл основной, языки логические
Алексейчук, Антон Николаевич. Верхние оценки несбалансированности дискретных функций, реализуемых последовательностями конечных автоматов / А. Н. Алексейчук, С. Н. Конюшок, М. В. Поремский. - С.58-66
Кл.слова: криптоанализ корреляционный, функции дискретные, несбалансированность
Галба, Евгений Федорович. Разложение взвешенных псевдообратных матриц со смешанными весами в матричные степенные ряды и произведения / Е. Ф. Галба, Н. А. Варенюк. - С.67-80
Кл.слова: методы регуляризованные итерационные, представления многочленные итерационные, вычисления
Кнопов, Павел Соломонович. О больших уклонениях эмпирических оценок в задаче стохастического программирования при нестационарных наблюдениях с непрерывным временем / П. С. Кнопов, Е. И. Касицкая. - С.81-86
Кл.слова: процессы случайные, условие сильного перемешивания, уклонения большие
Селезов, Игорь Тимофеевич. Обратная дифракционная задача определения свойств плазменного объекта / И. Т. Селезов. - С.87-94
Кл.слова: псевдообращение, дифракция волн, рассеяние обратное
Наконечный, Александр Григорьевич. Приближенные гарантированные среднеквадратичные оценки функционалов от решений параболических задач с быстро колеблющимися коэффициентами при нелинейных наблюдениях / А. Г. Наконечный, Е. А. Капустян, А. А. Чикрий. - С.95-105
Кл.слова: уравнение параболического типа, наблюдение, оператор типа суперпозиции
Булавацкий, Владимир Михайлович. Некоторые нелокальные краевые задачи для бипараболического эволюционного уравнения и его дробно-дифференциального аналога / В. М. Булавацкий. - С.106-114
Кл.слова: теплопроводность, уравнения, задача обратная
Стоян, Владимир Антонович. К построению интегральных математических моделей двух классов нелинейных пространственно распределенных систем. I. Случай дискретно определенных внешнединамических возмущений / В. А. Стоян. - С.115-127
Кл.слова: псевдообращение, системы, параметры распределенные
Война, Александр Андреевич. Математические модели управления риском для марковских процессов регенерирующего типа / Ал. А. Война, Ан. А. Война. - С.128-142
Кл.слова: структуры параллельные, стратегии оптимальные стационарные, алгоритмы итерационные
Раппопорт, Иосиф Симович. Достаточные условия сближения управляемых объектов в игровых задачах динамики. I / И. С. Раппопорт. - С.143-155
Кл.слова: отображение многозначное, селектор измеримый, стратегия стробоскопическая
Летичевский, Александр Александрович. Обзор современных методов защищенности и безопасности программных систем / А. А. Летичевский, В. С. Песчаненко, Я. В. Гринюк. - С.156-169
Кл.слова: моделирование алгебраическое, моделирование символьное, поиск уязвимостей
Марасанов, Владимир Васильевич. Граничные задачи определения энергетического спектра сигналов акустической эмиссии в сопряженных сплошных средах / В. В. Марасанов, А. В. Шарко, А. А. Шарко. - С.170-179
Кл.слова: оператор, функция Грина, эмиссия акустическая
Рачковский, Дмитрий Андреевич. Индексные структуры для быстрого поиска сходных символьных строк / Д. А. Рачковский. - С.180-202
Кл.слова: расстояние редактирования, индексирование обратное, хэширование локально-чувствительное
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
20.
681.3
Л 633

    Лисков, Барбара.
    Использование абстракций и спецификаций при разработке программ : Пер. с англ. / Б. Лисков, Дж. Гатэг ; пер. С. А. Жигалкин, пер. С. А. Усов, пер. Д. Б. Шехватов. - М. : Мир, 1989. - 424 с. - Предм. указ.: с. 418-420. - ISBN 5-03-000489-0 : 02.20 р.

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