004.4Программные средства. Программирование на ЭВМ (Математическое программирование - см. 519.8). Компьютерные программы. Языки программирования. Системное программное обеспечение. Компьютерная инфекция. Компьютерная вирусология
← назад
Свободный доступ
Ограниченный доступ
Уточняется продление лицензии
Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.
в формализме теории, конечными. <...> , квантовую информатику [8] и теорию обработки сигналов [9]. <...> Важным элементом теории полей Галуа является отображение Fp в простое подполе Fp, называемое следом. <...> программного комплекса можно изучать не только эпидемиологические модели, но и экологические, социально-экономические <...> Теория обыкновенных дифференциальных уравнений. М.: Изд-во иностр. лит., 1958. 3.
Предпросмотр: Программирование (РАН) №1 (0) 2025.pdf (0,1 Мб)
Автор: Л. Перрии Майкл
М.: ДМК Пресс
Эта книга раскрывает преимущества использования неизменяемых объектов в распределенных системах. Вы узнаете о том, почему важна неизменяемость, исследуете пространство альтернатив и аспекты исторического моделирования. Затем ознакомитесь с математическими основами неизменяемости и увидите, как применять эти знания для анализа систем, построения машин состояний и соблюдения правил безопасности. В завершение будут рассмотрены компоненты компьютерной системы и их использование в неизменяемой архитектуре.
Искусство неизменяемой архитектуры: теория и практика управления данными в распределенных системах / <...> Перри Искусство неизменяемой архитектуры: теория и практика управления данными в распределенных системах <...> Perry Copyright ООО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» Искусство неизменяемой архитектуры: теория <...> Нет экономической необходимости обновлять или уничтожать информацию. <...> Большинство блокчейнов сохраняют экономические аспекты валюты, но некоторые накладывают дополнительные
Предпросмотр: Искусство неизменяемой архитектуры теория и практика управления данными в распределенных системах.pdf (1,4 Мб)
Издательский дом ВГУ
Учебно-методическое пособие подготовлено на кафедре уравнений в
частных производных и теории вероятностей математического факультета
Воронежского государственного университета.
Учебно-методическое пособие подготовлено на кафедре уравнений в частных производных и теории вероятностей <...> Теория вероятностей и математическая статистика / А.М. Андронов, Е.А Копытов, Л.Я.
Предпросмотр: Примеры обработки данных в пакете STATISTICA .pdf (1,1 Мб)
Автор: Басов К. А.
М.: ДМК Пресс
В книге рассматривается применение комплекса метода конечных элементов (МКЭ) ANSYS. В книгу входят общее описание комплекса, сведения о графическом интерфейсе пользователя, типах применяемых конечных элементов, методах создания геометрической модели и сетки конечных элементов, а также примеры использования комплекса. Описание материала соответствует версии комплекса ANSYS 9.0. 3D-модель тяжелого танка Т-35 выполнена К. А. Басовым.
(KWAVE = 0); – теория малых воздушных волн без модификации (KWAVE = 1); – теория Стокса пятого порядка <...> (KWAVE = 2); – теория волновой функции потока (KWAVE = 3). <...> I порядка (обычно упо$ минаемой как теория оболочек Миндлина – Рейсснера). <...> При этом при$ меняется теория больших деформаций (команда NLGEOM,ON). <...> Теория упругости. – М.: Высшая школа, 1979. – 432 с. 17. Зенкевич О.
Предпросмотр: ANSYS. Справочник пользователя.pdf (0,2 Мб)
Автор: Никулин А. В.
Изд-во НГТУ
В пособии содержатся базовые теоретические сведения, а также информация из технической документации на программное обеспечение, используемое при проведении экспериментальных работ. Рассматриваются основы работы с интерфейсами программного обеспечения. Предназначено для студентов, занимающихся изучением информационных технологий.
К теоретическому материалу прилагаются задания к экспериментальным работам, позволяющие закрепить теорию <...> Теория и практика: научно-популярное издание / Амос Гилат. – Москва : 2016. – 416 с. 3.
Предпросмотр: Специальные главы информатики.pdf (0,4 Мб)
Автор: Назаренко П. А.
Изд-во ПГУТИ
Учебное пособие «Алгоритмы и структуры данных» содержит теоретический материал по основным структурам данных и их практической реализации в языках программирования Си/Си++ и Паскаль. Приведена классификация структур данных. Рассмотрены основные алгоритмы обработки структур данных, включая создание и удаление элементов, прохождение, сортировку и поиск, с их реализациями на языках программирования Си/Си++ и Паскаль.
Элементы теории графов ……………………………... 11.1. Способы представления графов …………………. 11.2. <...> Несмотря на то, что отдельные книги были изданы около 40 лет назад, изложенная в них теория структур <...> Или (с точки зрения теории графов), дерево – это граф без циклов (Directed Acyclic Graph, DAG) [6]. <...> Элементы теории графов 11.1. <...> Теория и практика C++ [Текст] / Г. Шилдт. – СПб. : BHV – СанктПетербург, 1996. – 416 с. 23.
Предпросмотр: Алгоритмы и структура данных Методические указания по выполнению лабораторных работ. Ч. 1 Базовые структуры данных и алгоритмы.pdf (0,6 Мб)
Автор: Когаловский М. Р.
М.: ДМК Пресс
Эта книга призвана способствовать формированию у читателя общего кругозора в области современных информационных систем, представлений о важнейших информационных технологиях, на которых они базируются, об их главных достижениях и современном состоянии, о перспективах дальнейшего развития.
В книге рассматриваются общие свойства информационных систем, обсуждаются состояние и перспективы развития технологий баз данных, текстового поиска, а также Web-технологий. Особое внимание уделяется новым архитектурным подходам, вопросам моделирования предметной области, проблемам интеграции информационных ресурсов, возможностям технологической платформы Web нового поколения, основанной на языке XML.
За этот период сложилась проверенная временем теория баз данных с собственной терминологической системой <...> достижений в этой области является создание реляционной модели данных [3, 22] и базирующейся на ней теории <...> Анализируя такие исторические данные, можно оценивать состояние и динамику экономической ситуации и экономического <...> Она включает: различные аспекты теории информационного поиска; статистические и логические модели поиска <...> Важнейшая проблема в этой области – создание целостной концепции и теории XML ориентированных СУБД.
Предпросмотр: Перспективные технологии информационных систем.pdf (0,1 Мб)
Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ"
В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.
К таким областям относятся: теория игр, компьютерная лингвистика, бизнес-моделирование, когнитивная и <...> Некоторые аспекты теории ошибок врачей // Здравоохранение Российской Федерации. 2021. Том 65, № 2. <...> и назначения персонифицированного лечения воспалительных заболеваний сердца // Программные системы: теория
Предпросмотр: Программная инженерия №6 2024.pdf (0,2 Мб)
Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.
теориях типов. <...> Одной из таких теорий является интуиционистская логика первого порядка. <...> В данной работе сделана попытка устранить описанный выше разрыв между теорией и практикой. <...> [Русский перевод в книге “Математическая теория логического вывода”. <...> Введение в теорию доказательств. М.: Наука, 1979, 256 с. 20. Оревков В.П.
Предпросмотр: Программирование №1 2018.pdf (0,2 Мб)
Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.
Холкин 42 ТЕОРИЯ ПРОГРАММИРОВАНИЯ: ФОРМАЛЬНЫЕ МОДЕЛИ И СЕМАНТИКА Формальная спецификация и верификация <...> Problems of parametric approach in some modern CAD // Современные проблемы теории машин. 2016. <...> управления параллельным исполнением сходны с конструкциями языков Go и occam [26, 27], основанных на теории <...> Поскольку средства и механизмы синхронизации следуют теории взаимодействующих последовательных процессов <...> Хоара [28], то для верификации программ могут применяться формальные методы, основанные на этой теории
Предпросмотр: Программирование (РАН) №5 (0) 2024.pdf (0,1 Мб)
Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ"
В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.
Теория сигналов и систем 2. Теория и методы цифровой обработки сигналов 3.
Предпросмотр: Программная инженерия №11 2023.pdf (0,2 Мб)
Автор: Колпаков А. А.
М.: Директ-Медиа
Монография посвящена методам, алгоритмам и программным структурам повышения производительности вычислений гетерогенных компьютерных систем обработки данных. Исследуются вопросы оценки времени выполнения алгоритмов, вопросы разработки алгоритмов декомпозиции задач на этапы, исследуются вопросы кэширования данных и принятия решений о переносе вычислений на графический процессор. Рассматривается метод проектирования программного обеспечения гетерогенных компьютерных систем. Приводятся результаты экспериментальных исследований и методы тестирования разработанного программного обеспечения.
исследований и построения моделей обработки информационных сигналов в виде временных рядов данных, являются теория <...> Теория и применение цифровой обработки сигналов / Л. Рабинер, Б.
Предпросмотр: Повышение производительности гетерогенных компьютерных систем обработки данных монография.pdf (0,5 Мб)
Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ"
В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.
автоматизированными системами (АС) и находят применение в широком спектре приложений во многих видах экономической <...> вывод об универсальности данного способа и возможности его применения в различных сферах социально-экономической <...> При этом подобные решения могут быть применены в различных социально-экономических сферах. <...> следующие основные направления: Математическое моделирование динамики систем и процессов управления Теория
Предпросмотр: Программная инженерия №10 2024.pdf (0,2 Мб)
Автор: Сидорова Н. П.
М.: Директ-Медиа
Учебное пособие включает восемь практических работ, отражающих основные этапы проектирования реляционных баз данных: инфологическое проектирование, логическое проектирование на основе реляционной модели данных, реализацию базы данных средствами СУБД. Каждая работа содержит необходимые теоретические сведения, используемые для выполнения работы. Построение моделей баз данных предполагает применение CASE-средств. Для реализации базы данных используется СУБД Access.
Кодд использовал математический аппарат теории множеств. <...> В теории РБД различают несколько нормальных форм, каждая из которых характеризуется своим набором ограничений <...> Теория и практика. – М.: Вильямс, 2017. – 1440 с. 7. Кузин А.В.
Предпросмотр: Базы данных. Практикум по проектированию реляционных баз данных учебное пособие.pdf (0,3 Мб)
Автор: Назаркин О. А.
Изд-во Липецкого государственного технического университета
Представлены материалы по использованию популярной современной платформы построения компиляторов LLVM для динамической генерации машинного кода. В первых разделах кратко изложены необходимые сведения, относящиеся к построению абстрактного синтаксического представления программ. Подробно рассмотрена ключевая для LLVM концепция SSA. В последнем разделе приведены сведения справочного характера по наиболее востребованным инструкциям программной модели LLVM, сопровождающиеся примерами их практического использования.
Введение в теорию автоматов, языков и вычислений / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; перевод <...> Теория и реализация языков программирования / В. А. Серебряков, М. П. Галочкин, Д. Р. Гончар, М. Г.
Предпросмотр: Использование платформы LLVM для динамической генерации машинного кода.pdf (0,1 Мб)
Автор: Трошина Г. В.
Изд-во НГТУ
В учебном пособии представлены основные приемы создания М-файлов и графического интерфейса в среде MatLab. Предназначено для студентов, обучающихся по направлениям 09.03.01 – «Информатика и вычислительная техника», 09.03.04 – «Программная инженерия».
Введение в стохастическую теорию управления / К. Острем. – Москва : Мир, 1973. – 320 с. 14. <...> Теория для пользователя / Л. Льюнг ; под ред. Я. З. Цыпкина. – Москва : Наука, 1991. – 432 с.
Предпросмотр: Численные расчеты в среде MATLAB .pdf (0,3 Мб)
Автор: Авдеенко Т. В.
Изд-во НГТУ
Настоящее учебное пособие представляет собой вводную часть курса по искусственному интеллекту, основной целью которого является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. Пособие затрагивает не только теоретические основы рассматриваемой модели представления знаний, но и ее реализацию на языке логического программирования Пролог. Таким образом, студенты не только овладевают теоретическими основами представления знаний в логической модели, но и получают практические навыки применения знаний при написании и отладке логических программ.
Математическая модель Пролога основана на теории исчисления предикатов, в частности на процедурной интерпретации <...> перестала играть роль, так как появилась возможность вычислять их параллельно, а поскольку математическая теория <...> Выполнение программы заключается в попытке доказать целевое утверждение из теории, сформулированной с
Предпросмотр: Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog .pdf (0,3 Мб)
Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.
Программные системы: теория и приложения. 2024. Т. 15. № 2(61). С. 37–86. <...> В теории этот результат, действительно, выглядит многообещающим, поскольку позволяет свести многомерную <...> текстов являются отчеты губернаторов Енисейской губернии XIX в., которые содержат уникальные сведения об экономической <...> Отчеты охватывают широкий спектр тематик: демографические и социально-экономические сведения, состояние <...> Подход N-BVH в теории мог бы амортизировать эту проблему за счет ограничения числа шагов по дереву и
Предпросмотр: Программирование (РАН) №3 (0) 2025.pdf (0,1 Мб)
Автор: Бедердинова Оксана Ивановна
Северный (Арктический) федеральный университет имени М.В. Ломоносова
Рассмотрены основные теоретические положения теории алгоритмов и основные методы и способы работы в интегрированной среде структурного программирования. Приведены задания и примеры создания алгоритмов и на их основе программ линейной, разветвленной, циклической структур, вопросы для самоконтроля.
ISBN 978-5-261-01227-6 Рассмотрены основные теоретические положения теории алгоритмов и основные методы <...> Базы данных: теория и практика: учебник для бакалавров / Б. Я. Советов, В. В. Цехановский, В. Д.
Предпросмотр: Основы алгоритмизации и структурного программирования учебное пособие.pdf (0,6 Мб)
Автор: Востокин С. В.
Изд-во Самарского университета
Предложен метод визуализации и программирования параллельных и распределенных вычислений на основе алгоритмической интерпретации классической модели акторов. Описано применение метода для программирования процессов с различными типами коммуникационных топологий, представлены примеры программ на языке С++ в системе
Templet, приведены практические задания. Подготовлено на кафедре программных систем.
проблемы описания параллельных и распределенных процессов основан на логических или алгебраических теориях <...> Теория и практика параллельных вычислений. 2-е изд. – М.: Интуит. – 2016.
Предпросмотр: Метод создания параллельных и распределенных программ в парадигме акторов.pdf (0,6 Мб)
Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ"
В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.
Теория поля в лингвистике. АН СССР. Ин-т языкознания. М.: Наука, 1974. 255 с. 26. Адмони В. Г. <...> Теория синтеза самопроверяемых цифровых систем на основе кодов с суммированием.
Предпросмотр: Программная инженерия №7 2023.pdf (0,2 Мб)
Автор: Скрынник Олег
М.: ДМК Пресс
В книге четко и последовательно изложены ключевые понятия, принципы и практики DevOps, дано определение DevOps и его место относительно других методологий управления ИТ, включая Agile. Эта книга не про автоматизацию, она акцентирована на разъяснение сути DevOps, построение команды и управление ИТ, без привязки к конкретным технологиям и инструментам. Книга не носит развлекательный характер, не является пособием «как делать DevOps», скорее, это настольный справочник для тех, кто хочет применять DevOps вдумчиво и со смыслом, со знанием дела оперируя понятиями и терминами.
организаций не использовала в своей работе ни лучшие практики, ни стандарты – пока еще не все сферы экономической <...> Инноваторы накапливают опыт Практики постепенно развиваются Лидеры получают максимальную отдачу Время Экономический <...> В соответствии с теорией ограничений, предложенной Илияху Голдратом1, в любой системе в один момент времени <...> Метод является относительно несложным, основан на экономической оценке значимости принимаемого решения <...> 83 Сервисное соглашение, 110 Система контроля версий, 54 Стоимость задержки, 91 Т Теневые релизы, 54 Теория
Предпросмотр: DevOps для ИТ-менеджеров. Концентрированное структурированное изложение передовых идей.pdf (0,3 Мб)
Автор: Стефанова И. А.
Изд-во ПГУТИ
Учебно-методическое пособие «Обработка данных и моделирование в математических пакетах» содержит введение, теоретическую часть, постановку задачи к курсовой работе, задания на выполнение, методические рекомендации по выполнению заданий, дидактический материал, требования к оформлению пояснительной записки выполнения курсовой работы, контрольные вопросы к защите работы, заключение и список используемых источников. Выполнение курсовой работы позволит студентам более углубленно освоить приемы работы и технику программирования в математических средах: изучить некоторые их особенности, сопоставить возможности различных математических пакетов и научиться созданию своих собственных блоков моделирования в пакете расширения Simulink.
Теория вероятностей и математическая статистика.
Предпросмотр: Обработка данных и моделирование в математических пакетах Учебно-методическое пособие по дисциплине Информатика.pdf (0,3 Мб)
Автор: Лисяк В. В.
Ростов н/Д.: Изд-во ЮФУ
В пособии рассмотрены категории 3D-принтеров, их производители и
современные технологии 3D-печати. Представлен материал по методам и
средствам создания 3D-моделей произвольных объектов и приводится аналитический обзор современного доступного программного обеспечения,
обеспечивающего решение задачи создания 3D-моделей.
Экономический кризис 1980-х гг. заставил предприятия искать новые технологии, и становилось понятно, <...> Экономические показатели в результате использования WinSun значительные: на 50 % дешевле по сравнению <...> Какие экономические показатели существенно улучшаются при использовании в строительстве 3D-принтеров? <...> В основе физически корректного рендера лежит теория микроповерхностей, в которой поверхность рассматривается
Предпросмотр: Основы компьютерной графики 3D-моделирование и 3D-печать.pdf (0,6 Мб)
Автор: Евдокимов Ю. К.
М.: ДМК Пресс
В данной книге возможности LabVIEW как среды программирования демонстрируются на примерах в области цифровой обработки сигналов, радиоэлектроники, компьютерных измерений и автоматизации эксперимента, электродинамики и распространения радиоволн. Большая часть примеров в книге строится по принципу «от простого к сложному», показавшему свою эффективность на курсах изучения LabVIEW.
В широком смысле автоматизация – это комплекс технических, организацион" ных и экономических мероприятий <...> Основная цель автоматизации – улучшение технических и экономических по" казателей процессов управления <...> выходного сигнала); r производительные (пропускная способность, бит/с); r конструктивные; r технико"экономические <...> Объяснить полученные результаты, опираясь на знание теории. <...> всего один токовый усилитель), что почти в n раз уменьшает стоимость цены на канал (основной технико"экономический
Предпросмотр: LabVIEW в научных исследованиях.pdf (0,2 Мб)
Автор: Клетте Рейнхард
М.: ДМК Пресс
В этой книге рассмотрены основные аспекты компьютерного зрения: обработка и анализ изображений, анализ плотного движения, сегментация изображений, работа с камерами, трехмерная реконструкция, сопоставление стереоизображений, обнаружение объектов и др. Материал дополняется историческими справками, рекомендациями по дальнейшему чтению и сведениями о рассматриваемых математических понятиях. В конце каждой главы имеются проверенные на практике упражнения и вопросы на понимание материала.
Компьютерное зрение: теория и алгоритмы = Concise Computer Vision / пер. А.А. Слинкин; Р. <...> 29.08.2025)Copyright ООО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» Рейнхард Клетте Компьютерное зрение Теория <...> Теория и алгоритмы / пер. с англ. А. А. Слинкин. – М.: ДМК Пресс, 2019. – 506 с.: ил. <...> Топология – это именно та математическая теория, которая дает ответы на такие вопросы. <...> Задачу оптимизации (7.62) можно решить, применив теорию проекций на выпуклое множество.
Предпросмотр: Компьютерное зрение. Теория и алгоритмы.pdf (0,7 Мб)
Автор: Вирт Никлаус
М.: ДМК Пресс
Книга известного специалиста в области информатики Никлауса Вирта написана по материалам его лекций по вводному курсу проектирования компиляторов. На примере простого языка Оберон-0 рассмотрены все элементы транслятора, включая оптимизацию и генерацию кода. Приведен полный текст компилятора на языке программирования Оберон.
Мы Copyright ООО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» 12 Теория и методы построения компиляторов <...> Copyright ООО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» Теория и методы построения компиляторов. <...> Но зато эта работа оказалась чрезвычайно плодотворной для теории языков программирования и математических <...> Aгентство Kнига-Cервис» 52 Язык программирования Оберон 0 Чтобы избежать потерь в общности и абстрактных теориях <...> Наше подмножество называется Оберон0, и этот выбор достаточно обоснован для освоения основ теории и
Предпросмотр: Построение компиляторов.pdf (0,3 Мб)
Автор: Розема Мишель
М.: ДМК Пресс
В книге излагаются основы моделирования данных с точки зрения языка DAX. Разбираются реальные бизнес-сценарии, связанные с учетом складских запасов, прогнозированием, взаимодействием между отделами в рамках компании и безопасностью данных. Прорабатываются нюансы моделирования данных и распространенные ошибки, допускаемые при построении сложных агрегаций.
DAX для профессионалов: теория и практика. <...> ООО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» Мишель Розема Хенк Влотман DAX для профессионалов: теория <...> BIRMINGHAM—MUMBAI Copyright ООО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» DAX для профессионалов: теория <...> В57 DAX для профессионалов: теория и практика: Выведи свои аналитические навыки в Microsoft Power BI <...> Так в теории должен выглядеть процесс продаж.
Предпросмотр: DAX для профессионалов теория и практика. Выведи свои аналитические навыки в Microsoft Power BI на новый уровень .pdf (1,0 Мб)
Автор: Арыков С. Б.
Изд-во НГТУ
В учебном пособии приводится описание прикладного программного интерфейса OpenMP, рассматриваются примеры разработки, отладки и оптимизации параллельных программ на его основе, содержится лабораторный практикум.
Для знакомства с теорией параллельного программирования рекомендуется книга [4]. <...> Хотя объем вычислений на поток одинаков в теории, из-за особенностей работы с кэшем, памятью и других <...> Теория и практика параллельных вычислений. М.: Интернет-Университет, 2007. 423 с.
Предпросмотр: Параллельное программирование над общей памятью OpenMP.pdf (0,4 Мб)
Автор: Кузнецов А. С.
Сиб. федер. ун-т
В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения трансляторов мультисинтаксических языков программирования мультиверсионного программного обеспечения сложных систем.
программных разработок и внедрения систем управления и обработки информации не оставляют сомнений в экономической <...> Из ранее приведенного определения теории надежности следует, что коэффициент сохранения эффективности <...> Основные понятия теории надежности программного обеспечения базируются на понятиях теории надежности, <...> Теория и технология программирования. Основы построения трансляторов / Ю.Г. <...> Введение в теорию автоматов, языков и вычислений / Дж.Э. Хопкрофт, Р. Мотвани, Дж.Д.
Предпросмотр: Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем.pdf (0,7 Мб)
Автор: Джереми Кит
М.: Манн, Иванов и Фербер
Джереми Кит обладает способностью писать легко и доступно о сложных
вещах и сразу выделять те определенно важные моменты, которые имеют
значение для дизайнеров-разработчиков. В книге «HTML5 для веб-дизайнеров» он рассказывает о современных тенденциях в области web-разработок. В HTML5 появилось много интересных тэгов, в том числе поддержка аудио- и видеофайлов. Теперь вам не надо тратить время на установку плагинов для проигрывания музыки или видео — просто воспользуйтесь одним из новых тегов.Автор убеждает, что можно использовать структурные элементы HTML5 прямо сейчас, например назначить стиль любому элементу, который вы захотите изобрести, или начать использовать доступные вам дополнительные уровни заголовков.
В теории процесс W3C выглядит более демократическим и честным. <...> нарисованный на canvas Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис» МУЛЬТИМЕДИА 35 В теории <...> По крайней мере теория такова. Ни один браузер еще не поддерживает атрибут scoped.
Предпросмотр: HTML5 для веб-дизайнеров.pdf (0,1 Мб)
Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ"
В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.
Предпосылками к импортозамещению программного обеспечения является практика санкционных политических и экономических <...> формальной спецификации и верификации систем в программной и системной инженерии с использованием нотации теории <...> Метамодель определяется в виде теории на языке Event-B. <...> Достоверность обработки сигналов от датчиков наблюдения объектов в различных физических полях // Теория
Предпросмотр: Программная инженерия №2 2024.pdf (0,2 Мб)
Издательский дом ВГУ
Основы алгоритмизации и программирования в настоящее время
представляют собой одну из важнейших областей современных технологий. В настоящее время такие курсы входят в учебные планы ряда университетских специальностей.
Авторы затронули наиболее трудные разделы курса, по которым существует мало учебного материала. При этом считается, что читатель знаком с разделами, посвященным и стекам и очередям, так как в этом издании этим структурам уделено меньше внимания.
Авторы надеются, что методические указания окажутся полезными не
только преподавателям и студентам, но и другим читателям, заинтересованным в получении начальных навыков по компьютерным наукам.
Теория и практика С++ / Г. Шилдт. – СПб. : BHV, 1996. – 412 c. 4. Подбельский В. В. Язык С++ / В.
Предпросмотр: Основы алгоритмизации и программирования. Деревья.pdf (0,7 Мб)
Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ"
В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.
импортозамещения в медицинской информационной системе «Интерин PROMIS Alpha» // Программные системы: теория <...> В терминах теории вычислительных процессов и структур указанные объекты можно связать соотношением вида <...> Интеллектуальные транспортные системы в городской инфраструктуре // Вопросы экономических наук. 2015.
Предпросмотр: Программная инженерия №10 2023.pdf (0,2 Мб)
Автор: Беспалов Д. А.
Ростов н/Д.: Изд-во ЮФУ
Пособие представляет собой описание технологий разработки нативного и
кроссплатформенного программного обеспечения. Разработано на кафедре вычислительной техники ИКТИБ ЮФУ.
подробно рассмотрим, что представляет собой кроссплатформенность, в чем ее ценность для разработчика и экономическая <...> В рамках теории кросс-трансляторов самыми важными вопросами являются переносимость программного кода <...> Изоляция приложений и “песочницы” Понятие «песочницы» появилось из теории безопасности программного обеспечения
Предпросмотр: Операционные системы реального времени и технологии разработки кроссплатформенного программного обеспечения. Ч. 2.pdf (0,5 Мб)
Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.
Теория и системы управления Известия РАН. Физика атмосферы и океана Известия РАН. <...> политика – культура Теоретическая и математическая физика Теоретические основы химической технологии Теория
Предпросмотр: Программирование №1 2017.pdf (0,2 Мб)
Автор: Кугаевских А. В.
Изд-во НГТУ
Пособие посвящено методам проведения системного и бизнес-анализа при разработке ПО. Грамотно составленное описание предметной области и техническое задание – одна из составляющих обеспечения качества ПО. Но бизнес-аналитика не ограничивается только документированием бизнес-процессов, поэтому здесь рассмотрен процесс бизнес-анализа, приведены описания некоторых техник, позволяющих провести реинжиниринг. Приведены такие методики, как IDEF0, DFD, BPMN, ARIS eEPC, UML и IDEF1X. Представлены техники управления требованиями и техники написания ТЗ по шаблонам
документа видения, спецификации требований к ПО и по ГОСТ 34. Для ГОСТ 19 и ГОСТ 34 приведены рекомендации по содержанию ТЗ применительно к современной классификации требований.
В теории систем есть принцип рычага, постулирующий, что при изменении системы она начинает сопротивляться <...> Анализ силового поля интегрирован в трехэтапную теорию изменений Левина: сначала вы «размораживаете» <...> Не стоит также забывать и принцип рычага из теории систем. <...> Технико-экономические показатели (экономическая эффективность, годовая потребность, экономические преимущества <...> Теория и практика / Т. Коннолли, К. Бегг. – 3-е изд. – Москва: Вильямс, 2003. 89.
Предпросмотр: Проектирование информационных систем. Системная и бизнес-аналитика.pdf (0,5 Мб)
Автор: Янишевская А. Г.
Изд-во ОмГТУ
Изложены основы программирования объектов на языке С#, представлены
алгоритмы построения двухмерной компьютерной графики с использованием графической библиотеки OpenGL; приведены примеры программирования в САПР; даны задания для формирования и закрепления практических навыков.
Ознакомьтесь с рекомендациями по используемым библиотекам для построения интерфейса, а также теорией <...> Ознакомьтесь с теорией и описанием необходимых для работы инструментов. 2. <...> Ознакомьтесь с теорией и кодом, представленными ниже. 2. <...> Теория и программный код Силы и нагрузки Вернемся к физической сути рассматриваемой задачи. <...> Зная поле перемещений, по соотношениям из теории упругости мы можем найти поле деформаций: x y xy
Предпросмотр: Программирование компьютерной графики и САПР.pdf (0,9 Мб)
Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ"
В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.
Эта задача сводится к задаче SMT (Satisfiability Modulo Theories — выполнимость формул в теориях) и в <...> средства обработки различных видов коллекций являются благодатной почвой для воплощения новых идей в теории <...> Примером тому может служить ставшее классикой теории языков программирования лямбда-исчисление [4], воплотившееся <...> Теория множеств, со своей стороны, обогатила ЯВУ нотацией построения коллекций путем указания свойств
Предпросмотр: Программная инженерия №5 2023.pdf (0,2 Мб)
Ростов н/Д.: Изд-во ЮФУ
В учебном пособии рассматриваются основные вычислительные методы, применяемые в обработке, представлении экспериментальных данных и для прогнозирования результатов исследований. Особое внимание уделяется реализации программирования в среде MS Excel. Теоретический материал содержит контрольные вопросы, позволяющие оценить уровень усвоения по каждому разделу.
Последовательность изложения материала (теория – практика – тестирование) в пособии построена таким образом <...> описывающими поведение природных объектов, например, физическими, химическими, биологическими, но и экономическими <...> Моделирование не является расширением теории или эксперимента, его можно считать третьим методом исследования <...> Математические модели и численные методы 16 положение или логическое заключение из анализа эмпирических данных), теория <...> Выделите главное в этапах познания мира: гипотеза, теория, закон. 8.
Предпросмотр: Численные методы в физико-химическом эксперименте. Программирование в MS Excel. Часть 1.pdf (0,5 Мб)
Изд-во НГТУ
В данном учебном пособии рассмотрены подходы к решению прямых и обратных задач магниторазведки. Рассмотрено решение линейных и нелинейных обратных задач магниторазведки, в том числе с использованием нейросетей. Пособие может быть рекомендовано как для самостоятельного изучения курса «Современные компьютерные технологии», так и для подготовки к выполнению практических заданий.
Теория обратных задач и регуляризации в геофизике / М. С.
Предпросмотр: Обработка данных магниторазведки обратные задачи и машинное обучение.pdf (0,3 Мб)
Автор: Царев Р. Ю.
Сиб. федер. ун-т
Рассмотрены актуальные вопросы оценки и повышения надежности программно-информационных технологий. Приведены различные подходы к анализу программных средств как традиционной, так и распределенной архитектуры,
а также мультиверсионного программного обеспечения. Рассмотрены основы мультиверсионного проектирования, показан объектно-ориентированный подход к повышению надежности программного обеспечения с введением программной избыточности. Особое внимание уделено проблеме надежности программно-информационных технологий корпоративных структур.
Основные понятия теории надежности комплексов программ базируются на понятиях теории надежности, первоначально <...> тестирования и теорией надежности. <...> Этих вопросов касается инженерная экономика ПО, где представлены методы анализа экономической эффективности <...> инженерной экономики ПО и рассмотрены вопросы как инженерного программирования, так и важности социальных и экономических <...> Основы теории надежности : учеб. пособие / А. М. Половко, С. В.
Предпросмотр: Оценка и повышение надежности программно-информационных технологий.pdf (0,8 Мб)
Автор: Шалев-Шварц Шай
М.: ДМК Пресс
Машинное обучение — один из самых быстро развивающихся разделов информатики с приложениями в самых разных областях. Цель этой книги — познакомить читателя с фундаментальными принципами машинного обучения и характерными для него алгоритмическими парадигмами. Книга содержит обширный свод основополагающих теоретических идей машинного обучения и математические выкладки, благодаря которым эти идеи становятся практическими алгоритмами. Вслед за изложением базовых основ дисциплины рассматривается широкий спектр тем, не нашедших достаточного отражения в предшествующих учебниках: вычислительная сложность обучения, понятия выпуклости и устойчивости, важные алгоритмы, включая стохастический градиентный спуск, нейронные сети и обучение структурированному выводу, а также совсем недавние теоретические концепции, например, PAC-байесовский подход и границы сжатия.
анализа и теории алгоритмов. <...> анализа и теории алгоритмов. <...> информации, теорией игр и оптимизацией. <...> И здесь нет противоречия с теорией Вапника–Червоненкиса, поскольку эта теория относится только к бинарной <...> Он опирается на понятия теории информации.
Предпросмотр: Идеи машинного обучения. От теории к алгоритмам.pdf (1,4 Мб)
Автор: Жуков М. Ю.
Ростов н/Д.: Изд-во ЮФУ
Учебное пособие предназначено для практического освоения языка FreeFem++, используемого для численного решения задач математической физики методом конечных элементов. Содержит подробные программные коды и большой набор задач.
Это связано с широкой применимостью метода для решения различного рода задач задач теории упругости <...> Во многих случаях для известных задач (процессы теплопроводности, некоторые задачи теории упругости и <...> теории течения жидкости) применимость этого метода математически строго обоснована и, в частности, даны <...> Теория метода конечных элементов. М.: Мир, 1977. 12. Митчелл Э., Уэйт Р. <...> Математическая теория электрофореза. Киев: Наукова думка, 1983. 25. Бабский В. Г., Жуков М.Ю.
Предпросмотр: Использование пакета конечных элементов FreeFen++ для задач гидродинамики, электрофореза и биологии.pdf (1,2 Мб)
Автор: Басов Константин Андреевич
М.: ДМК Пресс
В книге рассмотрен Графический интерфейс пользователя (GUI) комплекса метода конечных элементов (МКЭ) ANSYS. В книгу входят общее описание комплекса, сведения о графическом интерфейсе пользователя и типах применяемых конечных элементов. Книга предназначена лицам, изучающим комплекс под руководством инструктора (преподавателя). При написании книги автор опирался на собственный опыт преподавания на кафедре одного из московских технических университетов и учитывал опыт, накопленный учебным центром компании ЕМТ.
Балочные элементы BEAM3, BEAM4, BEAM23, BEAM24, BEAM44 и BEAM54 построены на основе технической теории <...> Вариационные принципы тео рии упругости и теории оболочек. – М.: Наука, 1978. – 288 с. 2. <...> Теория механических колебаний.– М.: Машиностроение, 1980. – 408 с. 8. Биргер И. А. <...> Теория упругости. – М.: Высшая школа, 1979. – 432 с. 18. Зенкевич О. <...> Элементы теории функций и функцио нального анализа. – М.: Наука, 1989. – 624 с. 22. Марчук Г.
Предпросмотр: ANSYS для конструкторов.pdf (0,1 Мб)
Автор: Дьяконов В. П.
М.: ДМК Пресс
Самоучитель по новейшим реализациям пакета визуального блочного имитационного моделирования Simulink матричной системы MATLAB. Подробно описаны библиотека блоков Simulink, методика подготовки диаграмм моделей, их редактирование, настройка и запуск на исполнение. Дано описание наиболее важных пакетов расширения Simulink инструментального ящика Blockset, в том числе SimPowerSystems, SimMechanics, Aerospace, Stateflow, Signal Processing, Telecommunication, Video and Image Processing и др. Отражены средства виртуальной реальности. Описаны сотни наглядных примеров применения этих средств.
В теории управления, да и в радиоэлектронике, часто используется логариф мическая амплитудно частотная <...> Изучением законов, которым подчиняются случайные собы тия, занимается теория вероятности. <...> Теория и практика. – М.: Но лидж, 2000. 2. Гантмахер Ф. <...> Теория матриц. – М.: Наука, Физматлит, 1988. 3. Фадеев А. К., Фадеева В. Н. <...> От теории к практике. 2е изд., доп. и перераб. – М.: СОЛОНПресс, 2004. 42. Медведев В.
Предпросмотр: Simulink 567 самоучитель.pdf (0,7 Мб)
Автор: Дьяконов Владимир Павлович
М.: ДМК Пресс
Самоучитель по новейшим реализациям пакета визуального блочного имитационного моделирования Simulink матричной системы MATLAB. Подробно описаны библиотека блоков Simulink, методика подготовки диаграмм моделей, их редактирование, настройка и запуск на исполнение. Дано описание наиболее важных пакетов расширения Simulink инструментального ящика Blockset, в том числе SimPowerSystems, SimMechanics, Aerospace, Stateflow, Signal Processing, Telecommunication, Video and Image Processing и др. Отражены средства виртуальной реальности. Описаны сотни наглядных примеров применения этих средств.
В теории управления, да и в радиоэлектронике, часто используется логариф мическая амплитудно частотная <...> Изучением законов, которым подчиняются случайные собы тия, занимается теория вероятности. <...> Теория и практика. – М.: Но лидж, 2000. 2. Гантмахер Ф. <...> Теория матриц. – М.: Наука, Физматлит, 1988. 3. Фадеев А. К., Фадеева В. Н. <...> От теории к практике. 2е изд., доп. и перераб. – М.: СОЛОНПресс, 2004. 42. Медведев В.
Предпросмотр: Simulink 567 самоучитель.pdf (0,6 Мб)
Автор: Головашкин Д. Л.
Издательство СГАУ
Излагаются методики построения параллельных алгоритмов, вычисления
по которым могут быть реализованы на системах с мультипроцессорной
архитектурой. Рассматриваются особенности, связанные с декомпозицией
исходного численного метода, организацией коммуникаций и объединением задач параллельного алгоритма. Приведены 17 параллельных алгоритмов для задач линейной алгебры и теории разностных схем. На многочисленных примерах продемонстрированы приемы синтеза и анализа в теории параллельных вычислений.
Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)
Приведены 17 параллельных алгоритмов для задач линейной алгебры и теории разностных схем. <...> На многочисленных примерах продемонстрированы приемы синтеза и анализа в теории параллельных вычислений <...> В теории параллельных вычислений, сравнивая алгоритмы или процессы, пользуются относительными характеристиками <...> Говоря языком теории параллельных вычислений, его интересует ускорение ПВП S, определяемое как отношение <...> Теория разностных схем.М.: Наука, 1989. 614 c. 9. Самарский А.А., Николаев Е.С.
Предпросмотр: Методы параллельных вычислений .pdf (0,3 Мб)