ivdon3@bk.ru
Рынок труда как сложная социально-экономическая система, для исследования и моделирования процессов и явлений которой необходимо учитывать ряд характерных свойств (стохастичность, нелинейность, инерционность, нестационарность), обуславливает необходимость математической формализации задачи оптимального управления, позволяющей, в частности, для региональной системы рынка труда достигнуть желаемых показателей, а именно заданного уровня безработицы.
Ключевые слова: Рынок труда, оптимальное управление, оптимизационные задачи,принцип максимума Понтрягина, социально-экономическая система
08.00.05 - Экономика и управление народным хозяйством (по отраслям и сферам деятельности)
В данной статье была представлена одна из основных схем классификации моделей надежности программного обеспечения. Так же рассмотрены иные возможные схемы классификации. Их взаимосвязи и взаимопересечения. Изучены наиболее часто встречаемые методики и факторы надежности программного обеспечения. Показаны формулы расчета для некоторых моделей надежности.
Ключевые слова: модели надежности программного обеспечения, классификация моделей надежности программного обеспечения, факторы надежности программного обеспечения, формулы расчета надежности программного обеспечения
Настоящие экономические проблемы привели, в сфере организации среды обитания человека, к появлению синтетической науки - архитектурной экологии. Задачи энергосбережения и привлечения альтернативных источников, при сбалансированной экологической среде, создали необходимость разработок энергоэффективных зданий. Поиск новых путей и энергоэффективных технологий идут в двух взаимнодополняемых направлениях6энергоэкономичных и энергоактивных домах. Решение экологических(и энергетических) проблем в комплексном подходе, при всех различиях этих направлений.
Ключевые слова: архитектура, энергоэффективные здания, энергосбережение, энергоэффективные технологии, энергоэкономичные дома, энергоактивные дома.
08.00.05 - Экономика и управление народным хозяйством (по отраслям и сферам деятельности)
Сведения об авторах выпуска №4 ч.2 (2012)
Ключевые слова: авторы
В работе поставлена задача о достижении оптимальной пропускной способности телекоммуникационных каналов связи. Рассматриваются технические аспекты управления полосой пропускания каналов с помощью организации виртуальных коммутируемых каналов. Формально определяются параметры, влияющие на гарантированную доставку информации. Предлагается модель и решение задачи управления параметрами гарантированной доставки информации в каналах связи, основанная на методах теории случайных процессов и теории анализа рисков.
Ключевые слова: надежность телекоммуникационных систем, моделирование телекоммуникационных систем, случайные процессы, оптимальное управление рисками.
Ключевые слова:
05.13.01 - Системный анализ, управление и обработка информации (по отраслям)
В статье рассматривается метод вычисления комбинированного диагностического признака, называемого спектральной сигнатурой, основанного на применении математического аппарата преобразований Уолша для логических функций и дифференциальном логическом исчислении. Рассматривается класс устройств, в которых возможна реализация предложенного метода. Разработанный метод определения спектральной сигнатуры для дискретных устройств отличается от известных методов диагностики меньшей вычислительной сложностью и допускает реализацию в виде самотестирования в процессе функционирования устройств.
Ключевые слова: спектральное тестирование, сигнатурный анализ, техническая диагностика, информационно-управляющие системы.
Ключевые слова:
05.13.01 - Системный анализ, управление и обработка информации (по отраслям)
Сведения об авторах выпуска №1 за 2012 год
Ключевые слова: авторы
Когда применение контактных методов затруднительно, оценка состояния арматуры, снабженной электродвигателем, производится по сигналу тока двигателя. При анализе сигнала тока возникает задача выделения информативных составляющих на фоне помехи. В данной статье предлагается обработка диагностической информации, представленной в сигнале тока двигателя арматуры. Предлагаемые авторами методы обработки диагностической информации позволяют более точно установить состояние диагностируемого оборудования, чем применяемые в данной области штатные методы.
Ключевые слова: техническая диагностика, обработка сигналов, демодуляция, спектральный анализ, фазовый портрет.
05.13.01 - Системный анализ, управление и обработка информации (по отраслям)
Приводится экспериментальное исследование частотных составляющих токовых сигналов, снятых с электродвигателя экспериментальной установки с внесенным дефектом в червячную передачу. Указываются ограничения Фурье – преобразования, которые не позволяют точно определить место дефекта. Приводятся результаты анализа токового сигнала при помощи непрерывного вейвлет - преобразования.
Ключевые слова: диагностика,электроприводное оборудование, вейвлет - преобразование, Фурье – преобразование.
05.13.18 - Математическое моделирование, численные методы и комплексы программ
Статья посвящена разработке диагностической модели, обосновывающей выявление дефектов по сигналам тока электромеханического оборудования, содержащего информацию о линейных и нелинейных процессах в объекте. Сопоставление результатов численного моделирования и натурных экспериментов позволяет сделать вывод об адекватности модели. Возможно применение данной модели для формирования эталонных диагностических признаков с целью обучения автоматизированной системы диагностики.
Ключевые слова: техническая диагностика, нелинейный процесс, модуляция, спектральный анализ, математическое моделирование.
05.13.18 - Математическое моделирование, численные методы и комплексы программ
Сведения об авторах выпуска №4 за 2011 год
Ключевые слова: авторы
В статье проводится классификация методов верификации программного обеспечения (ПО), которые разнообразны по своему назначению, по способам достижения результата, по способу проверки и подтверждения у ПО предопределенных свойств.
В целом производится деление на структурные и функциональные, и имеющие в своей основе формальные математические модели. Методы первой группы представляют собой тестирование и экспертный анализ свойств ПО, второй – работают с моделями и абстрактными представлениями проверяемого ПО. Отличительной особенностью экспертизы является ориентированность на экспертные оценки, поэтому их нельзя отнести к универсальным и строго формализованным. Различные виды экспертиз применяются к различным свойствам ПО на различных этапах проектирования, что позволяет своевременно определять и устранять неполадки и дефекты в работе ПО.
Отличительная особенность формальных методов – удобство и экономичность, так как они проводятся без обращения к физической реализации. Для работы с формальными методами применяются специфические техники, такие как дедуктивный анализ (theorem proving), проверка моделей (model checking), абстрактная интерпретация (abstract interpretation).
Так же в статье перечисляются логические и алгебраические исчисления применимые для работы с формальными моделями.
Представленная в статье классификация частично формализованных и формальных методов верификации отражает современное состояние исследований в данной области.
Ключевые слова:верификация, частично формализованные методы верификации ПО, формальные модели верификации ПО, экспертиза, статический анализ, динамические методы, формальные методы, синтетические методы.
05.13.18 - Математическое моделирование, численные методы и комплексы программ
Сведения об авторах выпуска №4 за 2010 год
Ключевые слова: авторы
Предложен метод определения технического состояния электроприводной арматуры, основанный на использовании непрерывного вейвлет - преобразования.
Ключевые слова: диагностика, электроприводная арматура, вейвлет - преобразование, ток.
№ гос. регистрации 0420900096\0003
05.13.18 - Математическое моделирование, численные методы и комплексы программ