Проверка на эквивалентность

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

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

Проверка на эквивалентность — см. Формальная верификация. [c.390]

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

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

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

При проверке на устойчивость сжатых поясов открытых мостов упругие стойки могут быть заменены эквивалентной упругой средой. Приведенная длина вычисляется при этом по исправленной таблице Ф. С. Ясинского ). [c.418]

Выбор мощности электродвигателя методом эквивалентных величин. Этот выбор целесообразно проводить при известной диаграмме нагрузки двигателя или строго цикличном графике работы механизма. Выбор мощности сводится к определению предварительной мощности двигателя по упрощенной нагрузочной диаграмме и последующей проверке на нагрев [0.24]. [c.237]

Коэффициент запаса прочности для нормальных напряжений определяют по формуле (2.40), а для касательных — по формуле (2.41). Суммарный коэффициент запаса прочности по усталости находят по формуле (2.42). Необходима также проверка на единичную перегрузку от усилия холодного удара Р . у для прессов, не имеющих предохранителей. Для этого определяют возникающие от усилия холодного удара максимальные напряжения сжатия и кручения, а затем находят эквивалентные напряжения [c.484]

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

Проверку на отсутствие интерференции ведут по формулам (2.39), (2.41), (2.42), подставляя в них параметры цилиндрических эквивалентных колес и торцового исходного контура. Интерференция недопустима. [c.184]

При повторно-кратковременном режиме работы (рис. 2.12), характерном для крановых механизмов, проверка на нагрев может производиться методом средних потерь или методами эквивалентного по нагреву (среднеквадратичного) тока /д, эквивалентного момента Мц и эквивалентной мощности Л д. [c.149]

При больших угловых скоростях валов и значительных кассах деталей, установленных на них, напряжения могут быть больше допускаемых. Необходима проверка на прочность. При изгибе с кручением напряженное состояние в точках вала плоское, расчет ведется по эквивалентному напряжению, например [c.332]

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

Известно, что наиболее точным является метод определения средних потерь, но он требует более полных, чем это обычно дается в каталогах, данных о двигателях [5]. Поэтому проверку на нагрев в данном случае рекомендуется вести по эквивалентному току. График изменения тока по времени для расчетов по этой методике может быть построен в соответствии с экспериментальными данными. [c.170]

Четвертая гипотеза, предложенная О. Мором в 1900 г., базируется не на каком-либо одном факторе о, г или т, а на двух ст и т, а потому она более совершенна, чем предыдущие три. Экспериментальная проверка показала, что полученный на основе четвертой гипотезы критерий перехода от исследуемого напряженного состояния А к эквивалентному В (рис. 2.103) справедлив как для пластичных, так и для хрупких материалов и дает наилучшие результаты, если и сгз имеют разные знаки или одно из них равно нулю. Согласно критерию, [c.239]

Для доказательства эквивалентности задач (5.411) и (5.412) необходимо произвести проверку свойств оператора А, указанных в II. 1 приложения 1Г, эта проверка требует привлечения весьма тонких конструкций функционального анализа и на-ней останавливаться не будем. [c.300]

Перейдем к проверке прочности зубьев колеса на изгиб. Определим эквивалентное число зубьев колеса и по табл. 8.4 коэффициент формы зуба [c.183]

В какой бы эквивалентной системе не решалась задача, эпюр при правильном решении должен быть одним и тем же. Поэтому произведение на любой единичный эпюр в любой эквивалентной системе должно равняться нулю, так как оно является перемешением сечения, в котором находилась лишняя связь, по направлению этой связи в данной эквивалентной системе. Для полной проверки правильности решения следует взять единичный эпюр, отличный от тех, которые использовались при определении лишних неизвестных. [c.253]

Проверку трубы на прочность осуществляют по формулам гл. VI путем сравнения эквивалентного напряжения с допускаемым [а]. Для пластичных материалов определяется по формуле (6.27), а для хрупких — по формуле (6.29). При этом напряжение растяжения считается положительным, а сжатия — отрицательным. Например, эквивалентное напряжение на внутренней поверхности трубы, изготовленной из пластичного материала и нагруженной внутренним давлением р [см. формулу (6.27)]. [c.203]

При определении напряжения на боковых поверхностях зубьев конических колес можно поступить так же, как это было сделано при проверке прочности зубьев на излом, т. е. перейти к зацеплению эквивалентных прямозубых цилиндрических колес. Тогда в формуле (9.32) следует заменить ф на с ,,, а вместо 12 подставить отношение 232/2,1. Но = й коз 61 ( 1 — средний диаметр конического колеса), а отношение 232/23, можно выразить через 12, с помощью формулы (9.25). В результате для прямозубого конического колеса после преобразований получим [c.261]

Мы приведем два доказательства этой теоремы первое будет основано на непосредственной проверке, а второе — связано с эквивалентностью системы уравнений Гамильтона некоторому уравнению Пфаффа. [c.284]

Если динамический п-угольник удовлетворяет общим условиям и (Т ) Ггё преобразования, то проверка выполнимости дополнительных условий вида (2.133) не требуется. Ограничения, накладываемые последними на геометрический образ Тп-разветвления, эквивалентного рассматриваемому -угольнику, автоматически учитываются при вычислении проводимостей ветвей ОА, О (fe + 1) по формулам (2.131). [c.78]

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

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

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

В сущности, проверка на эквивалентность может рассматриваться как подвид формальной верификации, называемый верификация модели (Model he king) Эта проверка относится к методам, используемым для анализа пространственного состояния системы с целью проверки достоверности её определенных характеристик, которые обычно описываются в вше утверждений. [c.263]

Формальная верификация — в недалёком прошлом термин формальная верификация (проверка) для большинства инженеров являлся синонимом проверки на эквивалентность. В контексте рассматриваемого материала проверка на эквивалентность подразумевает под собой средства, которые используют формальные (строго математические) методы сравнения двух различных представлений одного устройства — скажем RTL-описания и таблицы соединений вентилей — для определения идентичности их функциональности от входов до выходов. На практике проверка на эквивалентность может рассматриваться как подкласс формальной верификации и называться верификацией модели (model he king), которая используется при анализе конечных автоматов системы для тестирования некоторых свойств устройства, которые обычно нгзывгютутверждениями. См. также Статическая формальная верификация и Динамическая формальная верификация. [c.395]

Последовательные идентичные цифры 284 Постоянное запоминающее устройство 28 Поток конфигурационный двоичный 93 Пошаговое проектирование 216 Поэтапные размещение и разводка 162 ППЗУ 29 Прагма 173, 266 Прием данных 224 Принципиальная схема 120 Проверка временных параметров 120 Проверка на эквивалентность 263 [c.404]

Расчетные нагрузки. Цилиндрические зубчатые и червячные передачи рассчитывают на контактную и изгибную долговечность по усталостным характеристикам материала от эквивалентных нагрузок и на прочность по статическим характеристикам материала от максимальных нагрузок, В чёрвячных передачах как правило, а в зубчатых при необходимости проводят проверку на нагрев. Червяк как стержень проверяют на прочность и жесткость. Цевочные передачи рассчитывают на контактную прочность кроме [c.181]

Описанные схемы предварительно градуировались при каждом значении сопротивлений, изменяющих постоянную времени зарядки емкости. С этой целью показания всех трех блоков сравнивались с показаниями электросекундомера при различных значениях тока и длительности. Секундомер позволял отсчитывать промежутки времени с точностью до 0,01 сек. Он запускался автоматически одновременно с блоками схемы посредством замыкания цепи (рис. 4) на эквивалентное разряду сопротивление Rz при заранее установленной величине тока. Одновременно с градуировкой проверялись линейность показаний схемы й независимость градуировочных кривых от тока. Типичные градуировочные кривые блоков / и // приведены на рис. 8, причем на них значками различной формы отмечены отсчеты, полученные при различных значениях тока. Все они идеально укладываются на прямую линию, проведенную через начало координат. Помимо градуировки, проводилась проверка суммирующего действия схемы. С этой целью на вход блоков 80 [c.80]

При применении асинхронных двигателей следует произвести дополнительную проверку их на нагрев по методу эквивалентного тока с учетом особенности работы привода на поворотах (см. 1 гл. V). Приведенная методика расчета применима и для выбора гидродвигателей, питающихся от отдельных гидронасосов и регулируемых по скорости параллельно включенными дросселями. Механические характеристики такого привода мало отличаются от характеристик для асинхронных двигателей (рис. 97, а). Если гидродвнгатели питаются от насосов переменной производительности, то за номинальный может быть принят момент М р, найденный из уравнения (103). Гидродвнгатели не требуют проверки на нагрев, так как они рассчитаны на длительную работу с полным давлением и при наибольшей скорости. [c.167]

Эквивалентная нагрузка для каждого подшиш ика [см. формулу (12.1)] Рз. =(Х-1-3-f У-0,931)1-1 = 3X4-0,931 У кН Р, = (X -1 - 2,5 -Ь У- 931) 1 -1 = 2,5Х + 2,931 У кН. В опорах обычно устанавливают подшипники одного размера, поэтому выбор подшипника и его проверку на долговечность следует проводить по максимальной эквивалентной нагрузке (в данном примере — по Р, ). [c.215]

Испытуют автомобиль пробегом или эквивалентной обкаткой с последующим диагностированием на стендах. При испытании пробегом автомобиль должен пройти расстояние не менее 30 км с заданной нагрузкой и скоростью, не превышающей установленной величины для проверки на управляемость. Для определения соответствия технического состояния автомобиля требованиям технических условий [c.204]

Снятие указанных характеристик является одновременно проверкой выпрямителя рабочим напряжением. Затем добавочный резистор исключается из схемы, и производится проверка выпрямителя номинальным рабочим током при нагрузке на эквивалентное ротору омическое сопротивление. Снимается характеристика и 1-вока) Если нет нагрузочного резистора с сопротивлением нужного значения и мощности, производится проверка выпрямителя рабочим током путем включения на закоротку без снятия указанной характеристики. [c.158]

Учет латентности фрагментов. Локальные погрешности интегрирования зависят от значения шага интегрирования А и от характера переходных процессов. Если фазовые переменные претерпевают быстрые изменения, то погрешность не выше заданной обеспечивается при малых h. Если же фазовые переменные меняются медленно, то значения Л при тех же погрешностях могут быть существенно больше. В сложных схемах ЭВА, как правило, большинство фрагментов в любой момент времени относится к неактивным (латентным), т. е. к таким, в которых не происходит изменений фазовых переменных, причем отрезки латентности Т лат могут быть ДОВОЛЬНО продолжительными. в латентных фрагментах допустимо увеличивать шаг интегрирования вплоть до значения Глат, что эквивалентно исключению уравнений фрагментов из процесса интегрирования на период их латентности. Такое исключение выполняется в алгоритмах учета латентности, относящихся к алгоритмам событийного моделирования. Основу этих алгоритмов составляет проверка условий латентности. Примером таких условий может служить [c.248]

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

При проверке качества зацепления по геометрическим нока а-телям рассчитывают коэффициент торцового перекрытия, bh hj-нюю окружную толщину уба Su,. на поверхности вершин и [трове-ряют отсутствие подрезания зубьев с использованием эквивалентного цилиндрического зацепления. [c.393]

Для рассматриваемого случая оба выражения (3.21) и (3.23) второго закона эквивалентны. Проверка второго закона Нькггона на опыте заключается в том, что, определив массу тела (для чего нужно измерить один раз одновременно ускорение, сообщаемое какой-либо [c.95]

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

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

Целью геометрического расчёта является также проверка удовлетворительности условий зацепления, для чего производится подсчёт (при малых числах зубьев или при больших коэфициентах коррекции) и расчёт на отсутствие подрезания или на запас против подрезания (производится при малом числе зубьев, например, при 2 <17 os p os if, если n=0) и расчёт на запас против заострения (производится nfiH больших коэфициентах коррекции и малых числах зубьев), а также определяется коэфициент сдвига торцев зуба д. Для проверки удовлетворительности условий зацепления можно воспользоваться формулами для цилиндрических зубчатых передач, приведёнными в табл. 6 (стр. 230). Для этого конические колёса следует заменить эквивалентными цилиндрическими, размеры которых (как шестерни, так и колеса) определяются по формулам (в правой части формул — размеры конических колёс, в левой - эквивалентных цилиндрических) [c.329]

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

Экспериментальная проверка влияния темяературы на электропроводность электролитов была произведена во ВТИ, МЭИ и ряде зарубежных лабораторий. Нойес с сотрудниками установил, что на линии насыщения эквивалентная электропроводность увеличивается при 306° С в 10 раз по сравнению с нормальными условиями. Франк, исследуя электропроводность КС1, КОН и НС1 при 400—750° С в интервале концентрации (1 - JlO) н, установил, что этот показатель лри изменении плотности от 0,2 до 0,8 г/см возрастает почти линейно. Максимального значения электропроводность достигает при плотностях 0,5 0,6 г/см , а затем начинает уменьшаться. [c.37]

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

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