Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Функция ядра

Предмет Базы данных
👍 Проверено Автор24

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

Научные статьи на тему «Функция ядра»

Ядро операционной системы

тот их элемент, который всё время находится в оперативной памяти устройства и который выполняет функции...
Программа управления функциями распределения ресурсов памяти. Программа поддержки файловых систем....
Модульная структура ядра. Микроструктура ядра. Экзо структура ядра. Нано структура ядра....
Гибридная структура ядра. Комбинированная структура ядра....
Основная часть функций выполняется специальными процессами пользователя, которые называются сервисами

Статья от экспертов

Формальная верификация библиотечных функций ядра Linux

В статье авторами рассматриваются результаты дедуктивной верификации набора из 26 библиотечных функций ядра ОС Linux с помощью стека инструментов AstraVer. В набор включены преимущественно функции, работающие с данными строкового типа. Целью верификации является доказательство свойств функциональной корректности. В статье рассматриваются аналогичные работы по верификации, сравниваются полученные результаты, рассматривается ряд проблем, с которыми сталкивались авторы предыдущих работ, в том числе проблемы, с которыми удалось справится в рамках данной работы и те, которые все ещё препятствуют успешной верификации. Также предлагается методология разработки спецификаций, примененная для рассматриваемого набора функций, которая включает некоторые шаблонные приёмы разработки спецификаций. Авторам удалось доказать полную корректность двадцати пяти функций. В статье приведены результаты доказательства полученных условий верификации каждой функции с помощью нескольких современных SMT-солверов.

Научный журнал

Модульное ядро операционной системы

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

Статья от экспертов

О сходимости разложений по собственным функциям интегральных операторов с разрывным ядром

Для интегральных операторов со скачком ядра на диагонали найдены необходимые и достаточные условия их обратимости. Установлено условие, обеспечивающее равносходимость рядов по собственным функциям этих операторов и тригонометрических рядов Фурье.

Научный журнал

Еще термины по предмету «Базы данных»

Запрос (на выборку)

средство отбора данных из одной или нескольких таблиц при помощи определенного пользователем условия; запросы позволяют создавать виртуальные таблицы, которые состоят из вычисляемых полей или полей, взятых из других таблиц.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot