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

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

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

21. Особенности создания пользовательского классификатора для отображения обстановки на электронной карте [№3 за 2014 год]
Авторы: Войцеховский С.В., Девяткин А.М., Котенок А.А., Обухов А.В.
Просмотров: 15310
Решение задачи целераспределения в штабах военных округов в настоящее время осуществляется в ручном режиме, что не позволяет оперативно реагировать на резкие изменения обстановки и вносить коррективы в процесс целераспределения. В условиях стремительного повышения мобильности войск снижение временных затрат на планирование их действий становится не только актуальной, но и одной из самых важных задач военной науки. В рамках выполнения научно-исследовательской работы в академии был разработан макет автоматизированного комплекса целераспределения объектов поражения противника, который прошел апробацию в ходе совместного стратегического учения «Запад-2013». Разработка данного программного комплекса позволила поднять работу группы планирования огневого поражения на новый качественный уровень и повысить оперативность принятия решения командиром. Обязательным условием для формирования в геоинформационной системе пространственных данных субъектами, осуществляющими их создание, является наличие классификаторов, разработанных с учетом положений ГОСТ Р 52439-2005. Таким образом, разработка макета программного комплекса с системой визуализации на электронной карте, технологии применения и его апробация привели к необходимости принятия решения об использовании нескольких известных классификаторов или о создании нового цифрового классификатора. Применяя известные классификаторы, невозможно было решить все поставленные задачи, стоящие перед программным комплексом целераспределения объектов поражения противника. Кроме того, использование не одного, а нескольких классификаторов условных знаков существенно усложнило бы алгоритм работы системы визуализации. Поэтому с целью отображения обстановки и результатов решения расчетной задачи целераспределения в программе с помощью условных знаков был создан свой классификатор Rigel. В статье представлены результаты создания цифрового классификатора для отображения обстановки и результатов решения расчетной задачи на электронной карте.

22. Особенности тестирования наборов данных в операционной системе z/OS [№3 за 2014 год]
Авторы: Бартеньев О.В., Клюев С.В.
Просмотров: 11489
Частью любой ОС является подсистема управления файлами (данными). В зависимости от характеристик устройств внешней памяти и концепции размещения данных, принятой в ОС, физическая организация данных может налагать особенности на их логическое представление. На основании физической структуры подсистема управления файлами определяет логическую структуру, с которой непосредственно взаимодействует пользователь. Проверка корректности функционирования таких структур является одной из главных задач, решаемых в процессе тестирования ОС. В статье приводится отличие понятия «набор данных» ОС z/OS от понятия «файл» для UNIX-подобных ОС. Рассматриваются структура и особенности логической организации одного из библиотечных наборов данных ОС z/OS – PDSE (Partitioned Data Set Extended). Для таких наборов определяется круг наиболее важных задач, возникающих в процессе тестирования, описываются средства, применяемые для верификации наборов данных, такие как команды и встроенные утилиты ОС z/OS. Проводится их анализ и указываются проблемы, препятствующие процессу автоматизации тестирования. Описываются реализованные тестовые сценарии и их функциональное назначение, а также анализируются текущие подходы к решению поставленных задач и делается предположение о создании средств автоматизации, призванных снизить трудоемкость и повысить эффективность тестирования.

23. Перспективы применения гибридных методов прогнозирования показателей Государственной программы России «Развитие науки и технологий» [№3 за 2014 год]
Авторы: Ярушев С.А., Аверкин А.Н.
Просмотров: 12815
В статье рассматриваются проблемы прогнозирования в сфере исследований и разработок России. Сама сфера исследований и разработок представляет собой совокупность организаций и учреждений, в которых выполняются фундаментальные и прикладные исследования, опытно-конструкторские работы, и опытного производства. В результате деятельности этой сферы появляются новые знания, образцы техники и технологий, научные открытия. Интенсификация производства и использования новых научно-технических результатов предопределила резкое сокращение инновационного цикла, ускорение темпов обновления продукции и технологий. Современная экономическая ситуация в мире требует опережающего развития отдельных специфичных направлений научных исследований и технологических разработок («чистая» энергетика, новые технологии, нанотехнологии и т.д.), по многим из которых нет существенных заделов. Все это порождает появление коротких временных рядов, а любой прогноз основывается на анализе динамики показателей за предшествующий период времени. Как показывает практика, использование статистических методов в таких условиях становится затруднительным. Поэтому для достижения наилучших результатов при построении качественных прогнозов новых показателей, например в нанотехнологиях, предлагается использовать гибридные нейрорегрессионные системы. В статье описывается распределенная система прогноза показателей развития сферы исследований и разработок на основе комплексной эконометрической модели в форме уравнений множественной регрессии. Приводятся экспериментальные результаты краткосрочного прогноза развития сферы, полученные с использованием методов множественной регрессии.

24. Подход к синтезу функциональных программ, основанному на прецедентах [№3 за 2014 год]
Author: N.N. Fastovets
Просмотров: 6863
В данной статье рассматривается проблема автоматического синтеза функциональных программ. Описывается способ применения рассуждений на основе прецедентов в синтезе программ. Для применения этого подхода к задаче необходимо рассмотреть несколько подзадач: определение отношения «похожести» в пространстве спецификаций программ, поиск наиболее подходящей к заданной спецификации известной программы и адаптация выбранной программы к новой спецификации. Авторы рассматривают только подзадачу адаптации, оставив остальные подзадачи для дальнейшей работы. Задачу адаптации можно рассматривать как коррекцию программы, то есть модификации выбранной в ходе поиска программы таким образом, чтобы она удовлетворяла заданной спецификации. Существует метод коррекции функционально логических программ, имеющих вид системы переписывания термов с условиями. Таким образом, идея авторов состоит в трансляции функциональной программы в систему переписывания термов и в применении к ней известного метода коррекции. В данной статье рассматриваются процедура такой трансляции и адаптация метода коррекции для поставленной задачи.

25. Построение и исследование предметной онтологии электронного обучения [№3 за 2014 год]
Автор: Балашова И.Ю.
Просмотров: 13534
В статье рассмотрена проблема интеграции и анализа знаний в сфере электронного обучения, обусловленная неопределенностью терминологии, отсутствием однозначной интерпретации и обоснованной классификации знаний о предметной области. Предложено решение задачи построения единой модели знаний на основе предметной области. При изучении различных решений в области онтологического исследования электронного обучения показано, что рассмотренные онтологии характеризуются концептуальной локальностью и локальностью в использовании. Их фрагментарный характер не позволяет составить основу единой модели знаний. Тем самым показана необходимость разработки предметной онтологии, фиксирующей знания, общие для предметной области электронного обучения, что позволит ей обеспечивать логическую согласованность между отдельными онтологиями при объединении. В результате онтологического анализа выделены ключевые классы онтологии электронного обучения, составляющие общий словарь терминов для представления знаний о предметной области. Построена и обоснована таксономия классов онтологии, представляющая иерархию терминов по отношению к вложению. Состав классов исследован со ссылками на нормативные источники. Проведен анализ экземпляров классов. Выделены перспективные пути развития экземпляров ключевых классов онтологии. Установлено множество межклассовых отношений (объектных свойств), определяющих смысловую структуру рассматриваемой предметной области. Предложены пути практического применения построенной предметной онтологии. Сформулированы направления дальнейших исследований.

26. Построение проблемно-ориентированных интерфейсов приложений суперкомпьютера «УРАН» на основе MS SharePoint [№3 за 2014 год]
Авторы: Ермаков Д.Г., Гольдштейн М.Л.
Просмотров: 9474
В статье предлагается решение задачи построения проблемно-ориентированных веб-интерфейсов приложений суперкомпьютера «УРАН». Веб-интерфейсы строятся на основе ПО MS SharePoint с использованием свободно распространяемых расширений (решений SharePoint) Power web-part и Advanced Workflow Actions for SharePoint Designer 2010 от «iLove SharePoint». Данные расширения обеспечивают выполнение скриптов Windows PowerShell в среде SharePoint. Для организации взаимодействия систем на основе MS Windows и Linux используется свободно распространяемый набор командлетов PowerShell – SSH from PowerShell using the SSH.NET library. Приводится пример использования решения для моделирования пользовательской среды пакета MATLAB. Аналог среды MATLAB создается на странице веб-частей SharePoint за счет внедрения в эту страницу Power web-part, служащую контейнером PowerShell-скрипту, который использует объектную модель SharePoint для генерации элементов интерфейса. В этом скрипте осуществляются дополнительная обработка команд и данных, введенных пользователем, формирование и передача команд MATLAB на выполнение через монитор ресурсов SLURM, возвращение результатов и их отображение. Для более объемных задач предлагается использовать библиотеки документов и InfoPath форм. С этими библиотеками связываются рабочие процессы SharePoint, которые при помощи расширения Advanced Workflow Actions for SharePoint Designer 2010 запускают PowerShell скрипты, формирующие на основе заполненных форм за-дания и передающие их SLURM. Взаимодействие сервера SharePoint и головного узла кластера «УРАН» осуществ-ляется по протоколу SSH при помощи командлетов PowerShell SSH from PowerShell using the SSH.NET library. Также рассмотрены некоторые вопросы безопасности предлагаемого решения.

27. Программная платформа для виртуального посреднического оператора в сфере услуг [№3 за 2014 год]
Автор: Сюсин И.А.
Просмотров: 10172
Предлагается решение задачи организации и управления взаимодействием поставщиков и потребителей различных услуг в едином информационном пространстве путем организации виртуального посреднического оператора. В качестве основного метода управления предлагается метод кондициального управления (управления обстоятельствами) в многоакторной интегрированной информационной среде. Ставится задача управления деятельностью посреднического оператора в сфере услуг, выделяются показатели эффективности его работы. Для решения постав-ленной задачи предлагаются алгоритмы, позволяющие обеспечить требуемый характер коллективного поведения поставщиков и потребителей услуг в едином информационном пространстве в условиях относительной самостоятельности оценки и принятия решений. В качестве примера задачи, для решения которой может быть успешно применен метод использования виртуального посреднического оператора, рассмотрена сфера туризма: в статье предлагается программное решение, реализованное с использованием описанных алгоритмов. Реализация предложенного подхода на практике в виде специализированной программной платформы может стать весьма привлекательным инструментом для поставщиков и потребителей определенного спектра услуг, взаимодействующих в едином информационном пространстве, и позволит реализовать потенциал информационно-коммуникационных технологий для повышения уровня сервиса.

28. Программный комплекс оценки инженерно-технической защищенности потенциально опасных объектов [№3 за 2014 год]
Автор: Боровский А.С.
Просмотров: 12410
Обеспеченность объекта инженерно-техническими средствами охраны является важнейшей составляющей в проектировании систем физической защиты, так как именно от нее зависит защищенность объекта в целом. Процессу проектирования систем физической защиты присущи неопределенности, которые, как правило, связаны с неполнотой априорных знаний о проблеме, поэтому в разрабатываемую САПР должна входить интеллектуальная составляющая, основой которой является теория нечетких множеств. В статье рассматриваются архитектура программного комплекса оценки инженерно-технической защищенности объекта, алгоритм поддержки принятия решения в процессе оценки защищенности объекта и концептуальная модель прототипа системы анализа защищенности объекта. Детально описаны программные модули прототипа: модули оценки меры структурной защищенности критических элементов объекта, оценки требуемого уровня защищенности критических элементов объекта, вычисления показателя качества инженерно-технической защищенности объекта, определения требуемого уровня средств защиты для критических элементов объекта, определения степени оснащенности инженерно-техническими средствами охраны критических элементов объекта.

29. Симулятор для моделирования процесса термообработки слоя какао-бобов [№3 за 2014 год]
Authors: A.N. Chokhonelidze, F. Lempogo, W. Brown-Acquaye
Просмотров: 13711
В статье рассматривается процесс разработки программного обеспечения для определения оптимальных условий сушки слоя какао-бобов в конвективной сушилке. Для достижения данной цели на основе модели В. Лыкова (тепло- и массоперенос в капиллярной пористой среде) разработана математическая модель определения свойств слоя какао-бобов во время их термообработки. В ходе исследования был разработан алгоритм решения системы уравнений тепломассопереноса. Полученный алгоритм реализован при помощи инструментальных средств быстрой разработки приложений RapidApplicationDevelopmentTools, включая VisualBasic. NET, CodeFluent Entities и MATLAB 7.12. Симулятор будет служить мощным инструментом принятия решений, полезным для инженеров и операторов при разработке оптимальных условий сушки, необходимых для улучшения качества какао-бобов и конечных какао-продуктов.

30. Сравнительный анализ систем имитационного моделирования для исследования технологических процессов обработки информации в глобально распределенных автоматизированных информационных системах [№3 за 2014 год]
Автор: Бондаренко А.А.
Просмотров: 21290
В данной статье рассматривается проблема выбора системы имитационного моделирования для исследования глобально распределенных автоматизированных информационных систем. В последние годы сформировался особый класс этих систем, которые можно назвать глобально распределенными. Они отличаются наличием центральной БД и разветвленной структурой из сотен локальных СУБД, распределенных на значительной территории. Автор описывает ключевые особенности этих систем и приходит к выводу о необходимости исследования проистекающих в них технологических процессов обработки информации. В статье обоснован выбор имитационного моделирования в качестве средства анализа. Анализируются наиболее популярные и подходящие под рассматриваемую задачу программные пакеты имитационного моделирования: Simulink, GPSS World, Extend и Arena, при этом дается обобщен-ная характеристика каждого программного продукта. Выдвигается тезис о неочевидности выбора одного из программных продуктов и предлагается оценить свойства системы, существенные для решения поставленной задачи. При построении иерархической структуры признаков используется предложенная Дэвидом Кельтоном группировка возможностей программных продуктов, а в качестве механизма агрегирования – суммирование значений показателей по локальным или интегральным группам дерева. Сравниваются веса качеств систем, и на основе их анализа выбирается наиболее оптимальная (с большим весом качества) система. В результате проведенного исследования для анализа глобально распределенных автоматизированных информационных систем автор предлагает использовать систему имитационного моделирования Simulink.

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