Понятия со словом «разделение»
Логика разделения, сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
Связанные понятия
Язык химии (химический язык) — система важнейших понятий химии и терминов, в которых они описываются, символы химических элементов, номенклатура неорганических и органических веществ (их названия, в том числе и тривиальные), химические формулы и уравнения, а также правила перевода информации с естественного языка на язык химии и обратно.
И́стинный смысл — правовая теория в интерпретации канадской конституции, используемая для определения, какому уровню власти принадлежит право издавать законы по конкретному вопросу. Теория применяется, главным образом, когда закон оспаривается на основании того, что один уровень власти (провинциальный или федеральный) нарушил пределы исключительных полномочий другого уровня власти.
Фо́рма госуда́рственного устро́йства — способ территориальной организации государства или государств, образующих союз. Определяет внутреннее строение государства, деление его на составные части (территории) и принципы их взаимоотношения между собой.
Производственная революция — понятие, которое употребляется для обозначения трех наиболее важных хозяйственно-экономических переворотов в истории человечества: аграрной (или неолитической) революции; 2) промышленной; 3) научно-информационной (или научно-технической).
Подробнее: Производственные революции
Государство как форма организации сложных обществ оказалось наиболее жизнеспособным, и сегодня по всему миру это доминирующая форма политии. Теория раннего государства основательно была разработана Х. М. Классеном и П. Скальником в The Early State (1978) и последующих сборниках цикла. Авторы считали, что раннее государство — это начальная стадия эволюции докапиталистических неиндустриальных государств.
Подразумева́емые права́ (имплицитные права) — судебная теория в канадском правоведении, признающая, что в Конституции Канады некоторые основополагающие принципы не выражены явно, а подразумеваются. Она применялась в основном до принятия Канадской хартии прав и свобод, но и сейчас остаётся актуальна при рассмотрении вопросов о парламентском верховенстве и полномочии отмены.
Декомпозиция — разделение целого на части. Также декомпозиция — это научный метод, использующий структуру задачи и позволяющий заменить решение одной большой задачи решением серии меньших задач, пусть и взаимосвязанных, но более простых.
Параллельные сообщества (от английского parallel society) — термин, используемый преимущественно в западной социологии, политологии и культурологии, под которым понимается феномен (явление) существования внутри национальных государств сообществ (или общин), которые плохо натурализуются, сохраняют свои национальные обычаи и традиции, культуру, веру. Основное отличие параллельных сообществ от других типов комьюнити (в том числе, национальных) состоит в том, что ценности параллельных сообществ вступают...
Механизм государства — целостная иерархическая система государственных органов и учреждений, на практике осуществляющих государственную власть, задачи и функции государства . Механизм государства является неотъемлемой стороной сущности государства: вне и без государственного механизма нет и быть не может государства .
Теория Гласиер — универсальная теория формирования организаций, вошедшая в научную литературу под названием места своего создания — компании «Glacier Metal», Великобритания.
Детерминация (лат. determinatio — предел, заключение, определение) в широком смысле — определение перспективы объекта детерминации, располагаемыми представлениями о его комплектации, нынешними параметрами и составляющими, присущими той или иной категории или образцу.
Теоретическая тарелка (теоретическая ступень разделения) — теоретическая модель массообменных процессов в двухфазных средах, основанная на представлении массообменного устройства (тарелки) как теоретически идеальной, изолированной системы в состоянии термодинамического равновесия. Характеризует максимальную, теоретически возможную разницу концентраций компонентов в фазах при заданных условиях.
Сетевой график — это динамическая модель производственного процесса, отражающая технологическую зависимость и последовательность выполнения комплекса работ, связывающая их свершение во времени с учётом затрат ресурсов и стоимости работ с выделением при этом узких (критических) мест.
Для концентрирования или очистки разбавленных (водных) растворов широко используются мембранные процессы, осуществляемые под действием перепада давления, или баромембранные процессы Баромембранные методы водоподготовки. Размер частиц или молекулы, а также химические свойства растворенного вещества определяют структуру мембраны, то есть размер пор, их распределение по размеру, которые необходимы для разделения данной смеси. Различные мембранные процессы можно классифицировать по размерам разделяемых...
Подробнее: Баромембранные процессы
Попра́вки к Конститу́ции Кана́ды — изменения Конституции Канады по инициативе правительства. Официальные правила внесения поправок к Конституции были приняты лишь в 1982 г.
Мангеймский корпус немецкого языка (COSMAS corpora или DeReKo) — это коллекция современных немецкоязычных текстов, поддерживаемая Институтом немецкого языка в городе Маннгейм (Германия). В корпусе представлены различные типы текстов: научная и научно-популярная литература, большое количество газетных текстов, художественная проза, и др. Представляя собой самое большое в мире электронное собрание современных немецкоязычных текстов, является инструментом корпусной лингвистики.
Организационное проектирование — важнейший начальный этап создания любой организации или подразделения. Это определение будущей структуры организации, её систем управления, процедур выполнения действий, административных, технологических взаимодействий между всеми элементами.
Консолида́ция (лат. consolidatio от consolido — укрепляю) — укрепление, вид систематизации нормативных правовых актов, который заключается в устранении их множественности путём создания крупных однородных блоков в структуре законодательства. Консолидация — это своеобразный вид правообразования, особенность которого заключается в том, что новый укрупнённый акт не меняет содержание правового регулирования, не вносит изменений и новелл в действующее законодательство.
Круги устойчивости — метод понимания и оценки устойчивости и управления проектов, направленных на социально устойчивые результаты. Они предназначены для обработки, "казалось бы, неразрешимых проблем", таких, как описано в дебатах устойчивого развития. Метод используется в основном для городов и поселков городского типа.
Техническая система — искусственно созданная система, предназначенная для удовлетворения определенной потребности, существующая 1) как изделие производства, 2) как устройство, потенциально готовое совершить полезный эффект, 3) как процесс взаимодействия с компонентами окружающей среды, в результате которого образуется полезный эффект.
Кла́стер (англ. cluster — скопление, кисть, рой) — объединение нескольких однородных элементов, которое может рассматриваться как самостоятельная единица, обладающая определёнными свойствами.
Структурная схема — это совокупность элементарных звеньев объекта и связей между ними, один из видов графической модели. Под элементарным звеном подразумевается часть объекта, системы управления и т. д., которая реализует элементарную функцию.
Рождение
промышленной экологии обычно приписывается статье, посвященной промышленным экосистемам, написанным Фрошем и Галлопулосом, которая появилась в специальном выпуске 1989 года Scientific American, но основные принципы области появились намного ранее. Промышленная экология появилась из нескольких идей и понятий, некоторые из которых относятся ко времени 19-го века. Эта статья является попыткой обрисовать в общих чертах историческое наращивание, которое привело к появлению промышленной экологии...
Искусственная химия является компьютерной моделью для имитации различных типов систем. Искусственная химия в некотором роде напоминает химическую реакцию, что объясняет её название. Основная область применения искусственной химии - искусственная жизнь, но метод может рассматриваться как универсальный с применением во многих областях, таких как химия, экономика, социология и лингвистика.
Инкорпорация (от лат. incorporatio — присоединение, поглощение) — подготовка и издание различного рода собраний и сборников нормативных актов. Особенность — изменения в содержание не вносятся и содержание по существу не меняется. Обычно в сборниках действующие нормативные акты, тексты таких актов печатаются с учетом последних официальных изменений и дополнений. Кроме того в процессе инкорпорации из текстов, помещенных в сборник актов удаляются главы, статьи и т. д., признанные утратившими силу.
Императивный метод (его называют также директивным, авторитарным, методом субординации, методом власти и подчинения) используется в публичном праве для регулирования так называемых вертикальных отношений, отношений между государством с одной стороны и гражданами и их организациями — с другой.
Безопасность информационных потоков — набор требований и правил, направленных на определение того, какие информационные потоки в системе являются разрешёнными, а какие нет. Данная модель не является самостоятельной, и используется в дополнение к мандатной или дискреционной модели управления доступа.
«Лестница наук» — это образное представление иерархии основных наук, в виде лестницы, при их классификации.
Одноранговая экономика проявляется в различных формах совместного потребления (шеринга), в рамках которого осуществляется коллективное использование товаров и услуг вместо индивидуального владения.
Под гибридной интеллектуальной системой (ГиИС) принято понимать систему, в которой для решения задачи используется более одного метода имитации интеллектуальной деятельности человека. Таким образом ГиИС — это совокупность...
Подробнее: Гибридная интеллектуальная система
Эффект однородности чужой группы (Эффект гомогенности аутгруппы) — заключается в восприятии представителей чужих групп как более похожих друг на друга людей, а представителей своей группы как более уникальных. Эффект однородности чужой группы относится к эффектам межгруппового восприятия, среди которых также эффект «белой вороны» (black sheep effect), ингрупповой фаворитизм и аутгрупповая враждебность.
Метод дискретного элемента (DEM, от англ. Discrete element method) — это семейство численных методов предназначенных для расчёта движения большого количества частиц, таких как молекулы, песчинки, гравий, галька и прочих гранулированных сред. Метод был первоначально применён Cundall в 1971 для решения задач механики горных пород.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Эволюционная дистанция — величина, характеризующая генетические различия между двумя организмами. Находится путём сравнения нуклеотидных последовательностей гомологичных генов. Мерой генетических различий считается процент несовпадений нуклеотидов в соответствующих позициях гена.
Вычисления с памятью — способ построения вычислительных платформ, в которых используются принцип хранения результатов функций в массивах памяти, одномерных или двухмерных, в виде таблиц поиска, а вычисление функций заменяется извлечением значения из таблиц. Такие вычислительные платформы могут следовать как чисто пространственной модели вычислений, как в ПЛИС, так и временно́й модели вычислений (процедурной), когда функция вычисляется за множество тактов. Второй подход нацелен на уменьшение избыточности...
Концептуальная система в химии — система взаимосвязанных теорий, объединённых общими фундаментальными принципами, понятиями, законами, методами и проблемами. Теорию концептуальных систем развития химии создал и развивал русский химик и философ В. И. Кузнецов совместно с другими химиками, историками науки, философами. Наиболее полно эта теория изложена в его книге «Общая химия: тенденции развития» (1989).
Каналы утечки информации — методы и пути утечки информации из информационной системы; паразитная (нежелательная) цепочка носителей информации, один или несколько из которых являются (могут быть) правонарушителем или его специальной аппаратурой .
Состязательная политика (contentious politics; contention – от англ. состязание, соревнование, спор) — одно из направлений в социологии социальных движений. Её основателями стали Чарльз Тилли, Дуг МакАдам, Сидни Тэрроу. Состязательная политика, как определяет её Чарльз Тилли, - это эпизодичные, публичные, коллективные взаимодействия между протестующими и их оппонентами, когда а) одной из сторон выступает правительство в качестве объекта (ему предъявляют требования), субъекта (оно предъявляет требования...
Теория насилия — одна из распространённых теорий происхождения государства и права. Наиболее видные её сторонники — немецкий философ и экономист Евгений Дюринг (1833—1921), польский социолог и государствовед Людвиг Гумплович (1838—1909), Карл Каутский (1854—1938) и другие. Основной принцип теории насилия заключается в том, что главная причина возникновения государства и права лежит не в социально-экономическом развитии общества и возникновении классов, а в завоевании, насилии, порабощении одних племён...
Модель жизнеспособной системы (англ. viable system model, VSM) является моделью организационной структуры любого жизнеспособного организма или автономной системы. Жизнеспособной системой является любая система, способная поддерживать своё отдельное существование в определенной среде. Одна из основных особенностей жизнеспособных систем в том, что они могут адаптироваться к изменяющимся условиям окружающей среды.
Субполитика — это термин, введенный Ульрихом Беком, который описывает особый подход к восприятию того, что происходит вне рамок существующих политических институтов и определяет современные общественные процессы. Яркими примерами субполитики являются движения гражданского общества, деятельность транснациональных компаний, работа неправительственных организаций, а также достижения научно-технического прогресса. В современном обществе при смене парадигм происходит смещение рисков, которым подвергается...
Сверхпроводящая логика — класс логических схем, построенных на основе сверхпроводников и джозефсоновских контактов, и использующих эффект квантования магнитного потока. Отсутствие электрического сопротивления позволяет создавать логические схемы с высоким быстродействием, а последние разработки обладают и высокой энергоэффективностью. Сверхпроводящая логика является вариантом для создания процессоров, с высокой частотой переключения отдельных логических элементов - до сотен ГГц.
Межзёренная граница — поверхность раздела двух зёрен (кристаллитов) в поликристаллическом материале. Межзёренная граница является дефектом кристаллической структуры и имеет тенденцию к понижению электрической проводимости и температуропроводности. Высокая энергия границ и относительно слабая связь в большинстве межзёренных границ часто делает их предпочтительным местом для возникновения коррозии и выделения второй фазы.
Кориолисовы расходомеры — приборы, использующие эффект Кориолиса для измерения массового расхода жидкостей, газов. Принцип действия основан на изменениях фаз механических колебаний U-образных трубок, по которым движется среда. Сдвиг фаз пропорционален величине массового расхода. Поток с определенной массой, движущийся через входные ветви расходомерных трубок, создает кориолисову силу, которая сопротивляется колебаниям расходомерных трубок. Наглядно это сопротивление чувствуется, когда гибкий шланг...
Подробнее: Кориолисов расходомер
Институт права или правовой институт — объективно обособившаяся внутри той или иной отрасли группа взаимосвязанных однопорядковых юридических норм.
Иерархическая организация — структура с вертикальной формой управления (контроля) элементами, входящими в неё. Фактически это пирамида, каждым уровнем которой управляет более высокий уровень.
Анализ почвы — совокупность операций, выполняемых с целью определения состава, физико-механических, физико-химических, химических, агрохимических и биологических свойств почвы.