Программные средства. Программирование на ЭВМ (Математическое программирование - см. 519.8). Компьютерные программы. Языки программирования. Системное программное обеспечение. Компьютерная инфекция. Компьютерная вирусология

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

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

В настоящей работе продолжается изложение начатой в 1 части основ алгоритмизации и программирования - науки о построении алгоритмов (путей) решения различных задач и переложения их на вычислительные ресурсы (ЭВМ)

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

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

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

Рассматриваются принципы и методы эволюционного моделирования. Особое внимание уделяется главному методу эволюционного моделирования – генетическому алгоритму. Приводятся конкретные примеры его применения к решению различных задач оптимизации.

Рассмотрены особенности конструкций современных станков с ЧПУ, прогрессивного металлообрабатывающего инструмента и приспособлений, рассмотрены особенности разработки технологических процессов с применением оборудования с ЧПУ. Также рассмотрены основы программирования оборудования с ЧПУ на примере наиболее распространенных российских систем с ЧПУ (NC-201 и FANUC 21i) и применения CAM-систем для написания управляющих программ, а также были рассмотрены возможности разработки и применения виртуальных моделей технологического оборудования с ЧПУ, инструмента и приспособлений.

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

Разработано на основании части четвертой Гражданского кодекса Российской Федерации, утвержденной Федеральным законом от 18 декабря 2006 г. № 231-ФЗ, «Административного регламента исполнения Федеральной службой по интеллектуальной собственности, патентам и товарным знакам государственной функции по организации приема заявок на государственную регистрацию программы для электронных вычислительных машин и заявок на государственную регистрацию базы данных, их рассмотрения и выдачи в установленном порядке свидетельств о государственной регистрации программы для ЭВМ или базы данных», утвержденного приказом Министерства образования и науки Российской Федерации от 29 октября 2008 г. № 324, проекта «Административного регламента предоставления Федеральной службой по интеллектуальной собственности государственной услуги по организации приема, регистрации и проверки заявок на государственную регистрацию программ для электронных вычислительных машин и баз данных» и опыта патентной работы авторов.

Данное пособие посвящено изучению языка программирования Perl, разработанного с целью создания универсального средства автоматической обработки текста. Излагается синтаксис языка, типы переменных, операторы и конструкции; рассматривается программирование классов и разработка модулей, язык регулярных выражений как одно из современных средств поиска и преобразования строк, которое встроено в различные языки программирования и управления данными, а также Perl-диалект регулярных выражений, поддерживаемый такими системами, как PHP, MySQL, JavaScript, Qt и др. Освещаются типовые задачи обработки текста и их решения средствами языка Perl и регулярных выражений.

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

Лабораторный практикум по дисциплине «Программно-аппаратные средства обеспечения информационной безопасности» предназначен для подготовки специалистов по защите информации и бакалавров по информационной безопасности. Лабораторный практикум направлен на изучение назначения и функций программно-аппаратных средств обеспечения безопасности, методов защиты информации от несанкционированного доступа, методов обеспечения целостности, средств идентификации и аутентификации пользователей автоматизированных систем с использованием программно-аппаратных средств защиты информации: системы защиты информации «Secret Net 5.0», «Аккорд-NT/2000», «Dallas Lock 7.5».

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

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

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

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

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

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

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

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

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

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

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

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

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

Данное методическое пособие содержит задания к лабораторным работам по математическим уравнениям с использованием системы компьютерной математики 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.

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

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

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

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

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

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

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

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