К 218 Каргаполов, Михаил Иванович. Основы теории групп [Электронный ресурс] : учебное пособие для вузов / М. И. Каргаполов. - 6-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : табл., рис. - (Высшее образование). - Библиогр.: с. 280-281. - Предм. указ.: с. 282-287. - ISBN 978-5-507-44587-5 : Б. ц. Коды, Ключ.слова, Доп.точки доступа  Перейти к внешнему ресурсу https://reader.lanbook.com/book/238481#1 |
Л 656 Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник-практикум и решения [Электронный ресурс] : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : табл., схемы. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 : Б. ц. Коды, Ключ.слова, Доп.точки доступа Перейти к внешнему ресурсу https://reader.lanbook.com/book/167754#1 |
Г 715 Горюшкин, Александр Петрович. Абстрактная и компьютерная алгебра [Электронный ресурс] : учебник для вузов / А. П. Горюшкин ; рец.: Л. К. Фещенко, Р. И. Паровик. - Электрон. текстовые дан. - М. : Юрайт, 2021. - on-line : табл., граф., рис. - (Высшее образование). - Библиогр.: с. 679. - ISBN 978-5-534-14085-9 : Б. ц. Коды, Ключ.слова, Доп.точки доступа Перейти к внешнему ресурсу https://urait.ru/viewer/abstraktnaya-i-kompyuternaya-algebra-467772#page/1 |
С 147 Саженков, Сергей Александрович. Обобщенные решения уравнений математической физики [Электронный ресурс] : учебное пособие для вузов / С. А. Саженков ; рец. Е. М. Рудой ; Новосибирский государственный университет. - 2-е изд. - Электрон. текстовые дан. - М. : Юрайт, 2021. - on-line. - (Высшее образование). - Библиогр.: с. 145-147. - Предм. указ.: с. 148-151. - ISBN 978-5-534-14417-8(Изд-во Юрайт). - ISBN 978-5-4437-0903-1(ИПЦ НГУ) : Б. ц. Коды, Ключ.слова, Доп.точки доступа Перейти к внешнему ресурсу https://urait.ru/viewer/obobschennye-resheniya-uravneniy-matematicheskoy-fiziki-477567#page/1 |
К 687 Короткий, Александр Илларионович. Теория тепломассопереноса. Моделирование граничных задач [Электронный ресурс] : учебное пособие для вузов / А. И. Короткий, Ю. В. Стародубцева ; рец. В. Г. Пименов ; Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 155-167. - ISBN 978-5-534-07571-7(Изд-во Юрайт). - ISBN 978-5-7996-1606-9(Изд-во Урал. ун-та) : Б. ц. Коды, Ключ.слова, Доп.точки доступа Перейти к внешнему ресурсу https://urait.ru/viewer/teoriya-teplomassoperenosa-modelirovanie-granichnyh-zadach-454665#page/1 |
Д 332 Денисова, Ирина Владимировна. Движение капли в несжимаемой жидкости [Электронный ресурс] : монография / И. В. Денисова, В. А. Солонников ; рец. В. В. Пухначев ; ред. Т. С. Спирина ; ФГБУН Институт проблем машиноведения РАН, ФГБУН Санкт-Петергбурское отделение математического института им. В. А. Стеклова РАН (СПб.). - Электрон. текстовые дан. - СПб. : Лань, 2020. - on-line : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 285-292. - ISBN 978-5-8114-4896-8 : Б. ц. Коды, Ключ.слова, Доп.точки доступа Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/142329/#1 |
Шифр: И643213/2017/7 Журнал 2017г. N 7 . - 1080.71, р. Хрущев, В. В. Альтернативный набор определяющих констант для переопределения четырех единиц Международной системы единиц / В. В. Хрущев. - С.3-7 Кл.слова: ампер, кельвин, килограмм Осадчий, С. М. Измеренеие постоянной Больцмана в квазисферическом акустическом резонаторе / С. М. Осадчий, Б. Г. Потапов, К. Д. Пилипенко. - С.8-13 Кл.слова: частота, электромагнитный резонанс, вода Пашаев, А. М. Моделирование, восстановление и картирование геополей с учётом и без шумов измерений. Ч. 5. Методы сглаживающих сплайнов, управляемой фильтрации и многокритериальной оптимизации / А. М. Пашаев, Р. А. Садыхов, С. Б. Габибуллаев. - С.14-20 Кл.слова: поверхность, алгоритм, функционал невязки Егоров, В. Н. Повышение точности измерений резонансных характеристик / В. Н. Егоров, Е. Ю. Токарева. - С.20-25 Кл.слова: сигнал, кривая, термометрия Фаянс, А. М. Выявление условий однозначного определения параметров объекта, представленного в виде многоэлементного двухполюсника / А. М. Фаянс. - С.26-30 Кл.слова: разрешимость, контур, передаточная функция Прилепко, М. Ю. Калибровка и валидация преобразователей переменной силы / М. Ю. Прилепко. - С.30-33 Кл.слова: динамическое взаимодействие, математическое выражение, установка Гуляев, А. М. Резистивные газовые сенсоры с повышенной чувствительностью к спиртам на основе нанокристаллических пленок окислов олова с аддитивами тербия и сурьмы / А. М. Гуляев, О. Б. Сарач, В. А. Котов. - С.34-36 Кл.слова: оксид, реагент, реакция Дышлюк, А. В. Особенности мониторинга деформационных процессов в железобетонных конструкциях с применением рефлектометрического метода регистрации сигналов волоконных брэгговсих решеток / А. В. Дышлюк, Н. В. Макарова, О. Б. Витрик. - С.37-40 Кл.слова: балка, эксперимент, бетон Качанов, В. К. Оценка трещиностойкости упрочняющих покрытий из нитрида титана по параметрам кинетического индентирования и акустической эмиссии / В. К. Качанов, И. В. Соколов, В. М. Матюнин. - С.41-44 Кл.слова: перелом, вдавливание, импульс Бардин, В. А. Совмещение функций измерения и управления в структуре многослойного пьезоэлектрического актюатора нано- и микроперемещений / В. А. Бардин, В. А. Васильев. - С.44-48 Кл.слова: устройство, исполнительный механизм, преобразователь Балабанов, П. В. Метод и устройство для определения теплофизических свойств гетерогенных материалов в твердой фазе / П. В. Балабанов, А. С. Егоров, С. В. Мищенко. - С.49-53 Кл.слова: математическая модель, конструкция, дыхание Варданян, В. А. Методика оценки отношения сигнал-шум в волоконно-оптических системах передачи с частотным разделением каналов / В. А. Варданян. - С.53-57 Кл.слова: уплотнение, ортогональный, волокно Воробьев, М. Д. Мобильный адаптируемый измеритель характеристик низкочастотных шумов для диагностики электровакуумных приборов / М. Д. Воробьев, Д. Н. Юдаев. - С.58-61 Кл.слова: импедансный, программное обеспечение, автоматический режим Комкин, А. И. Измерение сопротивления продуванию волокнистых звукопоглащающих материалов / А. И. Комкин, В. А. Львов, Н. С. Нестеров. - С.62-65 Кл.слова: аппроксимация, безразмерный комплекс, эксперимент Лебеденко, И. М. Инструментальный метод оценки качества дозиметрических планов дистанционного облучения онкологических больных / И. М. Лебеденко, С. С. Денисюк, Ю. Б. Быкова. - С.66-68 Кл.слова: eclipse, излучение, мишень Шигимага, В. А. Дифференциальный импульсный кондуктометр для измерений проводимости биологических клеток / В. А. Шигимага. - С.69-71 Кл.слова: электрический сигнал, микроконтроллер, гормон Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |
Шифр: К067075/2016/6 Журнал Украина. Национальная академия наук Украины (Киев). 2016г. N 6 . - 1777.90, р. Провотар, О. I. До питання про інтерпретацію можливості / О. I. Провотар, О. О. Провотар. - С.3-10 Кл.слова: число, ймовірність, подія Кургаев, А. Ф. Метаязык нормальных форм знаний / А. Ф. Кургаев, С. Н. Григорьев. - С.11-20 Кл.слова: синтаксис, средства, описание Галкин, А. А. Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений / А. А. Галкин. - С.21-29 Кл.слова: нейросети, статистика, обучение Галкина, О. А. Исследование многоэтапных стохастических задач портфельной оптимизации / О. А. Галкина. - С.30-39 Кл.слова: меры, риски, активы Меликов, А. З. Иерархический алгоритм фазового укрупнения для анализа тандемных открытых сетей обслуживания / А. З. Меликов, Л. А. Пономаренко, А. М. Рустамов. - С.40-52 Кл.слова: связи, цепи, Марков Юдин, А. К. Основные понятия и математические аспекты в задачах канального кодирования: многоальтернативные правила / А. К. Юдин, Ю. К. Зиатдинов, А. Н. Воронин. - С.53-59 Кл.слова: методы, целостность, гипотезы Koroliouk, D. V. Stochastic behavioral models. Classification / D. V. Koroliouk, M. L. Bertotti, V. S. Koroliouk. - С.60-72 Кл.слова: process, equilibrium, generator Емец, О. А. Нечеткие линейные системы управлений: сильная разрешимость и сильная допустимость / О. А. Емец, А. О. Емец. - С.73-83 Кл.слова: множества, матрицы, интервальность Стойкова, Л. С. Точные нижние границы вероятности отказа системы в интервале времени при неполной информации о функции распределения времени до отказа системы / Л. С. Стойкова, С. Н. красников. - С.84-94 Кл.слова: экстремум, функционал, параметры Березовский, О. А. Критерии точности SDP-релаксаций квадратичных экстремальных задач / О. А. Березовский. - С.95-101 Кл.слова: двойственность, оценка, функции Пичугина, О. С. О непрерывных представлениях и функциональных продолжениях в задачах комбинаторной оптимизации / О. С. Пичугина, С. В. Яковлев. - С.102-113 Кл.слова: множество, перестановки, пространство Номировский, Д. А. Обобщенные постановки и свойства моделей процессов переноса в областях с разрезами / Д. А. Номировский, А. И. Востриков. - С.114-126 Кл.слова: парабола, уравнение, решения Иванчук, М. А. Алгоритм построения разделимых ɛ-сетей двух множеств / М. А. Иванчук, И. В. Малык. - С.127-134 Кл.слова: размерность, плоскость, решения Семенюта, М. Ф. (a, d)-дистанційна антимагічна розмітка окремих типів графів / М. Ф. Семенюта. - С.135-142 Кл.слова: теореми, ланцюг, граф Гнатив, Л. А. Метод построения простого целочисленного косинусного преобразования болшой размерности для кодирования изображений и видео с высоким разрешением / Л. А. Гнатив. - С.143-155 Кл.слова: масштабирование, факторизация, коэффициент Рачковский, Д. А. Вещественные вложения и скетчи для быстрой оценки расстояний и сходств / Д. А. Рачковский. - С.156-180 Кл.слова: снижение, размерность, проецирование Писаренко, В. Г. Новая модель функционирования живой нейросети, учитывающая запаздывающее взаимодействие нейронов / В. Г. Писаренко. - С.181-192 Кл.слова: нейрофизиология, математика, заболевания Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |
Шифр: К067075/2015/3 Журнал Украина. Национальная академия наук Украины (Киев). 2015г. N 3 . - 790.44, р. Киселева, Е. М. Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. I. Теоретические основы / Е. М. Киселева, Л. С. Коряшкина. - С.3-15 Кл.слова: r-алгоритм, Шор, качество Завадский, И. А. Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов / И. А. Завадский. - С.16-24 Кл.слова: алгоритм, сообщения, эффективность Костенко, А. В. Математическая модель рассеяния волн импедансной решеткой / А. В. Костенко. - С.25-43 Кл.слова: уравнение, задача, методы Сергиенко, И. В. Предсказание структуры генов с использованием смесей вероятностных распределений / И. В. Сергиенко, А. М. Гупал, А. В. Островский. - С.44-53 Кл.слова: цепь, нуклеотид, правдоподобие Ксиангуан, Ксу. Системный анализ производства угля с учетом безопасности снабжения энергией, водой и продовольствием в Китае / Ксу Ксиангуан, Гао Джунлиан, Чао Гуинь. - С.54-64 Кл.слова: интеграция, ресурсы, модель Гончар, Н. С. Математическая модель работы банка / Н. С. Гончар. - С.65-89 Кл.слова: вероятность, разорение, капитал Ясинский, В. К. Исследование флуктуаций колебаний параметрического лампового генератора с запаздывающей обратной связью / В. К. Ясинский, И. В. Малык. - С.90-99 Кл.слова: накачка, режим, стационарность Кабанов, К. И. Характеризация распределений с плотностями типа атомарных функций / К. И. Кабанов, В. М. Колодяжкин. - С.100-106 Кл.слова: величина, энтропия, суммы Ромм, Я. Е. Компьютерно-ориентированный анализ устойчивости на основе рекуррентных преобразований разностных решений обыкновенных дифференциальных уравнений / Я. Е. Ромм. - С.107-124 Кл.слова: Ляпунов, приближенность, моделирование Козин, И. В. Эволючионно-фрагментарная модель задачи трассировки / И. В. Козин, Е. В. Кривцун, В. П. Пинчук. - С.125-131 Кл.слова: плотность, оптимизация, структура Капустян, В. Е. Распределенное управление с общим квадратичным критерием в специальной норме для систем, описываемых параболо-гиперболическими уравнениями с нелокальными краевыми условиями / В. Е. Капустян, И. А. Пышнограев. - С.132-142 Кл.слова: нахождение, разрешимость, оценки Львов, М. С. О структуре полиномиальных инвариантов линейных циклов / М. С. Львов. - С.143-156 Кл.слова: анализ, программы, генерация Марценюк, В. П. Качественный анализ системы противоопухолевого иммунитета на основе дерева решений / В. П. Марценюк, И. Е. Андрущак, И. С. Гвоздецкая. - С.157-166 Кл.слова: дифференциал, уравнение, запаздывания Барановский, Н. В. Алгоритмы распараллеливания математической модели лесных пожаров на суперкомпьютерах и теоретические оценки эффективности параллельных программ / Н. В. Барановский. - С.167-177 Кл.слова: реализация, принципы, возникновение Зубарева, Е. А. Система электронного правительства Украины и способ повышения безопасности ее функционирования / Е. А. Зубарева, С. В. Белов. - С.178-187 Кл.слова: телекоммуникации, инфраструктура, качество Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |
Шифр: К067075/2012/5 Журнал Украина. Национальная академия наук Украины (Киев). 2012г. N 5 Сотсков, Ю. Н. Мера неопределенности задачи Беллмана - Джонсона с интервальными длительностями / Ю. Н. Сотсков, Н. М. Матвейчук. - С.3-16 Кл.слова: двустадийные системы, классы задач, перестановки Подловченко, Р. И. К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ / Р. И. Подловченко. - С.17-24 Кл.слова: схемы программ, разрешимость, вычислительная сложность Долгополов, И. Н. Моделирование многофакторного лечебного воздействия на биосистему / И. Н. Долгополов. - С.25-40 Кл.слова: диагностика, биоагент, семиозис Плотников, А. Д. Эвристический алгоритм для поиска наибольшего независимого множества / А. Д. Плотников. - С.41-48 Кл.слова: графы, вершины, дуги Сергиенко, И. В. Численное решение некоторых обратных задач нестационарной теплопроводности с использованием псевдообратных матриц / И. В. Сергиенко, В. С. Дейнека. - С.49-70 Кл.слова: конечное число, тепловые потоки, Фурье условие Ковальчук, Л. В. Построение верхних оценок средних вероятностей целочисленных дифференциалов раундовых функций блочных шифров определенной структуры / Л. В. Ковальчук, Н. В. Кучинская. - С.71-81 Кл.слова: криптоанализ, длина входа, стойкость алгоритма Панкратова, Н. Д. Формализация согласования экспертных оценок при реализации метода Делфи / Н. Д. Панкратова, Л. Ю. Малафеева. - С.82-94 Кл.слова: показатель степени, степень важности, анализ Акименко, В. В. Модель оптимального управления фондами и конкурентоспособностью информационно-коммуникационного предприятия / В. В. Акименко, А. А. Ефименко. - С.94-111 Кл.слова: модели конкуренции, диффузионные модели, оптимальные уравнения Бондарев, Б. В. О вероятности неразорения страховой компании на конечном интервале времени при инвестировании капитала на финансовом (B, S)-рынке / Б. В. Бондарев, Е. Ю. Рагулина. - С.112-126 Кл.слова: модели риска, премия, оценки производной Чирков, А. Ю. Некоторые приложения смешанного метода конечных элементов к решению задач механики деформируемого твердого тела / А. Ю. Чирков. - С.126-141 Кл.слова: теория упругости, теория пластичности, свободные колебания Марченко, О. А. Исследование приближенного решения квазилинейной параболо - гиперболической задачи / О. А. Марченко, Т. А. Самойленко. - С.142-154 Кл.слова: нелинейные системы, обобщенное решение, оценки Мамадалиев, Н. Об игровых задачах управления пучками траекторий при наличии запаздывания / Н. Мамадалиев. - С.154-164 Кл.слова: преследование, начальное множество, управление Стеценко, И. В. Уравнения состояний стохастических временных сетей Петри с информационными связями / И. В. Стеценко. - С.164-179 Кл.слова: матричное уравнение, задержки, проверка условия Ашрафова, Е. Р. Оптимальное управление сосредоточенными источниками в системах с распределенными параметрами на кассах импульсных и хевисайдовских функций / Е. Р. Ашрафова. - С.179-188 Кл.слова: импульсное управление, градиенты, функционалы Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |
Шифр: Н697097/2012/1 Журнал 2012г. N 1 Котов, А. В. Психофизиологический базис становления аддиктивных форм поведения / А. В. Котов. - С.9-22 Кл.слова: биология, психофизиология, эксперименты Глущенко, М. В. Психофизиологические аспекты оценки когнитивной активности / М. В. Глущенко. - С.23-31 Кл.слова: нерофизиология, психометрия, кора Ревина, Н. Е. Фазы синдрома эмоционального выгорания в показателях вариабельности сердечного ритма / Н. Е. Ревина. - С.31-39 Кл.слова: сердце, стресс, истощение Рабичев, И. Э. "Виртуальный бинокулярный зрительный образ" как показатель сенсомоторной интеграции в системе восприятия зрительной информации двумя глазами / И. Э. Рабичев. - С.39-47 Кл.слова: образы, иллюзия, движения Судаков, К. В. Компьютерная модель оценки системной организации психической деятельности человека / К. В. Судаков, Е. А. Умрюхин. - С.48-53 Кл.слова: мозг, интеллект, функции Куравский, Л. С. Об одном подходе к адаптивному тестированию и устранению его артефактов / Л. С. Куравский, Г. А. Юрьев. - С.54-66 Кл.слова: фильтры, вероятность, модели Аюпов, А. И. Разрешимость проблемы формализованного описания витасистем за счет использования категориальных переменных / А. И. Аюпов, С. И. Пляскота. - С.67-78 Кл.слова: субъекты, сегменты, разум Никитин, В. П. Специфичность молекулярных процессов как основа интерактивной деятельности нейрона / В. П. Никитин, В. В. Шерстнев. - С.79-86 Кл.слова: клетки , возбуждение, раздражители Серова, О. Н. Центрально-периферические взаимодействия сенсорных рецепторных аппаратов / О. Н. Серова. - С.87-94 Кл.слова: хеморецепция, стимулы, раздражители Алакоз, Г. М. Эволюционные аспекты возрастания "сложности" структурно-функциональной схемы формального нейрона / Г. М. Алакоз. - С.95-112 Кл.слова: техника, преобразования, логика Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |
К 381 Кибернетический сборник. Новая серия [Текст] : сборник переводов. Вып. 2 / Академия наук СССР (М.), Научный совет по кибернетике ; ред.: А. А. Ляпунов, О. Б. Лупанов. - М. : Мир, 1966. - 232 с. : ил. - Библиогр. в конце ст. - Б. ц. Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.) Свободны: аунл (1) |
М 747 Мозговой, Максим В.. Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход / М. В. Мозговой ; ред. : М. В. Финков. - СПб. : Наука и техника, 2006. - 320 с. : ил., табл. - (Секреты мастерства). - ISBN 5-94387-224-8 : 151.05 р., 215.00 р. Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (4 экз.), счз1 (2 экз.) Свободны: аунл (4), счз1 (2) |
К 493 Клини, Стивен Коул. Математическая логика : Пер. англ. / С. К. Клини ; пер. : Ю. А. Гастев ; ред. пер. : Г. Е. Минц . - 3-е изд., стереотип. - М. : КомКнига, 2007 ; М. : УРСС, 2007. - 480[2] с. : ил. - Библиогр.: с. 451-469. - Алф.-Предм. указ.: с. 470-478. - ISBN 978-5-484-00802-5 : 215.05 р. Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (2 экз.) Свободны: аунл (18), счз1 (2) |
Шифр: Д118812/2011/4 Журнал 2011г. N 4 Цыпин, Борис Владимирович. Применение методов обработки информации для повышения точности трансформаторных растровых измерителей перемещений / Б. В. Цыпин, А. А. Трофимов. - С.5-9 Кл.слова: растры, измерение перемещений, амплитудно-логический метод Нефедьев, Дмитрий Иванович. Система мониторинга состояния защитной оболочки энергоблока АЭС / Д. И. Нефедьев, М. С. Зверев, Д. А. Голованов. - С.10-13 Кл.слова: датчики силы, струнные датчики, безопасность АЭС Бодин, Олег Николаевич. Концепция виртуальной медицинской диагностической системы / О. Н. Бодин, А. Е. Моисеев, Д. С. Логинов. - С.13-17 Кл.слова: беспроводные электрокардиографы, мобильные устройства, профилактика Вершинин, Николай Николаевич. К оценки достоверности информации в сложных информационных системах / Н. Н. Вершинин, П. В. Кузнецов, Е. П. Селиванов. - С.18-20 Кл.слова: двоичные коды, помехоустойчивость, методология Бушуев, Олег Юрьевич. Исследование динамической характеристики тензопреобразователя давления с целью диагностики его состояния / О. Ю. Бушуев, А. С. Семенов, А. О. Чернявский. - С.21-24 Кл.слова: датчики давления, частотные характеристики, методы оценки Дмитриенко, Алексей Геннадиевич. Пензенский научно-образовательный центр Ракетно-космическое и авиационное приборостроение / А. Г. Дмитриенко, В. А. Мещеряков, Е. А. Мокров. - С.24-28 Кл.слова: датчики, интеграция промышленности, целевая подготовка Фаянс, Александр Михайлович. Определение параметров многоэлементных RLC-двухполюсников по характеристикам переходного процесса / А. М. Фаянс. - С.29-33 Кл.слова: схемы двухполюсников, многоэлементные двухполюсники, аналитическая разрешимость Шалобанов, Сергей Сергеевич. Поиск параметрических дефектов в непрерывных динамических системах методом пробных отклонений параметров модели / С. С. Шалобанов. - С.34-37 Кл.слова: диагностические модели, параметры интегрирования, диагностические признаки Кизимов, Алексей Тимофеевич. Бесплатформенная инерциальная курсовертикаль для легкого беспилотного летательного аппарата / А. Т. Кизимов, Д. Р. Березин, Д. М. Карабаш. - С.37-41 Кл.слова: линейное ускорение, магнитное поле Земли, компенсация погрешностей Восков, Леонид Сергеевич. Энергоэффективный комбинированный метод локализации в беспроводных сенсорных сетях / Л. С. Восков, Р. О. Курпатов. - С.42-45 Кл.слова: комбинированные методы, локализации метод, прохождение сигнала Бурцев, Юрий Александрович. Кварцевый динамический магнитометр для измерения геомагнитной активности / Ю. А. Бурцев, В. Д. Кузнецов, В. Г. Петров. - С.46-49 Кл.слова: магнитная возмущенность, магнитовариационные станции Гусев, Дмитрий Валентинович. Микроэлектронные преобразователи давления для средств регулирования и мониторинга технологических процессов в энергосберегающих системах / Д. В. Гусев, Н. Л. Данилова, В. В. Панков. - С.49-52 Кл.слова: чувствительные элементы давления, датчики давления, теплоавтоматика Рагимли, Ильхан Назим оглы. Двумерный индуктивный датчик механических перемещений / И. Н. Рагимли. - С.52-54 Кл.слова: электромагниты, линейное перемещение, магнитные системы Любинский, Сергей Ильич. Многоканальная оптоволоконная интерферометрическая система измерения деформации / С. И. Любинский, В. А. Яцеев, Е. П. Силаева. - С.54-57 Кл.слова: полупрозрачные зеркала, Фабри - Перо интерферометры, датчики деформации Цыцулин, Александр Константинович. Видеосистемы на кристалле новые архитектурные решения в задачах обработки видеоинформации / А. К. Цыцулин, Ш. С. Фахми. - С.58-61 Кл.слова: датчики стабилизации, методы измерения смешения, фотоприемники Бакшеева, Юлия Витальевна. Резистивные датчики температуры с метрологическим самоконтролем / Ю. В. Бакшеева, К. В. Сапожникова, Р. Е. Тайманов. - С.62-70 Кл.слова: термометры, метрологическая исправность, датчики температуры Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |
Шифр: К067075/2010/4 Журнал Украина. Национальная академия наук Украины (Киев). 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) |