Программирование

Рассмотрена проблема формирования систем реального времени с гарантированной доступностью ресурсов. Предложены модели использования программно-информационных ресурсов с учетом ресурсной базы и ограничений на время исполнения. Описаны методика и алгоритмы формирования вектора временной развертки для кластерных структур распределенных архитектур систем реального времени, учитывающие занятость ресурсов.

В монографии представлены современные алгоритмы голосования, используемые в мультиверсионном программном обеспечении при принятии решения о корректности полученных результатов; приведена их классификация. Рассмотрены проблемы применения алгоритмов голосования в мультиверсионном программном обеспечении. Показана модель оценки надёжности мультиверсионного программного обеспечения, представлены результаты ее исследования при имитировании поведения реальной мультиверсионной системы с распределенной архитектурой. Результаты исследования служат теоретической базой для разработки высоконадёжного и отказоустойчивого программного обеспечения на основе мультиверсионной парадигмы.

В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения трансляторов мультисинтаксических языков программирования мультиверсионного программного обеспечения сложных систем.

В учебнике освещены современные методы и средства программной инженерии, детально рассмотрен процесс разработки программного обеспечения (ПО), приведена теория управления разработкой ПО. В качестве средства разработки ПО представлен продукт Visual Studio Team System. Для закрепления студентами полученных теоретических знаний во второй половине учебника дан практикум.

Предложен новый подход к повышению качества управления обменом, обработкой и хранением информации в дистанционных образовательных средах, а также целенаправленного применения информационно-коммуникационных технологий и архитектурных решений при разработке и реализации модельно-алгоритмического аппарата.

В учебном пособии рассматриваются математический аппарат, применяемый в системах автоматизированного проектирования (САПР) для моделирования работы полупроводниковых приборов, и интерфейс САПР Crosslight Apsys. Подробно описывается процесс создания проекта в САПР Crosslight Apsys для проведения расчётов и анализа результатов моделирования полупроводниковых приборов.

Пособие подготовлено на кафедре математического моделирования математического факультета Воронежского государственного университета.

Пособие содержит теоретический материал для освоения пакета Surfer, который широко применяется в практике эколого-геологического картирования, а также практические задания для самостоятельного выполнения.

Данное учебно-методическое пособие содержит базовые сведения об использовании среды разработки C Builder для решения простых задач по работе с базами данных. За рамками оставлено рассмотрение, например, использования хранимых процедур, механизма транзакций. Пособие содержит иллюстрирующие примеры, которые сопровождаются заданиями для самостоятельного выполнения. В завершение приводятся задания, позволяющие проверить усвоение материала. Материал пособия апробирован при проведении лабораторных работ по спецкурсу «Основы программирования на C++».

В представленном методическом пособии рассматривается работа с базами нормативной документации двух видов. Первая часть пособия по- священа получению и анализу документов в Справочной правовой системе Консультант Плюс. Вторая часть включает анализ Интернет-ресурсов нормативной медицинской и фармацевтической документации. Каждый раздел содержит обучающие задания для закрепления изложенного материала.

Методические указания подготовлены сотрудниками кафедры программного обеспечения и администрирования информационных систем факультета ПММ Воронежского государственного университета.

Учебно-методическое пособие подготовлено на кафедре почвоведения и управления земельными ресурсами биолого-почвенного факультета Воронежского государственного университета.

Теоретические основы прикладной дискретной математики Математические методы криптографии Псевдослучайные генераторы Математические методы стеганографии Математические основы компьютерной безопасности Математические основы надёжности вычислительных и управляющих систем Прикладная теория кодирования Прикладная теория графов Прикладная теория автоматов Математические основы информатики и программирования Вычислительные методы в дискретной математике

В журнале публикуются результаты фундаментальных и прикладных научных исследований отечественных и зарубежных ученых, включая студентов и аспирантов, в области дискретной математики и её приложений в криптографии, компьютерной безопасности, кибернетике, информатике, программировании, теории надежности, интеллектуальных системах. Включен в Перечень ВАК.

Научный журнал был выделен в самостоятельное периодическое издание из общенаучного журнала «Вестник Томского государственного университета» в 2007 г. В журнале публикуются результаты теоретических и прикладных исследований вузов, научно-исследовательских, проектных и производственных организаций в области управления, вычислительной техники и информатики в технических, экономических и социальных системах. Входит в Перечень ВАК.

Учебно-методическое пособие подготовлено на кафедре программирования и информационных технологий факультета компьютерных наук Воронежского государственного университета.

Данное методическое пособие содержит задания к лабораторным работам по математическим уравнениям с использованием системы компьютерной математики MathCad и излагает порядок их выполнения.

Учебно-методическое пособие подготовлено на кафедре математического анализа математического факультета Воронежского государственного университета.

Учебное пособие подготовлено на кафедре математических методов исследования операций факультета ПММ Воронежского государственного университета.

Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета прикладной математики, информатики и механики Воронежского государственного университета.

Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета прикладной математики, информатики и механики Воронежского государственного университета.

В данном учебном пособии показано, как с помощью встроенных средств MATLAB провести анализ формы сигнала с использованием функции неопределенности для основных типов сигналов, таких как прямоугольный импульс и сигнал с линейной частотной модуляцией.

Настоящее пособие посвящено приложениям теории бескоалиционных игр для ряда практических задач. Бескоалиционные игры возникают в различных сферах жизнедеятельности человека. К бескоалиционным играм относятся такие игры, в которых участники игры выбирают свои стратегии независимо друг от друга, и любые соглашения между игроками запрещены правилами игры.

Учебное пособие подготовлено на кафедре теоретическое и прикладной механики факультета прикладной математики, информатики и механики Воронежского государственного университета

Одной из центральных в теории обработки сигналов является проблема обнаружения (детектирования) сигнала в шуме. Не претендуя на полноту, в качестве примера можно упомянуть монографии [1–8], посвящённые тем или иным аспектам указанной проблемы. В последних версиях программной среды MATLAB появились встроенные функции, численно решающие некоторые классические задачи теории обнаружения. Настоящее учебное пособие посвящено описанию пяти таких функций, а именно, albersheim, shnidman, npwgnthresh, rocsnr и rocpfa.

Настоящее учебное пособие содержит теоретические вопросы для обсуждения на практических занятиях, варианты тестов, материалы для проведения промежуточного и итогового контроля, варианты индивидуальных домашних заданий, задания для самостоятельной работы и проведения лабораторных работ.

В лабораторных работах изучаются базовые понятия программирования на языке Си: базовые конструкции языка, операции ввода-вывода, циклы, массивы, строки, пользовательские функции.

Приведены методы принятия решений и алгоритмы их реализации. Сформирован набор заданий для решения задач линейного программирования.

В пособии приведены основные теоретические сведения из теории игр, методы решения теоретико-игровых задач и применение их к задачам управления и бизнеса. В курсе рассмотрены основные классы игр и применение теоретико-игровых методов к решению задач принятия решений в управлении экономическими процессами, а также использование этих методов в профессиональной деятельности.

Настоящее пособие посвящено одному из основных разделов теории игр - антагонистическим играм. Антагонистические игры можно разделить на конечные ( матричные) игры и бесконечные. Матричные игры являются основой для изучения как теории антагонистических игр, так и более общей теории бескоалиционных игр.

Учебное пособие подготовлено на кафедре электроники Воронежского государственного университета.

Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета прикладной математики, информатики и механики Воронежского государственного университета.

В данной работе рассматриваются компьютерные сети на основе IBM PC-совместимых ЭВМ, основные положения верны и для ЭВМ общего класса. В пособии изложены основы функционирования и построения ПО сетевого взаимодействия ЭВМ (рассматриваются механизмы NetBIOS, Windows Sockets и др.), приведены данные о сетевых протоколах, рассмотрены основы защиты информации.

Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета ПММ Воронежского государственного университета.

Главной целью спецкурса «Компьютерное картографирование» стало изучение возможностей использования ГИС в ландшафтных исследованиях, а лабораторный практикум призван помочь восвоении одного из наиболее популярных ГИС-пакетов – MapInfo Professional. Практические занятия поострены таким образом, чтобы студенты могли познакомиться с основными функциональными возможностями программы, получили практические навыки в регистрации растровых изображений, создании векторных карт и работе с геостатистикой.

Методическое пособие предназначено для самостоятельной работы магистров 1-го курса, обучающихся на геологическом факультете по программе «Экологический менеджмент». Также оно будет полезно и бакалаврам 4-го курса (профиль «Экологическая геология»). Описание приемов проведения самостоятельной работы сделано на примере дешифрирования космоснимков высокого разрешения по Ковдорскому железорудному месторождению.

Популярность и распространенность различных приложений, реализованных с помощью языка Java, обуславливает интерес к нему и необходимость более подробного рассмотрения особенностей его применения. Но прежде чем перейти к особенностям, следует ознакомиться с базовыми принципами, реализованными в нем, и основными конструкциями этого языка. Именно этому будет посвящен материал, изложенный в данном пособии.

В предлагаемом методическом пособии рассмотрены основные специальные функции, изучаемые в курсе математической физики. Кроме того, предложены примеры задач, решения для которых получены не аналитически, а в системе компьютерной математики Maple.

Учебное пособие посвящено моделированию взаимодействия ионов с поверхностью одной из фундаментальных проблем физики, микро- и наноэлектроники, и моделям цифровой обработки сигналов, используемым в современной электронике. Первая из этих проблем рассматривается с точки зрения изменения морфологии поверхности при ионном облучении и приводит к нелинейным дифференциальным уравнениям в частных производных. Вторая с точки зрения теории цифровой фильтрации основной составляющей цифровой обработки сигналов, приводящей к дискретным разностным уравнениям. Рассмотрены классические и относительно новые результаты.

В методических указаниях даны необходимые определения, рассмотрена история развития и классификация операционных систем по различным признакам. Представлена типичная структура ОС и её основные подсистемы. Описаны и классифицированы некоторые алгоритмы, по которым работают подсистемы ОС. Приведены примеры из ОС UNIX, Linux, Windows NT.

Предназначен для студентов, обучающихся по направлению 010200.62 Математика и компьютерные науки, специальности 090301.65 Компьютерная безопасность (дисциплина «Дискретная математика», цикл БЗ, С2), очной формы обучения.

Лабораторный практикум предназначен для студентов, обучающихся по специальности 090301.65 Компьютерная безопасность (дисциплина «Языки программирования», цикл СЗ), очной формы обучения.

Настоящее издание носит учебный характер и представляет собой краткое руководство по подготовке документов, содержащих сложные математические формулы. Рассматриваются правила организации и обработки документов, а также основные команды системы.

Предназначены для студентов, обучающихся по специальности 230103.51 Автоматизированные системы обработки информации и управления (по отраслям) (дисциплина «Информатика»), очной формы обучения.

Методические указания рекомендуются к использованию на практических занятиях. Студентам предлагается выполнить задания по комплексу тем дисциплины к семинарам. Предназначены для студентов, обучающихся по специальностям 080507.65 Менеджмент организации, 080105.65 Финансы и кредит и по программе подготовки магистратуры 080500.68 Менеджмент (дисциплины «Логистика», «Математические модели в логистических решениях», блоки ЕН, СД), очной, очно-заочной и заочной форм обучения.

Рассматриваются технологические проблемы разработки крупномасштабных программных систем, приводятся сведения о методах разработки сложного программного обеспечения, о современных подходах к промышленной разработке таких систем. В популярной форме излагаются основные этапы жизненного цикла программного продукта, способы организации коллективов разработчиков, сведения о стандартах качества.

Практикум содержит материалы для изучения объектно ориентированной технологии программирования на С++. Основные конструкции С++ и его стандартной библиотеки рассмотрены на примерах и сопровождаются заданиями для лабораторных работ.

Данное пособие по учебному курсу «Базы данных и экспертные системы» представляет собой основы использования языка SQL на примере работы с MS SQL SERVER. Оно ориентировано в первую очередь на практическое применения языка SQL: создание структуры реляционной базы данных, осуществление выборки из базы данных, модификации данных, создание представлений, индексов. В пособии содержатся теоретические сведения, включая достаточно подробное описание синтаксиса операторов SQL и основные сведения о создании представлений и индексов, приведены методические указания по их использованию. Пособие содержит большое количество примеров на использование операторов SQL, которые могут быть полезны на этапе освоения материала, а также выступать в качестве вопросов для самопроверки.

Данная работа содержит описание лабораторных работ для практического освоения программирования на языке ассемблера. Для каждой лабораторной работы формулируется ее цель, приводится список заданий и для одного из заданий дается его полное решение в виде отлаженной программы и набора тестов, на котором она проверялась. Каждая программа содержит достаточно подробные комментарии, полезные для самостоятельного обучения, а каждый тест включает в себя его описание, исходные данные и ожидаемые результаты.

Данные указания по организации и проведению производственной и преддипломной практики являются методическим обеспечением практического этапа процесса обучения студентов. Предназначены для студентов, обучающихся по специальностям 010500/010501 Прикладная математика и информатика, 080801 Прикладная математика и информатика (в экономике), 010503 Математическое обеспечение и администрирование информационных систем (дисциплина «Преддипломная, производственная и учебная практика»), очной формы обучения.