ОБЩИЙ ОТДЕЛ

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.

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

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

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

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

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

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

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

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

Унифицированный язык моделирования (Unified Modeling Language, UML) является графическим языком для визуализации, специфицирования, конструирования и документирования систем, в которых большая роль принадлежит программному обеспечению. С помощью UML можно разработать детальный план создаваемой системы, содержащий не только ее концептуальные элементы, такие как системные функции и бизнес-процессы, но и конкретные особенности, например классы, написанные на специальных языках программирования, схемы баз данных и программные компоненты многократного использования. Предлагаемое вашему вниманию руководство пользователя содержит справочный материал, дающий представление о том, как можно использовать UML для решения разнообразных проблем моделирования. В книге подробно, шаг за шагом, описывается процесс разработки программных систем на базе данного языка.

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

Данная книга содержит пошаговые инструкции по использованию новых возможностей EСMAScript 6 вместо устаревших трюков и приемов программирования на JavaScript. Книга начинается с знакомства со всеми встроенными объектами ES6 и описания создания итераторов ES6. Затем она расскажет, как писать асинхронный код с помощью ES6 в обычном стиле синхронного кода. Далее описывается использование программного интерфейса рефлексии Reflect API для исследования и изменения свойств объектов. Затем рассматривается создание прокси-объектов и их применение для перехвата и изменения поведения операций с объектами. Наконец, демонстрируются устаревшие методы модульного программирования, такие как IIFE, CommonJS, AMD и UMD, и сравниваются с модулями ES6, способными значительно увеличить производительность веб-сайтов.

В 2017 году на площадках философского факультета МГУ имени М.В. Ломоносова, Института наследия и Государственной Думы состоялись XV Международные Панаринские чтения на тему «Выбор национальной стратегии в условиях глобальной нестабильности и цивилизационное наследие России», на которых было заслушано свыше 100 докладов. Особую ценность представляли живые дискуссии между учеными России и Франции, Украины и других, в том числе непризнанных государств на так называемом постсоветском (по сути – построссийском) пространстве, которые столкнулись с самим опасными последствиями и проявлениями искусственно вызванной, рукотворной политической нестабильности, разрывающей традиционные связи между народами и культурами, обнажающие глубинные цивилизационные разломы. Отдельные доклады, которые можно отнести к смежным дисциплинам, органично дополняли друг друга, что и позволило составить на их основе коллективную монографию, авторы которой пытаются найти новые подходы к построению долгосрочной стратегии России в эпоху, явно не вполне благоприятную для такой работы.

Изложена последовательность выполнения заданий в 19 версии программы Autodesk Inventor Professional. Рассмотрены примеры построения тела с вырезами.

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

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

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

В журнале «Вестник Липецкого государственного технического университета» публикуются статьи, содержащие наиболее существенные результаты научно-технических экспериментальных исследований, а также итоги работ проблемного характера по следующим рубрикам: Информатика, вычислительная техника и управление; Металлургия; Транспорт и логистика. В одной из статей рассматривается применение статистических методов, в частности,методов корреляционного, факторного и регрессионного анализа для исследования набора показателей, относящихся к социально-психологической сфере, на примере численных значений уровня развитости критического мышления у студентов.

В научно-техническом рецензируемом журнале Вести высших учебных заведений Черноземья публикуются статьи, содержащие наиболее существенные результаты научно-технических экспериментальных исследований, а также итоги работ проблемного характера по рубрике: Электроэнергетика. В одной из статей описывается вариант использования нейронного анализа устройствами электроэнергетики. Представлены особенности моделирования нейронных сетей в программном пакете Matlab simulink Neural Network Toolbox.

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

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

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

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

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

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

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

Представлены краткое описание основных структур и методов обработки данных, критерии оценки алгоритмов и структур данных, примеры структур данных, способы оценки и повышения эффективности программ, способы тестирования программ, варианты заданий, порядок выполнения и требования к защите лабораторных работ, предусмотренных учебным планом МГТУ им. Н.Э. Баумана.

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

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

Рассмотрены модель и чертеж сборочной единицы типового домашнего задания, выполняемого студентами первого курса МГТУ им. Н.Э. Баумана, с помощью системы автоматизированного проектирования Autodesk Inventor 2016.

Приведены базовые теоретические сведения об архитектуре программируемых систем на кристалле, инструментах интегрированной среды проектирования. Представлен ряд учебных проектов для платформ PSoC (Cypress), иллюстрирующих технологию синтеза аппаратной конфигурации системы и разработки программного обеспечения.

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

В монографии впервые осуществлено комплексное исследование властных отношений в организации, от которых в конечном счете зависят и конкурентоспособность организации, и ее социально-экономическое развитие. Основной посыл заключается в том, что вопросы власти и подчинения имеют превосходство над экономическими. Экономическое поведение работников зависит от того, как работодатели и их уполномоченные представители осуществляют власть. На практике те, кто находится у власти, могут полагаться на различные виды подчинения субъекта власти и в то же время могут сталкиваться с различными формами непослушания. Автор критически относится к существующим подходам изложения теории организационного поведения, менеджмента и управления персоналом (человеческими ресурсами), в которых власть анализируется в рамках лидерства, а проблематике подчинения не уделяется надлежащего внимания. В основе поведения трудящихся, находящихся в современных условиях управления персоналом, лежит, по образному выражению Ричарда Сеннетта, коррозия характера. Данное обстоятельство обусловливает необходимость оценки отношения рекрутов и наемных работников к нахождению в системе «власть – подчинение», а также определения склонности личности к тому или иному типу подчинения.

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

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

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

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

Одной из основных задач данного пособия является знакомство с достижениями теории принятия решений и освоение практических приемов их использования, которые могут быть реализованы при создании различных технологических и информационных систем управления в энергетике, в частности в АСДУ (автоматизированной системе диспетчерского управления), где человеческий фактор является определяющим. В пособии изложены вопросы получения управленческих оценок при выборе и принятии решений. В работе рассматриваются различные шкалы оценок при выборе и принятии решений, процедуры и методы получения эвристической информации, а также организационные особенности проведения экспертизы, в основе которой лежат интерактивные процедуры. Большое внимание уделено получению и использованию в управлении энергетических объектов нечетких оценок, значительно повышающих эффективность управления. Изложение теоретического материала иллюстрируется примерами, а также сквозным расчетным заданием, охватывающим практически весь курс.

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

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

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

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

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

В журнале «Вестник Липецкого государственного технического университета» публикуются статьи, содержащие наиболее существенные результаты научно-технических экспериментальных исследований, а также итоги работ проблемного характера по следующим рубрикам: Информатика, вычислительная техника и управление; Металлургия; Машиностроение; Транспорт и логистика.

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

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

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

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

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

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