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

В книге описаны основы программирования и применения трех последних версий системы Mathematica 5 (5.1 и 5.2), 6.0 и 7.0. Все они — мировые лидеры среди универсальных систем компьютерной математики. Особое внимание уделено описанию наиболее популярной версии Mathematica 6.0, в ядро которой добавлено свыше тысячи новых функций и команд, введены уникальные средства динамической оценки переменных, визуализации любых видов вычислений и динамического графического интерфейса ноутбуков (документов). Описаны сотни примеров применения систем. В последнюю главу добавлены новые возможности версии 7.0.

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

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

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

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

Книга представляет собой учебное пособие для самостоятельного изучения системы автоматизированного проектирования NX. Адресована конструкторам машиностроительных производств, уже имеющим представление о 3D-моделировании, но нуждающимся в повышении квалификации. Более опытным пользователям издание поможет ускорить проектирование и упростить оформление чертежей, а также познакомиться с синхронной технологией. Пособие обобщает опыт преподавателей российских вузов и специалистов машиностроительных предприятий по обучению работе в NX. В книге приводится подробное описание техники создания сборок, тел, поверхностей, оформления чертежей в NX. Затронуты вопросы работы с модулем для разработки трубопроводов и электрожгутов, обеспечения автоматизированного контроля моделей, численного анализа (CAE). Отдельно освещены особенности работы NX в связке с системой Teamcenter. Особо полезен будет комплекс упражнений, направленный на отработку ключевых навыков работы в CAD/CAM/CAE системе. На сайте издательства www.dmkpress.com вы найдете флеш-презентацию NX6, примеры успешных внедрений системы на отечественных и зарубежных предприятиях, информацию о том, как оформить лицензию NX, а также все учебные файлы и модели, необходимые для выполнения упражнений. Кроме того, в дополнительных материалах имеется видеокурс по NX6, разработанный специалистами российского представительства компании Siemens PLM Software и содержащий часть материалов базового тренинга по NX.

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

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

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

Книга представляет собой учебное пособие для самостоятельного изучения системы автоматизированного проектирования NX. В книге приводится подробное описание техники создания сборок, тел, поверхностей, оформления чертежей в NX. Затронуты вопросы работы с модулем для разработки трубопроводов и электрожгутов, обеспечения автоматизированного контроля моделей, численного анализа (CAE). Отдельно освещены особенности работы NX в связке с системой Teamcenter. Особо полезен будет комплекс упражнений, направленный на отработку ключевых навыков работы в CAD/CAM/CAE системе. На сайте издательства www.dmkpress.com вы найдете флеш-презентацию NX6, примеры успешных внедрений системы на отечественных и зарубежных предприятиях, информацию о том, как оформить лицензию NX, а также все учебные файлы и модели, необходимые для выполнения упражнений. Кроме того, в дополнительных материалах имеется видеокурс по NX6, разработанный специалистами российского представительства компании Siemens PLM Software и содержащий часть материалов базового тренинга по NX.

Предназначено для студентов, обучающихся по направлениям «Агроинженерия» и «Теплоэнергетика и теплотехника».

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

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

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

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

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

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

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

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

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

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

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

Применение машинного обучения для лучшего понимания природы данных — умение, необходимое любому современному разработчику программ или аналитику. Python — замечательный язык для создания приложений машинного обучения. Благодаря своей динамичности он позволяет быстро производить разведочный анализ данных и экспериментировать с ними. Обладая первоклассным набором библиотек машинного обучения с открытым исходным кодом, Python дает возможность сосредоточиться на решаемой задаче и в то же время опробовать различные идеи. Книга начинается с краткого введения в предмет машинного обучения и знакомства с библиотеками NumPy, SciPy, scikit-learn. Но довольно быстро авторы переходят к более серьезным проектам с реальными наборами данных, в частности, тематическому моделированию, анализу корзины покупок, облачным вычислениям и др.

Эта книга показывает, как значительно усилить безопасность операционной системы Linux и устранить имеющиеся уязвимости установленных приложений. Вы узнаете, как работает SELinux, как можно настроить ее под свои нужды и усилить с ее помощью защиту систем виртуализации, включающих технологию libvirt (sVirt) и контейнеризацию Docker. Также рассказывается об управляющих действиях, позволяющих улучшить безопасность конкретной системы с помощью принудительного контроля доступа – стратегии защиты, определяющей безопасность Linux уже много лет. Большинство возможностей системы защиты рассматривается на реальных примерах.

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

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

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

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

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

В данном пособии приведены эффективные приемы работы с распространенными программными средствами математического и имитационного моделирования.

Пособие представляет собой сборник задач для практических занятий. Предназначено для студентов факультета информатики, обучающихся по специальностям 010400.62 и 010400.68 "Прикладная математика и информатика".

Лабораторный практикум по дисциплине «Программно-аппаратные средства обеспечения информационной безопасности» предназначен для подготовки специалистов по защите информации и бакалавров по информационной безопасности. Лабораторный практикум направлен на изучение назначения и функций программно-аппаратных средств обеспечения безопасности, методов защиты информации от несанкционированного доступа, методов обеспечения целостности, средств идентификации и аутентификации пользователей автоматизированных систем с использованием программно-аппаратных средств защиты информации: системы защиты информации «Secret Net 5.0», «Аккорд-NT/2000», «Dallas Lock 7.5».

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

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

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

Теория конечных автоматов и формальных языков. Гриф. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

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

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

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

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

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

Платформа Ghidra, ставшая итогом более десяти лет работы в Агентстве национальной безопасности, была разработана для решения наиболее трудных задач обратной разработки (Reverse Engeneering – RE). После раскрытия исходного кода этого инструмента, ранее предназначавшегося только для служебного пользования, один из лучших в мире дизассемблеров и интуитивно понятных декомпиляторов оказался в руках всех специалистов, стоящих на страже кибербезопасности. Эта книга, рассчитанная равно на начинающих и опытных пользователей, поможет вам во всеоружии встретить задачу RE и анализировать файлы, как это делают профессионалы.

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

Предметом книги является подробное рассмотрение реальных инженерных проблем, решенных посредством модулей SolidWorks Simulation (COSMOSWorks, COSMOSMotion и COSMOSFloWorks). Это задачи анализа прочности, кинематики, динамики, гидрогазодинамики и теплопередачи. Прочтя книгу, читатель получит полное представление о функциональности алгоритмов и программ, ознакомится с методиками использования численных методов, присутствующих в популярной системе проектирования. Особенностью издания является обсуждение вопросов, связанных с совместным применением нормативных расчетных методик и универсальных компьютерных моделей, на базе реальных инженерных задач. Прослеживается путь решения от постановки задачи до обсуждения результатов. В качестве приложений предлагаются задачи Конкурса мастеров SolidWorks/COSMOSWorks, сопровождаемые результатами. На сайте www.dmkpress.com выложены геометрические и расчетные модели большинства задач, на базе которых построена книга. Многие модели включают результаты расчетов. Также на сайт издательства помещены полноцветные иллюстрации, приведенные в книге.

Пособие представляет собой описание технологий разработки нативного и кроссплатформенного программного обеспечения. Разработано на кафедре вычислительной техники ИКТИБ ЮФУ.

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

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

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

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

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