Логический способ

Cтраница 1

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

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

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

Самым сильным логическим способом ускорения умножения, как и для двоичной системы счисления, является способ преобразования множителя. Применительно к десятичной системе этот способ состоит в представлении цифр, больших 5, с помощью отрицательных цифр. Если при умножении на первое число потребовалось бы 5 9 3 4 9 7 37 сложений, то при умножении на второе число требуется всего 1 4 1 3 5 0 3 17 сложений-вычитаний. [4]

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

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

Наряду с логическим способом оценки нечетких отношений, который заключается в формализации нечетких условных предложений вида (2.20), используются и количественные методы. В этом случае предполагается, что по мере поступления новой информации с объекта должна уточняться ранее полученная оценка. Это уточнение должно учитывать динамические свойства ФХС. [7]

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

За основу нижеприведенного алгоритма взят логический способ переноса слов как наиболее легко реализуемый на ЦВМ. К тому же он полностью детерминирован для простых слон. [9]

Кроме этого анализа Фурье, не существует никаких других логических способов трактовки периодических процессов или волн. Практические применения вполне подтверждают правильность этой теории. [10]

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

В схеме суммирования рис. 4.14 отрицательные веса получены логическим способом при инвертировании соответствующих входов и увеличении порога Та на сумму отрицательных весов. [12]

Схема блока умножения с разорванной цепью переноса.| Блок, реализующий умножение на 12 разрядов. [13]

В некоторых сверхбыстродействующих ЦВМ рассмотренный метод применяется в сочетании с другими аппаратными и логическими способами ускорения умножения. [14]

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

Страницы: 1 2