Исчисление

Химические средства защиты растений (в 100 %-ном исчислении по действующему веществу), тыс. т 104 264 285 348 410-4 ВО [c.297]

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

Программа Фортран для дедуктивной вопросно-ответной системы, использующей пропозициональное исчисление. [c.201]

Б о ч в а р Д. А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления,— Математический сборник, т. 4, 1938, 2, 287—308. [c.277]

Медведев Ю. Т. Преобразования информации и исчисления, которые их описывают типы информации и их возможные преобразования.— Семиотика и информатика, 13, 1979, ]09—141. [c.278]

М е д в е д е в Ю. Т. Преобразования информации и исчисления, которые их описывают модель поиска на правленной информации. Там же, 1979, 14, 3—31. [c.278]

Рассмотрим систему, которая удовлетворяет требованию (9-2). Мысленно переместим ее на бесконечно малое расстояние бг (которое поэтому и названо возможным передвижением и которое, чтобы его можно было отличить от действительного передвижения г, обозначено символом б, принятым в вариационном исчислении). Тогда произведение действующих на систему сил и этого возможного передвижения будет величиной с размерностью энергии [c.123]

Из определения функции распределения (12-15) следует, что на основе известных положений интегрального исчисления вероятность (12-14) может быть представлена таким образом [c.251]

Интеграл д и его экстремум определяются через зависимость переменной У/ от времени. Известно, что интеграл обнаруживает экстремум только при одном определенном значении функции. Определение функции, которая дает экстремум является задачей вариационного исчисления, причем установлено [20], что искомой функции удовлетворяет дифференциальное уравнение Эйлера [c.353]

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

Следует также отметить, что множители Лагранжа часто применяют и в других методах оптимизации в качестве вспомогательного средства, позволяющего упростить решение более сложных задач (подробно см. главы, посвященные изложению вариационного исчисления и динамического программирования). [c.139]

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

Амортизационные отчисления. В среднем для химической промышленности обидая норма амортизационных исчислений принята 8,37о, в том числе иа капитальный ремонт 3,2 /о. Нормы амортизационных 0ТЧИСЛС1ШЙ для различных -элемеитов основных фондов приведены в табл. 9.3 [c.277]

Для чтения этой книги необходимы знания основ дифференциального и интегрального исчислений, а такк е теории дифференциальных уравнений в пределах обычного курса в химико-технологических вузах. Так как опыт показывает, что на такие знания не всегда можно рассчитывать, в разделе У.1 приведен обзор важнейших типов уравнений, с которыми читателю придется нстретиться в дальнейшем. При изучении главы И полезно беглое знакомство с линййной алгеброй. Предполагается знание основ термодинамики, поэтому в главе П1 лишь суммируются и приводятся к принятой в этой книге системе обозначений необходимые для наших целей термодинамические закономерности. Автор надеется, что большое количество графиков, приведенных в тексте, поможет читателю следить за рассуждениями и научит его извлекать информацию из качественного исследования задачи, прежде чем приступать к вычислениям. Нельзя использовать современные вычислительные машины, не поняв предварительно структуры задачи, иначе результаты вычислений окажутся заведомо бесполезными. [c.11]

При присвоении условного индекса деталям или их гру1П1ам удобно пользоваться следующими правилами Все детали, гюступаю-щие на общую сборку, имеют нумерацию, начиная с нaчaJra исчисления 1,2,3,4 и т.п. Сборочным чертежам 1 рупп присваивают обозначения Сб.1, Сб.2, Сб.З и т.д. Подгруппы первого порядка обозначают Сб. 11, Сб.12, Сб.13 и т.д. Пода-руппы второго порядка - Сб.111, Сб. 112, Сб. [c.153]

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

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

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

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

Спецификации выбора числа остаются, конечно, такими же, как и раньше требованиям различения также мсжко придать абсолютно точный смысл, поскольку в исчислении предикатов первого порядка у нас имеется естественное понятие различения для дескрипторов они раз- личны, если не применимы в точности к одним и тем же вещам. Например, если выбор имеет вид Нф Нф, то соответствующее требование различения выглядит как Vx HgX=H.x). Обобщить требование различения на случай выборов произвольного числа достаточно просто, и мы предоставляем это читателю. Гораздо более неприятную проблему ставят перед нами требования полноты. Хотя вполне разумно задать вопрос, отсутствуют ли в выборе какие-нибудь из предоставленных истинных альтернатив, у нас кет, вообще говоря, способа выразить это на языке исчисления предикатов первого порядка. Требование полноты содержит переменные, пробегающие по свойствам, и тем самым оно поднимает нас до онтологического уровня. Мы вполне могли бы остановиться на одном частном случае, когда множество связанных с данным определителем дескрипторов конечное и, следовательно, область также конечна. В этом случае требование полноты можно будет выразить через конечную конъюнкцию. Детали этой логической конструкций Еосстанзвлйзат-стся без особого труда. [c.87]

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

Вопрос Смит дома приравнивается к Я не знаю, дома ли Смит, и хотел бы это знать . При этом сам вопрос не редуцируется, а описываются условия его функционирования. Утверждение р не эквивалентно утверждению Я думаю, что р . Хэмблин выдвигает следующие положения 1) ответ на вопрос есть предложение 2) когда вы знаете, что считается допустимым ответом на вопрос, вы поняли вопрос 3) возможные ответы представляют собой множество взаимоисключающих возможностей. Можно было бы построить исчисление вопросов, аналогичное обычному логическому исчислению. [c.164]

Строится предварительный вариант логического исчисления для вопросов. Пусть J есть множество выражений, замкнутых относительно логических связок и кванторов. Множество J UP1LIP2 называется интеррогативным расширением J. Pi есть множество основных вопросов это минимальное множество, такое, что 1) если Р принадлежит J, то / принадлежит Рь 2) если X, Y принадлежат Pi, то X / У и X К также принадлежат Pi ( / и читаются соответственно как или и и ). Ра — наименьшее множество, такое, что 1) если R(Xi.. . xj принадлежит J, то .. . и т. д. могут быть как угодно переставлены), и 2) то же самое, что и в пункте 2) определения множества Pi. Ра называется множеством дополнительных вопросов (sup- [c.169]

Описана дедуктивная система, в которой аспекты резолюции (в частности, унификация использование функций Сколема) соединены с аспектами натурального вывода. Действие системы удачно сравнивается с наплучшими программами доказательств теорем исчисления предикатов. [c.198]

Авторы справедливо отмечают, что в настоящее время omputer s ien e находится в долгу перед потребностями практики использования ЭВМ. Однако следует отдать дань несомненным успехам этой науки, а также достижениям смежной G ней дисциплины — исследованиям по искусственному интеллекту. Весьма интенсивно в настоящее время развиваются исследования по алгоритмическим языкам, работы по синтезу программ и по проверке правильности программ, которые проводятся на базе логических исчислений имеются также некоторые успехи в развитии общей теории информационных систем и моделей баз данных. Ниже мы приводим (далеко не полный) перечень ссылок на работы, информирующие читателей об упомянутых проблемах. [c.277]

Из уравнс 1ия (65) следует, что абсолютная величина теплосодержания является функцией абсолютного значения внутренней энергии тела. Однако в практике расчетов принято опериро зать не с абсолютными величинами теплосодержания, а с относительными. Для этого условно выбирают определенное, так называемое нулевое , состояние системы, от которого и исчисляют ее 1еплосолержанне. При этом теплосодержание в принятом нулевом состоянии условно считается равным нулю, и все ос тальные величины его, исчисленные от этого состояния, согласно уравнениям (64) и (66), определяется выражением [c.102]

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

В настоян ее время для решения оптимальных задач применяют в основном следую1цие методы 1) методы исследования функций классического анализа 2) методы, основанные на использовании неопределенных множителей Лагранжа 3) вариационное исчисление 4) динамическое программирование 5) принцип максимума 6) лгшеГнше программирование 7) нелинейное программирование. [c.29]

Методы вариационного исчисления (см. главу V) обычно используют для решения задач, в которых критерии 0птнмал1л10стн представляются в виде ((функционалов (1,27) и решениями которых являются неизвестные функции. Такие задачи возникают обычно при статическо оптимизации процессов с распределенными параметрами или в задачах динамической оптимизации. [c.31]

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

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

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

Справочник химика 21

Химия и химическая технология