Cтраница 1
Сложность вывода на режим заключается в том, что в реактор сразу нельзя подавать метанокислородную смесь с большим содержанием кислорода, ввиду того что при малых скоростях истечения из сопла возможен проскок горения в зону смешения. [1]
Сложность вывода аналитической зависимости закона сопротивления при движении осадков объясняется недостаточной изученностью этого вопроса. [2]
Внимание исследователей привлекают и методы оценки сложности выводов. Сюда относятся такие проблемы, как отыскание сравнительно коротких формул, необходимо имеющих сложные доказательства, или формул, из которых уже сравнительно несложно можно получить большое количество результатов. [3]
Внимание исследователей привлекают и методы оценки сложности выводов. Сюда относятся такие проблемы, как отыскание сравнительно коротких формул, необходимо имеющих сложные доказательства, или формул, из к-рых уже сравнительно несложно можно получить большое количество результатов. [4]
Исходя из понятия временной сигнализирующей функции, можно получать оценки сложности вывода в разных грамматиках. [5]
Кроме алгоритмических проблем к математической теории грамматик относятся также проблемы оценки сложности вывода в грамматиках. [6]
Эта работа является продолжением работы [1], в которой мы ставили себе целью описание широкого класса достаточно естественных мер сложности вывода, позволяющих классифицировать бесконтекстные грамматики. Как было показано, в качестве такого класса может быть выбран класс так называемых линейно-инвариантных мер. Теперь нам предстоит решить более сложную задачу: среди линейно-инвариантных мер указать такие, которые позволяют классифицировать бесконтекстные языки. Эти преобразования в целом сохраняют топологию деревьев и являются обобщениями гомеоморфизмов графов. Таким образом, в работе указывается одно из возможных решений поставленных в [1] задач В и С. [7]
Во втором подходе, заключающемся в конструкции функции поля экстремалей, называемой также функцией Беллмана-Ляпунова или потенциальной функцией, и опирающимся на уравнение динамического программирования Беллмана, снимается сложность вывода уравнения вариации функционала с неголономными связями, присущая первому подходу. Однако на следующем этапе возникает новая сложность при необходимости решать функциональное уравнение Беллмана. [8]
Во втором подходе, заключающемся в конструкции функции поля экстремалей, называемой также функцией Беллмана-Ляпу нова или потенциальной функцией, и опирающимся на уравнение динамического программирования Беллмана, снимается сложность вывода уравнения вариации функционала с неголономными связями, присущая первому подходу. Однако на следующем этапе возникает новая сложность при необходимости решать функциональное уравнение Беллмана. [9]
Для грамматики G ( A, S, P, S) с правилами вида Р S - - SS, S - - SaS, S - va3 определить сложность вывода терминальных цепочек, длина которых не превышает 15 знаков. [10]
Топливные элементы с матричными электролитами весьма компактны, портативны, имеют малую массу на единицу мощности. Недостатками их являются сложность вывода продуктов реакции из ТЭ и отвода тепла, а для ионообменных мембран - также малая стабильность и термостойкость. [11]
Неестественность этого правила бросается в глаза. Таким образом, сложность применения локальных правил исчезающе мала по сравнению со сложностью результирующего вывода. Итак, будем делить методы поиска выводов на глобальные и локальные в соответствии с тем, входят ли в состав соответствующего исчисления Иг1, s нелокальные правила. [12]
В качестве еще одной величины, характеризующей слово, мы определяем длину правил LG ( P) как число правил, использованных при построении слова. Каждое правило а - q, за исключением стартового правила, подсчитывается столько раз, сколько оно используется в минимальной программе. Введение длины правил, называемой также длиной вывода или сложностью вывода, восходит к работам Гладкого и Игараши. [13]
Внимание исследователей привлекают и методы оценки сложности выводов. Сюда относятся такие проблемы, как отыскание сравнительно коротких формул, необходимо имеющих сложные доказательства, или формул, из которых уже сравнительно несложно можно получить большое количество результатов. Рассматриваются естественные меры сложности вывода: длина доказательства; время, требуемое для поиска вывода; сложность формул, фигурирующих в выводе, и др. В этой области методы теории доказательств смыкаются с методами теоретической кибернетики. [14]
Конечно, точное решение всегда предпочтительнее численного приближения. Однако если сравнивать с экспериментом, то ошибки в численных методах часто меньше ошибок в соответствующих измерениях. Помимо предсказания точных численных значений, точные решения часто способствуют пониманию качественных черт модели. Однако в случае обсуждавшихся выше модельных систем сложность выводов, по-видимому, заслоняет ту физическую сущность, которую можно было бы надеяться получить. [15]