Многоаспектные векторные логики
Обобщение понятий истинного и ложного суждения в классической логике. Рассмотрение числовых характеристик суждений. Изучение вопроса упорядочения суждений в Vn-логиках. Анализ процесса формирования сложных суждений в многоаспектных векторных логиках.
Подобные документы
Характеристика модели, позволяющей описывать процесс формирования береговой линии. Описание программы в среде визуального программирования Delphi. Анализ особенностей формирование береговой линии и прогнозирования эволюции реальных островных территорий.
статья, добавлен 31.07.2018Разработка новых интеллектуальных методов оптимизации, позволяющих решать задачи в on-line режиме с привлечением математического аппарата виртуального объекта. Классификация виртуальных объектов, их применение для механических и гидравлических систем.
статья, добавлен 29.06.2016Рассмотрение программной среды Visual Simulator, предназначенной для визуализации расчетов и моделирования технологических процессов. Пример использования данной системы на этапах процесса каландрования шин. Анализ временных характеристик объекта.
статья, добавлен 21.02.2018Решение сложных интеллектуальных задач с помощью искусственных нейронных сетей. Автоматизация и гибридизация генетических алгоритмов аппарата нечеткой логики. Применения метода генетического программирования в селекции и репродукции новых пород деревьев.
статья, добавлен 18.01.2018Рассмотрение задачи разработки интеллектуальной системы распознавания текста на фотографиях и видеокадрах сложных графических сцен. Применение морфологических операций для улучшения качества результата сегментации. Сегментация символов текстовых областей.
статья, добавлен 23.02.2016Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Понятие и типы (дискретные и непрерывные величины) случайной величины. Вычисление центрального момента в Microsoft Excel. Числовые характеристики, характеризующие рассеивание случайной величины. Основные способы нахождения асимметрии и эксцесса.
лабораторная работа, добавлен 18.04.2013Анализ современных программ обработки электронных таблиц. Ознакомление с описанием основных характеристик программного продукта Microsoft Excel. Определение сущности аппроксимации и корреляции. Рассмотрение процесса построения диаграммы разброса.
курсовая работа, добавлен 21.10.2017Рассмотрение фрагмента постановки и решения задачи "Разработать [вербальное|формальное] определение S" (где S – универсум технологически возможных ИТОУ-систем). Примеры определений и существенных характеристик композитов S. Пример применения МАНОК-систем.
статья, добавлен 02.10.2018Изучение основных понятий, методов и моделей программной инженерии, составляющих процесса разработки программного обеспечения. Разработка функциональной структуры программного обеспечения. Разработка программного кода. Анализ программного продукта.
лабораторная работа, добавлен 20.09.2016Основные понятия алгебры логики, её применение в информатике. Решение задачи с расчетом стоимости стеклопакетов. Информационная и аналитическая модель задачи, технология решения задачи в MS Excel. Результаты компьютерного эксперимента и их анализ.
курсовая работа, добавлен 22.01.2015- 112. О разработке организационной структуры системы обеспечения качества сложных информационных систем
Рассматривается разработанная организационная структура системы обеспечения качества, более подходящая для сложных систем, с учётом особенностей сложных информационных систем и особенностей обеспечения качества. Особенности сложных информационных систем.
статья, добавлен 28.11.2020 Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Способ представления термов в логике предикатов первого порядка. Принципы алгоритма унификации, использующего данное представление. Разработка более производительного алгоритма унификации, чем алгоритм, предложенный Дж.Р. Вагин. Обзор его работы.
статья, добавлен 19.01.2018Изучение технологии хранения, поиска и сортировки информации. Определение основных понятий баз данных. Рассмотрение причин использования компьютерных сетей. Обзор сетевых операционных систем. Изучение удаленного доступа и удаленного управления сервером.
контрольная работа, добавлен 09.04.2015Характеристика возможности защиты компьютерной информации от несанкционированного доступа с помощью введения числовых характеристик доступа на основе дискреционной модели Take-Grant. Исследование вероятности утечки данных при рассматриваемой защите.
реферат, добавлен 16.10.2013Ознакомление с понятием геоинформационных систем. Сущность векторной и растровой графики. Виды векторных пространственных данных: точечная, линейная, площадная геометрия. Рассмотрение основ информационного моделирования. Понятие пространственного запроса.
статья, добавлен 28.02.2019Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.
курсовая работа, добавлен 20.12.2021Построение эмпирических формул методом наименьших квадратов средствами программы Excel. Получение числовых характеристик линейной, квадратичной и экспоненциальной зависимостей. Нахождение искомой зависимости графически и средствами Mathcad.
курсовая работа, добавлен 26.07.2015Основные понятия алгебры логики, ее применение в информатике. Постановка задачи, цели ее решения и условия. Компьютерная модель решения задачи: информационная и аналитическая модели, решение в MS Excel. Результаты компьютерного эксперимента и анализ.
курсовая работа, добавлен 04.05.2014Разработка информационной системы формирования документов о высшем образовании и вкладышей к ним. Автоматизация процесса печати государственных дипломов. Преимущества использования системы 1С. Проверка правильности заполнения реквизитов удостоверения.
статья, добавлен 26.07.2018Определение основных характеристик графического планшета. Ознакомление с важными параметрами дигитайзера. Рассмотрение типов их технологий: электростатических и электромагнитных. Изучение и анализ необходимых аксессуаров для графического планшета.
курсовая работа, добавлен 22.11.2017Модель Захмана, основанная на дисциплине классической архитектуры и обеспечивающая словарь и набор перспектив, или структур (framework), для описания современных сложных корпоративных систем. Методология TOGAF. Архитектура предприятия с точки зрения FEA.
реферат, добавлен 05.11.2014- 124. Операционные системы
Рассмотрение программного обеспечения ЭВМ. Основные принципы построения операционной системы. Обзор средств взаимодействия параллельных процессов. Семафорная техника синхронизации и упорядочения процессов. Организация виртуальной оперативной памяти.
курс лекций, добавлен 08.05.2015 Обеспечение стабильности и надежность работы компьютеров. Изучение антивирусных программ. Рассмотрение требований к ним, характеристик. Методы обнаружения, борьбы с вирусами и вредоносными кодами. Исследование странного поведения. Анализ программы AVP.
доклад, добавлен 06.06.2016