Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формальные модели<.>)

Общее количество найденных документов : 7
Показаны документы с 1 по 7

Бурцева, Т. А. (канд. экон. наук ; доц.).
Имитационные системы принятия маркетинговых решений [Текст] / Т. А. Бурцева, В. В. Вохминцев, Н. Н. Катаева // Маркетинг. - 2006. - N 5. - С. . 34-40. - Библиогр.: с. 40 (6 назв. ). - c, 2006, 9999, rus. - RUMARS-mark06_000_005_0034_1. - Библиотека Поволжской академии государственной службы им. П. А. Столыпина. - Начало. Окончание в след. номере.- Ил.: рис., табл. - N 5. - С. 34-40. - mark06_000_005_0034_1, 5, 34-40

УДК

^a339.138

ББК 65.290-2
Рубрики: Экономика--Маркетинг
Кл.слова (ненормированные):
имитационные системы принятия решений -- принятие решений -- мультиагентские модели -- формальные модели -- экспертные модели -- вычислительное моделирование -- моделирование -- поведение покупателей -- поведение продавцов -- модели маркетинговой среды
Аннотация: Имитационные системы поддержки принятия маркетинговых решений - это систем поддержки принятия решений (СППР) , основанием которых является метод вычислительного эксперимента. Данный метод подразумевает использование компьютера для имитации причинно-следственных связей между различными маркетинговыми факторами. Рассматриваются этапы имитационной СППР, типы моделей, которые организуют знания и информацию в СППР, этапы вычислительного моделирования.

Доп.точки доступа:
Вохминцев, В. В.; Катаева, Н. Н.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Проектирование бизнес-процессов в рамках автоматного подхода к BPR [Текст] / Ю. М. Сметанин [и др. ] // Менеджмент: теория и практика. - 2008. - N 3/4. - С. 211-220 : 5 рис. - Библиогр.: с. 220 (6 назв. )

УДК

^a338.24

ББК 65.291.2
Рубрики: Экономика
Внутрифирменное управление. Менеджмент
Кл.слова (ненормированные):
проектирование бизнес-процессов -- бизнес-процессы -- инжиниринг -- посредники -- автоматные модели -- формальные модели -- конечные автоматы -- кусочно-линейные агрегаты
Аннотация: Рассматривается пример инжиниринга бизнес-процессов фирмы-посредника. Для проектирования бизнес-процессов используются формальные модели конечных автоматов и кусочно-линейных агрегатов.

Доп.точки доступа:
Сметанин, Ю. М. (канд. физ.-мат. наук); Сметанина, Е. Ю. (экономист); Мелехов, Д. Г. (инженер-программист); Котегов, Д. Ю. (аспирант)

Найти похожие

Зегжда, Дмитрий Петрович (1969-).
Формальная модель безопасности гипервизиров виртуальных машин в системах облачных вычислений [Текст] / Д. П. Зегжда, А. В. Никольский // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С. 7-19. - Библиогр.: с. 18-19 (14 назв.) . - ISSN 2071-8217

УДК

^a004.41/42

ББК 32.973
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
безопасность гипервизоров -- виртуализация -- виртуальные машины -- гипервизоры -- доступ к данным -- иерархия операций доступа -- облачные вычисления -- системы облачных вычислений -- теория графов -- формальные модели
Аннотация: Рассматривается основанная на теории графов формальная модель безопасности гипервизоров виртуальных машин в системах облачных вычислений, описывающая их свойства безопасности и иерархию операций доступа к данным из виртуальных машин.

Доп.точки доступа:
Никольский, Алексей Валерьевич
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Никольский, Алексей Валерьевич (1987-).
Формальная модель для кибератак на средства виртуализации и мера уязвимости гипервизоров [Текст] / А. В. Никольский // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 3. - С. 40-48 : схема. - Библиогр.: с. 48 (12 назв.) . - ISSN 2071-8217

УДК

^a004.45

ББК 32.973-018.2
Рубрики: Вычислительная техника
Системное программное обеспечение
Кл.слова (ненормированные):
виртуализация -- гипервизоры -- кибератаки -- мера уязвимости -- уязвимость гипервизоров -- формальные модели
Аннотация: Приводится описание формальной модели кибератаки на средства виртуализации, которая позволяет сформулировать условие безопасности для средства виртуализации. В рамках предлагаемой формальной модели вводится понятие меры уязвимости для средств виртуализации.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Циммерлинг, А. В.
[Рецензия] [Текст] / А. В. Циммерлинг // Вопросы языкознания. - 2016. - № 4. - С. 144-151. - Библиогр.: с. 150-151. - Рец. на кн.: Scales and hierarchies: A cross-disciplinary perspective / eds.: I. Bornkessel-Schlesewsky, A. L. Malchukov, M. Richards. - Berlin : Mouton de Gruyter, 2015. - 356 p. . - ISSN 0373-658X

УДК

^a81'36

ББК 81.02
Рубрики: Грамматика
Языкознание
Кл.слова (ненормированные):
иерархии -- монографии -- рецензии -- структура грамматики -- теоретическая лингвистика -- формальные модели -- языки мира

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Горбунов, Александр Алексеевич (кандидат технических наук; доцент).
Концептуальные аспекты автоматизированного синтеза проектных и конструкторских параметров магистрального воздушного судна [Текст] = Conceptual Aspects of Automated Synthesis of Design and Engineering Parameters of the Main Aircraft / А. А. Горбунов // Качество. Инновации. Образование. - 2018. - № 1. - С. 42-50 : 6 рис. - Библиогр.: с. 49 (6 назв.) . - ISSN 1999-513X

УДК

^a656.7

^a004

ББК 39.5 + 32.97
Рубрики: Транспорт
   Воздушный транспорт в целом
   Вычислительная техника
   Вычислительная техника в целом
Кл.слова (ненормированные):
САПР -- автоматизированный синтез -- аэродинамические характеристики -- имитационное моделирование -- компьютерная среда -- конструкторские параметры -- концептуальные модели -- магистральные воздушные судна -- проектирование -- процессы проектирования -- технические системы -- формализованная идентификация -- формальные модели -- электронные модели -- эскизное проектирование
Аннотация: В статье сформирована методология автоматизированного синтеза проектных конструкторских параметров магистрального воздушного судна. Объединяющей основой разработанных методов в методологии являются корреляционный, факторный анализы с последующим построением полиномиальных моделей и прогнозированием. Предлагаемая методология инвариантна к типу воздушного судна и его составным элементам, в связи с чем возможно ее расширение для других технических систем.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Модельный эксперимент и формирование компетенций бакалавров [Текст] / Н. Н. Матвеев [и др.] // Вестник Воронежского государственного университета. Сер.: Проблемы высшего образования. - 2019. - № 4. - С. 53-56. - Библиогр.: с. 55-56 . - ISSN 1609-0721

УДК

^a371.3

ББК 74.202
Рубрики: Образование. Педагогика
Теория и методика обучения
Кл.слова (ненормированные):
вычислительные эксперименты -- модельные физические эксперименты -- модельные эксперименты -- подготовка кадров -- профессиональные компетенции -- системное моделирование -- учебные материалы -- формальные модели
Аннотация: Рассматривается применение модельного физического эксперимента для развития навыка грамотного моделирования, необходимого для формирования компетенций у бакалавров технического профиля.

Доп.точки доступа:
Матвеев, Н. Н.; Камалова, Н. С.; Евсикова, Н. Ю.; Лисицын, В. И.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

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