На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

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

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

1. Analysis and automation of cocoa pests and spread management and control [№2 за 2013 год]
Авторы: Lempogo F., Brown-acquaye W., Окаи Д.Э.Я., Chokhonelidze A.N., Lempogo F.0., Brown-acquaye W.0., Okai G.E.
Просмотров: 8814
В статье анализируется процесс разработки комплексного приложения, которое использует ГИС-технологии для управления и контроля за распространением вредителей и болезней какао, как растений, так и бобов, в западно-африканской стране Гана. Комплекс-программа содержит подробную информацию об обнаруженных вредителях и болезнях, которую могут изучить специалисты службы распространения сельскохозяйственных знаний на фермах, складах и плантациях различных административных субъектов. Кроме того, информация размещается в Интернете и становится доступной через интерактивный веб-интерфейс ГИС различным заинтересованным сторонам (министерствам и ведомствам, неправительственным организациям и т.д.).

2. VMASTER – среда для разработки и верификации вероятностных мультиагентных систем [№2 за 2013 год]
Автор: Лебедев П.В.
Просмотров: 11539
Рассматривается программная система для описания, редактирования, моделирования работы и верификации вероятностных мультиагентных систем (ВМАС). Кратко описаны архитектура мультиагентной системы, семантика ее работы. Рассматриваемая программная система позволяет создавать несколько интеллектуальных агентов, задавать им параметры, которые могут иметь различные типы данных, а также управлять обменом сообщениями между агентами с заданными вероятностными каналами связи. Каждый агент выполняет программу на каждом шаге работы системы, описываемую на некотором C-подобном процедурном языке. Предложен синтаксис этого языка, рассмотрены его сходство и различия с языком C, специальные средства описания вероятностных переходов ВМАС и обме-на сообщениями между интеллектуальными агентами. Таким образом, состояния агентов и вероятностные действия образуют вероятностное пространство состояний, которое моделируется цепями Маркова. Верификация цепей Мар-кова – вычисление вероятности выполнения свойств системы, которые определяются формулами специальных (темпоральных) логик. Верификация выполняется методом проверки на модели. В программной системе реализованы алгоритм построения цепи Маркова по описанной ВМАС, а также несколько алгоритмов верификации полученной цепи для темпоральных логик PCTL и PLTL и их модификаций, кратко описаны синтаксис и семантика этих логик. Представлены пример описания ВМАС в программной системе и примеры верификации ВМАС для нескольких кон-кретных формул.

3. Автоматизация прогнозного расчета стоимости эксплуатации надводных кораблей [№2 за 2013 год]
Авторы: Кочнев В.В., Рожин К.Ю., Третьяков О.В.
Просмотров: 12226
Статья посвящена автоматизации прогнозного расчета стоимости эксплуатации надводного корабля путем раз-работки соответствующих программных средств с целью повышения эффективности технического обеспечения ко-раблей. Рассмотрены алгоритмы и информационное обеспечение для прогнозного расчета стоимости эксплуатации на различных этапах жизненного цикла и при различных режимах эксплуатации надводного корабля. Определены со-став программных модулей и выполняемых ими функций, порядок их функционирования, состав необходимой нор-мативно-справочной и оперативной информации. Программные средства обеспечивают проведение расчетов для ко-раблей с различными типами главной энергетической установки. Задача прогнозного расчета стоимости эксплуатации надводного корабля решается техническими службами при оценке стоимости заводских, доковых и межпоходовых ремонтов, стоимости поставок горюче-смазочных материа-лов, технического и шкиперского имущества и других предметов снабжения. Разработка программного и информационного обеспечения для автоматизации прогнозного расчета стоимости эксплуатации позволяет сбалансировать имеющиеся ресурсы для обеспечения эксплуатации с планами использова-ния корабля с учетом его технического состояния.

4. Автоматизация процесса оценки обучающихся на тактических тренажерах [№2 за 2013 год]
Авторы: Довженко В.Н., Реньш С.Ю., Шустова Н.А.
Просмотров: 10163
В статье показана важность использования тактических тренажеров для подготовки офицерского состава ВМФ. Рассматривается вопрос оценки действий обучающихся на тактических тренажерах и предлагается подход к созда-нию такой суммарно-параметрической оценки. Каждая задача на тренажере может быть разбита на элементарные действия, направленные на достижение промежуточного результата. Все оценочные параметры подготовленности обучающихся на тренажере предлагается разделить на два вида: критичные оценки, определяющие успех или неуспех решения поставленной перед обучающимся задачи, и оценки, определяющие величину отклонения от норматива или от правил. Получение интегральной оценки по этим параметрам представлено в модели выработки итоговой оценки на тренажере на основе графоаналитического метода.

5. Алгоритм и программа расчета напряженно-деформированного состояния песчаных грунтов при циклическом нагружении [№2 за 2013 год]
Авторы: Миронов В.А., Софьин О.Е.
Просмотров: 14851
На основе современной упруго-пластической модели Дафалиаса–Манзари, неявного метода Эйлера и итерационной схемы Ньютона–Рафсона разработана численная модель расчета деформаций несвязного грунта. Выполнена численная реализация разработанной модели на ЭВМ. Проведено моделирование поведения песчаных грунтов при монотонном и циклическом нагружениях. Сравнение результатов расчета с экспериментальными данными, полученными для песка различной плотности, показало, что численная модель достоверно описывает поведение грунта как при монотонном, так и при циклическом нагружении. Результаты теоретического прогноза напряженно- деформированного состояния песчаных грунтов при монотонном и циклическом нагружении показали эффектив- ность вычислительного алгоритма и позволяют рекомендовать его для конечно-элементных расчетов при решении геотехнических задач.

6. Анализ и автоматизация процессов управления и контроля за распространением вредителей и болезней какао [№2 за 2013 год]
Авторы: Лемпого Ф., Браун-аквей В., Окай Д.Э.Я, Чохонелидзе А.Н., Лемпого Ф.0., Браун-аквей В.0., Окай Д.Э.
Просмотров: 8089
В статье анализируется процесс разработки комплексного приложения, которое использует ГИС-технологии для управления и контроля за распространением вредителей и болезней какао, как растений, так и бобов, в западно-африканской стране Гана. Комплекс-программа содержит подробную информацию об обнаруженных вредителях и болезнях, которую могут изучить специалисты службы распространения сельскохозяйственных знаний на фермах, складах и плантациях различных административных субъектов. Кроме того, информация размещается в Интернете и становится доступной через интерактивный веб-интерфейс ГИС различным заинтересованным сторонам (министерствам и ведомствам, неправительственным организациям и т.д.).

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

8. Аспекты применения предметно-ориентированного подхода к проектированию сложных программных систем [№2 за 2013 год]
Автор: Карпов А.В.
Просмотров: 9688
Ключевым аспектом предметно-ориентированного проектирования является разработка архитектуры программных систем на основе модели предметной области. Применение предметно-ориентированного подхода к проектированию классических двухзвенных сложных программных систем зачастую приводит к распределению функцио-нала, связанного с одними и теми же объектами единой модели предметной области, по разным программам. Адаптация программной системы к изменившимся условиям применения может потребовать реализации централизованного доступа пользователей ко всей информации по объектам модели предметной области, который может быть обеспечен формированием единого информационно-функционального пространства системы. Такое пространство можно сформировать за счет реализации специального взаимодействия между программны-ми компонентами системы и использовать программой-порталом для предоставления централизованного доступа пользователей к информации по общесистемным объектам и функциям ее обработки. Данное решение позволяет применить ряд основных преимуществ сервис-ориентированной архитектуры в классических двухзвенных сложных программных системах.

9. Задачи выбора в оценочной деятельности [№2 за 2013 год]
Авторы: Тельнов В.П., Мышев А.В.
Просмотров: 7318
В реальной оценочной практике даже крупнейшие мировые консалтинговые компании, сталкиваясь с необходимостью выбора среди множества альтернатив, опираются преимущественно на экспертные процедуры. Имеющийся математический аппарат не используется в достаточной мере. В статье показано, как теория выбора может эффективно работать в конкретной области профессиональной деятельности. Предложен алгоритмический подход к решению задач выбора, возникающих в оценочной практике. Подход основан на использовании контекстно-независимых функций выбора и бинарных отношений специального вида. Рассматриваются логические композиции отношений Парето и отношений лексикографии. Они моделируют широкий класс ситуаций выбора, которые возникают в реальной оценочной деятельности. Для контекстно-зависимого выбора рассматривается показатель доминирования множества альтернатив как достаточно универсальный критерий оптимальности выбора. Реализация предложенного подхода позволяет уменьшить субъективизм оценок и свести к минимуму роль экс-пертных процедур. Даны примеры практического применения для типовых задач из оценочной практики. Подход апробирован на ряде крупных проектов федерального масштаба. Соответствующее программное обеспечение распространяется свободно (на безвозмездной основе).

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

| 1 | 2 | 3 | 4 | 5 | 6 | 7 | Следующая →