Понятия со словом «суммирующий»
Суммирующая машина — механическая машина, автоматически суммирующая числа, вводимые в неё оператором.
Связанные понятия
Арифмо́метр (от греч. «αριθμός» — «число», «счёт» и греч. «μέτρον» — «мера», «измеритель») — настольная или портативная механическая вычислительная машина, предназначенная для точного умножения и деления, а также — для сложения и вычитания. Механическая вычислительная машина, ведущая автоматическую запись обрабатываемых чисел и результатов на особой ленте — арифмограф.
Гибридные системы — математические модели систем управления, в которых непрерывная динамика, порождаемая в каждый момент времени одной из априорно заданного набора непрерывных систем, перемежается с дискретными операциями, подающими команды либо на мгновенное переключение с одной системы на другую, либо на мгновенную перестройку с заданных текущих координат на другие координаты, либо на то и другое одновременно.
Подробнее: Гибридная система (системный анализ)
Логическое управление — вид управления, который основывается на истинности и ложности каких-либо предпосылок (двоичных сигналов условий от объекта управления). Результатом управления является выдача двоичных управляющих воздействий (микроопераций) для объекта управления. Подобная постановка задачи более типична для алгоритмического программирования, нежели чем для автоматического управления, что определяет вынесение логического управления в отдельный класс. Примером применения систем логического...
Вычисли́тельная маши́на, счётная маши́на — механизм, электромеханическое или электронное устройство, предназначенное для автоматического выполнения математических операций. В последнее время, это понятие чаще всего ассоциируется с различными видами компьютерных систем. Тем не менее, вычислительные механизмы появились задолго до того, как заработал первый компьютер.
Коррелятор — специализированное устройство для автоматического вычисления корреляционных функций и взаимных корреляционных функций стационарных случайных процессов (либо процессов, приводимых к стационарным).Коррелятор, определяющий некоторую совокупность значений корреляционной функции, соответствующую определенному интервалу изменения её аргумента (временных задержек), и снабженный измерительным прибором для отсчетов этих значений, обычно называют коррелометром.
Символьные вычисления — это преобразования и работа с математическими равенствами и формулами как с последовательностью символов. Они отличаются от численных расчётов, которые оперируют приближёнными численными значениями, стоящими за математическими выражениями. Системы символьных вычислений (их так же называют системами компьютерной алгебры) могут быть использованы для символьного интегрирования и дифференцирования, подстановки одних выражений в другие, упрощения формул и т. д.
Принцип непрерывности — принцип, используемый в современной математике и физике. Истоки этого принципа в философии могут быть найдены в отрывках Гераклита, который уподоблял движение времени реке с постоянно сменяющими друг друга водами. В новое время этот принцип разрабатывался Лейбницем.
Теория механизмов и машин (ТММ) — это научная дисциплина об общих методах исследования, построения, кинематики и динамики механизмов и машин и о научных основах их проектирования.
Логи́ческий ве́нтиль — базовый элемент цифровой схемы, выполняющий элементарную логическую операцию, преобразуя таким образом множество входных логических сигналов в выходной логический сигнал. Логика работы вентиля основана на битовых операциях с входными цифровыми сигналами в качестве операндов. При создании цифровой схемы вентили соединяют между собой, при этом выход используемого вентиля должен быть подключён к одному или к нескольким входам других вентилей. В настоящее время в созданных человеком...
Динамическая модель — теоретическая конструкция (модель), описывающая изменение состояний объекта. Динамическая модель может включать в себя описание этапов или фаз или диаграмму состояний подсистем. Часто имеет математическое выражение и используется главным образом в общественных науках (например, в социологии), имеющих дело с динамическими системами, однако современная парадигма науки способствует тому, что данная модель также имеет широкое распространение во всех без исключения науках, в том...
Метод обобщений (математика) — метод математического творчества, в котором в процессе формирования математического понятия более широкого объёма отбрасываются все второстепенные данные и акцентируется внимание на основных фактах. Этот метод...
Динамические аналогии - это метод представления явлений физического мира, обычно называемых "исходной системой", с помощью другой, более понятной, обычно называемой "анализируемой системой". Метод основан на сходстве дифференциальных уравнений исходной и анализируемой систем.
Комбинато́рика (комбинаторный анализ) — раздел математики, изучающий дискретные объекты, множества (сочетания, перестановки, размещения и перечисления элементов) и отношения на них (например, частичного порядка). Комбинаторика связана с другими областями математики — алгеброй, геометрией, теорией вероятностей и применяется в различных областях знаний (например, в генетике, информатике, статистической физике).
Комбинационная логика (комбинационная схема) в теории цифровых устройств — двоичная логика функционирования устройств комбинационного типа. У комбинационных устройств состояние выхода однозначно определяется набором входных сигналов, что отличает комбинационную логику от секвенциальной логики, в рамках которой выходное значение зависит не только от текущего входного воздействия, но и от предыстории функционирования цифрового устройства. Другими словами, секвенциальная логика предполагает наличие...
Вычисле́ние — математическое преобразование, позволяющее преобразовывать входящий поток информации в выходной, с отличной от первого структурой. Если смотреть с точки зрения теории информации, вычисление — это получение из входных данных нового знания.
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод...
Номография (от др.-греч. νόμος — закон и γράφω — пишу) — область математики, охватывающая теорию и практику применения в вычислительной работе графического представления функциональных зависимостей — номограмм. Отмечается, что при переходе к номографическим методам большие объёмы сложных вычислительных действий могут быть часто заменены ограниченным числом элементарных геометрических операций на номограмме.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Логическая схема — модель базы данных, выраженная в понятиях модели данных. Этим отличается от концептуальной модели, описывающей семантику предметной области без указания технологии (конкретных методов реализации), и от физической модели, которая описывает конкретные физические механизмы, применяемые для хранения данных в накопителях.
Импульсный случайный процесс – случайный процесс, представляющий собой последовательность одиночных импульсов, параметры которых случайно меняются от импульса к импульсу. Под параметрами импульса понимают время его появления, его длительность и параметры, которые определяют его форму.
Меха́ника (греч. μηχανική — искусство построения машин) — раздел физики, наука, изучающая движение материальных тел и взаимодействие между ними; при этом движением в механике называют изменение во времени взаимного положения тел или их частей в пространстве.
Механизм Чебышёва — механизм, преобразующий вращательное движение в движение, приближённое к прямолинейному.
Система физических величин (далее СФВ) — совокупность взаимосвязанных физических величин, образованная по принципу, когда одни физические величины являются независимыми (основными физическими величинами), а другие являются их функциями (производными физическими величинами). СФВ представляет собой структурную схему связей или алгебраическую диаграмму операторов физических величин. Эти связи описываются математическими выражениями, называемыми определяющими уравнениями.
Алгоритмическая теория информации — это область информатики, которая пытается уловить суть сложности, используя инструменты из теоретической информатики. Главная идея — это определить сложность (или описательную сложность, колмогоровскую сложность, сложность Колмогорова-Хайтина) строки как длину кратчайшей программы, которая выводит заданную строку. Строки, которые могут выводиться короткими программами, рассматриваются как не очень сложные. Эта нотация удивительно глубока и может быть использована...
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов...
Распределённые системы в физике — термин, обычно применяемый к колебательным системам, также сплошные колебательные системы — физические системы, динамические характеристики которых (например, масса и упругость в механических системах, индуктивность и ёмкость в электрических) не сосредоточены (только) в точечных элементах (не приложены только к точечным элементам), а распределены тем или иным образом непрерывно по пространству (конечным или бесконечным областям пространства), поверхностям, линиям...
Подробнее: Распределённая система (физика)
Линейно-квадратичный регулятор (англ. Linear quadratic regulator, LQR) — в теории управления один из видов оптимальных регуляторов, использующий квадратичный функционал качества. Задача, в которой динамическая система описывается линейными дифференциальными уравнениями, а показатель качества представляет собой квадратичный функционал, называется задачей линейно-квадратичного управления. Широкое распространение получили линейно-квадратичные регуляторы (LQR) и линейно-квадратичные гауссовы регуляторы...
Функциональная схема — документ, разъясняющий процессы, протекающие в отдельных функциональных цепях изделия (установки) или изделия (установки) в целом. Функциональная схема является экспликацией (поясняющим материалом) отдельных видов процессов, протекающих в целостных функциональных блоках и цепях устройства.
Машина вероятности – математическая модель вычислительного устройства, в работе которого участвует некоторый случайный процесс. Различные варианты понятия «Машины вероятности» являются обобщениями понятий «автомата детерминированного», «Тьюринга машина», «автомата бесконечного». Рассматривались, например, такие понятия «машины вероятности», как: 1)Машина Тьюринга (или другой детерминированный автомат) с входом, к которому присоединен бернуллиевский датчик, выдающий символ 1 и 0 с вероятностью p и...
Бесконечность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно.
Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают...
Математическая константа или математическая постоянная — величина, значение которой не меняется; в этом она противоположна переменной. В отличие от физических постоянных, математические постоянные определены независимо от каких бы то ни было физических измерений.
Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика. Она является простейшим расширением двузначной логики.
Синхронный унитарный сигнал (СУС) — синхронная последовательность единиц, в которой информационная величина представляется в виде Р-ряда (P - prima) или Z-ряда (Z - zero). Информационным параметром является длина (NР) Р-ряда и длина (Nz) Z-ряда.
Подробнее: Операторы логической свёртки сигнала
Иные значения см. разделе в Компьютерное моделирование.Теория вычислимости и теория сложности вычислений трактует модель вычисления (англ. model of computation) не только как определение множества допустимых операций, использованных для вычисления, но также и относительных издержек их применения. Охарактеризовать необходимые вычислительные ресурсы — время выполнения, объём памяти, а также ограничения алгоритмов или компьютера — можно только в том случае, если выбрана определённая модель вычислений...
Подробнее: Модель вычислений
Теория автоматов — раздел дискретной математики, изучающий абстрактные автоматы — вычислительные машины, представленные в виде математических моделей — и задачи, которые они могут решать.
Теория автоматического управления (ТАУ) — научная дисциплина, которая изучает процессы автоматического управления объектами разной физической природы. При этом при помощи математических средств выявляются свойства систем автоматического управления и разрабатываются рекомендации по их проектированию.
Коиндукция в информатике — метод для определения и доказательства свойств систем параллельно взаимодействующих объектов (обобщённо). С математической точки зрения является дуальной к структурной индукции.
Элемента́рная опера́ция — простейшее обозначенное в машинном языке действие, совершаемое вычислительной машиной, то есть такое действие, которое не может быть представлено совокупностью более простых. Любая инструкция, выполняемая машиной, представляет собой последовательное выполнение одной или нескольких элементарных операций. Объединение элементарных операций в группы лежит в основе микропрограммирования.
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений. В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
Гибридный компьютер, гибридная вычислительная машина, аналого-цифровая система — вид гибридной вычислительной системы (ГВС), сочетающий в себе свойства аналоговых и цифровых вычислительных устройств.
Теория устойчивости — техническая и физико-математическая дисциплина, изучающая закономерности поведения систем под действием внешних воздействий.
Математи́ческая стати́стика — наука, разрабатывающая математические методы систематизации и использования статистических данных для научных и практических выводов.