Результат - формализация
Cтраница 2
Состав модели и блоков. Модель ВК ВЦКП ( рис. 11.3) является результатом формализации функционирования ВК. ВЦКП, в состав которого входит многомашинный вычислительный комплекс, состоящий из 3 ЭВМ типа ЕС. Одна из ЭВМ этого комплекса выполняет функцию диспетчера. [16]
Обобщенный характер установленных формализованных представлений о гидромеханических и тепловых процессах в бурящихся скважинах позволяет отказаться от эмпирических рекомендаций при составлении гидравлических программ. Оптимизированный вариант гидравлической программы углубления скважин предусматривает синтез этих представлений в результате формализации и алгоритмизации многофакторной оптимизационной задачи по выбору регулируемых показателей гидромеханических процессов промывки ствола при бурении скважин. [17]
В связи с этим следует отметить, что исследование конкретных структур ремонтных воздействий по восстановлению работоспособности автомобилей - процесс весьма трудоемкий. Поэтому целесообразно анализировать некоторую модель, полученную в результате четкого формального описания в смысло-вых терминах характеристик процесса и его параметров, иными словами, модель, полученную в результате формализации процесса. Схематизация процесса восстановления в виде модели упрощает анализ различных вариантов и позволяет делать более глубокие выводы. [18]
Хотя модели новы, но подходы в исследовании по возможности должны сводиться к уже существующим. Мы должны принять некоторые стандартные математические конструкции как результат формализации. Так что мы обсудим некоторые классы математических проблем. [20]
Всякое логическое исчисление включает в себя прежде всего те или иные средства для формализации записи различного рода утверждений, о которых есть смысл говорить, истинны они или ложны. Подобного рода утверждения в математической логике принято называть высказываниями. Формализация, о которой здесь идет речь, состоит в том, что для обозначения высказываний или их составных частей, а также для обозначения различного рода операций, позволяющих строить более сложные высказывания из более простых, вводится строго определенная система символов. В результате формализации получаем возможность записывать высказывания в виде формул, строящихся из введенных символов по определенным правилам. [21]
Ранее для поддержания работоспособности телефонной сети компании требовался многочисленный штат опытных наладчиков, которые должны были за ограниченное время проанализировать большое количество зарегистрированных сообщений об отклонениях, обнаруженных в процессе самотестирования, отыскать и устранить неисправность. Радикально решить проблему обслуживания такой сложной структуры могло только создание системы, способной аккумулировать в виде программы опыт специалистов высокого касса и помочь обеспечить таким образом нужный уровень обслуживания. Затем эксперты повторно анализировали результаты формализации и проверяли, насколько эти правила согласуются с их опытом и интуицией. [22]
 |
Функции степеней принадлежности, которыми формализуют про-стр анственные отношения расстояний.| Результаты экспертизы для формализации терминов. [23] |
В табл. 2.17 приведен фрагмент полученных данных после проведения экспертизы, где цифрами указано количество экспертов, которые сопоставили выбранный термин со значением на шкале U. Из табл. 2.17 видно, что термины вплотную и очень-очень близко неразличимы в указанном выше смысле. В этой же работе проведена оценка терминов и их формализация, которые характеризуют размеры объектов. На рис. 2.11 приведены результаты формализации. [24]
Страницы: 1 2