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

• посмотреть текст работы

• полная информация о работе

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

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

  Основные понятия агентов, термины и определения, принципы классификации. Линейные модели многоагентных систем. Постановка задачи линейного программирования, свойства ее решений. Графический и симплексный способы решения ЗЛП. Использование 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
  

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