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