- Формальная модель
- - модель, заданная на математическом или любом другом формализованном языке.
Социологический словарь Socium. 2003.
Формальная модель
Смотреть что такое "Формальная модель" в других словарях:
формальная модель политики безопасности — Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB) … Справочник технического переводчика
Модель Take-Grant — это формальная модель, используемая в области компьютерной безопасности, для анализа систем дискреционного разграничения доступа; подтверждает либо опровергает степени защищенности данной автоматизированной системы, которая должна удовлетворять… … Википедия
Модель «Смысл ↔ Текст» — Книга И. А. Мельчука «Русский язык в модели „Смысл ↔ Текст“» Теория «Смысл ↔ Текст» теория языка, созданная И. А. Мельчуком и представляющая его как многоуровневую модель преобразований смысла в текст и обратно (модель «Смысл ↔ Текст»);… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия
МОДЕЛЬ МИРА — (мифопоэтическая). В самом общем виде М. м. определяется как сокращённое и упрощённое отображение всей суммы представлений о мире внутри данной традиции, взятых в их системном и операционном аспектах. М. м. не относится к числу понятий… … Энциклопедия мифологии
модель Белла-Лападула — Формальная автоматная модель политики безопасности, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход… … Справочник технического переводчика
модель принятия решений — Формальная схема выбора альтернатив, которая может включать в себя количественный анализ. [http://www.lexikon.ru/dict/uprav/index.html] Тематики бухгалтерский учет EN decision model … Справочник технического переводчика
Модель принятия решений (DECISION MODEL) — Формальная схема выбора альтернатив, которая может включать в себя количественный анализ … Словарь терминов по управленческому учету
