Cтраница 1
Анализ допущений приведен в работе [48], где задача решена для некоторых частных случаев с учетом конструкции крепления опорного рельса на раме и действительной жесткости системы. Изложенный ниже табличный метод расчета не находится в противоречии с работой [48], так как путем внесения соответствующих поправок, учитывающих характер силового воздействия, положения катка на круге и жесткость элементов, можно получить действительный характер распределения нагрузки. [1]
Анализ допущений помогает лучше разобраться в изменениях макросреды и в степени их важности для стратегического менеджмента. [2]
Однако анализу физических допущений, положенных в основу такой постановки задачи, все еще уделяется недостаточно внимания. [3]
Решетка сред, в которой выделен несовместный контекст. [4] |
В системах отслеживания истинности предположений, основанных на анализе допущений, обоснования являются частью исходной информации, которой программа располагает в момент запуска на выполнение. Ниже мы увидим, что скрывается за этим интересом, но сначала рассмотрим пример. [5]
График функции F. [6] |
Большие значения - выходят за пределы принятых при анализе допущений. [7]
Предположим, что YI0n YOK К - ffi0 первбе из упрощающих анализ допущений. [8]
Решетка сред, в которой узлы, имеющие непустые списки ярлыков, заштрихованы. [9] |
Таким образом, из всего сказанного выше вытекает, что основная забота системы отслеживания истинности предположений, основанной на анализе допущений, состоит в формировании списка сред для узлов высказываний. Такой список может быть созвучным ( sound), завершенным ( complete), совместимым ( consistent) или минимспьным ( minimal) ярлыком. В эти термины вкладывается следующий смысл. [10]
Каждое из этих предположений, конечно же, очень ограничивает возможность практического применения системы, но в работе [ De Kleer and Williams, 1987 ] было показано, что использование систем отслеживания истинности предположений, основанных на анализе допущений, поможет снять третье из перечисленных ограничений. [11]
Его следствием явилось, в частности, принятое в настоящее время разбиение задач на четыре группы: 1) линейные физически и геометрически; 2) нелинейные физически, но линейные геометрически; 3) линейные физически, но нелинейные геометрически; 4) нелинейные физически и геометрически. В монографии В. В. Новожилова ( 1948) с позиций общих соотношений нелинейной теории упругости проведен анализ геометрических допущений, широко используемых при изучении деформации стержней, пластин и оболочек. [12]
Настоящее пятое издание учебника сокращено по сравнению с предыдущим: исключен ряд параграфов, относящихся к дополнительным ( специальным) вопросам программы, уменьшено число примеров. В то же время изложение основного программного материала почти не подверглось изменениям; этот материал изложен достаточно обстоятельно, с анализом допущений, положенных в основу выводов расчетных формул, с подробными указаниями по их практическому применению. Несмотря на некоторое сокращение числа примеров, их осталось вполне достаточно, чтобы уяснить основные методы расчета на прочность, жесткость и устойчивость. [13]
Ключевым понятием для такого метода должно быть конфликтующее множество - множество таких компонентов, которые в данной ситуации ( т.е. при данных симптомах) не могут одновременно быть исправными. Конфликтующее множество, таким образом, это именно то множество допущений, которое в системе отслеживания истинности предположений, основанной на анализе допущений, формирует среды, несовместимые с данными. Их можно определить, формируя дедуктивное замкнутое выражение для среды и данных, а затем выискивая в нем противоречие. Главная цель системы отслеживания истинности предположений состоит при этом в том, чтобы идентифицировать все минимальные конфликтующие множества. [14]
В системе диагностирования, допускающей наличие нескольких неисправностей в устройстве, приходится иметь дело с экспоненциальным ростом пространства гипотез. Чтобы преодолеть возникающие при этом сложности, нужно формировать гипотезы в определенном порядке, принимая во внимание их конструктивность, а затем выполнять такие процедуры тестирования, которые позволят выбрать из набора конкурирующих гипотез наиболее подходящую, проведя при этом минимальное количество дополнительных измерений. Реализуется такой процесс с помощью комбинации методов отслеживания истинности предположений, основанных на анализе допущений, и методов вероятностного логического вывода. [15]