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

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

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

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

Язык программирования C# был разработан в качестве эффективного, надежного и простого в использовании средства. В настоящее время C# является частью сиcтемы Visual Studio .NET, предназначенной для удобной работы с платформой .NET Framework и создания нового способа написания надежного программного обеспечения для высокопроизводительных серверов, компактных мобильных устройств и многого другого.

В пособии представлены теоретические основы и архитектура платформы .NET Framework и язык программирования C#. Материал построен на использовании последней версии платформы, языка программирования C# и инструментальных средств разработки Microsoft Visual Studio Professional 2012 и сопровождается подробными примерами.

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

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

В номере освещены наиболее актуальные вопросы экономики России после выхода ее из экономического кризиса. В разделе 1 «Актуальные проблемы современного развития экономики» опубликована статья Ф. Н. Завьялова и А. М. Козыревой, в которой поднимаются проблемы развития сельского хозяйства России в условиях ее членства в ВТО. При неоднозначности решения авторы обосновывают свою позицию по этому вопросу. Статья М. И. Лебедевой раскрывает проблему правильного понимания основных терминов, связанных с инновационным развитием экономики. В работе О. В. Каплиной предложена методика отбора территориальных объектов для проведения международного сравнительного анализа их социально-экономического развития. Статья Г. И. Панькиной посвящена раскрытию экономической природы ренты и антиренты. В разделе 2 «Проблемы банковского дела» в статье Н. А. Милькевич и Л. Н. Назаровой проведен сравнительный анализ доходности депозитного вклада и банковского сертификата, показаны недостатки и преимущества каждого банковского продукта. В раздел 3 «Проблемы социальных отношений» включены: статья А. И. Василевского, где поставлены вопросы совершенствования подготовки специалистов вузов для инновационного развития экономики, статья В. М. Мелиховского и И. Г. Переломовой, в которой ставятся вопросы оценки интеллектуальной собственности и регулирования рынка знаний как важнейшего фактора производства. В разделе 4 «Вопросы совершенствования отраслевого развития» в статье А. В. Иванова ставятся вопросы совершенствования ценообразования в строительной отрасли, где определены факторы, значительно удорожающие ее продукцию. В статье В. А. Хомякова показаны функции аудита для обеспечения систем безопасности информационных проектов. Статья В. П. Сергеева посвящена новому подходу в дисперсионном анализе качественных признаков. В разделе критика и библиография дана рецензия на книгу доц. Г. И. Вовненко «Измерение результатов национальной экономики: былое и думы».

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

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

Курс лекций посвящен рассмотрению устройства и основных механизмов среды .NET Framework версии 4.0, а также разработке для нее программных приложений и компонентов на языке С# версии 4.0.

Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, etc.

Цель статьи - описание разрабатываемой модели для реализации специальных вычислительных устройств. Авторами объединены и обобщены несколько моделей вычислителей, фактически являющихся математическими моделями компьютеров. Эти модели применяются в самых разных областях - от радиолокационной задачи построения бинарных фазоманипулированных сигналов с минимальными автокорреляционными свойствами до нанотехнологий (задач с условным названием "математические модели сборки наномашин"). При этом данную статью нельзя считать только "прямой суммой" рассматриваемых в ней различных задач: именно применение всех этих задач в комплексе и дает возможность описания новой модели вычислительного устройства, действительно являющегося возможным подходом к моделированию наномашин.

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

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

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

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

В статье рассматриваются вопросы формального представления алгоритмов синхронизации взаимодействующих процессов, действующих в параллельных вычислительных системах, при их обращении к общему ресурсу. Для формализации использовалась логика недетерминированных автоматов. Получены уравнения, описывающие процедуры вхождения i-го процесса в критический интервал с учетом принятой дисциплины обеспечения приоритетности и взаимоисключения несовместных событий, а также выхода процесса из критического интервала, которые позволяют синтезировать устройство синхронизации. Осуществлено моделирование устройства на 4 входа запросов к общему ресурсу на языке VHDL, а также проведена его экспериментальная реализация на ПЛИС.

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

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

В статье рассматривается подход к построению различных последовательных моделей выполнения функциональных блоков нового международного стандарта IEC 61499 на основе приоритетного механизма. Предлагаются многоуровневые приоритеты модельных переходов и правила их изменения для реализации различных дисциплин планирования выполнения функциональных блоков. Рассматриваются три модели последовательного выполнения: 1) "Прямой вызов", 2) модель на основе последовательной гипотезы, 3) синхронная модель.

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

Дана краткая характеристика Microsoft Office 2000. Из- ложены принципы работы с текстовым процессором Word 2000: ввод и редактирование текста, выравнивание и форматирование, проверка и замена текста, разработка таблиц, структура доку- мента, форматирование страниц, колонки, разработка таблиц, использование стилей, структура документа, источники данных, документы слияния, формы, ссылки, предметный указатель, ог- лавление, версии документа, отображение исправлений, защита документа.

Составлены задания для программирования в Visual Basic.NET. Приведены решения типовых задач. Рассмотрены рабочая среда, пе- ременные, Option Explicit, процедуры и функции, массивы, пользова- тельский тип данных, константы, управляющие операторы, циклы, основные элементы управления, функции даты и времени, строковые функции, ввод и вывод информации, обработка ошибок.

Рассмотрены основные элементы среды разработки программ, а также базовые конструкции алгоритмического языка Visual Basiс for Ap- plication. Показаны примеры разработки пользовательских функций Ехсel Продемонстрированы приемы работы с отладчиком программ. Даны об- щие принципы и примеры создания пользовательских программ (макро- сов) и форм для создания своих приложений в среде Excel. Пособие может быть использовано при изучении дисциплин «Ин- форматика», «Применение ЭВМ в технологии» и «Применение ЭВМ в расчетах», а также при курсовом и дипломном проектировании.

Съемочные возможности цифровой фотокамеры.

Настоящее пособие содержит курс лекций и лабораторных работ по программированию для студентов начальных курсов физического факультета ВолГУ. Пособие ориентировано на изучение базовых конструкций языка С/C++ и обретение навыков алгоритмизации расчетных задач. Курс ограничен описанием структурных возможностей языка, не затрагивает вопросов объектно-ориентированной разработки и может рассматриваться как начальный этап обучения дисциплинам программирования. Пособие предполагает знание студентом основ информатики в объеме школьной программы и небольшой опыт работы с персональным компьютером в операционной системе Windows.

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

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

В настоящей работе продолжается изложение начатой в 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++».

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