7. Подходы к верификации.
Существуют два подхода к верификации проектных процедур: аналитический и численный.
Аналитический подход основан на использовании формальных методов доказательства соответствия двух сравниваемых описаний. Для реализации аналитического подхода необходимо в рамках некоторой формальной системы установить язык представления проектированного решения и правила преобразования предложений и конструкций этого языка, нужно разработать алгоритм целенаправленного применения правил для приведения уравнений вариантов к виду, по которому можно сделать заключение о наличии или отсутствии соответствия этих вариантов.
В настоящее время класс объектов, для которых удается реализовать аналитический подход, ограничен.
Численный подход основан на математическом моделировании процессов функционирования проектируемых объектов. Моделирование—это исследование объекта путем создания его модели и оперирования ею с целью получения полезной информации об объекте. При математическом моделировании исследуется математическая модель (ММ) объекта.
Математической моделью технического объекта называется совокупность математических объектов (чисел, скалярных переменных, векторов, матриц, графов и т. п.) и связывающих их отношений, отражающая свойства моделируемого технического объекта, интересующие инженера-проектировщика. Математическая модель, отражающая поведение моделируемого объекта при заданных изменяющихся во времени внешних воздействиях, называется имитационной.
При конструировании необходимо определить прежде всего геометрические и топологические свойства объектов: форму деталей и их взаимное расположение в конструкции. Эти свойства отображаются с помощью структурных математических моделей, которые могут быть выражены уравнениями поверхностей и линий, системами неравенств, графами и т. п.
При функциональном проектировании моделируют состояние или процессы—последовательности сменяющих друг друга состояний объекта. Такое моделирование осуществляется с помощью функциональных математических моделей.
Верификация на основе моделирования заключается в установлении соответствия проектного решения, представленного математической моделью.
8. Типовые проектные процедуры.
Процедуры структурного синтеза по характеру проектируемого объекта делятся на:
- синтез схем (принципиальных, функциональных, структурных, кинематических и др.)
- конструкций (определение геометрических форм, взаимного расположения деталей)
- процессов (технологических, вычислительных и др.)
- документации (чертежей, пояснительных записок, ведомостей и др.).
Основные процедуры параметрического синтеза
- оптимизация номинальных значений параметров элементов
- оптимизация их допусков
- идентификация моделей
- расчеты на основе упрощенных методик
Идентификация моделей заключается в расчете параметров, используемых в ММ. Для процедур оптимизации, как правило, требуется выполнение большого объема вычислений с помощью сложных программных комплексов. В отдельных случаях удовлетворительные результаты параметрического синтеза получаются подобных расчетным методикам неавтоматизированного проектирования.
Детерминированная верификация может быть направлена на выявление соответствия структур объектов, заданных двумя различными описаниями (структурная верификация), или значений выходных параметров (параметрическая верификация). Параметрическая верификация может выполняться по полной совокупности параметров или по их части, в последнем случае различают верификацию статическую, динамическую, в частотной области.
Статистический анализ предназначен для получения статистических сведений о выходных параметрах при заданных законах распределения параметров элементов. Результаты статистического анализа можно представлять гистограммами, оценками числовых характеристик распределений выходных параметров.
