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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дана краткая характеристика Microsoft Office 2000. Из- ложены принципы работы с текстовым процессором Word 2000: ввод и редактирование текста, выравнивание и форматирование, проверка и замена текста, разработка таблиц, структура доку- мента, форматирование страниц, колонки, разработка таблиц, использование стилей, структура документа, источники данных, документы слияния, формы, ссылки, предметный указатель, ог- лавление, версии документа, отображение исправлений, защита документа.

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

Рассмотрены основные элементы среды разработки программ, а также базовые конструкции алгоритмического языка Visual Basiс for Ap- plication. Показаны примеры разработки пользовательских функций Ехсel Продемонстрированы приемы работы с отладчиком программ. Даны об- щие принципы и примеры создания пользовательских программ (макро- сов) и форм для создания своих приложений в среде Excel. Пособие может быть использовано при изучении дисциплин «Ин- форматика», «Применение ЭВМ в технологии» и «Применение ЭВМ в расчетах», а также при курсовом и дипломном проектировании.

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

Съемочные возможности цифровой фотокамеры.

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