Cтраница 3
Основной довод против такого оператора в том, что трудно определить, какая метка оператора соответствует случаю истина, а какая - случаю ложь. Кроме того, использование условного арифметического оператора для логических проверок в структурных программах неестественно - это затрудняет чтение программ. [31]
Обратным приемом является расщепление циклов. Этот прием применяется к тем циклам, которые содержат инвариантные логические проверки. [32]
Использование общих методов и средств в доказательном плане позволяет исследователю с большой точностью проверять пределы ограничений и допущений, устанавливать, насколько они согласуются с данными эксперимента и наблюдения. Весьма существенным свойством этих методов и средств является возможность математической и логической проверки результативности их применения, что позволяет оценивать все стадии исследования и вскрывать ошибки в содержании гипотезы или вербального описания. [33]
В условиях обработки учетной информации на ЭВМ при автоматизированной обработке информации счетный метод контроля в связи с его большой трудоемкостью применяется, как правило, только для проверки правильности переноса на машинные носители с первичных: документов количественно-суммовых показателей. Остальные показатели проверяются на ЭВМ программными методами контроля, которые могут обеспечить логическую проверку реквизитов документов. Логическая проверка позволяет во многих случаях выявлять и ошибки, допущенные лицом, заполняющим первичный документ. Применяются и другие методы контроля переноса данных первичных документов на машинные носители, обеспечивающие большую его эффективность. [34]
Причем это не строгая последовательность операций, а такая, что в результате некоторых операций логических проверок или контроля аппаратуры последующие операции могут быть разными - или со сдвигом во времени, или с включением дополнительных проверок и запуском резервных агрегатов оборудования, или, наоборот, минуя ряд промежуточных операций. [35]
Причем, это не строгая последовательность операций, а такая, что в результате некоторых операций логических проверок или контроля аппаратуры последующие операции могут происходить в разной последовательности - или со сдвигом во времени, или с включением дополнительных проверок и запуском резервных агрегатов оборудования или, наоборот, минуя ряд промежуточных операций. Но человек, стоящий за пультом управления агрегатом, может даже не знать, находится ли внутри пульта ЭВМ или набор пассивных логических релейных цепей. В этом случае ( режим OEM) ЭВМ действует по однажды составленной программе. [36]
После того как внутренние репрезентации сформированы, к ним можно применить логическое мышление. Если репрезентация или эвристика нуждается в проверке ( как в случае посылки Все художники суть пчеловоды), тогда для логической проверки вывода нужно попробовать разорвать пути5 между посылками и выводом. [37]
В условиях обработки учетной информации на ЭВМ при автоматизированной обработке информации счетный метод контроля в связи с его большой трудоемкостью применяется, как правило, только для проверки правильности переноса на машинные носители с первичных: документов количественно-суммовых показателей. Остальные показатели проверяются на ЭВМ программными методами контроля, которые могут обеспечить логическую проверку реквизитов документов. Логическая проверка позволяет во многих случаях выявлять и ошибки, допущенные лицом, заполняющим первичный документ. Применяются и другие методы контроля переноса данных первичных документов на машинные носители, обеспечивающие большую его эффективность. [38]
Отраслевой фонд алгоритмов и программ ЦНИИТЭИприборостроения), Программа используется для решения экономических задач с большим объемом информации. Логическая проверка исходной информации предусматривает, чтобы величины каадого реквизита не превышали заданных пределов. Компоновка состоит в представлении информации исходных Документов в форме, удобной для ее дальнейшей обработки. [39]
На этом этапе выполняются все необходимые соединения в нижней ( рабочей) части коммутационной доски. Последними выполняются коммутационные соединения управления работой машины в верхней части коммутационной доски. Выполнение этих коммутационных соединений должно сопровождаться логической проверкой произведенных соединений в рабочей части коммутационной доски. [40]
В результате контрольных вычислений допущенные ошибки обнаруживаются и устраняются путем исправления неправильных чисел. При выполнении работы высококвалифицированными операторами контроль таксировки вторичным просчетом по ряду работ может не производиться. В этом случае ошибки выявляются самим оператором путем логической проверки произведенных расчетов. [41]
Иногда весь план речи может принять форму обобщения, как будет видно в дальнейшем. Приведение примеров для пояснения отвлеченных и общих положений в речи, не имеющей целью убедить слушателя, в основном является методом обобщения. Но, примененный с целью доказывания в агитационной речи, метод обобщения встретится с суровой логической проверкой, которая не требуется, если примеры взяты лишь в виде иллюстрации. [42]
Это относится в основном к расчету отклонений от норм выхода продуктов реакции и потребления в ней материальных ресурсов. В остальных случаях применяют ступенчатое сравнение показателей под влиянием целевых эффектов или возмущающих факторов. Таксировочные работы по выявлению влияния стоимостного фактора выполняют в ИВЦ, который обеспечивает на основе такого документирования логическую проверку входных данных и комплексную автоматизацию сбора, обработки, выдачи оперативной бухгалтерской информации управленческим службам предприятия. Наиболее высока степень централизации и автоматизации учета отклонений в тех случаях, когда внедрены задачи всех других лодсистем управления производством как на предприятии, так и во всех его производственных единицах. Тогда регистрацию, сбор и передачу информации в ИВЦ предприятия выполняют в подразделениях средствами периферийной техники, а обработку и выдачу информации на различные уровни управления осуществляют централизованно. [43]
Центральное устройство работает следующим образом. Каждый из N индивидуальных периферийных пультов посылает в центральное устройство введенную информацию последовательно, знак за знаком; импульсы каждого знака передаются параллельно. Информация поступает в устройство связи /, далее в устройство сигнализации 2 и контроля 3, где проводится логическая проверка каждого знака на нечетность, так как в кодовой посылке знака должно быть нечетное число импульсов. Это сделано потому, что при меньших значениях амплитуды и длительности импульсы не могут быть записаны в запоминающее устройство буфера. [44]
Подход к поиску с возвращением с позиций языка ассемблера основывается на предположении, что наиболее важным аспектом программы является ее быстродействие. Многие приложения процедуры возвращения требуют относительно малой памяти, и поэтому будет разумным значительно расширить требования к памяти для того, чтобы существенно уменьшить требуемое время. Одна идея состоит в применении средств макрорасширения ассемблера для производства высоко специализированных программ, в которых все или некоторые циклы не являются вложенными; такой подход устраняет определенные логические проверки и уменьшает число команд для контроля циклов. [45]