Формальная модель


Формальная модель
- модель, заданная на математическом или любом другом формализованном языке.


Социологический словарь Socium. 2003.

Смотреть что такое "Формальная модель" в других словарях:

  • формальная модель политики безопасности — Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB) …   Справочник технического переводчика

  • Модель Take-Grant — это формальная модель, используемая в области компьютерной безопасности, для анализа систем дискреционного разграничения доступа; подтверждает либо опровергает степени защищенности данной автоматизированной системы, которая должна удовлетворять… …   Википедия

  • Модель «Смысл ↔ Текст» — Книга И. А. Мельчука «Русский язык в модели „Смысл ↔ Текст“» Теория «Смысл ↔ Текст» теория языка, созданная И. А. Мельчуком и представляющая его как многоуровневую модель преобразований смысла в текст и обратно (модель «Смысл ↔ Текст»);… …   Википедия

  • Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

  • ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …   Философская энциклопедия

  • МОДЕЛЬ —         (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… …   Философская энциклопедия

  • МОДЕЛЬ МИРА — (мифопоэтическая). В самом общем виде М. м. определяется как сокращённое и упрощённое отображение всей суммы представлений о мире внутри данной традиции, взятых в их системном и операционном аспектах. М. м. не относится к числу понятий… …   Энциклопедия мифологии

  • модель Белла-Лападула — Формальная автоматная модель политики безопасности, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход… …   Справочник технического переводчика

  • модель принятия решений — Формальная схема выбора альтернатив, которая может включать в себя количественный анализ. [http://www.lexikon.ru/dict/uprav/index.html] Тематики бухгалтерский учет EN decision model …   Справочник технического переводчика

  • Модель принятия решений (DECISION MODEL)  — Формальная схема выбора альтернатив, которая может включать в себя количественный анализ …   Словарь терминов по управленческому учету

Книги

Другие книги по запросу «Формальная модель» >>