• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдена 31 публикация
Сортировка:
по названию
по году
Статья
Рыбаков М. Н., Чагрова Л. А. Программные продукты и системы. 2018. Т. 31. № 3. С. 591-597.

В качестве формального средства, описывающего свойства различных структур (в том числе структур вычислений), обычно используют язык логики предикатов. Этот язык, с одной стороны, понятен и удобен, а с другой, многие вопросы, важные с прикладной точки зрения, для него алгоритмически неразрешимы, то есть не могут быть решены программно. Сейчас существует много альтернативных языков, позволяющих описывать вычисления и их свойства, при этом, в отличие от языка логики предикатов, аналогичные вопросы для них алгоритмически разрешимы. В работе рассматривается один из таких языков – язык логики ветвящегося времени CTL. Он используется для верификации программ, так как содержит средства для описания свойств программных вычислений, в частности, свойств бинарного отношения, возникающего в реляционной семантике Крипке. В работе исследуется возможность алгоритмического нахождения формул языка первого порядка, которые задают те же классы шкал Крипке, что и формулы языка логики CTL. Известно, что для интуицинистских формул проблема их первопорядковой определимости алгоритмически неразрешима. Показано, как, используя перевод Гёделя интуиционистских формул в модальные, а затем перевод получившихся модальных формул в формулы языка логики CTL, свести проблему первопорядковой определимости интуиционистских формул на шкалах Крипке к проблеме первопопорядковой определимости CTL-формул на шкалах Крипке. В качестве следствия такого сведения получена алгоритмическая неразрешимость соответствующей проблемы для CTL. В заключении обсуждаются возможные модификации приведенной конструкции с целью распространения полученного результата на фрагменты языка логики CTL, а также алгоритмическая разрешимость проблемы CTL-определимости формул первого порядка.

Добавлено: 6 октября 2019
Статья
Мадера А. Г. Программные продукты и системы. 2014. № 4. С. 41-45.

Практика показывает, что реальные температурные поля технических систем носят неопределенный интерваль-ный характер. Это обусловлено интервальным характером факторов, определяющих тепловой режим технической системы, а именно: параметрами конструкции технической системы, обладающими статистическим технологиче-ским разбросом изготовления; факторами, возникающими при функционировании технической системы (потреб-ляемые мощности, тепловые потоки, параметры внутренней среды); факторами окружающей среды (температуры среды, хладоносителей, скорости потоков и пр.). Вместе с тем моделирование температурных полей технических систем в настоящее время проводится в предположении детерминированности, при котором все параметры теплово-го режима считаются однозначно и абсолютно точно известными. В статье описываются метод и алгоритм матема-тического и компьютерного моделирования интервально стохастических температурных полей технических систем. Метод и алгоритм основаны на авторских разработках по матрично-топологическому методу, программному ком-плексу моделирования детерминированных трехмерных температурных полей технических систем (STF-ElectronMod), а также на методе статистических испытаний. Применение разработанного метода и алгоритма к мо-делированию интервально стохастических температурных полей рассмотрено на примере электронной системы.

 

Добавлено: 17 августа 2015
Статья
Папулин С. Ю. Программные продукты и системы. 2014. № 1. С. 57-60.

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

Добавлено: 29 октября 2015
Статья
Завертяева М. А., Паршаков П. А. Программные продукты и системы. 2012. № 4 (100). С. 90-96.

 

 

В статье проводится сравнительный анализ нейросетевого моделирования и регрессионного анализа для целей прогнозирования индекса S&P 500. Изначально строится прогноз абсолютного значения индекса, затем обосновывается необходимость использования стационарных данных, то есть доходности S&P 500. Сравнение методов прогнозирования проводится в два этапа. Сначала методы сравниваются по коэффициенту детерминации за 3 и 12 месяцев и качеству предсказания тренда доходности. Отметим, что выбор модели и ее тестирование производится на разных временных промежутках (так называемых периодах in-sample и out-of-sample). Исходя из того, что первостепенным желанием трейдера является извлечение прибыли, на втором этапе  выбираются такие трейдинговые критерии, как прибыль и прибыль, взвешенная на риск, мерой которого является дродаун. На более длинном временном промежутке (12 месяцев) лучшую доходность показала факторная регрессия, однако по показателю экономической прибыли выиграла нейросеть. При рассмотрении более короткого промежутка (3 месяца) нейросеть опередила факторную и авторегрессию по обоим сравниваемым показателям. Таким образом, нейросети хорошо подходят для оценки биржевой динамики за счет своей гибкости и умения находить нелинейные закономерности.

Добавлено: 12 марта 2013
Статья
Воронова Л. И., Григорьева М. Программные продукты и системы. 2009. № 2(86). С. 170-172.
Добавлено: 30 октября 2010
Статья
Поликарпов С. А., Жижченко А. Б., Жижченко М. и др. Программные продукты и системы. 2013. № 2.

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

Добавлено: 19 октября 2015
Статья
Мадера А. Г. Программные продукты и системы. 2015. № 4(112). С. 79-86.

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

Добавлено: 19 августа 2016
Статья
Мадера А. Г. Программные продукты и системы. 2011. № 4. С. 33-38.
Добавлено: 7 декабря 2011
Статья
Овсянников А. П., Овсянникова Т. В., Овчаренко С. А. Программные продукты и системы. 2012. № 4. С. 10-18.

Описывается реализация федеративного контроля доступа для научных сетей на основе технологии eduroam. Технология предоставляет пользователям возможность безопасной аутентификации для доступа к сети и использования сетевых ресурсов в любой сети федерации eduroam с использованием единственного набора учетных данных. Рассматриваются основные технологии и протоколы, используемые для обеспечения прозрачной аутентификации пользователей. Авторами впервые предложен механизм прав доступа на основе групп институтов и пользователей. Информация о группах хранится на групповых RADIUS-серверах в виде списка институтов или списка пользователей. Для аутентификации пользователя в eduroam сервис-провайдер передает запрос на аутентификацию, содержащий имя и пароль пользователя в зашифрованном виде, RADIUS-серверу идентификации института пользователя. Сервер идентификации определяется по доменному имени пользователя, запрос передается через иерархическую систему прокси-серверов RADIUS. Если сервис-провайдер обеспечивает специальный доступ для пользователей некоторой группы, он также направляет на RADIUS-сервер группы запрос о принадлежности пользователя этой группе. Запрос передается через иерархическую систему групповых серверов RADIUS. Иерархия прокси-серверов RADIUS федерации eduroam и групповых серверов основывается на доменной системе имен. Реализация описанных механизмов требует незначительной модификации RADIUS-сервера сервис-провайдера для поддержки групп и не требует внесения изменений в RADIUS-серверы провайдеров идентификации и прокси- серверы системы eduroam. Поддержка групп полностью совместима с существующей системой eduroam, в одной системе могут одновременно функционировать серверы RADIUS сервис-провайдера с поддержкой групп и без поддержки.

Добавлено: 20 августа 2015
Статья
Мадера А. Г., Решетников В. Программные продукты и системы. 2017. № 3. С. 367-372.
Аннотация:Рассмотрены концепции математического и компьютерного моделирования, положенные в основу разработки и создания многофункционального программного комплекса для теплового проектирования сложных электронных систем. Показаны принципиальные недостатки зарубежных программных комплексов теплового проектирования, которые не позволяют использовать их в практике проектирования и создания конкурентоспособных электронных систем. В статье обоснованы требования к многофункциональному программному комплексу для адекватного проектирования тепловых процессов и температурных распределений в электронных системах в условиях функционирования и эксплуатации, приближенных к реальным, а именно: программный комплекс должен обеспечивать возможность моделировать тепловые процессы в электронных системах, являющиеся нелинейными, нестационарными, трехмерными, интервально-стохастическими, а также учитывать влияние тепловой обратной связи, особенности конструкции и монтажа элементов в электронной системе, воздействие дестабилизирующих механических, климатических и радиационных факторов. Архитектура многофункционального программного комплекса должна включать высокоэффективное математическое вычислительное ядро, развитую сервисную пользовательскую оболочку, отвечающую современным требованиям к сложным программным комплексам и системам. Сервисная оболочка, в свою очередь, должна обеспечивать визуальную, наглядную и удобную для восприятия форму задания исходных данных в виде цветных изображений температурных распределений и других тепловых характеристик на различных иерархических уровнях. Программный комплекс реализуется в среде Microsoft Visual Studio, обеспечивающей объектно-ориентированный подход, на языке высокого уровня С#, под управлением семейства операционных систем Microsoft Windows. Модульность архитектуры позволяет эффективно расширять возможности и модернизацию программного комплекса.
Добавлено: 1 ноября 2017
Статья
Мадера А. Г., Кандалов П. Программные продукты и системы. 2010. № 2. С. 29-33.
Добавлено: 15 января 2011
Статья
Афанасьев А. П., Дзюба С. М., Емельянова И. Программные продукты и системы. 2017. Т. 30. № 2. С. 235-240.

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

Добавлено: 12 марта 2018
Статья
Афанасьев А. П., Дзюба С., Пчелинцев А. и др. Программные продукты и системы. 2018. Т.  31. № 4. С. 705-709.

Статья посвящена проблеме синтеза оптимального управления нелинейными системами с выделенной линейной частью по квадратичному критерию. Данная проблема имеет достаточно большое значение, поскольку многие модели технических, физических, биологических и экономических систем описываются именно такими моделями.Приведен метод синтеза оптимального управления с обратной связью. Онбазируется на специальном методе по-следовательных приближений и является развитием результатов, полученных в более ранних работах авторов, в кото-рыхдоказано: если время работы системы достаточно мало, то предложенный метод равномерно сходится. Это поз-воляет установить существование решения исходной задачи в виде закона управления с обратной связью и дает про-цедуру приближенного построения этого закона.Если время работы системы велико, какэто обычно бывает на практике, то доказать равномерную сходимость метода последовательных приближений не удается. Этообъясняется спецификой метода. Однако многочисленные вычислительные эксперименты показали, что простая сходимость метода наблюдается во многих случаях. Более того, можно показать, что изсходимостиметодана произвольном промежутке времени следует существование решения исходной задачи.Это дополнительно дает ее (задачи) приближенное решение, причем в виде закона управления с обратной связью.Таким образом, предложенный метод является обоснованным для решения задач во многих практических ситуа-циях. В статье приведен пример его использования для решениязадачистабилизации режимов работы регулятора Уатта. Данный пример имеет достаточно большоепрактическое значение, поскольку стабилизация работы этого ре-гулятора является классической задачей теории управления. Для численной реализации примера использовались ме-тоды объектно-ориентированного программирования. Численныйэксперимент показал, что метод позволяет стабили-зироватьработурегулятора Уатта в достаточно широком диапазоне извлечения параметров

Добавлено: 12 февраля 2019
Статья
Большакова Е. И., Январев В. И. Программные продукты и системы. 2011. № 4. С. 136-141.
В статье рассматриваются существующие подходы к созданию модели мультимедийного документа и предлагается модель, сочетающая расширяемость по видам визуализируемых объектов документа и возможность комбинирования объектов разного вида на странице документа в ходе его редактирования. Описывается программная система управления интернет-сайтами Fuzzle CMS, разработанная на основе предложенной модели.
Добавлено: 13 марта 2013
Статья
Аладышев О. С., Биктимиров М. Р., Жижченко М. А. и др. Программные продукты и системы. 2008. № 2. С. 9-12.
Добавлено: 20 августа 2015
Статья
Налютин Н. Ю., Давыдов А., Синицын С. и др. Программные продукты и системы. 2010. № 2. С. 61-64.
Добавлено: 31 октября 2010
Статья
Папулин С. Ю. Программные продукты и системы. 2011. № 1. С. 10-16.
Добавлено: 29 октября 2015
Статья
Каленов Н., Серебряков В., Сотников А. и др. Программные продукты и системы. 2012. № 4. С. 10-16.

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

Добавлено: 12 ноября 2016
Статья
Мадера А. Г., Кандалов П. И. Программные продукты и системы. 2018. Т. 3. № 31. С. 435-438.

В работе рассматриваются концептуальные вопросы разработки программного комплекса для теплового проектирования сложных электронных систем и проведения многовариантного компьютерного моделирования нестационарных, нелинейных, детерминированных и стохастических тепловых процессов и температурных полей в электронных системах любой сложности и воздействии дестабилизирующих факторов. Многофункциональный программный комплекс должен обеспечивать графическое представление исходных данных и результатов вычислений температурных распределений и тепловых характеристик в виде таблиц, графиков, диаграмм, и т.д. Вычислительные алгоритмы, реализующие математические модели программного комплекса, должны быть реализованы и оптимизированы как для пользовательских компьютеров, так и суперкомпьютерных систем, путем их распараллеливания с помощью программных интерфейсов Open Multi-Processing (OpenMP) и Message Passing Interface (MPI). Основным языком программирования разрабатываемого комплекса является язык C#, обеспечивающий кроссплатформенность, скорость и удобство разработки, поддержку выборочной оптимизации на языках C++ и C. Средой разработки служит Microsoft Visual Studio под управляемой операционной системой ОС Windows, при этом адаптация под другие платформы обеспечивается  кроссплатформенной средой исполнения Mono. Рассмотрена архитектура проектируемого программного комплекса, которая представляет собой трехуровневую модель, включающую уровни представления данных, доменную модель и уровень данных, позволяющих оптимизировать программный комплекс, расширять его функциональные возможности и адаптировать под требуемые платформы.

Добавлено: 29 октября 2018
Статья
Налютин Н. Ю., Синицын С. Программные продукты и системы. 2008. № 1. С. 26-29.
Добавлено: 31 октября 2010
Статья
Московский А., Ровбо М., Хорошевский В. Ф. Программные продукты и системы. 2013. № 3. С. 194-202.

В работе обсуждаются вопросы создания рабочего места аналитика, поддерживающего процессы интеллектуального анализа больших объемов статистических данных науки, образования и инновационной деятельности с использованием гибридного подхода, где обеспечивается интеграция классических математических методов корреляционного анализа, анализа паттернов данных и временных рядов, а также методов интерпретации получаемых результатов. Особое внимание уделено бизнес-процессам выявления трендов изменения индикаторов и нетипичной динамики индикаторов, а также определению характерных векторов направленности индикаторов «Best Performance».

Добавлено: 24 ноября 2013
1 2