Программные продукты и системы

Статьи из выпуска № 1 за 2013 год.

Упорядочить результаты по: Дате публикации | Заголовку статьи | Авторам

11. Искусственные миры: пространственная организация [№1 за 2013 год]
Автор: Кольчугина Е.А.
Просмотров: 9860
Искусственный мир – это среда, в которой происходят развитие и совершенствование путем конкуренции попу-ляции искусственных организмов, реализованных как программные агенты. Принципы устройства такой среды играют определяющую роль при формировании свойств организмов. Для популяции мобильных агентов важное значение имеет организация пространства искусственного мира, так как от ее свойств зависят выбор оптимальных алгоритмов перемещения агентов, а также возможность и правила взаимодействия искусственных организмов. Как правило, пространство в мультиагентных моделях искусственных миров рассматривается как клеточное, а сами модели относятся к одному из двух классов: либо к моделям клеточных автоматов, либо к многомерным маши-нам Тьюринга. В данной работе пространство рассматривается как клеточное, однако дополнительно введен принцип его послойной организации, при котором каждая точка (клетка) пространства является совокупностью бесконечного числа логических слоев. Каждый логический слой идентифицируется в модели целым неотрицательным числом. Это позволяет легко и наглядно разделить искусственные организмы в соответствии с их видовой принадлежностью и функциональным назначением на иерархические уровни. При этом агенты вышележащих уровней имеют возможность управлять агентами нижележащих уровней. В предложенной модели искусственный организм может оставлять в местах своего пребывания метки, подобные феромонным меткам насекомых. Эти метки доступны самому организму для последующего решения задач выбора направления перемещения. Приведен пример, иллюстрирующий, как топологические свойства пространства определяют скорость переме-щения особей в пространстве (диффузию), а также наиболее выигрышные стратегии перемещения.

12. Концептуальные основы построения анализатора безопасности программного кода [№1 за 2013 год]
Авторы: Марков А.С., Фадин А.А., Цирлов В.Л.
Просмотров: 15038
Рассмотрены вопросы автоматизации процедур аудита безопасности исходных текстов программ и поддержки эксперта в принятии решений о наличии дефектов безопасности в исследуемом программном обеспечении. Проведен сравнительный анализ известных статических анализаторов программного кода. Обосновывается применимость статического сигнатурного анализа (по шаблону) для выявления дефектов и уязвимостей программ. Предложены принципы построения и структура анализатора безопасности программного кода, сочетающего синтаксический и семантический анализ кода. Определены требования к базе сигнатур. Приведен алгоритм функ-ционирования анализатора безопасности программного кода. Показана эффективность предложенного решения с точки зрения добавления новых языков и сред программирования, а также новых классов дефектов безопасности. Приведен пример работы анализатора программного кода, демонстрирующий его эффективность при выявлении широкого класса дефектов и уязвимостей.

13. Математическое моделирование теплофизических процессов в слоистых структурах [№1 за 2013 год]
Авторы: Дубский Г.А., Егорова Л.Г., Кухта Ю.Б.
Просмотров: 9498
Одним из основных факторов, способствующих повышению эффективности функционирования агрегатов не-прерывного литья заготовок, является обеспечение работоспособности и оптимальных технологических режимов работы оборудования. Для увеличения срока службы кристаллизатора машин непрерывного литья заготовок в настоящее время прибегают к определенным технологическим модификациям их рабочих стенок. Это улучшение качества поверхности кристаллизатора за счет использования специальных сплавов либо нанесение покрытий на поверхность медной стенки. В работе представлено физико-математическое моделирование теплофизического процесса системы «расплав металла–покрытие–стенка кристаллизатора» в момент заливки стали. Для математического моделирования разработан программный продукт, использование которого позволяет проследить характер установ-ления температурного поля при тепловом ударе в момент заливки стали, проанализировать температурное поле в зависимости от времени в покрытии и стенке кристаллизатора и определить максимальную величину температуры. Результаты, полученные в ходе использования программного продукта, были использованы при выборе оптимальных режимов нанесения защитно-восстановительного покрытия из никеля на внутреннюю стенку кристаллизатора машины непрерывного литья заготовок, способствующих повышению износоустойчивости оборудования без снижения качества готовой продукции.

14. Метод выбора узлов-партнеров при пиринговом обмене данными с учетом топологии сети [№1 за 2013 год]
Авторы: Соловьев В.П., Павленко Н.В.
Просмотров: 6040
Указываются актуальность и необходимость использования пирингового подхода для передачи мультимедийных данных между узлами глобальной компьютерной сети. Рассматривается проблема выбора узлов-партнеров по обмену потоками данных в современных потоковых пиринговых сетях. Предлагается новый метод, решающий данную проблему на основе информации о топологии глобальной сети. Приводится пошаговое описание алгоритма иерархи-ческой группировки узлов и методики использования данной информации для построения связей между узлами пи-ринговой сети. Описываются характеристики модели компьютерной и пиринговой сетей для проведения модельного эксперимента. Приводятся результаты имитационного моделирования работы пиринговой сети с использованием предложенного метода и без него. Полученные в ходе моделирования данные подтверждают эффективность и целе-сообразность предложенного метода.

15. Метод информационной поддержки выполнения структурно-сложных проектов [№1 за 2013 год]
Авторы: Допира Р.В., Кордюков Р.Ю., Лобузько А.В., Беглецов А.А., Талалаев А.Б.
Просмотров: 9177
Сформулирована и формализована задача разработки метода информационной поддержки выполнения структурно-сложных, разнесенных во времени и пространстве проектов. Под проектом понимается совокупность операций, необходимых для достижения цели, связанных отношением порядка (обязательным предшествованием), причем длительность (детерминированная или случайная) каждой операции известна. Переход к рыночным экономическим отношениям и изменения во внутренней и международной обстановке, осложненные кризисными явлениями в национальной экономике, объективно обусловливают необходимость критического анализа методов обеспечения го-сударственных потребностей в продукции и выработки принципиально новых подходов к решению этих задач. Решение задачи основано на применении методов сетевого планирования и управления, на идее оптимизации критического пути. При этом известные методы доработаны для учета стохастических факторов, влияющих на дли-тельность и вероятность успешного завершения отдельных операций проекта. Влияние климатических условий на процесс выполнения проекта учитывается через снижение интенсивности выполнения работ в зависимости от календарного времени при расчете критического пути графа проекта, опреде-ляющего время выполнения проекта в целом. Предложена методика оперативного управления выполнением проекта, позволяющая минимизировать последствия несвоевременного или некачественного выполнения отдельных работ. С использованием представленной имитационной модели проведена проверка работоспособности предложенного метода.

16. Метод решения задач маршрутизации вызовов на основе новой оценки релевантности термов [№1 за 2013 год]
Авторы: Гасанова Т.О., Сергиенко Р.Б., Семенкин Е.С., Минкер В.М.
Просмотров: 7127
Маршрутизация вызовов, основанная на обработке естественного языка, представляет собой сложную и перспек-тивную область исследований в интеллектуальных машинных методах и интерпретации языка. Эта сложность обусловлена трудностями в автоматической интерпретации естественного языка. В данной статье сделан акцент на разработку алгоритмов, по эффективности способных превзойти существующие методы на больших БД и не тре-бующих морфологического анализа или фильтра в виде стоп-слова. В предлагаемом подходе осуществляется деком-позиция задачи классификации, к которой сводится маршрутизация вызовов, на две стадии: обнаружение остаточного класса и отнесение объектов к значимым классам. К остаточному классу относятся объекты, которые нельзя отнести к значимым классам или же можно отнести сразу к нескольким значимым классам. Предлагается новая формула оценки релевантности термов при определении значимых классов, являющаяся модификацией оценки релевантности нечетких правил в нечетком классификаторе. Используя эту формулу только для 300 наиболее часто встречающихся слов для каждого класса, достигнута точность классификации 85,55 %.

17. Моделирование в сфере управления импульсной взрывопожарной защитой [№1 за 2013 год]
Автор: Кряжич О.А.
Просмотров: 8200
В данной статье определены особенности, которые следует учитывать при построении моделей потенциально опасного объекта. Рассмотрен вариант моделирования обеспечения импульсной взрывопожарной защиты химического предприятия. Моделирование производится для импульсных средств взрывопожарной защиты. Это новая технология, требующая разработки моделей и методов управления. Предлагаемые в работе модели являются базовыми. Сделаны выводы относительно практической реализации моделей и перспективности исследования.

18. Мультитекстурирование с помощью шейдеров [№1 за 2013 год]
Автор: Федорищев Л.А.
Просмотров: 9413
Рассматриваются различные виды текстур, способы их визуализации и задачи программного создания, хранения и использования сложных текстур больших размеров, комбинированных многослойно-размноженных текстур, со-стоящих из нескольких слоев, имеющих подтекстуры, повторяющиеся по всей площади. Особое внимание уделено проблеме объемов памяти, необходимых для больших текстур, и способам решения этой проблемы. Описаны вер-шинные и пиксельные шейдеры и способы их применения для создания и использования программных текстур, по-казаны особенности шейдеров во Flash. Представлены способы решения поставленной задачи с помощью шейдеров для различных комбинаций входящих слоев подтекстур (повторяющиеся подтекстуры; текстуры, состоящие из двух слоев подтекстур; многослойные текстуры с повторяющимися подтекстурами) и предложены конкретные алгоритмы создания таких шейдеров и их практическая реализация на языке шейдеров AGAL во Flash. Приведен практический пример, наглядно показывающий преимущества использования представленных алгоритмов на шейдерах для эконо-мии занимаемых объемов памяти в десятки и сотни раз. Данные алгоритмы могут применяться не только в шейдерах на языке AGAL для технологии Flash, но и в других технологиях, использующих шейдеры.

19. О методе построения адаптивного агрегированного алгоритма кэширования [№1 за 2013 год]
Авторы: Бурилин А.В., Шефова Н.А., Гордеев Р.Н.
Просмотров: 8350
Рассматриваются проблемы построения алгоритмов кэширования данных применительно к архитектуре клиент-сервер. На сегодняшний день проблема построения алгоритмов кэширования весьма актуальна, предложено доста-точно много их реализаций, однако поле для исследований остается. Особенно актуальным является построение адаптивных алгоритмов кэширования. Авторы предлагают адаптировать алгоритмы путем ввода в агрегированную модель алгоритма кэширования дополнительного управляющего параметра, отвечающего за степень влияния агре-гируемых алгоритмов.

20. Об одном алгоритме классификации объектов на основе модифицированного метода анализа иерархий [№1 за 2013 год]
Авторы: Гордеев Р.Н., Бурилин А.В.
Просмотров: 10075
В работе рассматривается проблема многокритериального принятия решений в условиях неполной информации. Предложен метод классификации и ранжирования объектов при помощи модифицированного метода анализа иерархий, в основе которого лежит метод сравнения объектов альтернатив на базе теории возможностей и правила Демпстера, с помощью которого производится выбор альтернатив в условиях неполноты, неточности и неопределенности экспертной информации. Предложенный в работе подход позволяет избежать построения полной матрицы парных сравнений альтернатив, требуемой для применения классического метода анализа иерархий и большинства его мо-дификаций, путем ввода фрейма различия в качестве базы сравнения альтернатив. Кроме того, предложен метод ранжирования альтернатив на основе теории возможностей. Предложенные методы проиллюстрированы на модельной задаче оценивания моделей альянсов между банками и страховыми компаниями.

◄ ← Предыдущая | 1 | 2 | 3 | 4 | Следующая → ►