Cтраница 4
Задача определения численных значений параметров модели обычно решается формальными методами и ставится следующим образом: при определенной структуре модели требуется рассчитать внутренние параметры так, чтобы в заданном диапазоне изменения внешних параметров отличия выходных параметров модели от выходных параметров объекта были минимальными. [46]
Для анализа вариантов и выбора из них конечного можно использовать формальные методы и алгоритмы, применяемые для аналогичных целей на стадии расчетного проектирования. Таким образом, задачи конструирования элемента в целом достаточно хорошо формализуемы. Однако отметим, что многие конструктивные элементы ЭМП, особенно для машин малой и средней мощности, проектируются вручную без всесторонних, глубоких расчетов. Это приводит к утяжелению конструкции, повышенному расходу материалов, увеличению стоимости и другим нежелательным последствиям. [47]
Для анализа вариантов и выбора из них конечного можно использовать формальные методы и алгоритмы, применяемые для аналогичных целей на стадии расчетного проектирования. Таким образом, задачи конструирования элемента в целом достаточно хорошо формализуемы. Однако отметим, что многие конструктивные элементы ЭМП, особенно для машин малой и средней мощности, проектируются вручную без всесторонних, глубоких расчетов. Это приводит к утяжелению конструкции, повышенному расходу материалов, увеличению стоимости и другим нежелательным последствиям. Поэтому при создании конструкторско-технологиче-ской подсистемы САПР ЭМП особое внимание следует уделить всестороннему математическому моделированию всех конструктивных элементов. [48]
При проектировании тестов архитектурных и системных свойств используются формализованные и формальные методы описания принципов работы ЭВМ. [49]
Во многих организациях управлением проектами занимаются специалисты, не обученные формальным методам управления проектами. Если обеспечить их этими знаниями, планировщики смогут более четко ставить цели и получать обратную информацию. Как в свое время компьютеры, так сейчас Internet и новые технологии взаимодействия изменяют методы выполнения работ. Эти технологии облегчают постановку целей проекта и его осуществление. [50]
Вторая причина преимущественного внимания к знаниям, а не к формальным методам рассуждения, носит прагматический характер: люди-специалисты достигают исключительно высоких результатов благодаря своим познаниям. Если машинные программы смогут аккумулировать и применять эти знания, то они тоже достигнут высокого уровня работы. В короткой истории существования экспертных систем правильность этого положения неоднократно подтверждалась. [51]
Данная техника позволяет свести ряд сложных задач нелинейного переноса к формальным методам расчета асюпто-тнческжх представленкй искомых решений. [52]