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

Учебное пособие представляет собой краткое изложение лекционного курса «Программирование на языке С», читаемого для студентов ГУИМЦ. Изложены основные концепции программирования на языке С/С++, рассмотрены особенности реализации классических алгоритмов программирования на этом языке, приведены примеры использования С/С++ для решения конкретных задач с использованием различных типов и структур данных.

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

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

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

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

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

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

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

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

Язык программирования C# был разработан в качестве эффективного, надежного и простого в использовании средства. В настоящее время C# является частью сиcтемы Visual Studio .NET, предназначенной для удобной работы с платформой .NET Framework и создания нового способа написания надежного программного обеспечения для высокопроизводительных серверов, компактных мобильных устройств и многого другого.

В пособии представлены теоретические основы и архитектура платформы .NET Framework и язык программирования C#. Материал построен на использовании последней версии платформы, языка программирования C# и инструментальных средств разработки Microsoft Visual Studio Professional 2012 и сопровождается подробными примерами.

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

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

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

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

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

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

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

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

В номере освещены наиболее актуальные вопросы экономики России после выхода ее из экономического кризиса. В разделе 1 «Актуальные проблемы современного развития экономики» опубликована статья Ф. Н. Завьялова и А. М. Козыревой, в которой поднимаются проблемы развития сельского хозяйства России в условиях ее членства в ВТО. При неоднозначности решения авторы обосновывают свою позицию по этому вопросу. Статья М. И. Лебедевой раскрывает проблему правильного понимания основных терминов, связанных с инновационным развитием экономики. В работе О. В. Каплиной предложена методика отбора территориальных объектов для проведения международного сравнительного анализа их социально-экономического развития. Статья Г. И. Панькиной посвящена раскрытию экономической природы ренты и антиренты. В разделе 2 «Проблемы банковского дела» в статье Н. А. Милькевич и Л. Н. Назаровой проведен сравнительный анализ доходности депозитного вклада и банковского сертификата, показаны недостатки и преимущества каждого банковского продукта. В раздел 3 «Проблемы социальных отношений» включены: статья А. И. Василевского, где поставлены вопросы совершенствования подготовки специалистов вузов для инновационного развития экономики, статья В. М. Мелиховского и И. Г. Переломовой, в которой ставятся вопросы оценки интеллектуальной собственности и регулирования рынка знаний как важнейшего фактора производства. В разделе 4 «Вопросы совершенствования отраслевого развития» в статье А. В. Иванова ставятся вопросы совершенствования ценообразования в строительной отрасли, где определены факторы, значительно удорожающие ее продукцию. В статье В. А. Хомякова показаны функции аудита для обеспечения систем безопасности информационных проектов. Статья В. П. Сергеева посвящена новому подходу в дисперсионном анализе качественных признаков. В разделе критика и библиография дана рецензия на книгу доц. Г. И. Вовненко «Измерение результатов национальной экономики: былое и думы».

В методических указаниях приведены описания лабораторных работ и варианты заданий для практикума на ЭВМ по курсам «Численные методы и математическое моделирование» и «Вычислительная физика».

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

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

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

Курс лекций посвящен рассмотрению устройства и основных механизмов среды .NET Framework версии 4.0, а также разработке для нее программных приложений и компонентов на языке С# версии 4.0.

Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, etc.

Предназначен для студентов, обучающихся по направлению 010200.62 Математика и компьютерные науки, специальности 090301.65 Компьютерная безопасность (дисциплина «Дискретная математика», циклы БЗ, С2), очной формы обучения.

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

В сборнике «Труды РФЯЦ-ВНИИЭФ» опубликованы результаты научных исследований, а также методических и проектно-конструкторских разработок в области прикладных задач теоретической физики, математического моделирования физических процессов, ядерной физики, физики ядерных реакторов, исследований по термоядерному синтезу, электрофизики, физики ускорителей, приборов и техники эксперимента, физики лазеров, гидродинамики, реологии, физики горения и взрыва, физической химии, экологии, материаловедения, безопасности, средств защиты от несанкционированных действий, электроники, радиотехники, оптоэлектроники.

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

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

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

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

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

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

Рассматривается задача определения характеристик систем массового обслуживания (СМО) GL/GI с бесконечной очередью и потерями. На данный момент не существует точных методов анализа таких систем. В работе на основе двумерной диффузионной аппроксимации фундаментальных процессов поступления и ухода заявок получены аналитические выражения для определения основных характеристик таких СМО на уровне средних значений и дисперсий распределений времен поступления и обслуживания.

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

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

Предлагается математическая модель системы принятия решений по управлению качеством образования. Модель разработана на основе метода вербального анализа решений. В статье рассматриваются математические аспекты реализации модели в среде MathCAD.

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

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

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

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

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

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

В статье рассматривается подход к построению различных последовательных моделей выполнения функциональных блоков нового международного стандарта IEC 61499 на основе приоритетного механизма. Предлагаются многоуровневые приоритеты модельных переходов и правила их изменения для реализации различных дисциплин планирования выполнения функциональных блоков. Рассматриваются три модели последовательного выполнения: 1) "Прямой вызов", 2) модель на основе последовательной гипотезы, 3) синхронная модель.

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

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

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

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