Cтраница 2
Изложенный принцип доказательства алгоритмов имеет другой, может быть, даже более важный аспект: он отражает, каким образом мы понимаем алгоритм. Помните, в § 1.1 мы предупреждали читателя, чтобы он не надеялся читать алгоритм как роман; рассматриваемый алгоритм рекомендуется несколько раз испытать на некоторых типичных входных данных. Это надо делать потому, что конкретные примеры выполнения алгоритма помогают исполнителю самостоятельно сформулировать различные утверждения, которыми следует снабдить стрелки. Эта точка зрения имеет важное психологическое следствие: для того чтобы алгоритм был правильно понят другим лицом ( или тем же самым лицом, просматривающим свои собственные алгоритмы после нескольких месяцев перерыва), необходимо, чтобы ключевые утверждения, те утверждения, которые не могут быть получены механически, всегда были четко изложены. [16]
Как только что было отмечено, питание антенны резонансной линией создает ряд неудобств. Более часто используется схема питания антенны с помощью согласованной линии. Основной особенностью данного решения является независимость входного сопротивления вх от длины линии питания. На рис. 3.5 приведены конкретные примеры выполнения такого способа питания. [17]