Тип - логика
Cтраница 1
Тип логики, технология: серия КР507 - МОП ( р-канальные структуры); серия КР508 - биполярная. [1]
Тип логики, технология: серия КР507 - МОП ( р-каналыше структуры); серия КР508 - биполярная. [2]
Этот тип логики представляет собой транзисторные переключающие схемы с объединенными эмиттерами и по сравнению с другими типами логических элементов на биполярных транзисторах обладает наибольшими быстродействием и потребляемой мощностью. Транзисторы в этих схемах работают в активном режиме. Увеличение быстродействия обеспечивается также уменьшением разницы между высоким и низким логическими уровнями - уменьшением перепада напряжения от логического 0 до логической 1 и наоборот. Это ухудшает помехоустойчивость схемы, так как растет вероятность ее ложного срабатывания от помехи малой амплитуды. [3]
При выборе типа логики принимается во внимание структурная схема проектируемого устройства. Так, при параллельной обработке информации задержки сигналов сокращаются ( можно выбрать элементную базу с меньшим быстродействием), но вместе с тем увеличивается коэффициент разветвления элементов по выходу. Некоторые конкретные рекомендации па выбору элементной базы п ри - Ездены в гл. [4]
Сравним перечисленные выше типы логик с точки зрения возможности использования их как элементного базиса для создания логических интегральных схем высокой степени интеграции - БИС, СБИС. В табл. 6 приведены некоторые технологические и эксплуатационные параметры основных логических элементов, используемых в настоящее время. Сопоставление данных таблицы показывает преимущества инжекционной логики. [5]
 |
Логические схемы для функций НЕ ( а, И ( б, ИЛИ ( в, образованные из элементов Пирса.| Условное графическое обозначение элемента И-ИЛИ-НЕ. [6] |
В зависимости от типа выбранной логики одни и те же логические элементы могут реализовывать различные функции. [7]
Особенностью электрической схемы этого типа логики являются ускоряющие конденсаторы, включенные параллельно резисторам в цепях базы. [8]
Как известно, классическая логика типа логики предикатов первого порядка есть формальная система, состоящая из множества термов и операций, множества правил конструирования правильно построенных выражений ( синтаксиса), системы аксиом и множества правил вывода. Она дает различные средства формализации и анализа правильности дедуктивных рассуждений. Язык классической логики является основой для выражения декларативных знаний, где рассуждение определяется как операция доказательства общезначимости ( противоречивости) логического утверждения. [9]
 |
Параметры интегральных микросхем регистров. [10] |
Большинство перечисленных параметров определяется серией микросхем и типом применяемой логики. [11]
Микросхемы серии К164 выполнены по КМОП технологии ( тип логики НСТЛМ) и предназначены для устройств цифровой автоматики и вычислительной техники. Отличается от серии К176 типом корпуса. [12]
Однако методы доказательства теорем, основанные на формальной логике типа логики предикатов первого порядка, остаются все еще сильным оружием при манипулировании знанием и их нельзя игнорировать. Продолжающийся интерес к автоматическому доказательству теорем заключается в симбиозе человека и машины при решении сложных проблем, когда на долю человека остаются задачи декомпозиции сложной проблемы на ряд подпроблем, поиска нужных эвристик для сокращения пространства поиска, а автоматическому решателю доводится выполнять формальные манипуляции со знанием на основе методов вывода. [13]
 |
Логические интегральные схемы серии 155. [14] |
Серии логических ИС отличаются друг от друга параметрами, зависящими от типа используемой логики и определяющими быстродействие ГЗД. Как видно из табл. 5, в которой приведены основные параметры логических элементов трех наиболее массовых серий микросхем К155 ( ТТЛ), К500 ( ЭСЛ) и К176 ( КМОП), наибольшим быстродействием обладают ИС ЭСЛ, а наиболее экономичны по питанию, но имеют наименьшее быстродействие ИС КМОП. [15]
Страницы: 1 2 3