Авторизация
 

Базы данных


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

Вид поиска
Основная база библиотеки
База данных нормативных документов
Персоналии ученых-профессоров ТУСУРа
Календарь знаменательных дат
Электронные книги ЛитРес
ЭБС «Лань»
ЭБС «Юрайт»
Область поиска
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=верификация моделей<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
Шифр: К067075/2012/6
   Журнал
Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2012г. N 6
Содержание:
Михайлюк, В. А. Подход к оценке сложности вероятностных процедур постоптимального анализа дискретных задач оптимизации / В. А. Михайлюк. - С.3-10
Кл.слова: случайные алгоритмы, внешние генераторы, односторонняя ошибка
Остапенко, В. В. Математические модели борьбы партий за электорат или компаний за рынки сбыта / В. В. Остапенко, О. С. Остапенко, Е. Н. Беляева. - С.11-19
Кл.слова: социологические процессы, конфликтные ситуации, ситуация равновесия
Лукьянова, Е. А. Исследование однотипных структурных элементов GN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом / Е. А. Лукьянова, А. В. Дереза. - С.20-29
Кл.слова: матрицы инцидентности, инварианты, верификация моделей
Сергиенко, И. В. Решение условной задачи оптимизации дробно-линейной целевой функции на множестве размещений методом ветвей и границ / И. В. Сергиенко, О. А. Емец, О. А. Черненко. - С.30-35
Кл.слова: знаменатель, пара, линейные функции
Стоян, Ю. Г. Математическое моделирование взаимодействия неориентированных выпуклых многогранников / Ю. Г. Стоян, А. М. Чугай. - С.36-44
Кл.слова: упаковка, касание, пересечение
Ясинский, В. К. О непрерывности по параметру решений стохастических дифференциально-функциональных уравнений с пуассоновскими возмущениями / В. К. Ясинский, И. В. Малык. - С.45-61
Кл.слова: динамические системы, параметры, радиофизика
Булавацкий, В. М. Численное моделирование динамики одного локально-неравновесного во времени конвективно-диффузионного процесса / В. М. Булавацкий. - С.62-71
Кл.слова: неклассические модели, приближенные решения, краевые задачи
Левитская, А. А. Одна комбинаторная задача в классе двоичных векторов заданного веса / А. А. Левитская. - С.72-75
Кл.слова: двоичные векторы, число ступеней, координаты
Дериева, Е. Н. О задаче управления решением стохастического дифференциального уравнения на плоскости с аддитивным дробным Броуновским полем / Е. Н. Дериева, С. О. Герасименко. - С.76-84
Кл.слова: случайные поля, дробные поля, Херста параметр
Михалевич, В. М. Задачи принятия решений с денежными доходами (потерями) при сочетании принципов гарантированного и наилучшего результатов / В. М. Михалевич. - С.85-95
Кл.слова: модели системы, критерии оптимальности, подмножества
Гребенник, И. В. Генерация комбинаторных множеств с заданными свойствами / И. В. Гребенник, А. С. Литвиненко. - С.96-105
Кл.слова: отображение, множества, генерация
Ливинская, А. В. Предельная теорема для перегруженных многоканальных сетей / А. В. Ливинская, Е. А. Лебедев. - С.106-113
Кл.слова: режимы, аппроксимация, нагрузка
Гирлин, С. К. Аналитическое решение задачи оптимального распределения внешних ресурсов между подсистемами двухпродуктовой развивающейся системы / С. К. Гирлин, А. В. Билюнас. - С.114-121
Кл.слова: внешние функции, Эйлера метод
Котляр, В. Ю. Рынок ставок: анализ арбитражных ситуаций / В. Ю. Котляр, О. В. Смирнова. - С.122-133
Кл.слова: модели торгов, вероятность, беттинг
Шолохов, А. В. О получении экстремального эллипсоида, содержащегося в сумме двух эллипсоидов / А. В. Шолохов. - С.134-140
Кл.слова: оценивание, множество достижимости, аппроксимация
Сахнюк, И. А. Прогнозно - базированный подход к определению метрологической надежности средств измерений / И. А. Сахнюк. - С.140-143
Кл.слова: отказ, наработка, погрешности
Львов, М. С. Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием / М. С. Львов, В. С. Песчаненко. - С.144-156
Кл.слова: семантика, сегменты, пространства
Панченко, Б. Е. Исследование доменно-ключевой схемы реляционной базы данных / Б. Е. Панченко. - С.157-172
Кл.слова: данные, каркасы, области
Била, Г. Д. Об асимптотических свойствах оценок неизвестных параметров почти периодической функции при наличии Гауссовского шума / Г. Д. Била. - С.173-183
Кл.слова: зависимость, самостоятельность, распределение
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
2.
519
К 474

    Кларк, Эдмунд М. (младший).
    Верификация моделей программ: Model Checking : Монография: Пер. с англ. / Эдмунд М. Кларк, Орна Грамберг, Дорон Пелед; Пер. В. Захаров, Пер. Р. Кончаков, Пер. Д. Царьков, Ред. пер. Р. Смелянский. - М. : МЦНМО, 2002. - 416 с. : ил. - Библиогр.: с. 377-399. -Предм. указ.: с. 400-416. - ISBN 5-94057-054-2 (в пер.) : 80.00 р.

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

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