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

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

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

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

Рассмотрены возможности языка программирования Python в области интерактивной визуализации данных. Для визуального анализа данных использован модуль plotly.express библиотеки Plotly. Приведены примеры построения диаграмм распределений: histogram, bar, kde, violin, ecdf, strip, density_heatmap и dencity_contour. Для оценки уровня усвоения студентами пройденного материала предложены варианты заданий для самостоятельной работы.

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

Освещаются вопросы анализа динамических и стационарных систем массового обслуживания (СМО) с детерминированной интенсивностью входного потока. Монография содержит 4 главы. В 1-й главе исследуются СМО с конечным и бесконечным накопителем с переменной детерминированной интенсивностью входного потока. Для анализа нестационарных характеристик числа заявок таких СМО предлагается функционально-аналитический метод. Марковские нестационарные СМО с постоянными интенсивностями входного потока и обслуживания рассматриваются во 2-й главе с бесконечным накопителем и в 3-й главе – с конечным накопителем. Для анализа нестационарного и стационарного распределения заявок в СМО применяется матричный метод. В 4-й главе рассматривается время ожидания в СМО с постоянной интенсивностью входного потока и обслуживания.

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

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

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

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

Явление массового увлечения стандартами ISO 9000 по всему миру иногда называют ISO-манией. Очень правильный диагноз! Сертификация систем качества и консалтинг в этой области стали сегодня уже большим и самостоятельным видом бизнеса. Органы по сертификации систем качества заинтересованы в привлечении все большего и большего числа клиентов для получения все большей и большей прибыли! А с увеличением конкуренции увеличивается и рекламное давление, и пропаганда стандартов ISO 9000. Возрастающий поток рекламы дает нам понять, что сертификация системы качества является гарантией успеха и позволяет решить большинство проблем. Прочитав рассказанную в книге вымышленную историю, которая в реальности вполне могла произойти с любой компанией, вы увидите, что это совсем не так.

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

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

Представлены восемь лабораторных работ, демонстрирующих типовые приемы решения различных задач в программной среде Solid Edge.

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

Пособие создано по курсу «Современные системы обработки информации» для студентов специальности 080801 «Прикладная информатика (в информационной сфере)» и содержит систематизированный справочный материал, лабораторные работы по системе Mathcad (версии 14), позволяющие не только получить общее преставление о возможностях этой системы, но и закрепить полученные знания на практике.

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

Рассмотрены методики, идиомы и приемы решения задач обработки динамических структур данных на языке С++. Подробно описаны вычислительные алгоритмы, реализованные с использованием нотации указателей. Приведены краткие теоретические сведения и примеры приложений по изучаемому материалу. Изложена методика выполнения лабораторных работ по рассматриваемым темам, которая используется авторами в процессе проведения практических занятий в МГТУ им. Н.Э. Баумана.

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

В данном пособии описан интерфейс прикладного программирования (API) UNIX-совместимых операционных систем: от файловых операций и использования библиотек до методов и средств разработки многозадачного и многопоточного программного обеспечения, а также средства межзадачной (IPC) и межпоточной коммуникации: программные каналы и каналы FIFO, очереди сообщений, семафоры, разделяемая память System V и POSIX, взаимные исключения и условные переменные. Кроме того, кратко обсуждаются средства коммуникации процессов по сети и особенности взаимодействия приложений и системных служб.

Учебное пособие по курсу «Сетевые информационные технологии» содержит описание инструментальных средств для моделирования и анализа трафика компьютерных сетей, а также описание протоколов стека TCP/IP, некоторых прикладных протоколов и примеры учебных программ для изучения протоколов.

Журнал издается под научно-методическим руководством Федерального исследовательского центра "Информатика и управление" Российской академии наук. Международный научно-технический журнал. Освещает научно-технические достижения по обеспечению конфиденциальности, доступности и целостности для класса информационно-телекоммуникационных систем высокой доступности (ИТС ВД), которые составляют неотъемлемую часть технологий функционирования критических для страны направлений деятельности, например диспетчеризация транспорта, управление перераспределениями электрических мощностей в масштабах региона, осуществление лектронных платежей в реальном масштабе времени. Журнал «Системы высокой доступности» относится к категории печатных изданий, публикации в которых учитываются при рассмотрении докторских и кандидатских диссертаций ВАК РФ и в диссертационных советах. Включен в Перечень ВАК. Выходит с 2006 г.

Структура пособия соответствует учебной программе дисциплины «Информатика и программирование». Первая часть содержит около 600 задач по теории программирования и языкам программирования Visual Basic и Pascal. Вторая часть (занимает более половины объема пособия) включает решение значительного числа задач или указания к их решению. Представлены краткий перечень необходимых понятий и список рекомендуемой литературы.

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

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

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

Томас Шеллинг (р. 1921) — американский экономист, специалист по международным отношениям, национальной безопасности, ядерной стратегии и контролю над вооружениями; лауреат Нобелевской премии по экономике 2005 г. «за расширение понимания проблем конфликта и сотрудничества с помощью анализа в рамках теории игр» (совместно с Робертом Ауманом); автор концепции теории сдерживания, положенной в основу ядерной стратегии США. Идеи, принесшие Т. Шеллингу Нобелевскую премию, впервые были сформулированы им в книге «Стратегия конфликта», вышедшей в 1960 г. Шеллинг консультировал правительства и корпорации. В 1969–1990 гг. он преподавал в Школе управления им. Джона Кеннеди при Гарвардском университете. Помимо чисто теоретических результатов, придавших исследованиям стратегического поведения совершенно новое измерение, книга имеет огромное значение для понимания самых разных аспектов жизни общества и повседневной жизни обычных людей. Философия книги состоит в том, что она выявляет сходство в стратегии конфликта между, скажем, маневрированием в ограниченной войне и плутовством в торговле, между сдерживанием противника, обладающего ядерным оружием, и сдерживанием наших собственных детей, между современным балансом страха и древним институтом заложничества. По мнению Шеллинга, фактически любую ситуацию взаимодействия в конечном счете можно свести к торгу — к ожиданию выгод, вымогательству уступок, маневрированию посредством угроз и обещаний, бойкота или вмешательства; короче говоря, к стратегии конфликта.

В задачнике содержатся материалы к лабораторным занятиям по дисциплине «Программирование» в виде индивидуальных заданий по темам: линейные программы, ветвление, циклы, одномерные и двумерные массивы, строки, функции, структуры, файлы и векторы. Задания по темам линейных программ, ветвления и циклов предложены в виде 20 различных вариантов, поостальным темам в виде списка задач, которые идут от легких к более сложным.Предназначено для студентов-программистов, математиков.

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

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

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

Данное учебное пособие предназначено для практических и теоретических занятий по дисциплине «Системный анализ и моделирование», которые проводятся с целью изучения и усвоения студентами теоретических основ и практических навыков системного анализа с применением математического аппарата и количественного системного анализа реальных экономических процессов и явлений. Цель учебного пособия – помочь студентам, специализирующимся в экономической сфере, проверить качество усвоения лекционного материала. Систематическое выполнение студентами заданий для самостоятельной работы обеспечит более глубокое понимание и запоминание учебного материала.

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

Описаны приемы формирования навыков и компетенций при использовании методов календарно-сетевого планирования логистическими операциями во внешнеэкономической деятельности предприятий и организаций.

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

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

Рассматриваются основные вопросы дисциплины «Системное программное обеспечение». Изучается машинно зависимое системное программирование для современных компьютеров. В качестве сред обучения параллельно используются операционные системы Linux и Windows. Излагаются вопросы применения объектных библиотек с учетом особенностей для 32- и 64-битных операционных систем. Подробно изучаются по-строение и использование библиотек динамической компоновки.

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

Методические указания представляют порядок выполнения курсовой работы по дисциплине «Системное программное обеспечение». Освещены темы и структура курсовой работы.

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

Рассмотрены принципы организации АВЛ-деревьев и алгоритмы их формирования, а также основы теории графов и некоторые алгоритмы на графах. Приведены примеры реализации структур и алгоритмов на языке Си и задания к лабораторным работам.

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

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

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

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

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

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

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

Рассмотрены основы применения статистических методов при планировании и обработке результатов испытаний. Приведены задания к лабораторным работам и примеры их выполнения. Примеры выполнены с использованием компьютерной программы MS Excel 2002.

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