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

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

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

Изложены краткие сведения по структурированным типам данных языка Object Pascal (строки, множества, записи, файлы). Излагаемый материал проиллюстрирован примерами решения задач в консольном приложении среды Delphi. Для каждого типа данных приведены задания для самостоятельной работы студентов.

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

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

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

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

Рассмотрены особенности программируемых логических интегральных схем фирмы 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, а также проведена его экспериментальная реализация на ПЛИС.

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