Статья 2480

В программах эту гибкость трудно промоделировать. В 1962 г. Г. Гелернтер создал программу, решающую школьные задачи по геометрии на плоскости, планиметрии. Каждая задача имела двойственное представление - аксиоматическое и в виде диаграммы. Логическое представление позволяло программе строить формальные доказательства. С другой стороны, диаграммы помогали в выборе методов доказательства и давали возможность программе проверять свои [...]

Читать дальше
Статья 2477

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

Читать дальше
Статья 2475

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

Читать дальше
Статья 1607

Теперь зависимость коэффициента передачи от частоты может быть представлена функцией, принимающей комплексные значения и имеющей аргументом частоту, перед которой из математических соображений необходимо ставить коэффициент - мнимую единицу, единицу отсчета по оси.

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

Читать дальше
Статья 1605

На некоторой частоте фазовые сдвиги могут быть нулевыми или отличными от нуля.
Ясно, что если эти сдвиги достигают величины на данной частоте, то система из инвертирующей становится неинверсной на этой частоте и при замыкании петли обратной связи теряет устойчивость. Это, разумеется, при условии, что усиление на этой частоте больше единицы. Критерий устойчивости вроде бы [...]

Читать дальше
Статья 1602

В нашем примере с котлом это время движения возмущений в потоках топлива и воздуха по трубопроводам. В некоторых случаях чистое запаздывание пренебрежимо мало, в других его необходимо учитывать, и оно определяет все поведение системы.
Наиболее интересным следствием, вытекавшим из работ Найквиста и Боде, оказалось то, что устойчивость системы определяется целиком ее свойствами на частотах, где коэффициент [...]

Читать дальше
Статья 1600

В 20-е годы XX в. метод Хевисайда под названием операционное исчисление стал основным аппаратом теории устойчивости систем регулирования. В этом была выдающаяся заслуга Карсона, показавшего, что символическое исчисление, примененное Хевисайдом, использует в сущности преобразование, предложенное почти целым веком ранее великим математиком и астрономом Пьером-Симоном Лапласом.
X. Найквист и впоследствии Г.В. Воде довели до совершенства методы исследования [...]

Читать дальше
Статья 1599

Когда в середине XIX в.
мощность и качество паровых машин резко возросли, то соответственно увеличился коэффициент усиления в петле обратной связи и в ряде случаев - запаздывание. Это привело к тому, что регулирование с помощью простого пропорционального регулятора Уатта оказалось неустойчивым. В развитии техники возникло совершенно неожиданное препятствие, которое было необходимо срочно преодолеть. Ситуация [...]

Читать дальше
Статья 1596