Cтраница 3
Для решения уравнений машины с двумя обмотками на роторе на ЭВМ целесообразно использовать модель с уравнениями токов, как наиболее предпочтительную для исследования машин с изменяющимися параметрами. Более устойчивая модель с уравнениями потокосцеплений становится неудобной при исследовании машины с изменяющимися параметрами обмоток, поскольку для изменения какого-либо одного индуктивного сопротивления требуется пересчет всех коэффициентов в уравнениях и перестройка такого же количества коэффициентов усиления на модели. [31]
F-наименьшей частичной устойчивой моделью Р и может быть получена с помощью ( восходящей) итерации Г, начиная от пустой интерпретации. [32]
Краткий обзор видов семантики логических программ выполнен по работе [9.1], с. Семантика устойчивых моделей была впервые определена в работе [9.5] Гельфондом и Лифшицем. В работе [9.9] обосновывается необходимость введения второго отрицания для выполнения вывода здравого смысла. [33]
Предпочтительные расширения и частично устойчивые модели определяются по максимальным допустимым множествам гипотез. В рамках абстрактной аргументационной структуры допустимые множества определяются указанным образом. [34]
Разные значения параметров торговой модели могут приводить к кардинально отличающимся результатам по прибыли и риску. В идеале у наиболее устойчивой модели при разных значениях параметров должна меняться лишь величина прибыли. [35]
Семантика устойчивых моделей не всегда может успешно применяться. Для некоторых программ не существует устойчивых моделей. [36]
Известно f 6Ji однако, что в некоторых случаях модель, построенная методом моментов, является неустойчивой, хотя САМ объект или исходная модель высокого порядка устойчивы. В настоящей работе предлагается алгоритм получения устойчивой модели методом моментов. При иэвеотиих младших моментах на еенеяе квйтерия устойчивости Гурвица строится ебласть изменения старвего ме мента. Иепельзуя критерий апериедичеокей устойчивости Лаврова 13 ], можно выделить овлаети апериодической и колебательной устойчивости модели отнес италь не стараеге момента. [37]
В настоящее время наиболее благоприятные перспективы для создания динамичной, устойчивой модели экспортного типа имеют дальневосточные районы России. [38]
Аналогично можно проверить, что и / 2 является устойчивой моделью. [39]
Эта цель не была достигнута, хотя удалось определить многие устойчивые модели поведения. [40]
Если истина присваивается некоторому множеству литер по умолчанию ( гипотез), а ложь - остальным, то получаются некоторые следствия в соответствии с семантикой определенных программ. Если эти следствия полностью подтверждают исходные гипотезы, то они и образуют устойчивую модель. [41]
Для этого необходимо определить сначала два вида общей семантики для нормальных логических программ, расширенных дополнительным отрицанием: первая семантика расширяет стационарную семантику для нормальных логических программ ( она эквивалентна фундированной семантике), а вторая - семантику устойчивых моделей. Это примеры общей семантики, так как здесь делаются минимальные предположения о дополнительном виде отрицания. Напротив, смысл отрицания по умолчанию оказывается полностью определенным в этих общих видах семантики. В дальнейшем схема будет обобщена, чтобы параметризовать ее и по отношению к отрицанию по умолчанию. [42]
Последние два столетия американская экономика развивалась циклично, попеременно переживая взлеты и падения. Некоторые из этих циклов носили весьма драматичный характер ( например, Великая депрессия тридцатых годов или безудержная инфляционная спираль семидесятых), а иногда их влияние было настолько незначительным, что они проходили почти незаметно. Большинство циклов по степени выраженности находится между этими двумя экстремумами и образует устойчивую модель экономического, или делового, цикла со средней продолжительностью в четыре года. Примерно каждые четыре года экономика переживает подъем, за которым неизбежно следует замедление темпов роста или спад. [43]
Первое, что мы обнаружим - это опять же зиманов закон параболической остановки. Граница на рис. 16.22 ( между теми клетками, для которых X уже прошло через критическое значение Хс, так что они переключились в другое состояние, и теми, для которых еще не прошло) движется в точности так же, как на рис. 16.16. Подобный пороговый уровень, который должен проходиться при скачках, можно ввести во многие теоретико-катастрофические модели, и это дает устойчивые модели с аналогичными свойствами. Однако свойства измененной модели не будут абсолютно тождественны свойствам исходной, так как наличие дискретных состояний типа включено / выключено ( или вытекающие отсюда следствия) изменяет такие предсказания, как параболическая локальная геометрия рис. 16.12. Наблюдения Эштона, описанные в § 10, очевидно, имели место в контексте без переключений. [44]
В применении к задачам графического конструирования для создания формальной модели необходимо описать поведенческие операции, которые отображают процесс решения. Это описание наталкивается на значительные трудности. Дело в том, что логическое обоснование цепи действий при решении неформальной задачи основывается на интуиции. Устойчивые модели решения неформальных задач возникают в результате большого практического опыта. При этом сам процесс решения автоматизируется и превращается в навык. Человеку, владеющему таким навыком, трудно отдавать себе отчет в своих действиях при решении задачи. Возникает противоречие: наибольшей информацией об алгоритме задачи должен обладать человек с большим опытом решения таких задач, но ему то как раз и трудно восстановить в сознании этот алгоритм. [45]