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

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

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

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

Ошеломляющий успех коммерческих приложений машинного обучения (machine learning — ML) и быстрый рост этой отрасли создали высокий спрос на готовые методы ML, которые можно легко использовать без специальных знаний. Однако и сегодня успех практического применения в решающей степени зависит от экспертов — людей, которые вручную выбирают подходящие архитектуры и их гиперпараметры. Методы AutoML нацелены на устранение этого узкого места путем построения систем ML, способных к автоматической оптимизации и самонастройке независимо от типа входных данных. В этой книге впервые представлен всеобъемлющий обзор базовых методов автоматизированного машинного обучения (AutoML).

Обсуждаются способы построения простых систем сбора данных на базе платы STM32VLDISCOVERY. Пособие содержит вопросы для самопроверки. Работа выполнена при финансовой поддержке Минобрнауки России по государственному заданию №2014/138, тема проекта «Новые структуры, модели и алгоритмы для прорывных методов управления техническими системами на основе наукоемких результатов интеллектуальной деятельности». Для успешного овладения курсом требуется успешное окончание бакалаврской программы по направлению подготовки «Управление в технических системах».

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

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

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

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

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

В книге рассматриваются три фундаментальные концепции операционных систем: виртуализация (процессора и памяти), конкурентность (блокировки и условные переменные) и долговременное хранение (диски, RAID-массивы, файловые системы). В каждой главе представлена одна конкретная проблема и описано ее решение. Приводятся советы, которые могут пригодиться читателю при создании собственных систем. Выполняя задания, предложенные авторами, и работая над серьезными проектами, читатели приходят к более глубокому пониманию современных ОС. Задания-эмуляторы способны генерировать практически бесконечное множество задач, благодаря чему можно многократно перепроверять свои знания. Все проекты, а также примеры кода написаны на языке программирования C.

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

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

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Книга представляет собой учебник по базовым методам вычислительной математики, подготовленный университетскими преподавателями из Германии. В отличие от других подобных изданий, все численные методы излагаются в варианте с автоматической верификацией точности получаемых результатов. Для каждого метода приводятся его математическое обоснование, описание алгоритма и полный текст соответствующей программы. Все программы записаны на специально разработанном для реализации подобных методов языке программирования PASCAL-XSC, полное руководство по которому предполагается опубликовать 3-м изданием в серии «Компьютерные математические вычисления». В книгу вошли описания численных методов для решения следующих задач: вычисление полиномов, автоматическое дифференцирование функций одной и нескольких переменных, решение линейных и нелинейных уравнений и систем, глобальная оптимизация, вычисление арифметических выражений, нахождение нулей комплексных полиномов, линейное программирование. Учебник ранее издавался на немецком и английском языках. Русское издание дополнено информацией о новейших достижениях в данной области.

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

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

Книга посвящена всестороннему обсуждению инициативы консорциума W3С под названием «Семантический веб», которая фактически определяет переход к новому этапу развития всемирной паутины WWW. Авторы систематически описывают принципы, модели и технологии семантического веба, в том числе XML, RDF, RDFS, SPARQL, OWL, логику и логический вывод, онтологический инжиниринг. Все материалы книги сопровождаются примерами и приложениями, иллюстрирующими способы использования описанных технологий.

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

В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования.

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

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

Журнал «Вестник РУДН, серия „Инженерные исследования“» публикует статьи, содержащие результаты оригинальных исследований,имеет основные рублики: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ, ИПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ, ДЕНТИФИКАЦИЯ И СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ

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

В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования.

Двухсеместровый цикл лабораторных работ включает 12 работ (7 работ в 1-й части и 5 работ во 2-й), которые позволяют освоить основы программирования на языке ASSEMBLER. Каждая лабораторная работа содержит достаточный теоретический материал, поэтапно вводящий студентов в мир программирования на языке Ассемблера, сведения и задания, необходимые для практического выполнения работы, список литературы, рекомендуемой для дополнительного изучения, а также контрольные вопросы для проверки усвоения изученного.

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

Книга посвящена проблемам развития инновационных образовательных технологий, включает детальное описание и компьютерное моделирование работы компонентов ЭВМ и периферии: микропроцессоров, микроконтроллеров, устройств управления и прерывания, памяти, таймеров, жёстких дисков, принтеров, сканеров, видеосистем, дисководов CD, кодеков и т. д. На разных уровнях с помощью визуальных графических интерактивных демонстрационных моделей (к книге в виде файлов приложены около 140 имитационных моделей) излагается работа и основы программирования компьютерных устройств. Широко представлено компьютерное тестирование по рассмотренным темам и электронные учебные пособия. Показаны динамические модели фрагментов ассемблерных программ, функциональные графы вариантов заданий и образцы программ с использованием API-функций в графических средах. Наглядное обучение, предлагаемое в книге, может быть использовано преподавателями для проведения в увлекательной форме лекционных занятий с помощью проектора и ноутбука.

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

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

Пособие составлено в соответствии с требованиями ФГОС и программой дисциплины, представляет курс лекций

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

В классическом учебнике тьюринговского лауреата Н. Вирта аккуратно, на тщательно подобранных примерах прорабатываются основные темы алгоритмики — сортировка и поиск, рекурсия, динамические структуры данных. Перевод на русский язык выполнен заново, все рассуждения и программы проверены и исправлены, часть примеров по согласованию с автором переработана с целью максимального прояснения их логики (в том числе за счет использования цикла Дейкстры). Нотацией примеров теперь служит Оберон/Компонентный Паскаль — наиболее совершенный потомок старого Паскаля по прямой линии. Все программы проверены и работают в популярном варианте Оберона — системе Блэкбокс.

В книге подробно рассказано о том, как сконструировать встраиваемую Linux-систему из свободных программ с открытым исходным кодом, получив в результате надежный и эффективный продукт. Рассмотрены наборы инструментов, начальные загрузчики, ядро Linux и конфигурирование корневой файловой системы. Показано, как работать с системами сборки Buildroot и Yocto Project. Описаны процессы, потоки и управление памятью. Не обделены вниманием вопросы отладки и оптимизации платформы, а также выполнение приложений реального времени. Предполагаются знание основ языка C и опыт системного программирования.

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

В учебном пособии рассмотрены такие основные разделы теории нечетких множеств, как нечеткие отношения, нечеткие числа, нечеткий логический вывод, а также прикладные разделы, связанные с применением нечеткой математики в анализе данных (нечеткая регрессия, нечеткая кластеризация, нечеткая классификация) и принятии решений (нечеткая оптимизация, многокритериальные методы принятия решений с нечеткими данными, ранжирование нечетких данных, нечеткое моделирование). Каждая глава заканчивается разделом задач для самостоятельного решения. Поэтому данное пособие можно использовать не только как учебник, но и как задачник на семинарских занятиях или для самостоятельной подготовки. Учебное пособие адресовано студентам, обучающимся по образовательным программам, связанным с анализом данных и принятием решений («Прикладная математика и информатика», «Экономика», «Экономика и статистика», «Бизнес-информатика» и др.).

Основанные на трансформерах языковые модели – преобладающая тема исследований в области обработки естественного языка (NLP). В этой книге рассказывается, как создавать различные приложения NLP на основе трансформеров, используя библиотеку Python Transformers. Вы познакомитесь с архитектурой трансформеров и напишете свою первую программу для работы с моделями на основе этой передовой технологии.

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

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

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

В данном пособии рассмотрена лабораторная работа, посвящённая взаимодействию микроконтроллеров посредством встроенных интерфейсов UART и I2C. Приведены краткие теоретические сведения, необходимые для выполнения лабораторной работы.