Сергей Апанасевич
Методы доказательства в информатике
Издательство: LAP Lambert Academic Publishing, 2015 г.
9783659663208
Книгопечатная продукция
Объем: 100 стр.
В современном мире информатика и компьютерная техника развиваются очень стремительно. И у многих студентов возникает вопрос: "А нужны ли алгоритмы в программировании вообще как таковые?" Они поднимают это вопрос на основании того, что быстродействие современных компьютеров очень велико, память предостаточно, а само компьютерное время очень дешевое. Им кажется, что разные задачи можно решить перебором. А так ли это на самом деле? Прочитав эту книгу вы сможете приблизится к ответу на этот вопрос. И сделать выводы в каком направлении нужно развиваться.
Посмотрите также...
Лабораторный практикум по системе "КАРКАС"
Содержит лабораторные работы, целью которых является практическое освоение пользователями навыков в конструировании баз знаний с помощью инструментального средства для создания моделей баз знаний в компьютерной системе "КАРКАС" (сайт системы ......
Введение в компьютерно-музыкальное моделирование
Творчество является одним из наиболее глубинных побудительных мотивов активной человеческой личности. Творческий потенциал студентов с ограниченными физическими и сенсорными возможностями требует своей реализации в виде специальных ......
Подсистема "CRM – мобильная торговля" для оптовой компании "Соки+"
В процессе реализации продукции оптовой компании возникают контакты с клиентами, которыми можно управлять и развивать, при этом характерной чертой таких контактов является их многочисленность. С развитием информационных технологий, некоторые ......
Виртуальный кабинет "Конструирование технологического оборудования"
В монографии описаны структура виртуального кабинета "Конструирование технологического оборудования", под которым понимается информационная система, предназначенная для студентов, изучающих специализированные учебные курсы по устройству, ......
Формирование УУД средствами Лего-конструирования на уроках информатики
Материалы диссертационного исследования "Формирование универсальных учебных действий средствами Лего-конструирования на уроках информатики". В работе рассмотрена целесообразность внедрения курса Лего-конструирования в процесс обучения учащихся ......
Антивирусы и браузеры: уровень защиты и нагрузка на аппаратную часть
В предложенной книге произведено исследование современных антивирусных систем и браузеров в зависимости от их нагрузки на аппаратную часть компьютера и уровень защиты. Произведен обзор и классификация компьютерных угроз, методов и средств ......
CALS-технологии
Работа посвящена рассмотрению CALS-технологий и жизненного цикла изделий различного производственного назначения. Описаны базовые управленческие технологии: управление проектами, управления конфигурацией, логистическая поддержка жизненного ......
Нейроуправление роботами с параллельной кинематикой
Широкое применение методов нейроуправления в работе роботов манипуляторов типа Хобот при перемещении из разных положений позволяет парировать недостаточную жесткость многозвенных секций, трение в исполнительных механизмах и неоптимальность ......
Развитие алгоритмического мышления школьников на уроках информатики
Одной из дидактических задач образовательного учреждения является формирование мышления школьника, его интеллекта. Важной составляющей интеллектуального развития человека является алгоритмическое мышление. Формирование алгоритмического мышления ......
Систематика и кодирование в структуре информационного обеспечения
Идентификационное кодирование - обязательный элемент транспортной логистики. Унификация структуры шифров объектов транспорта - предмет международных соглашений. Характерный для них стиль простых договорённостей не гарантирует приемлемой ......
Контроль знаний в компьютерном обучении
Обычно в системах компьютерного обучения контроль осуществляется сравнением ответов обучающихся с эталонами, заранее записанными в компьютерную память (антропоморфный принцип). Такая организация контроля отличается многими недостатками. В ......
Методология проектирования корпоративных порталов управления знаниями
В книге предложены принципы проектирования и созданиясистемы управления знаниями вуза на основесемантических методов, удовлетворяющие специфическимтребованиям к поддержке деятельности вуза.Установлено, что наиболее эффективным являетсяреализация ......
Мониторинг информационных угроз в сети Интернет
Интеграция глобальных вычислительных сетей во всесовременные сферы деятельности человека обуславливаетлавинообразный рост информационных ресурсов,направленных на решение политических, экономических,идеологических задач, что может наносить ......
Ресурсная эффективность компьютерных алгоритмов: теория и применение
Алгоритмы - достаточно сложные и интересные объекты, изучение которых активно ведётся уже более 70 лет. Простой вопрос - что такое эффективный алгоритм - приводит к необходимости введения целого комплекса оценок и необходимости разработки ......
Методы поиска изображений на основе визуального сходства
В монографии изложены результаты исследований методов поиска изображений на основе теории визуального внимания, в том числе результаты: анализа современного состояния проблемы поиска изображений по визуальному сходству, позволившие обобщить ......
Квантовые и классические модели вычислений
Квантовая информатика сегодня - одна из наиболее интенсивно развивающихся областей компьютерных наук (Computer Science). С тех пор, как были разработаны эффективные квантовые алгоритмы для ряда практически значимых задач, среди которых алгоритм ......
Регистрация изображений и сопровождение объектов
В книге рассмотрены задачи регистрации (оценки геометрических преобразований) изображений в видеопоследовательности как первый этап любой системы обработки видео. Кроме того, рассмотрены алгоритмы стабилизации изображений, создания панорамных ......
Прикладные многоагентные системы
Многоагентные системы насчитывают примерно пятнадцатилетнюю историю активного развития. В основе данной теории лежит принцип, согласно которому один агент, владея частичным представлением об общей задаче, может решить лишь её некоторую часть. ......
Управление процессами жизненного цикла информационных ресурсов
В последние годы рост числа обучающихся по технологии открытого образования опережает рост числа студентов очного обучения. Развитие системы открытого образования требует перехода на новый уровень подготовки образовательных информационных ......
Решение сеточных уравнений на GPU
Предлагаемая работа посвящена решению разностных уравнений на графических вычислительных устройствах. Для задачи теплопроводности продемонстрировано многократное (до 20 раз) ускорение вычислений при использовании ресурсов бытовой видеокарты. ......
Информационная система врача-гомеопата
На рынке программных продуктов, предназначенных для врачей-гомеопатов, преобладают системы поддержки принятия решений в клинической ситуации. Примерами могут служить RADAR™, Archibel S.A.; ISIS™, Miccant Homeopathy Software Ltd, Complete ......
Адаптивные системы управления технологическими процессами
Рассмотрены системы адаптивного управления непрерывными технологическими процессами, параметры которых могут изменяться в широком пространстве состояний. Сформулирована классификация адаптивных систем, проанализированы принципы построения и ......
Метод глобальной оптимизации SIA
В работе предложен оригинальный гибридный метод глобальной оптимизации SIA, основанный на модели искусственной иммунной системы. Метод представляет собой глубокую модификацию гибридного иммунного метода HIA, который для локального поиска ......
Теория и практика многокритериальных решений
Современное общество предъявляет высокие и часто противоречивые требования к качеству принимаемых решений в различных предметных областях. Резко возросла цена ошибки решения. Поэтому уходят в прошлое интуитивные приёмы принятия решений и ......
Реляционная интерактивная логика
Книга посвящена новым инструментам решения логических задач. Логическая задача рассматривается как система логических уравнений и неравенств (СЛУН). Рассматриваются обыкновенные и индуктивные СЛУН, а также их иерархические композиции. ......
Индивидуальные человеко-машинные системы
Индивидуальная человеко-машинная система объединяет человека, индивидуальные технические средства, физическую и социальную среду для повышения качества жизни человека. Системообразующим элементом является непрерывный контроль двигательной ......
Системность научных исследований в медицине
Описаны разработанные автором теоретические предпосылки и программный продукт для реализации системного подхода при проведении научных исследований в медицине. Показаны возможности системы на примере физиологии и патологии дыхания. Она ......
Исследование алгоритмов идентификации аудиоконтента по его ритму
В рамках данной работы проведен анализ алгоритмов и систем идентификации аудиоконтента по его различным характеристикам. Реализована математическая модель алгоритма определения ритма аудиофайла, математическая модель алгоритма поиска нужного ......
Бесконтактное человеко-машинное взаимодействие
В книге приведены результаты исследования, посвященного вопросам реализации бесконтактного человеко-машинного взаимодействия. Представлен аналитический обзор подходов, использованных в системах захвата движений. Описан предлагаемый ......
Геоинформационные системы
Книга описывает геоинформационные системы, как специализированные информационные системы широкого назначения. Геоинформационные системы применяют не только в геоинформатике, но и в управлении, в мониторинге и многих направлениях. Современные ......
Управление роботом с подражательным мышлением
Манускрипт знакомит со структурой и функционированием роботов с подражательным символически-языковым мышлением, с ассоциативно-коммуникативной символической языковой логикой, с естественным представлением элементов знаний различных предметных ......
Результативное искажение геометрических данных
В работе рассмотрена разработка и теоретическоеобоснование схемы обработки информации в процессаххранения и обмена данными электронных моделеймашиностроительных изделий, существенно сокращающейобъем подлежащей защите информации при ......
СИСТЕМА МОНИТОРИНГА МОБИЛЬНЫХ СЕРВИСОВ
Мобильные сервисы предоставляют возможностипросмотра, выбора и приобретения разнообразногоконтента, т.е. позволяют загружать фотографии,видеоролики, мелодии и игры, разработанные специальнодля мобильных телефонов. Оплата предоставленных ......
Осознавание и ассоциирование.
Отражение и интерпретация окружающей действительности происходят в мозге человека на чрезвычайно высоком уровне, о чём свидетельствуют такие психологические феномены как сознание, абстрактное мышление, субъективные ощущения, произвольное ......
Теория объектно-событийных моделей.
Исходя из общих представлений об исполнении последовательных и параллельных процессов на вычислительных системах выводится аксиоматическая теория объектно-событийных мделей. Формулируется ряд интересных предельных теорем. Определяется ......
Компьютерная система "Практикум по экспериментальной психологии"
Цель проведенной работы – автоматизация определенных процедур проведения демонстрационных психологических исследований для ускорения сбора и обработки эмпирических данных. Разработанная система позволяет сделать больший акцент на знания по ......
Методы анализа данных экспрессии генов
Разработки в области биоинформатики предоставляют возможность извлечения новых знаний и закономерностей из биомедицинских данных с использованием статистических и интеллектуальных методов анализа данных. Особый интерес представляют данные генной ......
Автоматизированная модель RBAC
В работе предложен формальный подход к анализу безопасности ролевой модели разграничения доступа с правилами автоматического назначения ролей, описание которой включает в себя модель распределенного администрирования назначения пользователей на ......
Нейросетевой детектор лжи
В данной книге описываются принципы построения и опыт разработки нейросетевого детектора лжи. Предложены, реализованы и опробованы три нейросетевых алгоритма работы полиграфного аппарата: индивидуально-настраиваемый, универсальный, ......
Основа твердых знаний - практикум
Книга посвящена региональному компоненту в задачах по курсу "Пакет прикладных программ", а также вошли в книгу разработки автора по информатике. Основная часть-практикум предназначен для организации практических работ студентов при изучении ......
Основы математики гармонии и ее приложения
Классическая двоичная система счисления обладает нулевой избыточностью и в ней отсутствуют механизмы, позволяющие обнаруживать сбои в электронных элементах микропроцессоров, что уже привело к катастрофам национального масштаба в ракетной технике ......
Программирование в математическом пакете MathCAD
Язык программирования MathCAD содержит все элементы языка высокого уровня, необходимые для математических расчетов. Данная книга предназначена для обучения студентов программированию по дисциплине "Информатика". В книге приведено краткое ......
Моделирование иерархических многопроцессорных систем баз данных
В книге рассматриваются вопросы, связанные с моделированием и анализом иерархических многопроцессорных систем, ориентированных на приложения баз данных. Рассматривается механизм организации параллельной обработки запросов в системах баз данных. ......
Концепция создания электронных учебников
Несмотря на то, что электронные учебники стали уже неотъемлемым участником образовательного процесса, не всё ещё устоялось в этой области - слишком много белых пятен и различных трактовок одних и тех же вопросов. В монографии сделана попытка ......
Компьютерная арифметика геометрических фигур
В книге рассматриваются различные варианты процессоров, предназначенных для аффинных преобразований многомерных фигур - плоских и пространственных. Эти процессоры ориентированы на аффинное преобразование неструктурированных геометрических фигур ......
Моделирование и анализ бизнес-процессов
Данное практическое руководство по анализу бизнес-процессов содержит минимально необходимую информацию по наиболее популярным нотациям моделирования и более 200 прикладных учебных задач, предназначенных для самостоятельной работы по изучению ......
Управление информационными рисками с использованием экспертного опроса
Выполняется анализ сущности процесса управления информационными рисками предприятия, проводится непосредственный анализ существующих на сегодняшний день методов экспертной оценки адекватности принимаемых решений по определению критичности ......
Мониторинг
Мониторинг - это сбор данных самого разного рода. Но назначение мониторинговых систем не может ограничиваться получением первичной информации. Конечная цель мониторинга всегда сводится к принятию решений об обнаружении разного рода объектов, ......
Локальная инфраструктура пространственных данных
Книга посвящена вопросу систематизации географических информационных ресурсов, формируемых в ходе физико-географических исследований локального уровня, путем создания специальных локальных инфраструктур пространственных данных (ИПД) – систем для ......
Программное обеспечение встраиваемых компьютерных систем
Повсеместное распространение встроенных компьютерныхсистем (ВКС) требует упрощения разработки и, главное,отладки алгоритмов и программ для этих систем. Втаких случаях необходимы методы представления иуниверсальные средства эмуляции ВКС, ......
Оперативная оценка состояния сосудов человека
Свойства эластичности сосудов человека играют важную роль в кровообращении. Несмотря на богатый мировой медицинский опыт, смертность от сердечно-сосудистых заболеваний сегодня крайне высока. С целью развития культуры здоровья и снижения риска ......
Системы поддержки принятия решений в медицинской диагностике
Рассматриваются теоретические основы и информационные технологии нового класса систем поддержки принятия решений в медицинской диагностике на основе синтеза структурированных моделей сложно организованных взаимозависимых подсистем организма, ......
Математическое моделирование параллельных процессов
В монографии представлены разработанные авторами математические модели и методы оптимальной организации конкурирующих процессов, синхронные и асинхронные режимы их взаимодействия, математические соотношения для получения точных значений ......
Алгоритмы планирования вычислений и синтеза систем реального времени
В работе рассмотрены вопросы, связанные с построением математической модели вычислительных систем реального времени и планированием вычислений в таких системах. Разработаны алгоритмы построения многопроцессорных расписаний: 1) с прерываниями ......
Автоматизированная система управления процессами на хлебозаводе
Данная работа посвящена разработке автоматизированной системы управления процессами на хлебозаводе. В ходе выполнения проекта был проведен анализ хлебопекарных печей и хлебопекарного процесса как объекта автоматизации. Разработана структура ......
RSS