Авторизация
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Основная база библиотеки (3)
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=УМНОЖЕНИЕ МАТРИЦ<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
Шифр: К067075/2019/4
   Журнал

Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2019г. N 4 . - 6255.30, р.
Содержание:
Мейтус, Владимир Юльевич. Проблемы построения интеллектуальных систем. Представление знаний / В. Ю. Мейтус. - С.3-14
Кл.слова: область предметная, логика дескрипционная, интенсионал
Смольяков, Эдуард Римович. Эффективный метод исследования устойчивости существенно нелинейных динамических систем / Э. Р. Смольяков. - С.15-23
Кл.слова: функции Ляпунова, устойчивость движения, системы нелинейные динамические
Григорьян, Юрий Георгиевич. Аксиомы неоднородной геометрии / Ю. Г. Григорьян. - С.24-32
Кл.слова: модель, пространство, графы
Елфимова, Лариса Дмитриевна. Новый быстрый рекурсивный алгоритм умножения матриц / Л. Д. Елфимова. - С.33-38
Кл.слова: алгебра линейная, сложность мультипликативная, умножение матриц
Згуровский, Михаил Захарович. Качественный и количественный анализ слабых решений энергобалансных климатологических моделей / М. З. Згуровский, П. О. Касьянов, Н. В. Горбань. - С.39-49
Кл.слова: аттрактор глобальный, полупоток многозначный, уравнение реакции–диффузии
Трофимчук, Александр Николаевич. Задача выбора пропускных способностей дуг с ограничением на время задержки потоков / А. Н. Трофимчук, В. А. Васянин. - С.50-60
Кл.слова: задачи комбинаторной оптимизации, сети, пропускные способности
Приказчиков, Виктор Георгиевич. Дискретный спектр оператора Лапласа с разными условиями на границе произвольного треугольника / В. Г. Приказчиков. - С.61-70
Кл.слова: спектр, оператор Лапласа, треугольник
Яковлев, Сергей Всеволодович. Формализация задач оптимизации пространственных конфигураций с использованием специального класса функций / С. В. Яковлев. - С.71-80
Кл.слова: объекты геометрические, размещение, покрытие
Фусек, М. Статистические вывод для многократно цензурированной слева выборки типа I для распределения Вейбулла / М. Фусек, Я. Михалек. - С.81-96
Кл.слова: правдоподобность, оценка, информационная матрица Фишера
Айда-заде, Камиль Раджабович. Оптимизация размещения сосредоточенных источников и точек контроля процесса нагрева пластины / К. Р. Айда-заде, В. А. Гашимов. - С.97-108
Кл.слова: синтез управления, точки замера, условия нелокальные
Калюх, Юрий Иванович. Численное решение двухточечных задач статики распределенных протяженных систем с помощью метода Нелдера–Мида / Ю. И. Калюх, А. Н. Трофимчук, А. Г. Лебедь. - С.109-118
Кл.слова: функция квадратическая, моделирование численное, системы протяженные
Марценюк, Василий Петрович. Использование дифференциальных уравнений с запаздыванием на гексагональной решетке для моделирования иммуносенсоров / В. П. Марценюк, А. С. Сверстюк, И. С. Гвоздецкая. - С.119-132
Кл.слова: биосенсоры, устойчивость асимптотическая, функционал Ляпунова
Заяць, В. М. Подход к оценке ценности и количества информации в системах массового обслуживания на основании теории распознавания образов и нечетких множеств / В. М. Заяць, О. М. Рыбыцька, М. М. Заяць. - С.133-144
Кл.слова: теория информации, вероятность, логика размытая
Хамдамов, Рустам Хамдамович. Алгоритм сегментации символов номерного знака транспортного средства / Р. Х. Хамдамов, Х. Э. Рахманов. - С.145-151
Кл.слова: точки краевые, анализ изображения, анализ контурный
Биленко, Валентин Иванович. Анализ обобщенных интегральных моделей с управляемой памятью на основе а-метода В.К. Дзядыка / В. И. Биленко, Е. В. Божонок, С. Ю. Дзядык. - С.152-157
Кл.слова: ненасыщаемость, приближение наилучшее, уравнения алгебраически-нелинейные
Смирнова, Олеся Валерьевна. О некоторых моделях биржевой торговли на высокорискованных финансовых рынках / О. В. Смирнова, В. Ю. Котляр. - С.158-165
Кл.слова: инструменты финансовые, скальпинг, спуфинг
Гурин, Артем Леонидович. Методы решения задач о математических сейфах на матрицах с разными типами замков / А. Л. Гурин. - С.166-175
Кл.слова: подсистемы, модули простые, модули составные
Шило, Владимир Петрович. Эффективные способы организации параллельной работы оптимизационных алгоритмов / В. П. Шило, С. В. Чупов. - С.176-183
Кл.слова: данные общие, доступ, синхронизация
Каленчук-Порханова, Анжелина Алексеевна. Математическое моделирование токовых состояний водных объектов / А. А. Каленчук-Порханова. - С.184-193
Кл.слова: подсистемы, водоемы, моделирование
Краснобаев, Виктор Анатольевич. Метод реализации арифметической операции сложения в системе остаточных классов на основе использования принципа кольцевого сдвига / В. А. Краснобаев, С. А. Кошман. - С.194-202
Кл.слова: системы компьютерные, достоверность вычислений, быстродействие
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
2.
004
С 727


    Спицын, Владимир Григорьевич.
    Защита информации и информационная безопасность : учебное пособие для вузов / В. Г. Спицын, Н. А. Столярова ; Министерство образования Российской Федерации, Томский политехнический университет. - Томск : ТПУ, 2003. - 166[2] с. : табл., ил. - (Учебники Томского политехнического университета). - Библиогр.: с. 163. - 50.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (13 экз.), счз1 (1 экз.)
Свободны: аунл (13), счз1 (1)
Постоянная гиперссылка
3.
Шифр: К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)

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