Cтраница 2
Исходя из практики мы пришли к выводу, что программа для персонального компьютера, которую мы назвали Прибыль-план ПП, дает возможность осуществлять структурный контроль плановой деятельности. [16]
К числу контролируемых позиций относятся проверки индексных регистров на разрушение информации, ручного распределения рабочих ячеек, переключения устройств памяти при ограниченной адресации и др. Для языков программирования верхних уровней структурный контроль ограничен, поскольку указанные выше задачи решаются автоматически - методом оптимизации, обратным структурному контролю. При решении задач оптимизации неавтоматически их контроль также может быть осуществлен с применением структурного метода. [17]
К числу контролируемых позиций относятся проверки индексных регистров на разрушение информации, ручного распределения рабочих ячеек, переключения устройств памяти при ограниченной адресации и др. Для языков программирования верхних уровней структурный контроль ограничен, поскольку указанные выше задачи решаются автоматически - методом оптимизации, обратным структурному контролю. При решении задач оптимизации неавтоматически их контроль также может быть осуществлен с применением структурного метода. [18]
Система автоматизации отладки на технологической ЭВМ ( рис. 2.5) включает средства для формализованного контроля программ, а также для детерминированной и статистической отладки в процессе исполнения проектируемых программ. Подсистемой структурного контроля используются модели программных модулей, каждая из которых состоит из списка операторов и списка связей операторов анализируемого модуля. Эти же модели программ применяются для расчета длительностей исполнения и для автоматизированного построения схем программ. В процессе структурного контроля осуществляется проверка корректности построения программ на отсутствие зацикливаний, тупиков и неподключенных участков программ, а также проверяется распределение оперативной памяти для размещения переменных и последовательность их записи и чтения. [19]
Поскольку методы доказательств все еще далеки от совершенства, а также из-за перечисленных выше проблем, этот метод нельзя рекомендовать для употребления в большинстве современных проектов. В тех случаях, когда он применяется, его можно использовать вместо процессов структурного контроля и автономного тестирования, но он не может заменить остальные процессы тестирования, такие, как тестирование сборки, внешних функций и комплексное тестирование, а также тестирование приемлемости. Доказательства, однако, могут и сегодня представлять ценность в определенных критических ситуациях, когда в разработку проекта возможно вложить дополнительные затраты ради повышения достоверности результата. [20]
Другим хорошо известным путем синтеза олефинов является дегидратация спиртов. Он обладает тем же недостатком, что и описанный выше, а именно отсутствием структурного контроля. Дегидратацию часто катализуют кислотами, а это приводит, в случае подходящих систем, к перегруппировкам карбениевых ионов. Однако в благоприятных случаях, например ( 47) и ( 48), могут быть достигнуты хорошие выходы. Как и следовало ожидать для реакций с участием карбениевых ионов, третичные спирты дегидратируются легче, чем вторичные. [21]
Например, ППП Генератор программ ввода-вывода ( ППП - ГВВ) обеспечивает создание рабочих программ, предназначенных для ввода в ЕС ЭВМ в установленном формате данных практически на всех типах машинных носителей ( перфолента, перфокарта, магнитная лента, диск), осуществляет контроль достоверности вводимых данных, выдачу сообщений об ошибках, перекодировку вводимых данных во внутренний код ЕС ЭВМ. ППП - ГВВ построен на базе ДОС ЕС ЭВМ и состоит из управляющей программы генератора, набора процедурных модулей, реализующих ввод, синтаксический и структурный контроль, а также перекодировку вводимых данных. [22]
С помощью структурного контроля проверяется, главным образом, программа, записанная на языке нижнего уровня - автокода, поскольку при этом информация по структуре распределяется программистом. К числу контролируемых позиций относится контроль индексных регистров на разрушение информации, контроль ручного распределения рабочих ячеек, контроль переключения устройств памяти при ограниченной адресации и др. Для верхних уровней структурный контроль ограничен, поскольку указанные выше задачи решаются автоматически методом, обратным структурному контролю - методом оптимизации. При решении задач оптимизации, соответствующих верхним уровням, не автоматически, а вручную, их контроль также может быть осуществлен с применением структурного метода. [23]
С помощью структурного контроля проверяется, главным образом, программа, записанная на языке нижнего уровня - автокода, поскольку при этом информация по структуре распределяется программистом. К числу контролируемых позиций относится контроль индексных регистров на разрушение информации, контроль ручного распределения рабочих ячеек, контроль переключения устройств памяти при ограниченной адресации и др. Для верхних уровней структурный контроль ограничен, поскольку указанные выше задачи решаются автоматически методом, обратным структурному контролю - методом оптимизации. При решении задач оптимизации, соответствующих верхним уровням, не автоматически, а вручную, их контроль также может быть осуществлен с применением структурного метода. [24]
В частности, методом динамометрических измерений установлено, что степень сшивания фенолформальдегид-ных новолаков при обработке гексаметилентетрамином увеличивается с концентрацией последнего, температурой и длительностью нагревания. Для полного сшивания необходимо около 10 % гексаметилентетрамина. Бендер [95] описывает метод структурного контроля отверждения фенопластов, основанный на том, что смолы, полученные из изомерных диоксидифенилметанов ( выделенных из продуктов конденсации), обладают той же относительной скоростью отверждения, как и чистые изомеры. Наибольшей относительной скоростью обладает 2 2 -дифенилолметан, и его содержание определяет соответствующие свойства смолы. При изучении кинетики конденсации пирокатехина с формальдегидом в щелочной среде Доманский [96] установил, что при температуре выше 30 конденсация протекает как реакция первого порядка. Вычислены средние значения констант скорости и энергия активации, равная 19 ккал / моль. Конденсация протекает как реакция первого порядка. [25]
Псевдокод применяется при проектировании программы до начала ее кодирования. Он применяется для того, чтобы подробно объяснить, как программа будет работать. Поэтому там, где используется структурный контроль, другой программист может проверить правильность программы на псевдокоде до начала ее кодирования. Одно из преимуществ псевдокода в том, что изменять текст на нем легче, чем программу, полностью подготовленную для ввода в машину. [26]
Светозар Стоянович предложил следующее объяснение сущности советской системы и ее классового устроения: Поскольку капитализм несомненно конституирует общественную ценность с экономической доминантой, то парадигмой, ему соответствующей, является общественно-экономическая формация. С другой стороны, коммунистический этатизм принадлежит к семейству общественно-политических формаций. Здесь политическое доминирование приобретает форму структурного контроля одного класса ( этатистского) над государством и, при помощи этого, над средствами производства. [27]
Структурные методы контроля основаны на проверке соответствия алгоритмов и программ системе формализованных правил их построения и функционирования, проводимой без непосредственного исполнения самой программы. Структурные методы контроля наиболее широко используются в настоящее время для проверки записи команд, макрокоманд, стандартных блоков и функциональных подпрограмм, отдельных программ, которые выполняются на этапе программной отладки комплексов программ АСУ. При этом могут быть выделены следующие основные процедуры структурного контроля: контроль синтаксических и систематических ошибок описания программы, вызванных некорректностью использования языка программирования; формальный контроль правильности соответствия блок-схемы тексту программы; контроль функциональной корректности программ. [28]
Ряд прочих требований структурного программирования определяют непосредственно процесс программирования. С этим этапом не связаны и понятия модульного программирования и структурного контроля. [29]
Сквозной структурный контроль необходим для обнаружения и исправления ошибок на ранних стадиях проектирования, пока стоимость исправления ошибок минимальна, а последствия их наличия незначительны. Такой контроль обеспечивается регулярным обсуждением принятых решений всеми взаимодействующими разработчиками. Кроме того, наличие базовых структур, унификация правил взаимодействия компонент и заведомо известная последовательность их разработки в порядке соподчиненности создают предпосылки для автоматизации процесса структурного контроля. [30]