Программа верификации вероятностных многоагентных систем

Рубрика	Программирование, компьютеры и кибернетика
Вид	статья
Язык	русский
Дата добавления	19.01.2018
Размер файла	278,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Подобные документы

• Реализация оптимизационных алгоритмов в линейных моделях многоагентных систем

  Основные понятия агентов, термины и определения, принципы классификации. Линейные модели многоагентных систем. Постановка задачи линейного программирования, свойства ее решений. Графический и симплексный способы решения ЗЛП. Использование Microsoft Excel.
  
  курсовая работа [662,4 K], добавлен 03.11.2014
  

• Разработка имитационной модели

  Ознакомление с современными концепциями построения моделирующих систем. Характеристика основных приемов имитационного моделирования. Перевод алгоритма на язык программирования. Понятие и этапы верификации: установления правильности машинной программы.
  
  курсовая работа [422,1 K], добавлен 30.03.2011
  

• Этапы программирования и моделирования

  Понятие верификации моделирующих компьютерных программ. Классификация математических моделей. Языки программирования, используемые для имитационных моделирующих программ. Способы исследования реальных систем. Методы повышения валидации и доверия к модели.
  
  шпаргалка [38,8 K], добавлен 02.10.2013
  

• Верификация и аттестация программного обеспечения

  Общие сведения о верификации и аттестации программной среды. Виды деятельности, осуществляемые при составлении плана испытаний. Автоматический статический анализ программ. Метод "чистая комната", его сущность и принципы. Проверка критических систем.
  
  реферат [505,0 K], добавлен 03.04.2014
  

• Разработка и реализация программного обеспечения, ориентированного на определение вероятностных характеристик надежности элементов по наблюдениям вероятностных характеристик надежности всей системы

  Метод вероятностно-алгебраического моделирования. Примеры определения вероятностных характеристик функционально-сложной системы в символьном виде. Получение и добавление данных с сервера "Всемирной организации здравоохранения". Структура базы данных.
  
  курсовая работа [353,4 K], добавлен 22.06.2014
  

• Обзор структур и функций ECAD-систем компаний Synopsis, Mentor Graphics, Cadence

  Один из мировых лидеров в области создания систем автоматизированного проектирования для разработок интегральных схем - Cadence Design Systems. СФ-блоки для памяти, верификации и систем хранения данных. Анализ целостности сигналов Allegro Package SI.
  
  презентация [1,7 M], добавлен 03.09.2014
  

• Расчет задач вычислительных систем

  Алгоритм и программа вычисления функции на параллельной структуре. Разложение функции в ряд Маклорена. Однопроцессорный и многопроцессорный алгоритмы решения. Программа на Паскале. Размер буферной памяти между звеньями. Матрица вероятностных переходов.
  
  контрольная работа [627,4 K], добавлен 14.02.2009
  

• Средства функциональной верификации компании Mentor Graphics

  Исследование и верификация системы на архитектурном и алгоритмическом уровне. Аппаратная эмуляция, контроль эквивалентности. Аналоговое и смешанное моделирование систем на кристалле. Матрица конфигурации Questa, обобщенная структурная схема платформы.
  
  контрольная работа [274,4 K], добавлен 18.01.2014
  

• Интеллектуальные информационные системы. Базы знаний

  Построение баз знаний для семантической сети. Цели создания и язык представления онтологий. Структура исследований в области многоагентных интеллектуальных информационных систем, архитектура агента. Экономическое обоснование разработки базы знаний.
  
  дипломная работа [1,6 M], добавлен 29.09.2013
  

• Мультиагентные (multi-agent system) или многоагентные системы (MAC)

  Базовые характеристики агента, требования к программированию. Особенности архитектуры, организуемой в виде нескольких уровней, представляющих разные функциональные характеристики. Проблемы многоагентных систем при реализации идеи коллективного поведения.
  
  презентация [255,2 K], добавлен 25.06.2013
  

• Разработка приложения, позволяющая решать задачу оценки долга цеха по сдаче изделий на склад

  Обнаружение аномальных данных в одномерных выборках. Метод D-статистики и Титьена-Мура, графический метод диаграмма "ящик с усами". Описание алгоритмов верификации данных. Руководство для программиста. Анализ данных на основе критерия D-статистики.
  
  курсовая работа [938,4 K], добавлен 24.06.2013
  

• Разработка автоматизированной справочно-информационной системы "Супермаркет"

  Виды, функции и структура супермаркетов, основные направления деятельности. Функции, реализуемые подсистемами автоматизированной системы управления. Обзор методов закупки товарной продукции. Обобщенная модель управления запасами. Процессы верификации.
  
  дипломная работа [96,8 K], добавлен 23.06.2015
  

• Язык имитационного моделирования GPSS

  Автоматизация технологических процессов. Написание имитационных моделей систем с дискретными событиями. Модели систем массового обслуживания в общецелевой системе GPSS. Логическая схема алгоритмов и схема программы. Математическая модель и ее описание.
  
  курсовая работа [1,4 M], добавлен 29.06.2011
  

• Определение количества витков резьбового соединения с трапецеидальной резьбой, воспринимающего осевую сжимающую нагрузку

  Анализ математической модели резьбового соединения с трапецеидальной резьбой. Разработка программы, выполняющей вычисление необходимого количества витков для восприятия осевой сжимающей нагрузки. Алгоритм проведения верификации. Инструкция пользователя.
  
  курсовая работа [1,2 M], добавлен 19.01.2016
  

• Исследование модели популяции "хищник-жертва" с помощью информационных систем

  Особенности моделирования биологических систем с использованием программы "AnyLogic". Влияние различных факторов на популяции жертв и хищников. Принципы имитационного моделирования и его общий алгоритм с помощью ЭВМ. Анализ результатов моделирования.
  
  курсовая работа [922,2 K], добавлен 30.01.2016
  

• Оценка сложности вычислительных программ

  Временная и ёмкостная сложность программы. Размер входных данных. Связь сложности в худшем случае и в среднем. Понятие оптимальной программы. Классы вычислительной сложности программ. Эквивалентность по сложности. Примеры классов вычислительной сложности.
  
  презентация [77,3 K], добавлен 19.10.2014
  

• Статистический анализ многомерных неоднородных данных в программной среде R

  Изучение возможностей среды статистических вычислений R для классификации многомерных неоднородных ассиметричных данных с помощью Expectation-Maximization (EM) алгоритмов. Использование R для анализа модели смеси вероятностных распределений (FMM).
  
  реферат [1,8 M], добавлен 09.12.2014
  

• Имитационное моделирование работы станции технического обслуживания автомобилей

  Разработка модели, имитирующей работу экономической системы (станции технического обслуживания автомобилей). Определение вероятностных характеристик системы; закрепление навыков в построении имитационной модели с помощью языка моделирования GPSS.
  
  курсовая работа [713,6 K], добавлен 05.06.2013
  

• Градиентный метод первого порядка

  Моделирование и программирование динамических систем. Градиентный метод первого порядка; математическое описание системы и значений переменных в виде полиномиальной линейной модели, статистический анализ; алгоритм моделирования, разработка программы.
  
  курсовая работа [447,0 K], добавлен 12.06.2011
  

• Верификация данных

  Реализация алгоритма верификации данных; разработка программы обнаружения аномальных данных в одномерных выборках. Характеристика методов D-статистики, Титьена-Мура, диаграммы "Ящик с усами"; обеспечение эффективности оценок статистических данных.
  
  курсовая работа [2,5 M], добавлен 27.05.2013
  

• главная
• рубрики
• по алфавиту
• вернуться в начало страницы
• вернуться к началу текста
• вернуться к подобным работам