Устойчивая модель
Cтраница 2
Как оказалось, - расширения эквивалентны частичным устойчивым моделям расширенных логических программ. [16]
 |
Основная модель сочетания волн. [17] |
Почти такой же важной характеристикой волн, как устойчивая модель их сочетания, является степень соответствующей тенденции. Существуют многочисленные степени тенденции. [18]
 |
Модели структур с вкраплениями различной формы. а - шаровые. б - кубические.| Модель структуры с взаимопроникающими компонентами. [19] |
На рис. 1 - 5 показана в пространстве упорядоченная, изотропная, устойчивая модель структуры с взаимопроникающими геометрически равноправными компонентами. [20]
Теорема 9.21 приводит к заключению, что семантика ответных множеств расширяет семантику устойчивых моделей с помощью сильного отрицания. Поэтому семантика ответных множеств непротиворечива, когерентна и является обосновывающей. Заметим, что если вместо сильного отрицания использовать псевдоотрицание, то непротиворечивость результирующей модели все равно сохраняется, но свойства когерентности и внутренней непротиворечивости будут нарушены. [21]
CWA - - При таком определении утверждения 9.14 и 9.15 остаются в силе и для устойчивых моделей. [22]
По определению нетрудно проверить, что для программ без явного отрицания ответные множества совпадают с устойчивыми моделями. [23]
Существует несколько математических методов, с помощью которых можно добиться оптимального использования химических реакторов и построения наиболее устойчивых моделей процессов. Задача нахождения оптимальных условий протекания процесса была поставлена в середине XX века, и лишь несколько лет назад для ее решения начали применять методы оптимизации. [24]
Трехзначная интерпретация / - частичная устойчивая модель расширенной логической программы Р тогда и только тогда, когда / - частичная устойчивая модель нормальной программы Р, где / и Р получены соответственно из / и Р заменой каждой объективной литеры вида - А новым атомом, скажем, - А. [25]
При оценке устойчивости в малом составной модели вида (13.34) на основе критерия Пайквиста частотная характеристика (14.90) не должна для устойчивой модели согласно выражениям (14.88) охватывать точку с координатами ( - 1 / с, 0) на плоскости Re W Im W. [26]
Изложенные в настоящей работе методологические подходы, суждения и выводы могут быть использованы для оптимизации экономических процессов, выработки концепции устойчивой модели развития отечественной экономики. [27]
Разработаны математические методы для оптимизации с помощью ЦВМ, включенной в систему регулирования, многоступенчатых процессов в установившемся состоянии, дающие устойчивую модель и достаточно удовлетворительные с точки зрения практики, поскольку имеются точные функции регулируемых переменных и возмущений. Данные, необходимые для управления процессом с помощью ЦВМ, носят более-важный характер, чем результаты для ручного управления. При выполнении всех необходимых операций с помощью ЦВМ требуется только фактическая информация. Это позволяет сэкономить время управления. Непосредственная настройка задатчиков регуляторов облегчает оператору задачу управления и позволяет ему уделять больше внимания другим проблемам для обеспечения более надежного общего управления. [28]
Устойчивыми моделями Р являются I p, a i и / 2 p, b, d, поэтому р и d истинны в семантике устойчивых моделей. [29]
После того, как определена обобщенная устойчивая модель, абдук-тивное объяснение наблюдения Q в структуре Р, А, / определяется как любое подмножество А множества А такое, что М ( А) - обобщенная устойчивая модель структуры Р, А, 1 и М ( А) Q. Процедура доказательства в этом случае содержит две фазы: абдуктивную фазу, в ходе которой выполняется стандартная SLD-резолюция, генерирующая гипотезы; и фазу непротиворечивости, состоящую в проверке того, удовлетворяют ли гипотезы ограничениям целостности. Эта процедура оказывается несостоятельной. Для достижения состоятельности было предложено использовать аргументационную семантику, единым образом работающую как с ограничениями целостности, так и с NAF ( отрицанием как неуспехом) с помощью специально определенного понятия атаки. [30]
Страницы: 1 2 3 4