Cтраница 2
Сравнивая утверждения цикла на рис. 7.5 и 7.6, можно увидеть, что они введены в разных точках программы. Отметим, что программу можно проверить, шместив условия проверки в любую из них. Однако для программ с более сложной логикой выбор точки размещения индуктивного утверждения может иметь существенное значение. Правильный выбор таких точек проверки может привести к более коротким доказательствам справедливости утверждений и более простым индуктивным построениям. [16]
При обеспечении регулируемости элементов необходимо стремиться, чтобы запас эксплуатационных регулировок был достаточным. В этом случае часть отказов элемента может быть устранена регулировками, что гораздо проще, чем замена элемента или его ремонт. Процесс регулировки, как способ устранения отказа, должен быть по возможности простым. Это обеспечивается рядом конструктивных решений, которые позволяют: сократить до минимума общее число точек проверки и регулировки; снизить точность регулировки; обеспечить простоту, удобный контроль регулировки с учетом применения несложного инструмента и приспособлений, а также невысокой квалификации ремонтного персонала. [17]
Такие работы, как Социальные показатели 1973 и другие подобные исследования, совершенно незаменимы. Мы должны стремиться понять закономерности динамики в этих жизненно важных областях, чтобы иметь возможность решать серьезные проблемы, стоящие перед нами. Проект хорошей системы должен включать социальные показатели или меры эффективности социальных условий, с помощью которых можно следить за прогрессом или регрессом от отправной точки, контролировать их и управлять ими. Лица, определяющие политику, должны иметь в своем распоряжении методы оценки и управления результатами программ, которые они проводят в жизнь. Социальные показатели служат точками проверки или диагностическими зондами, которые позволяют оценить и проверить изменения, вызванные целенаправленной политикой. [18]