Связанные понятия
Нодализационная схема — схема ключевых узлов, использующая узловую топологию (например, сети) для достоверного математического моделирования сложных взаимосвязанных систем. Разрабатывается согласно требованиям моделирования системы на основе знаний физических принципов и опыта разработчика. Для успешной разработки нодализационной схемы необходимы глубокие знания принципов работы моделируемой системы.
Принципиальная схема , принципиальная электрическая схема — графическое изображение (модель), служащее для передачи с помощью условных графических и буквенно-цифровых обозначений (пиктограмм) связей между элементами электрического устройства.
Электри́ческая схе́ма — это документ, составленный в виде условных изображений или обозначений составных частей изделия, действующих при помощи электрической энергии, и их взаимосвязей. Электрические схемы являются разновидностью схем изделия и обозначаются в шифре основной надписи буквой Э.
Произвольная (нерегулярная) логика (англ. Random logic) — метод реализации схем комбинационной логики путём синтеза схемы из логических элементов по высокоуровневому описанию. Название метода происходит из того факта, что расположение элементов и их соединений на первый взгляд кажется произвольным. В частности, в отличие от, например, схем памяти, произвольная логика практически не образует различимой структуры в расположении элементов на кристалле. В СБИС произвольная логика часто реализуется с...
Логическая схема — модель базы данных, выраженная в понятиях модели данных. Этим отличается от концептуальной модели, описывающей семантику предметной области без указания технологии (конкретных методов реализации), и от физической модели, которая описывает конкретные физические механизмы, применяемые для хранения данных в накопителях.
Разработка синхронных цифровых интегральных схем на уровне передач данных между регистрами (англ. register transfer level, RTL — уровень регистровых передач) — способ разработки синхронных (англ.) цифровых интегральных схем, при применении которого работа схемы описывается в виде последовательностей логических операций, применяемых к цифровым сигналам (данным) при их передаче от одного регистра к другому (не описывается, из каких электронных компонентов или из каких логических вентилей состоит схема...
Подробнее: Уровень регистровых передач
Проектирование на основе стандартных ячеек (англ. standard cell) — метод проектирования интегральных схем с преобладанием цифровых элементов. В данном методе наиболее низкий уровень проектирования СБИС скрыт от проектировщика абстрактными логическими элементами (например, узел NAND). Методология проектирования на базе ячеек позволяет одним разработчикам сфокусироваться на высокоуровневом аспекте цифрового дизайна, когда другие разработчики работают над физическими реализациями ячеек. Вместе с достижениями...
Структурная схема — это совокупность элементарных звеньев объекта и связей между ними, один из видов графической модели. Под элементарным звеном подразумевается часть объекта, системы управления и т. д., которая реализует элементарную функцию.
Абстракция данных — популярная и в общем неверно определяемая техника программирования. Фундаментальная идея состоит в разделении несущественных деталей реализации подпрограммы и характеристик, существенных для корректного её использования. Такое разделение может быть выражено через специальный «интерфейс», сосредотачивающий описание всех возможных применений программы.
Параметрическое моделирование (параметризация) — моделирование (проектирование) с использованием параметров элементов модели и соотношений между этими параметрами. Параметризация позволяет за короткое время «проиграть» (с помощью изменения параметров или геометрических соотношений) различные конструктивные схемы и избежать принципиальных ошибок.
Схема функциональной целостности (СФЦ) — это логически универсальное графическое средство структурного представления исследуемых свойств системных объектов. Описание аппарата схем функциональной целостности было впервые опубликовано Можаевым А. С. в 1982 году. По построению аппарат СФЦ реализует все возможности алгебры логики в функциональном базисе «И», «ИЛИ» и «НЕ». СФЦ позволяют корректно представлять как все традиционные виды структурных схем (блок-схемы, деревья отказов, деревья событий, графы...
Декомпозиция — разделение целого на части. Также декомпозиция — это научный метод, использующий структуру задачи и позволяющий заменить решение одной большой задачи решением серии меньших задач, пусть и взаимосвязанных, но более простых.
Логический синтез в электронике — процесс получения списка соединений логических вентилей из абстрактной модели поведения логической схемы (например, на уровне регистровых передач). Наиболее распространенный пример этого процесса — синтез спецификаций, написанных на языках описания аппаратуры. Синтез выполняют программы-синтезаторы, способные оптимизировать проект согласно различным особенностям устройства, таким как временные ограничения, площадь и используемые компоненты. Такие программы обычно...
Электронная схема — это сочетание отдельных электронных компонентов, таких как резисторы, конденсаторы, индуктивности, диоды, транзисторы и интегральные микросхемы, соединённых между собой. Различные комбинации компонентов позволяют выполнять множество как простых, так и сложных операций, таких как усиление сигналов, обработка и передача информации и т. д.
Динамическая модель — теоретическая конструкция (модель), описывающая изменение состояний объекта. Динамическая модель может включать в себя описание этапов или фаз или диаграмму состояний подсистем. Часто имеет математическое выражение и используется главным образом в общественных науках (например, в социологии), имеющих дело с динамическими системами, однако современная парадигма науки способствует тому, что данная модель также имеет широкое распространение во всех без исключения науках, в том...
Динамическая логика (или тактированная логика) — методология разработки комбинационных схем, при которой проектируемая схема работает по тактам. Реализуется, в частности, по технологии КМОП. Применяется при проектировании интегральных схем.
Зацепление , сцепление, сопряжение (англ. coupling) — способ и степень взаимозависимости между программными модулями; сила взаимосвязей между модулями; мера того, насколько взаимозависимы разные подпрограммы или модули.
Моде́ль (фр. modèle от лат. modulus «мера, аналог, образец») — это система, исследование которой служит средством для получения информации о другой системе; представление некоторого реального процесса, устройства или концепции.
Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.
Модульный принцип — указывает на возможность вместо части системы исследовать совокупность её входных и выходных воздействий (абстрагироваться от излишней детализации).
Морфологическая амёба (англ. morphological amoeba) — разновидность нелинейных морфологических операторов, предназначенных для адаптивной фильтрации изображений. Типичная морфилогическая амёба представляет из себя двумерный оконный фильтр, который, подобно остальным базовым операциям математической морфологии, последовательно накладываeтся на весь массив пикселов, однако, в отличие от традиционных операторов, имеет способность к адаптации под локальные особенности и резкие изменения тонкой структуры...
Морфологический анализ (метод морфологического анализа) — основан на подборе возможных решений для отдельных частей задачи (так называемых морфологических признаков, характеризующих устройство) и последующем систематизированном получении их сочетаний (комбинировании). Относится к эвристическим методам.
Вычисления с памятью — способ построения вычислительных платформ, в которых используются принцип хранения результатов функций в массивах памяти, одномерных или двухмерных, в виде таблиц поиска, а вычисление функций заменяется извлечением значения из таблиц. Такие вычислительные платформы могут следовать как чисто пространственной модели вычислений, как в ПЛИС, так и временно́й модели вычислений (процедурной), когда функция вычисляется за множество тактов. Второй подход нацелен на уменьшение избыточности...
Матрица макроячеек (англ. Macrocell array) — подход в разработке и производстве интегральных схем специального назначения (ASIC), при котором значительную часть будущей микросхемы составляют заранее изготовленные матрицы из стандартизированных (хорошо-утилизируемых) единиц — макроячеек.По существу, это следующий небольшой шаг на базе ранее разработанной технологии базового матричного кристалла (англ. gate array), также широко используемой при производстве программируемых логических интегральных схем...
Базовый матричный кристалл (БМК) (англ. gate array, англ. Uncommited Logic Array, ULA) — большая интегральная схема. В отличие от ПЛИС программируется технологически, путём нанесения маски соединений последнего слоя металлизации. БМК с маской заказчика обычно изготавливались на заказ.
Аналоговый функциона́льный блок , блок операционный — совокупность элементов АВМ структурного типа, которые реализуют какую-либо одну математическую операцию. Эти элементы объединяются в систему для решения задач в соответствии со структурной схемой модели, образуя модель задачи.
Гибридный компьютер , гибридная вычислительная машина, аналого-цифровая система — вид гибридной вычислительной системы (ГВС), сочетающий в себе свойства аналоговых и цифровых вычислительных устройств.
Схемоте́хника — научно-техническое направление, занимающееся проектированием, созданием и отладкой (синтезом и анализом) электронных схем и устройств различного назначения.
Параметрический полиморфизм в языках программирования и теории типов — свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.
Специальные регулируемые асинхронные двигатели создаются в результате адаптации общепромышленных асинхронных двигателей к их условиям эксплуатации в управляемых электроприводах, имеющие в итоге более высокие энергетические и массогабаритностоимостные показатели по сравнению с неадаптированными.
Асинхро́нная ло́гика — разновидность взаимодействия логических элементов цифровых устройств. Отличается от синхронной тем, что её элементы действуют асинхронно, не подчиняясь глобальному генератору тактовых импульсов.
Программи́руемая по́льзователем ве́нтильная ма́трица (ППВМ, англ. field-programmable gate array, FPGA) — полупроводниковое устройство, которое может быть сконфигурировано производителем или разработчиком после изготовления; отсюда название: «программируемая пользователем». ППВМ программируются путём изменения логики работы принципиальной схемы, например, с помощью исходного кода на языке проектирования (типа VHDL), на котором можно описать эту логику работы микросхемы. ППВМ является одной из архитектурных...
Эквивалентная схема (схема замещения, эквивалентная схема замещения) цепи - электрическая схема, в которой все реальные элементы заменены их эквивалентными схемами.
Секвенциальная логика — это логика памяти цифровых устройств. Название «секвенциальная» восходит к англ. sequential. Соответствующая логика может именоваться также как последовательностная, хотя последний термин по преимуществу употребляется в связи с логическими автоматами.
Секционирование (англ. partitioning) — разделение хранимых объектов баз данных (таких как таблиц, индексов, материализованных представлений) на отдельные части с раздельными параметрами физического хранения. Используется в целях повышения управляемости, производительности и доступности для больших баз данных.
Программи́руемая логи́ческая интегра́льная схе́ма (ПЛИС, англ. programmable logic device, PLD) — электронный компонент (интегральная микросхема), используемый для создания конфигурируемых цифровых электронных схем. В отличие от обычных цифровых микросхем, логика работы ПЛИС не определяется при изготовлении, а задаётся посредством программирования (проектирования). Для программирования используются программатор и IDE (отладочная среда), позволяющие задать желаемую структуру цифрового устройства в...
Подробнее: ПЛИС
Динами́ческое звено ́ — понятие, относящееся к теории автоматического управления. Под динамическим звеном понимают устройство любой физической природы и конструктивного оформления, описываемое определённым дифференциальным уравнением. Одним и тем же уравнением могут описываться весьма разнообразные устройства (механические, гидравлические, электрические и т. д.), а также описывать процессы различной физической природы (технические, экономические, биологические, политические и прочие).
Архетип — это формальная модель понятия предметной области, являющаяся уточнением эталонной информационной модели, выраженным в виде ограничений, накладываемых на эталонную информационную модель, и представленным с помощью определенного формального аппарата в форме машиночитаемых и, одновременно, понятных человеку выражений.
Полиморфизм в языках программирования и теории типов — способность функции обрабатывать данные разных типов.
Компонентно-ориентированное программирование (англ. component-oriented programming, COP) — парадигма программирования, существенным образом опирающаяся на понятие компонента — независимого модуля исходного кода программы, предназначенного для повторного использования и развёртывания и реализующегося в виде множества языковых конструкций (например, «классов» в объектно-ориентированных языках программирования), объединённых по общему признаку и организованных в соответствии с определёнными правилами...
Язык описания аппаратуры (HDL от англ. hardware description language) — специализированный компьютерный язык, используемый для описания структуры и поведения электронных схем, чаще всего цифровых логических схем.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
В информатике параллели́зм — это свойство систем, при котором несколько вычислений выполняются одновременно, и при этом, возможно, взаимодействуют друг с другом. Вычисления могут выполняться на нескольких ядрах одного чипа с вытесняющим разделением времени потоков на одном процессоре, либо выполняться на физически отдельных процессорах. Для выполнения параллельных вычислений разработаны ряд математических моделей, в том числе сети Петри, исчисление процессов, модели параллельных случайных доступов...
Конструктивная блочная геометрия, КБГ (англ. Constructive Solid Geometry, CSG) — технология, используемая в моделировании твёрдых тел. Конструктивная блочная геометрия зачастую, но не всегда, является способом моделирования в трёхмерной графике и САПР. Она позволяет создать сложную сцену или объект с помощью битовых операций для комбинирования нескольких иных объектов. Это позволяет более просто математически описать сложные объекты, хотя не всегда операции проходят с использованием только простых...
Логическое управление — вид управления, который основывается на истинности и ложности каких-либо предпосылок (двоичных сигналов условий от объекта управления). Результатом управления является выдача двоичных управляющих воздействий (микроопераций) для объекта управления. Подобная постановка задачи более типична для алгоритмического программирования, нежели чем для автоматического управления, что определяет вынесение логического управления в отдельный класс. Примером применения систем логического...
Iterator — поведенческий шаблон проектирования. Представляет собой объект, позволяющий получить последовательный доступ к элементам объекта-агрегата без использования описаний каждого из агрегированных объектов.
Подробнее: Итератор (шаблон проектирования)
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).