Связанные понятия
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем.
Проклятие размерности (ПР) — термин, используемый в отношении ряда свойств многомерных пространств и комбинаторных задач. В первую очередь это касается экспоненциального роста необходимых экспериментальных данных в зависимости от размерности пространства при решении задач вероятностно-статистического распознавания образов, машинного обучения, классификации и дискриминантного анализа. Также это касается экспоненциального роста числа вариантов в комбинаторных задачах в зависимости от размера исходных...
В математической статистике
семплирование — обобщенное название методов манипулирования начальной выборкой при известной цели моделирования, которые позволяют выполнить структурно-параметрическую идентификацию наилучшей статистической модели стационарного эргодического случайного процесса.
Упоминания в литературе
Целевая система, определенная абстрактно или конкретно, обычно включает в себя элементы системы, которые сами являются системами и поэтому содержат в своем составе собственные элементы системы, как показано на рис. 1.9. Эти системы более низкого уровня также могут быть разбиты на элементы системы, которые в свою очередь также являются системами. Подобная иерархическая
декомпозиция систем называется рекурсивной декомпозицией и является ключевой концепцией стандарта ISO/IEC 15288. На каждом уровне один или несколько элементов системы сами могут быть системами. Стандарт очень последовательно подходит к этой рекурсивной декомпозиции. На каждом уровне, изображенном на рис. 1.9, где элементы системы являются системами более низкого уровня, стандарт применяется повторно на данном уровне для обеспечения комплексирования элементов системы как целевой системы этого уровня. Таким образом, целевая система определяется уровнем и изменяется в том случае, когда для управления жизненным циклом рассматриваются разные уровни.
3. Структурность – совокупность компонентов системы и их связей, определяющих внутреннее строение и организацию объекта как целостной системы. При исследовании системы структура выступает как способ описания ее организации. При исследовании и проектировании системы проводится ее
декомпозиция на компоненты, устанавливаются их функции и связи. Оптимальная структура системы должна иметь минимальное количество компонентов, но вместе с тем они в полной мере должны выполнять заданные функции. Структура должна быть мобильной, т. е. легко приспосабливаемой (адаптивной) к изменяющимся требованиям и целям. Эволюция структуры системы по содержанию в пространстве и во времени отражает процесс ее развития.
Показатели качества должны постоянно проверяться. Для оптимизации этого процесса необходимо взять показатели и, по возможности, стремитьcя к поддержанию их значений в заданных пределах. Для радиотехнических систем основные показатели качества – помехоустойчивость, конфиденциальность, электромагнитная совместимость, энергопотребление, надежность, масса, объем, стоимость. 8. Сочетание принципов композиции,
декомпозиции и иерархичности. Современные РЭС могут содержать сотни, тысячи и миллионы элементов. Оптимизировать все элементы даже с помощью ПЭВМ невозможно. Поэтому их объединяют в сборочные единицы: ячейки, блоки, стойки (шкафы). Далее каждая сборочная единица рассматривается как единое целое, в котором производится композиция элементов. Сложную РЭС разбивают на отдельные ячейки, т. е. проводят декомпозицию.
Разделение стратегических целей и их
декомпозиция должны быть направлены на выявление тех компонентов, наличие и разработка которых безусловны при любом характере развития событий. Далее желательно произвести выстраивание всех остальных компонентов по принципу понижающегося ранжирования вплоть до таких, которые при различном варианте развития событий могут изменяться на противоположные. Поэтому наполнение стратегического функционала необходимо ограничивать только теми задачами, которые касаются разработки самых стабильных компонентов, и тем персоналом, который компетентен в таких разработках. Что касается компонентов, вариабельность которых растет по мере удаления от фокусной даты, то для них должны быть предусмотрены процедуры мониторинга изменчивости с целью определения момента выхода компонентов на линию стабилизации. Такую деятельность часто берут на себя высшие руководители, ибо на этом уровне происходит разделение данных функций на техническую (аналитическую, подготовительную) часть и часть, реализовывать которую могут только лица, принимающие стратегические решения.
1. Целостность и обязательность
декомпозиции . Свойство целостности означает, что логистическая система может быть выделена из своего окружения как единый объект, который имеет собственные цели функционирования, развития, конечный результат деятельности. В то же время логистическая система обязательно должна подразделяться на отдельные элементы. Элементами логистической системы на макроуровне, т. е. при прохождении материальных потоков от предприятия к предприятию, являются логистические узлы, представляемые этими предприятиями (цепочки «поставщик – потребитель»), в которые включается и связывающий их транспорт. Если отдельные элементы логистической системы рассматриваются как система, то их часто для удобства управления называют подсистемами. Элементами логистической системы на микроуровне являются подразделения, службы предприятия.
Связанные понятия (продолжение)
Выделение признаков — это процесс снижения размерности, в котором исходный набор сырых переменных сокращается до более управляемых групп (признаков) для дальнейшей обработки, оставаясь при этом достаточным набором для точного и полного описания исходного набора данных.
Имитационное моделирование (англ. simulation modeling) — метод исследования, при котором изучаемая система заменяется моделью, с достаточной точностью описывающей реальную систему (построенная модель описывает процессы так, как они проходили бы в действительности), с которой проводятся эксперименты с целью получения информации об этой системе. Такую модель можно «проиграть» во времени, как для одного испытания, так и заданного их множества. При этом результаты будут определяться случайным характером...
Линейный классификатор — способ решения задач классификации, когда решение принимается на основании линейного оператора над входными данными. Класс задач, которые можно решать с помощью линейных классификаторов, обладают, соответственно, свойством линейной сепарабельности.
Предме́тная о́бласть — множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике — подразумеваемая область возможных значений предметных переменных логического языка.
Многозна́чная зави́симость (тж. МЗЗ) — обобщение понятия функциональной зависимости, широко использующееся в теории баз данных. В концепции нормальных форм вводится для формального определения четвертой нормальной формы...
Темпоральная логика (англ. temporal (от лат. tempus) logic) — это логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.
Объект управления — обобщающий термин кибернетики и теории автоматического управления, обозначающий устройство или динамический процесс, управление поведением которого является целью создания системы автоматического управления.
Обратимые вычисления (англ. Reversible computing) — модель вычислений, в которой процесс вычисления является в некоторой степени обратимым. Например, в вычислительной модели, использующей наборы состояний и переходов между ними, необходимым условием обратимости вычислений является возможность построения однозначного (инъективного) отображения каждого состояния в следующее за ним. На XX век и начало XXI века обратимые вычисления обычно относят к нетрадиционным моделям вычислений.
Под гибридной интеллектуальной системой (ГиИС) принято понимать систему, в которой для решения задачи используется более одного метода имитации интеллектуальной деятельности человека. Таким образом ГиИС — это совокупность...
Подробнее: Гибридная интеллектуальная система
Математическая абстракция — абстракция в математике, мысленное отвлечение. Типы абстрагирования, применяемых в математике: "чистое" отвлечение, идеализация и их различные вариации.
Латентно-семантический анализ (ЛСА) (англ. Latent semantic analysis, LSA) — это метод обработки информации на естественном языке, анализирующий взаимосвязь между библиотекой документов и терминами, в них встречающимися, и выявляющий характерные факторы (тематики), присущие всем документам и терминам.
Предобуславливание (также предобусловливание) — процесс преобразования условий задачи для её более корректного численного решения. Предобуславливание обычно связано с уменьшением числа обусловленности задачи. Предобуславливаемая задача обычно затем решается итерационным методом.
Логика разделения , сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
В машинном обучении генетическое программирование (ГП) — автоматическое создание или изменение программ с помощью генетических алгоритмов. С помощью этой методологии «выращиваются» программы, всё лучше и лучше (в соответствии с определенной функцией приспособленности для хромосом) решающие поставленную вычислительную задачу.
Структурная схема — это совокупность элементарных звеньев объекта и связей между ними, один из видов графической модели. Под элементарным звеном подразумевается часть объекта, системы управления и т. д., которая реализует элементарную функцию.
В информатике и теории автоматов состояние цифровой логической схемы или компьютерной программы является техническим термином для всей хранимой информации, к которой схема или программа в данный момент времени имеет доступ. Вывод данных цифровой схемы или компьютерной программы в любой момент времени полностью определяется его текущими входными данными и его состоянием.
Подробнее: Состояние (информатика)
Комбинационная логика (комбинационная схема) в теории цифровых устройств — двоичная логика функционирования устройств комбинационного типа. У комбинационных устройств состояние выхода однозначно определяется набором входных сигналов, что отличает комбинационную логику от секвенциальной логики, в рамках которой выходное значение зависит не только от текущего входного воздействия, но и от предыстории функционирования цифрового устройства. Другими словами, секвенциальная логика предполагает наличие...
Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга). Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики...
Переобучение (переподгонка, пере- в значении «слишком», англ. overfitting) в машинном обучении и статистике — явление, когда построенная модель хорошо объясняет примеры из обучающей выборки, но относительно плохо работает на примерах, не участвовавших в обучении (на примерах из тестовой выборки).
Человеческая
память ассоциативна, то есть некоторое воспоминание может порождать большую связанную с ним область. Один предмет напоминает нам о другом, а этот другой о третьем. Если позволить нашим мыслям, они будут перемещаться от предмета к предмету по цепочке умственных ассоциаций. Например, несколько музыкальных тактов могут вызвать целую гамму чувственных воспоминаний, включая пейзажи, звуки и запахи. Напротив, обычная компьютерная память является локально адресуемой, предъявляется адрес и извлекается...
Очередь с приоритетом (англ. priority queue) — абстрактный тип данных в программировании, поддерживающий две обязательные операции — добавить элемент и извлечь максимум(минимум). Предполагается, что для каждого элемента можно вычислить его приоритет — действительное число или в общем случае элемент линейно упорядоченного множества.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил.
Нормальная форма — свойство отношения в реляционной модели данных, характеризующее его с точки зрения избыточности, потенциально приводящей к логически ошибочным результатам выборки или изменения данных. Нормальная форма определяется как совокупность требований, которым должно удовлетворять отношение.
Алгоритм Баума — Велша используется в информатике и статистике для нахождения неизвестных параметров скрытой марковской модели (HMM). Он использует алгоритм прямого-обратного хода и является частным случаем обобщённого EM-алгоритма.
В императивном программировании
порядок выполнения (порядок исполнения, порядок вычислений) — это способ упорядочения инструкций программы в процессе её выполнения.
Ассоциативная память (АП) или ассоциативное запоминающее устройство (АЗУ) является особым видом машинной памяти, используемой в приложениях очень быстрого поиска. Известна также как память, адресуемая по содержимому, ассоциативное запоминающее устройство, контентно-адресуемая память или ассоциативный массив, хотя последний термин чаще используется в программировании для обозначения структуры данных (Hannum и др., 2004).
Свёртка списка (англ. folding, также известна как reduce, accumulate) в программировании — функция высшего порядка, которая производит преобразование структуры данных к единственному атомарному значению при помощи заданной функции. Операция свёртки часто используется в функциональном программировании при обработке списков. Свёртка может быть обобщена на произвольный алгебраический тип данных при помощи понятия катаморфизма из теории категорий.
Гистогра́мма в математической статистике — это функция, приближающая плотность вероятности некоторого распределения, построенная на основе выборки из него.
Требования к программному обеспечению — совокупность утверждений относительно атрибутов, свойств или качеств программной системы, подлежащей реализации. Создаются в процессе разработки требований к программному обеспечению, в результате анализа требований.
Трассиро́вка печатных плат — один из этапов проектирования радиоэлектронной аппаратуры (РЭА), заключающийся в определении мест расположения проводников на печатной плате вручную или с использованием одной из САПР, предназначенной для проектирования печатных плат.
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Подробнее: Логическая операция
Ка́чество програ́ммного обеспечения — способность программного продукта при заданных условиях удовлетворять установленным или предполагаемым потребностям (ISO/IEC 25000:2014).
Нейронные сети Кохонена — класс нейронных сетей, основным элементом которых является слой Кохонена. Слой Кохонена состоит из адаптивных линейных сумматоров («линейных формальных нейронов»). Как правило, выходные сигналы слоя Кохонена обрабатываются по правилу «Победитель получает всё»: наибольший сигнал превращается в единичный, остальные обращаются в ноль.
Тип-сумма (англ. sum type; также Σ-тип, меченое объединение) — конструкция в языках программирования и интуиционистской теории типов, тип данных, построенный как дизъюнктное объединение исходных типов.
Техническая система — искусственно созданная система, предназначенная для удовлетворения определенной потребности, существующая 1) как изделие производства, 2) как устройство, потенциально готовое совершить полезный эффект, 3) как процесс взаимодействия с компонентами окружающей среды, в результате которого образуется полезный эффект.
Иску́сственный нейро́н (математический нейрон Маккаллока — Питтса, формальный нейрон) — узел искусственной нейронной сети, являющийся упрощённой моделью естественного нейрона.
Реляционная модель данных (РМД) — логическая модель данных, прикладная теория построения баз данных, которая является приложением к задачам обработки данных таких разделов математики, как теория множеств и логика первого порядка.
Основная теорема о рекуррентных соотношениях (англ. Master theorem) используется в анализе алгоритмов для получения асимптотической оценки рекурсивных соотношений (рекуррентных уравнений), часто возникающих при анализе алгоритмов типа «разделяй и властвуй» (divide and conquer), например, при оценке времени их выполнения. Теорема была популяризована в книге Алгоритмы: построение и анализ (Томас Кормен, Чарльз Лейзерстон, Рональд Ривест, Клиффорд Штайн), в которой она была введена и доказана.
Теория комбинаторных схем — это часть комбинаторики (раздела математики), рассматривающая существование, построение и свойства семейств конечных множеств, структура которых удовлетворяет обобщённым концепциям равновесия и/или симметрии. Эти концепции не определены точно, так что объекты широкого диапазона могут пониматься как комбинаторные схемы. Так, в одном случае комбинаторные схемы могут представлять собой пересечения множеств чисел, как в блок-схемах, а в другом случае могут отражать расположение...
Подробнее: Комбинаторная схема
Фрейм (англ. frame — «каркас» или «рамка») — способ представления знаний в искусственном интеллекте, представляющий собой схему действий в реальной ситуации. Первоначально термин «фрейм» ввёл Марвин Минский в 70-е годы XX века для обозначения структуры знаний для восприятия пространственных сцен. Фрейм — это модель абстрактного образа, минимально возможное описание сущности какого-либо объекта, явления, события, ситуации, процесса.
В обучении машин и распознавании образов признак — это индивидуальное измеримое свойство или характеристика наблюдаемого явления. Выбор информативных, отличительных и независимых признаков является критическим шагом для эффективных алгоритмов в распознавании образов, классификации и регрессии. Признаки обычно являются числовыми, но структурные признаки, такие как строки и графы, используются в синтаксическом распознавании образов.
Подробнее: Признак (обучение машин)
Байесовское программирование — это формальная система и методология определения вероятностных моделей и решения задач, когда не вся необходимая информация является доступной.
Упоминания в литературе (продолжение)
Системный подход предполагает рассмотрение систем с позиций иерархичности. Если для первого типа – это жесткая подчиненность нижестоящих элементов (подсистем или систем) вышестоящим, то для скелетных – это последовательное включение системы более низкого уровня в систему более высокого уровня при ярко выраженных признаках
декомпозиции и обособленности.
Как указано в работе [4], «задача разработки бизнес-архитектуры состоит в моделировании «картины в целом» и последующем углублении в тщательно отобранные ключевые процессы и информационные потоки, в том числе с использованием таких инструментов, как
декомпозиция функций/процессов, анализ бизнес-событий, модели местоположений и модели интеграции».
Структура проекта представляет собой стройную иерархическую
декомпозицию проекта на составные части (элементы, модули), необходимые и достаточные для планирования и контроля осуществления проекта для различных участников проекта. В соответствии с определением PMI, декомпозиция – это метод планирования, предполагающий разбиение содержания проекта и результатов поставки проекта на более мелкие и легко определяемые элементы до тех пор, пока работы по проекту, связанные с выполнением содержания проекта и обеспечением результатов поставки, не определены достаточно подробно для исполнения, отслеживания и мониторинга этих работ.
Одним из механизмов планирования на этом этапе может быть так называемое дерево решений, позволяющее путем
декомпозиции выбранного варианта представить совокупность целей и задач, подлежащих достижению и решению. Условный пример таков.
На рис. 1.2.4 показано, как осуществляется
декомпозиция процесса. При декомпозиции желательно разбивать его на несколько подпроцессов – от 2 до 10. Можно выделять даже 12 подпроцессов, если в противном случае приходится вводить дополнительные формальные уровни иерархии. Дело в том, что реальная жизнь всегда сложнее, чем любая теория или методика. На практике бывает удобно показывать при декомпозиции 10–12 подпроцессов. Это в основном касается описания процессов на среднем и нижнем уровнях.
Диалектический процесс, направленный от конкретного знания к абстрактному знанию для получения концепции, затем сменяется дедукцией, обеспечивающей
декомпозицию (разделение на части) концепции: начиная от основных положений и последующей их наполнением идеями и новыми теоретическими положениями и заканчивая элементами этой концепции, представленными в виде моделей, механизмов, методов и т. п.
PERA (Purdue Enterprise Reference Architecture). Методика разрабатывалась в 1989–1992 гг. в Purdue Laboratory for Applied Industry Control (PLAIC). В основе методики заложена
декомпозиция плана внедрения информационной системы на отдельные шаги и упрощения за счет этого ее внедрения и интеграции. В настоящее время эту методику не поддерживают в актуальном состоянии.