Связанные понятия
Зада́ча — проблемная ситуация с явно заданной целью, которую необходимо достичь; в более узком смысле задачей также называют саму эту цель, данную в рамках проблемной ситуации, то есть то, что требуется сделать. В первом значении задачей можно назвать, например, ситуацию, когда нужно достать предмет, находящийся очень высоко; второе значение слышно в указании: «Ваша задача — достать этот предмет». Несколько более жёсткое понимание «задачи» предполагает явными и определёнными не только цель, но и...
Предме́тная о́бласть — множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике — подразумеваемая область возможных значений предметных переменных логического языка.
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Подробнее: Логическая операция
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем.
Имитационное моделирование (англ. simulation modeling) — метод исследования, при котором изучаемая система заменяется моделью, с достаточной точностью описывающей реальную систему (построенная модель описывает процессы так, как они проходили бы в действительности), с которой проводятся эксперименты с целью получения информации об этой системе. Такую модель можно «проиграть» во времени, как для одного испытания, так и заданного их множества. При этом результаты будут определяться случайным характером...
Упоминания в литературе
– загрузка и предобработка входных данных, – ручная и автоматическая разметка стимульных материалов (выделение зон интереса), – алгоритм
вычисления матрицы представления преемника, – построение расширенной таблицы данных со значениями входных переменных, необходимых для последующего анализа, – метод снижения размерности пространства признаков (метод главных компонент), – визуализация компонентных нагрузок для выбора интерпретируемых компонент, – алгоритм обучения дерева решений, – алгоритм оценки предсказательной способности дерева, – визуализация дерева решений.
Индикаторы, используемые для генерирования сигналов. Алгоритм расчета критерия «Математическое ожидание прибыли на основе логнормального распределения» описан в нашей книге «Опционы: системный подход к инвестициям». Для
вычисления значений этого критерия необходимо ввести два параметра – математическое ожидание, цены базового актива и дисперсия нормального распределения логарифма цены акции. Значение первого параметра обычно задается изначально разработчиком стратегии исходя из принципов научного подхода. Применительно к маркет-нейтральной стратегии будет естественным принять его равным текущей стоимости базового актива на дату вычисления критерия. Это означает, что текущая цена рассматривается как наиболее вероятная на будущую дату, для которой рассчитывается значение критерия. (Альтернативный подход состоит в придании данному параметру некоего значения, определяемого экспертным путем либо методами фундаментального анализа.) Значение второго параметра можно принять равным квадрату исторической волатильности базового актива. Данный параметр включает в себя дополнительный подпараметр, глубину исторического периода, используемого для расчета исторической волатильности. В большинстве случаев горизонт истории определяется эмпирически путем оптимизации (мы примем его равным 120 дням).
Аналитический прогноз (метод). Его суть заключается в использовании некоторых разделов математики, в частности в подборе уравнений и
вычисление их параметров. Прогнозная величина в этом случае определяется методом экстраполяции.
Контрольная карта – инструмент, позволяющий наблюдать за изменением во времени параметров, от которых зависит качество. В контрольную карту записываются итоги
вычислений или непосредственно измеряемые черты качества из выборки текущего процесса работы. Через определенный период времени делается возможным отделить системные ошибки, возникшие в результате помех компонента процесса, от случайных.
Вероятность определяется на основе объективных и субъективных оценок. При объективном
вычислении вероятности наступления события за основу берется частота реализации схожих событий, при субъективном – экспертные мнения. Основой статистической оценки рисков принят показатель, называемый средним квадратичным отклонением (σ). Данный показатель характеризует среднюю величину отклонений отдельно взятых величин от среднего значения. При расчете среднего квадратичного отклонения используются следующие показатели: частные величины (xi), количество частных величин (n) и простая средняя арифметическая частной величины x. Стандартное среднее квадратичное отклонение (возведение в квадрат используется для избежания отрицательных знаков в результате) рассчитывается следующим образом:
Связанные понятия (продолжение)
Представление знаний — вопрос, возникающий в когнитологии (науке о мышлении), в информатике и в исследованиях искусственного интеллекта.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Теория автоматов — раздел дискретной математики, изучающий абстрактные автоматы — вычислительные машины, представленные в виде математических моделей — и задачи, которые они могут решать.
Алгори́тм (лат. algorithmi — от арабского имени математика Аль-Хорезми) — конечная совокупность точно заданных правил решения произвольного класса задач или набор инструкций, описывающих порядок действий исполнителя для решения некоторой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться...
Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления логики, формальных языков, теории автоматов, формальной семантики, систем типов и алгебраических типов данных.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.
Сравне́ние в программировании — общее название ряда операций над па́рами значений одного типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие операции, чаще всего, возвращают булево значение («истина» или «ложь»).
Автоматическое доказательство (англ. Automated Theorem Proving, ATP, а также Automated deduction) — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Опера́ция — отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин «операция» как правило применяется к арифметическим или логическим действиям, в отличие от термина «оператор», который чаще применяется к некоторым отображениям множества на себя, имеющим замечательные свойства.
Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга). Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики...
Ра́венство (отношение равенства) в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.
Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции. Результатом логической операции обобщения является гипероним.
Темпоральная логика (англ. temporal (от лат. tempus) logic) — это логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.
Мона́да — это абстракция линейной цепочки связанных вычислений. Монады позволяют организовывать последовательные вычисления.
Символьные вычисления — это преобразования и работа с математическими равенствами и формулами как с последовательностью символов. Они отличаются от численных расчётов, которые оперируют приближёнными численными значениями, стоящими за математическими выражениями. Системы символьных вычислений (их так же называют системами компьютерной алгебры) могут быть использованы для символьного интегрирования и дифференцирования, подстановки одних выражений в другие, упрощения формул и т. д.
Опера́ция — конструкция в языках программирования, аналогичная по записи математическим операциям, то есть специальный способ записи некоторых действий.
Тип-сумма (англ. sum type; также Σ-тип, меченое объединение) — конструкция в языках программирования и интуиционистской теории типов, тип данных, построенный как дизъюнктное объединение исходных типов.
Термин
рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций...
Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка...
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Пара́метр (от др.-греч. παραμετρέω — «отмеривающий»; где παρά: «рядом», «второстепенный», «вспомогательный», «подчинённый»; и μέτρον: «измерение») — величина, значения которой служат для различения элементов некоторого множества между собой.. Параметр - величина, постоянная в пределах данного явления или задачи, но при переходе к другому явлению или задаче могущая изменить своё значение. Иногда параметрами называют также величины, очень медленно изменяющиеся по сравнению с другими величинами (переменными...
Число ́ — основное понятие математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей. Письменными знаками для обозначения чисел служат цифры, а также символы математических операций. Возникнув ещё в первобытном обществе из потребностей счёта, понятие числа с развитием науки значительно расширилось.
Чёрный я́щик — термин, используемый для обозначения системы, внутреннее устройство и механизм работы которой очень сложны, неизвестны или неважны в рамках данной задачи. «Метод чёрного ящика» — метод исследования таких систем, когда вместо свойств и взаимосвязей составных частей системы, изучается реакция системы, как целого, на изменяющиеся условия.
Извлечение информации (англ. information extraction) — это задача автоматического извлечения (построения) структурированных данных из неструктурированных или слабоструктурированных машиночитаемых документов.
Символьный тип (Сhar) — тип данных, предназначенный для хранения одного символа (управляющего или печатного) в определённой кодировке. Может являться как однобайтовым (для стандартной таблицы символов), так и многобайтовым (к примеру, для Юникода). Основным применением является обращение к отдельным знакам строки.
Математическая абстракция — абстракция в математике, мысленное отвлечение. Типы абстрагирования, применяемых в математике: "чистое" отвлечение, идеализация и их различные вариации.
Распределённая система — система, для которой отношения местоположений элементов (или групп элементов) играют существенную роль с точки зрения функционирования системы, а, следовательно, и с точки зрения анализа и синтеза системы.
Классификация документов — одна из задач информационного поиска, заключающаяся в отнесении документа к одной из нескольких категорий на основании содержания документа.
База знаний (БЗ; англ. knowledge base, KB) — база данных, содержащая правила вывода и информацию о человеческом опыте и знаниях в некоторой предметной области (ISO/IEC/IEEE 24765-2010, ISO/IEC 2382-1:1993). В самообучающихся системах база знаний также содержит информацию, являющуюся результатом решения предыдущих задач.
Интервальная арифметика — математическая структура, которая для вещественных интервалов определяет операции, аналогичные обычным арифметическим. Эту область математики называют также интервальным анализом или интервальными вычислениями. Данная математическая модель удобна для исследования различных прикладных объектов...
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется...
Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этим объектом, называется теорией формальных языков.
Математическая формула (от лат. formula — уменьшительное от forma — образ, вид) — в математике, а также физике и прикладных науках, символическая запись высказывания (которое выражает логическое суждение), либо формы высказывания. Формула, наряду с термами, является разновидностью выражения формализованного языка.
Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил.
Свёртка списка (англ. folding, также известна как reduce, accumulate) в программировании — функция высшего порядка, которая производит преобразование структуры данных к единственному атомарному значению при помощи заданной функции. Операция свёртки часто используется в функциональном программировании при обработке списков. Свёртка может быть обобщена на произвольный алгебраический тип данных при помощи понятия катаморфизма из теории категорий.
Детерминированность (от лат. determinans — определяющий) — определяемость. Детерминированность может подразумевать определяемость на общегносеологическом уровне или для конкретного алгоритма. Под жёсткой детерминированностью процессов в мире понимается однозначная предопределённость, то есть у каждого следствия есть строго определённая причина. В таком смысле является антонимом стохастичности. Но детерминированность не всегда тождественна предопределённости. Например, может быть детерминированность...
Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.
Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика. Она является простейшим расширением двузначной логики.
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Каррирование (от англ. currying, иногда — карринг) — преобразование функции от многих аргументов в набор функций, каждая из которых является функцией от одного аргумента. Возможность такого преобразования впервые отмечена в трудах Готтлоба Фреге, систематически изучена Моисеем Шейнфинкелем в 1920-е годы, а наименование получило по имени Хаскелла Карри — разработчика комбинаторной логики, в которой сведение к функциям одного аргумента носит основополагающий характер.
Онтоло́гия в информатике (новолат. ontologia от др.-греч. ὤν род. п. ὄντος — сущее, то, что существует и λόγος — учение, наука) — это попытка всеобъемлющей и подробной формализации некоторой области знаний с помощью концептуальной схемы. Обычно такая схема состоит из структуры данных, содержащей все релевантные классы объектов, их связи и правила (теоремы, ограничения), принятые в этой области. Этот термин в информатике является производным от древнего философского понятия «онтология».
Упоминания в литературе (продолжение)
Рекурсивные функции – это подкласс вычислимых функций, а алгоритмы, определяющие
вычисления , называются сопутствующими алгоритмами рекурсивных функций. Сначала фиксируются базовые рекурсивные функции, для которых сопутствующий алгоритм тривиален, однозначен; затем вводятся три правила – операторы подстановки, рекурсии и минимизации, при помощи которых на основе базовых функций получаются более сложные рекурсивные функции.
Конечно, в Интернете полно калькуляторов для быстрой конвертации коэффициентов в вероятности и наоборот, однако знать принцип этих
вычислений полезно. Хотя бы для того, чтобы при виде коэффициентов сразу понимать, какой процент вероятности в них заложен.
Вероятностные характеристики для показателей прибыли П, убытков У, затрат 3 и оценки риска недополучения прибыли и превышения затрат при принятии некоторого альтернативного варианта решения могут быть оценены с использованием подходов, основанных на теореме о числовых характеристиках разности двух случайных величин и применяемых, в частности, в работах [1,2] Формулы для их
вычисления соответственно имеют вид:
Будем понимать под системами искусственного интеллекта активные самообучающиеся логически рассуждающие системы. В прошлом веке были разработаны технологии создания экспертных систем по отдельным узконаправленным предметным областям. Это было обусловлено сложностями формализованного описания требуемых предметных областей и тем, что системы логического вывода не могли обрабатывать более 20 объектов/правил. В то же время, получили развитие "интеллектуальные пакеты прикладных программ" (ИППП), которые позволяли решать в автоматизированном режиме задачи в разных областях, где требовались
вычисления и конструирование алгоритмов решения задач. Технологии ИППП развиваются в миварах и сервисно-ориентированных архитектурах.
Такой подход к определению социально-экономической эффективности научно-технического прогресса ничуть не отвергает, а напротив, вбирает в себя все возможные количественные соизмерения (как, например, расчёты экономической эффективности, количественный анализ динамики отдельных составляющих социально-экономического эффекта – таких, например, как повышение уровня жизни, уменьшение дифференциации доходов различных социальных групп и т. п.). Но он не приемлет необоснованных искусственных расчётов, подменяющих качественные зависимости количественными соотношениями ради удобства последующих
вычислений , при выполнении которых никто уже больше и не вспоминает о сомнительности и условности сделанных допущений. Мы имеем в виду попытки выразить социально-экономический эффект при помощи одинаковой стоимостной или какой-либо иной, условной, единицы измерения разнокачественных результатов для того, чтобы затем найти вариант, дающий при заданных ограничениях наибольший социально-экономический эффект.
Интеллектуальная система должна знать не только сам предмет, но и знать, что она знает этот предмет. Следовательно, рассуждения на метауровне также играют огромное значение в области ИИ. У Дж. Люгера отмечено, что эта "…осведомленность о своих знаниях…" составляет более высокий уровень знаний, называемых метазнаниями и необходимых для проектирования и адекватного описания интеллектуальных систем. Метазнания важны для способности обучаться на примерах, опыте или понимать инструкции высокого уровня, что и отличает их от "жесткого" программирования. Методы представления знаний, разработанные для программирования задач ИИ, обеспечивают возможность адаптации и модификации, так необходимую для обучающихся систем, а также формируют основу для других исследований с символьными
вычислениями [264, стр. 65].
Тем не менее разнообразные научные группы достаточно быстро стали осознавать, что мощности существующих компьютеров не хватает для выполнения большей части серьезных задач, от которых зависело дальнейшее развитие человечества. Поэтому абсолютно прогнозируемым и ожидаемым было появление способов объединения нескольких компьютеров для повышения их мощности в математических
вычислениях . Как результат появилась локальная сеть.
2. Считать достаточное количество информации из заголовка для
вычисления его полного размера.
Не так давно было открыто и изучено явление, получившее название «странный аттрактор». Оказалось, что траектории многих детерминированных систем могут полностью заполнять некоторый фазовый объем: в любой окрестности любой точки этого объема всегда будут находиться точки, принадлежащие траектории одной и той же системы. Движение таких систем характеризуется высшей степенью неустойчивости: две любые сколь угодно близкие точки будут порождать совершенно различные траектории. Такие особенности движения были названы в математике некорректностями. Французский математик Ж. Адамар считал, что в «правильных физических теориях» всегда должна иметь место «корректность»: малым причинам должны отвечать малые следствия. Если задача оказывалась некорректной, то она, согласно Адамару, была неправильно поставлена. Этот принцип, который долгое время играл важную роль в математической физике, теперь приходится пересматривать. Процессов, которым свойственна «некорректность», в природе гораздо больше, чем это было принято думать еще несколько десятилетий тому назад. Траектории подобных систем, в частности систем, обладающих «странным аттрактором», несмотря на то что они порождаются вполне детерминированными уравнениями, подобны траекториям, порождаемым случайным процессом. Они не только хаотичны, но из-за сильной неустойчивости их невозможно прогнозировать – любая сколь угодно малая неточность в
вычислениях , а они неизбежны при работе электронных вычислительных машин, ведет к совершенно неправильным результатам. В связи с этими свойствами «странного аттрактора» и из-за аналогичных «неустойчивостей» невольно возникает целый ряд вопросов. Вот, может быть, главные из них.
Универсальная зависимость численности функциональных классов генов от размера генома находится в обратной зависимости с ранее описанным степенным законом распределения численности семейств генов. Чем больше положительный показатель степени функции зависимости от размера генома для функционального класса генов (рис. 4-10), тем меньше отрицательный показатель степени функции распределения численности семейств в этом классе (рис. 4–7). Кажется интуитивно правдоподобным, что функциональные классы с сильной зависимостью от размера генома должны содержать много больших семейств паралогичных генов. Обратная зависимость этих двух универсалий генома была выведена в рамках простой эволюционной модели, в которой используются правила пропорциональных
вычислений для функциональной композиции генома, например «добавить два регулятора на каждый метаболический фермент» (Grilli et al., 2011). Предсказания этой модели подтверждаются эмпирическими данными для многих геномов бактерий и архей.
Отмеченная здесь часть особенностей реальных экономических систем, и некоторые другие, создают такую динамику процессов, которую нельзя эвристически предвидеть даже гениальному экономисту, тем более если он готовит свои советы об управлении экономикой с помощью ответов, взятых с «потолка» (т. е. без тысяч
вычислений , учитывающих указанные здесь особенности экономических систем). Отсюда следует, что необходимо создание таких инновационных технологий и инструментов экономико-математического моделирования, которые позволят корректно прогнозировать динамику кибернетических нелинейных сложных систем с изменяющейся структурой, создающих детерминировано хаотичные (но не случайные) социально-экономические процессы.
Как уже говорилось, переход от чувственного к абстрактному образу состоит в обобщении и упрощении чувственного образа. Переход к теоретической схеме совершается схематизацией абстрактного образа. Эти переходы делают неполным и приближенным соответствие теоретической схемы объекту. С точки зрения формальной логики отличие теоретической схемы от объекта может доходить до абсурда. Например, при изучении плоского изгиба упомянутого выше призматического бруса, вместо бруса рассматривается его геометрическая ось, которой приписана изгибная жесткость (константа) бруса и к которой приложена схематизированная нагрузка. Перенести реальную нагрузку на геометрическую ось сплошного бруса невозможно. Этот перенос осуществляется только мысленно. В случае пустотелого бруса (трубы) геометрическая ось бруса проходит в пустоте. Следовательно, нагрузка в этом случае прикладывается к пустоте. Абсурдность этой схематизации очевидна. Но в результате такой схематизации легко составляется и легко решается дифференциальное уравнение изогнутой оси бруса. Близость теоретических результатов к опытным данным хорошо подтверждается экспериментом. Для упрощения
вычисления напряжений и деформаций материал бруса представляется изотропным, абсолютно сплошным и абсолютно однородным (упругие характеристики материала считаются константами по всему объему бруса). При этом пренебрегается атомарным и кристаллическим строением материала, но обеспечивается применение дифференциального и интегрального исчисления.
Первый и третий из описанных типов психодиагностических методик могут иметь два варианта: ручной и компьютерный. При ручном варианте методика с начала и до конца используется без применения средств электронно-вычислительной техники для презентации или обработки экспериментального материала. В компьютерном варианте на одном из указанных этапов психодиагностики применяется электронно-вычислительная техника. Например, текстовый и рисуночный материал можно предъявлять испытуемым через экран дисплея, а процессор машины использовать для производства количественных
вычислений , а также вывода на печать получаемых результатов.
Потеря актуальности рядом положении «Оранжевой книги» вызвана прежде всего интенсивным развитием компьютерных технологий и переходом с мэйнфреймов (типа вычислительных комплексов IBM-360, 370; советский аналог – машины серии ЕС) к рабочим станциям, высокопроизводительным персональным компьютерам и сетевой модели
вычислений . Именно для того, чтобы исключить возникшую в связи с изменением аппаратной платформы некорректность некоторых положений «Оранжевой книги», адаптировать их к современным условиям и сделать адекватными нуждам разработчиков и пользователей программного обеспечения, и была проделана огромная работа по интерпретации и развитию положений этого стандарта. В результате возник целый ряд сопутствующих «Оранжевой книге» документов, многие их которых стали ее неотъемлемой частью. К наиболее часто упоминаемым относятся:
Само слово «алгоритм» происходит от имени хорезмского учёного аль-Хорезми. Около 825 года он написал сочинение «Китаб аль-джебр вальмукабала» («Книга о сложении и вычитании»), из оригинального названия которого, происходит слово «алгебра» (аль-джебр – восполнение). В этой книге он впервые дал описание придуманной в Индии позиционной десятичной системы счисления. Персидский оригинал книги не сохранился. Аль-Хорезми сформулировал правила
вычислений в новой системе и, вероятно, впервые использовал цифру 0 для обозначения пропущенной позиции в записи числа (её индийское название арабы перевели как as-sifr или просто sifr, отсюда такие слова, как «цифра» и «шифр»). Приблизительно в это же время индийские цифры начали применять и другие арабские учёные.
Все особенности NTFS обусловлены тем, что она изначально разрабатывалась как система повышенной надежности, предназначенная для использования в корпоративных (многопользовательских) системах. Соответственно, реализованные в ней технические решения направлены на повышение защищенности данных от несанкционированного доступа и на обеспечение отказоустойчивости системы. Кроме того, в ней учтены потребности работы с большими объемами данных. Учтена в NTFS также особенность организации
вычислений в операционных системах семейства NT, основанная на понятии потока (stream) и на объектно-ориентированной идеологии. В частности, файл рассматривается в NTFS как объект с некоторым набором атрибутов. Например, имя файла – это его атрибут, содержимое файла – это также его атрибут. Приложение, работающее с файлом, может создавать для него любые дополнительные атрибуты.
Один из экспертов пишет: «Работа узлом/майнером выгодна. Майнеры формируют из массы транзакций блоки, проверяют их и встраивают в общую цепь, за что и получают вознаграждение. Поскольку количество транзакций растет каждую минуту, для получения вознаграждения необходимо выполнить еще больше
вычислений , нужно еще больше мощностей, еще больше майнеров»{115}.
Число значащих цифр в mi-j должно соответствовать числу значащих цифр в наиболее грубо определенном аргументе из использованных в
вычислении плюс одна запасная цифра.
При
вычислении теплоты по формуле dС = Ср – Сv, он сопоставил теплоту с работой А и получил механический эквивалент теплоты. Его исследования дополнил Джоуль, получивший точный результат механического эквивалента теплоты. В результате работ Майера, Джоуля и Гельмгольца был открыт закон сохранения энергии.
– методы уголовной статистики (статистическое наблюдение, группировка, статистический анализ,
вычисление обобщающих показателей и др.).