Методы формальные

Другое направление сокращения времени на проверку корректности решений, принимаемых при функционально-логическом проектировании, связано с методами формальной верификации. В этих методах вместо многократного моделирования схемы при различных тестовых воздействиях выполняют сопоставление проект- [c.132]

Метод формальной верификации - метод верификации, в соответствии с которым вместо многократного моделирования схемы при различных тестовых воздействиях выполняют сопоставление проектного решения с некоторым эталоном [c.312]

Для решения задачи поиска оптимального варианта автоматизации технологических процессов необходима разработка методов формального описания и исследования технологических процессов и структуры машин-автоматов (25, 28—30, 78, 107, 118, 121]. Использование методов м атематической логики, тео- рии алгоритмов, теории конфликтных ситуаций, линейного и динамического программирования, а также современных мощных вычислительных средств позволяет изыскивать принципиально новые варианты технологических процессов и находить при синтезе машин-автоматов и автоматических линий оптимальные с точки зрения производительности, экономичности и надежности структурные решения. [c.5]

Расчет химической реакции в потоке методом формальной кинетики см. в [10]. [c.259]

Таблица 7.19. Формулы для вычисления кинетических характеристик химических реакций методом формальной кинетики

Таким образом, полученный нашим методом формальный ряд абсолютно сходится со всеми своими производными и действительно является решением уравнения (1.1). [c.31]

Другое направление сокращения времени на проверку корректности решений, принимаемых при функционально-логическом проектировании, связано с методами формальной верификации. В этих методах вместо многократного моделирования схемы при различных тестовых воздействиях выполняют сопоставление проектного решения с некоторым эталоном методами, развиваемыми в теории дедуктивных систем. [c.227]

Метод использован для нахождения оптимального распределения толщины h г), удовлетворяющего минимуму массы диска G г). Процедура поиска проекта минимальной массы с помощью метода формального (прямого) поиска [126] состоит в следующем фиксируется начальное распределение толщины h (г) и соответствующее значение целевой функции G (h), удовлетворяющей ограничениям. Одному из независимых параметров h (ri) сообщается начальное приращение, равное заданному начальному шагу ДЛ,. При возрастании G (h) этому параметру сообщается приращение—Также варьируются и другие параметры h(r) с проведением анализа изменения целевой функции, после чего делаются шаги сразу по всем координатам с направлениями, соответствующими удачным пробам. Следующие шаги делаются в тех же направлениях, пока не будет получено (h) > [c.204]

Кроме описанного выше метода формального поиска, использовали и другие методы оптимизации с целью выбора наиболее приемлемого метода математического программирования для решения расс.матриваемой задачи (см. [34 ]). Был рассмотрен метод вращающихся координат [108], являющийся удачной модификацией метода покоординатного спуска, метод случайного поиска и сочетание этих методов, процедуры которых содержатся в библиотеках стандартных программ ЭВМ. Если формальный поиск и процедура вращающихся координат позволяют производить оптимизацию в ограниченной области, то для учета ограничений в методе случайного поиска приходится использовать штрафные функции. Минимизируемый функционал будет иметь следующий вид [c.208]

В более общем случае, когда структура пакета определяется несколькими параметрами, представляется целесообразным использовать численные методы оптимизации, например, метод формального поиска и т. п. [c.22]

Вывод уравнений ошибок можно осуществить путем формального варьирования основного уравнения инерциальной навигации. Такой путь не является единственным. Известны другие подходы к составлению уравнений ошибок. Например вариацию можно проводить, используя скалярную форму записи алгоритмов работы БИНС [3.10]. В этом случае получаюш,иеся уравнения ошибок привязаны к конкретной реализации системы, и, следовательно, могут быть применены только для данного типа систем. Ниже предлагается более обш,ий подход, развитый, например в работе [3.9] и основанный, как уже сказано выше, на формальном варьировании исходного векторного основного уравнения инерциальной навигации в форме (3.62). Получаюш,иеся при этом уравнения обладают большей обш,ностью и могут быть с минимальными изменениями применены практически к любому типу систем. Следует упомянуть, что описываемый ниже подход, основанный на формальном варьировании векторного основного уравнения инерциальной навигации, не является единственно возможной формой такого варьирования. В фундаментальном труде [3.8] также предлагается получать уравнения ошибок ИНС методом формального варьирования основного уравнения инерциальной навигации. Однако используемые при этом представления переменных отличаются от вводимых в работе [3.9. Большой практический опыт авторов по использованию уравнений в форме, предложенной в работе [3.9], показал их суш,ественные преимущества и простоту адаптации к конкретным условиям применения. Далее мы следуем методике вывода, приведенной в уже упоминавшейся работе [3.9. [c.93]

Первые три метода формально аналогичны методам обработки керамических масс, связность которых определяется пластичностью глинистого компонента при затвердении ее массы водой. Методы горячего литья под давлением коренным образом отличаются от остальных методов. [c.309]

В работе [И] развивается метод формального разложения в тригонометрические ряды для решения нелинейной параметрической задачи при детерминированном возмущении. Обобщение этого метода на случайные возмущения для системы с несколькими степенями свободы связано с громоздкими математическими выкладками. Поэтому в дальнейшем будут рассматри- [c.189]

Модификация е-метОда для открытых задач по существу сводится лишь к введению в однородную задачу условия излучения. Проведем этим методом формальное построение решения задачи дифракции на диэлектрическом теле в пустоте. [c.36]

Долгое время не существовало единой оценки точности отливок и методик ее определения. Само понятие точность отливок определялось различно. В одних случаях точность характеризовалась величиной припуска на литейный размер, в других — отношением веса детали к весу заготовки. Предлагалось также оценивать точность отливок отношением веса детали к весу жидкого металла, используемого на ее изготовление. С одной стороны, при такой оценке точности в некоторых случаях оказывалось, что точность при литье в формы, полученные по выплавляемым моделям, хуже, чем при литье в песчаные формы. С другой стороны, во всех случаях детали, требующие минимальной обработки (например, строительное литье, получае.мое са.мыми неточными методами), формально должны быть отнесены к самому точному разряду. В настоящее время существует понятие геометрическая точность отливок , которое яв- [c.258]

Предполагая различные замедленные стадии, можно осуществить перебор различных механизмов и получить для них теоретические порядки реакций. В результате такого перебора обычно удается подобрать последовательность реакций и замедленную стадию, при которых выведенные кинетические уравнения соответствуют экспериментальным данным. Метод носит название метода формальной электрохимической кинетики. Недостатком этого метода является то, что зачастую для одних и тех же экспериментальных данных может быть расписано несколько механизмов, в которых участвуют различные промежуточные частицы. Поэтому для более достоверного определения механизма нужно проводить дополнительные исследования по обнаружению промежуточных продуктов реакции как электрохимическими, так и другими физико-химическими методами. [c.22]

V (t) выбираются из ТВ устройства или рассчитываются по формулам (5.2). Таблица истинности для комбинационной схемы оказывается полностью сформированной, это эквивалентно формулировке функций выходов и возбуждений (ФВВ) элементов памяти комбинационного блока. По ФВВ разрабатываются комбинационные блоки с помощью существующих развитых методов формального синтеза. [c.108]

В этом параграфе метод формального приближенного моделирования иллюстрируется на четырех примерах. Последний из них (теория мелкой воды) интересен тем, что вскрывает несколько неожиданную связь между волнами на воде и газодинамическими процессами. [c.123]

Здесь мы разовьём абстрактную теорию кластерных разложений для полимеров, используя метод формальных степенных рядов изложение в значительной степени навеяно работой [39]. [c.39]

Используя методы формальной логики, определим взаимосвязь между и состоянием контура и датчика. Например, в первом варианте (см. табл. 7.7) в допустимых пределах находится только невязка 84. Следовательно, значения и достоверны. Невязки 85 и 85 не [c.171]

Третий метод формального отбора основан на использовании метода Монте-Карло и метода классификации. По заданным каким-либо образом распределениям Х определяют статистически большое число точек в области неопределенности параметра Хг. Полученное множество точек разделяют на N групп. Групповые центры выбирают при этом так, чтобы среднеквадратическое расстояние между точками в группе было минимальным, а расстояния между центрами — максимальным. [c.143]

Часто возникают сомнения подходят ли методы формального анализа для решения сложных проблем, поскольку для них требуются субъективные оценки. Они действительно требуются, но [c.139]

Часто возникают сомнения подходят ли методы формального компьютерного анализа для решения сложных проблем, поскольку в процессе выработки таких решений требуются субъективные оценки. Они действительно требуются, но эти субъективные оценки воспринимаются системой поддержки принятия решений в качестве исходных данных. [c.346]

Предмет, излагаемый в этой книге, не может обсуждаться без привлечения некоторых математических методов, которые обычно недоступны инженеру. Вместо того чтобы ограничиться демонстрацией математических истин в процессе их скучного приложения (практика, которая безуспешно пытается игнорировать тот ясный факт, что математический аппарат следует изучать сначала, а не потом), мы предпочли разъяснять необходимые математические положения в самом тексте по мере того, как в них возникает потребность. Кроме того, мы будем обращаться к математике, не заботясь ни о формальной строгости, ни о полноте наших рассуждений, а пытаясь привести читателя наиболее простым путем к пониманию основных понятий и помогая ему, если нужно, постигнуть искусство применения алгоритма. [c.8]

Пользователь САПР должен также знать, что явления зацикливания вычислений или переполнения разрядной сетки могут происходить не только из-за недостатков выбранного численного метода, но и из-за ошибок в задании исходных данных. Некоторые ошибки, связанные с нарушением формальных правил грамматики входного языка, распознаются автоматически. Однако ряд ошибок не может быть выявлен формальными средствами без участия [c.224]

АЛГЕБРАИЧЕСКИЙ ПОДХОД К РАСПОЗНАВАНИЮ - совокупность методов формального синтеза алгоритмов распознавания образов, составляемых из алгоритмов, не обязательно обоснованных формально. Возможность анализа разнообразных алгоритмов с единой точки зрения основана на том фа1сте, что многие известные алгоритмы распознавания представляют собой суперпозицию двух алгоритмов. Первый из них на основании исходных данных об объекте вычисляет числа, где к - количество классов распознаваемых объектов, а or, характеризует степень принадлежности к / -му классу, которая в АПКР называется оценкой объекта на данном классе. Второй алгоритм имеет на входе числа [c.5]

Изучая механические движения, происходящие в иространстве и ЕО времени, теоретическая механика широко применяет математические методы иееледования, методы абстракции, обобщения, методы формальной логики. [c.6]

Речь идет о вариационных задачах, которые допускают непрерывную группу (в смысле Ли) вытекающие отсюда следствия для соответствующих дифференциальных уравнений находят свое наиболее общее выражение в теоремах, которые формулируются в 1 и доказываются в последующих параграфах. Относительно этих дифференциальных уравнений, возникающих из вариационных задач, возможны высказывания, значительно более точные, нежели относительно любых допускающих группу дифференциальных уравнений, которые являются предметом исследований Ли. Итак, последующее изложение базируется на объединении методов формального вариационного исчисления с методами теории групп Ли. Для специальных групп и для вариационных задач это объединение методов не ново я упомяну Гамеля и Герглоца (Herglotz), занимавшихся специальными конечными группами, Лоренца и его учеников (например, Фоккера), Вейля и Клейна, занимавшихся специальными бесконечными группами ). Вторая статья Клейна и настоящая работа в особенности взаимно повлияли друг на друга в связи с этим я хотела бы указать на заключительные замечания в статье Клейна. [c.611]

Таким положением вегцей объясняется, по-видимому, то усиленное внимание, которое уделяется синоптиками многих стран методам формальной экстраполяции барического поля, совергаенно не связанным с применением гидродинамических, термодинамических и вообгце каких бы то ни было физических представлений о метеорологических процессах. Подходя к предвычислению погоды с такой точки зрения, исследователь опирается исключительно на свойства непрерывности и дифференцируемости, которые он более или менее сознательно приписывает всем функциям, характеризуюгцим изменения ногоды. [c.180]

В настоящее время еще не получили широкого распространения методы формального описания требований пользователей, и в результате проектные решения по СОЭИ в ряде случаев не адекватны реальным условиям управляемых процессов. [c.9]

Необходимо отметить, что проф. В. Алексеев и Гордан подметили параллелизм в методах формальной химии (атомистич. теория) и символич. теории И. Такое совпадение в методах обеих наук несомненно может принести большую пользу для обеих. Химия может воспользоваться результатами символич. теории И. и тем самым стимулировать ее развитие. [c.24]

Дираком ) и Ленцом и Йенсеном былн указаны модификации уравнения (84.19), которые применимы к системам более общего вида, чем нейтральные атомы. Теория Ленца-Йенсена, которая пользуется вариационными методами, формально эквивалентна первоначальной теории Томаса-Ферми, так как соответствующие их вариационному принципу уравнения Эйлера сводятся для нейтрального атома к уравнению (84.19). Теория Дирака является более общей, так как её уравнения содержат дополнительный член, уменьшающий энергию электрона в точке г на величину, равную обменной энергии одного из электронов системы в области, в которой электронная плотность равна л, именно [c.406]

Раздел Задачи и дополнительные вопросы к главе 1 включает 44 задачи, часть из которых действительно является задачами, использующими предложенный в основном тексте формализм. Из дополнительных вопросов отметим примеры, связанные с использованием методов формальной теории вероятностей (1-5), в разделе Канонические распределения и теория флуктуаций — исследование общего вопроса о гауссоюсти распределения по энергии и числу частиц в рамках канонического распределения Гиббса, в разделе Классические системы — задачи 24, 25, а также 44, связанные с использованием величин рк — фурье-компонент плотности числа частиц и их связи с парной корреляционной функцией и флуктуациями плотности, в задачах 28, 29 участвуют системы из гармонических осцилляторов (резонатор, струна равновесному электромагнитному излучению посвящен самостоятельный раздел), и, наконец, задача 43 — традиционная проблема рассеяния света на флуктуациях плотности. [c.42]

Следуя этому методу, формальным образом вводим в гамильтониан сверхпроводника векторный потенциал , зависящий от мацубаровской переменной т (и от координат) 1) [c.490]

Для наиболее часто встречающихся корреляционных функций зависимости нахождения эффективного периода Tg приведены в табл. П.З [16], в которой для ряда недифференцируемых процессов приведены оценки эффективного периода, которые согласуются с физической природой случайных процессов, но которые невозможно получить формальными математическими методами. [c.123]

Систему уравнений для вывода критериальных зависимостей исследуемого класса дисперсных теплоносителей получим, используя предложенную выше модель гетерогенной элементарной ячейки. Этот подход, по-види-мому, связан с минимальными физическими погрешностями, что существенно для теории подобия. Возникающая при этом математическая некорректность вывода соответствующих дифференциальных уравнений связана с тем, что к рассматриваемому молю гетерогенной системы в силу конечности его размеров и дискретности его 1компонентов неприменимы точные математические методы. Мож но полагать, что для дисперсных систем в принципе невозможно получить полностью корректную (одновременно с физической и формально-математической точек зрения) систему дифференциальных уравнений пока не будут предложены соответствующие функции распределения, аналогичные функциям Максвелла и Больцмана для газа. Поэтому в дальнейшем воспользуемся приближенным методом конечных разностей, дополнительно учитывая следующее [c.33]

В 1914 г. Л. В. Писаржевским было дано новое толкование электродных процессов, позволившее заменить формальную схему осмотической теории Нернста реальной физической картиной. Несколько позже (1926 г.) аналогичные идеи высказаны И. А. Изгарышевым и А. И. Бродским. По Л. В. Писаржевскому, причинами перехода ионов металла в раствор являются диссоциация атомов металла на ионы и электроны и стремление образовавшихся ионов сольватиро-ваться, т. е. вступать в соединение с растворителем. Необходимо, следовательно, учитывать два равновесия одно — между атомами металла и продуктами его распада (ионы и электроны) и другое — при сольватации (в водных растворах — гидратации). Таким образом, потенциал металла, погруженного в раствор, зависит от обоих процессов и состоит из двух слагаемых, одно из которых зависит от свойств металла, а второе — от свойств как металла, так и растворителя. Эти новые взгляды, основанные на электронных представлениях, качественно совпадают с современными представлениями, которые, таким образом, были предвосхищены Л. В. Писаржевским задолго до квантовой механики, статистики Ферми и других современных теоретических методов, [c.216]

Интегрирование системы конечно-элементных уравнений (1.35) можно осуществить различными способами [55, 177, 178], наибольшее применение среди которых получили методы центральных разностей, Вилсона, Галеркина, Ньюмарка. Нельзя формально подходить к использованию того или иного метода,, так как каждый из них имеет свои сильные и слабые стороны, которыми и определяется область их рационального применения. Так, применение центральных разностей имеет несомненное преимущество при использовании сосредоточенной (диагональной) матрицы масс, однако устойчивость его зависит от выбора шага интегрирования во времени Ат. Выбирая безусловно устойчивые и более точные двухпараметрические методы интегрирования Ньюмарка и Галеркина, мы значительно увеличиваем время счета. Оптимально и достаточно просто реализуемое интегрирование уравнения (1.35) можно провести с помощью модифицированной одношаговой процедуры Вилсона по двум схемам, отличающимся числом членов разложения в ряд Тейлора функций (т) , (й т) , ы(т) в момент времени т [7]. [c.25]

Все известные методы векторной оптимизации непосредственно или косвенно сводят решаемые задачи к задачам скалярной оптимизации. Иначе говоря, частные критерии Fi(X), i=l, п, тем или иным способом объединяются в составной критерий F(X) =ф( 1(Х),. .., f (X)), который затем максимизируется (или минимизируется). Если составной критерий получается в результате проникновения в физическую суть функционирования системы и вскрытия объективно существующей взаимозависимости между частными критериями и составным критерием, то оптимальное решение является объективным. Однако отыскание подобной взаимозависимости чрезвычайно сложно, а может быть, и не всегда возможно. Поэтому на практике составной критерий обычно образуют путем формального объединения частных критериев, что неизбежно ведет к субъективности получаемого оптимального решения. Составной критерий иногда называют обобщенным или интегральным критерием. [c.16]

Диалоговое моделирование. Наличие в методике макромоделирования эвристических и формальных операций обусловливает целесообразность разработки моделей элементов в диалоговом режиме работы с ЭВМ. Язык взаимодействия человека с ЭВМ должен позволять оперативный ввод исходной информации о структуре модели, об известных характеристиках и параметрах объекта, о плане экспериментов. Диалоговое моделирование должно иметь программное обеспечение, в котором реализованы алгоритмы статистической обработки результатов экспериментов, расчета выходных параметров эталонных моделей и создаваемых макромоделей, в том числе расчета параметров по методам планирования экспериментов и регрессионного анализа, алгоритмы методов поиска экстремума, расчета областей адекватности и др. Пользователь, разрабатывающий модель, может менять уравнения модели, задавать их в аналитической, схемной или табличной форме, обращаться к нужным подпрограммам и тем самым оценивать результаты предпринимаемых действий, приближаясь к получению модели с требуемыми свойствами. [c.154]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...