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

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

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

31. Программное обеспечение тренажера лапароскопической хирургии [№2 за 2013 год]
Авторы: Колсанов А.В., Чаплыгин С.С., Иващенко А.В., Кузьмин А.В., Горбаченко Н.А., Милюткин М.Г.
Просмотров: 12208
Описываются особенности реализации ПО аппаратно-программного комплекса «Виртуальный хирург» для обучения врачей-хирургов навыкам лапароскопической (эндоскопической) хирургии на этапах преддипломной практики и дипломного проектирования. ПО тренажера позволяет реалистично симулировать действия различных лапаро-скопических инструментов и камеры-эндоскопа в трехмерной сцене. Авторами разработаны трехмерные модели органов человека и реализованы сценарии проведения операций, позволяющие освоить базовые навыки и техники проведения оперативного вмешательства. Для обучения базовым навыкам оперативного вмешательства созданы специализированные сцены и обучающие методики.

32. Программное обеспечение тренажера эндоваскулярной хирургии [№2 за 2013 год]
Авторы: Колсанов А.В., Яремин Б.И., Воронин А.С., Черепанов А.С., Иващенко А.В., Сапцин Н.В.
Просмотров: 11003
В статье описываются особенности реализации ПО аппаратно-программного комплекса «Виртуальный хирург» для обучения врачей-хирургов навыкам эндоваскулярной хирургии на этапах преддипломной практики и дипломного проектирования. Основное внимание уделяется реализации трехмерной модели органов человека и алгоритмов ее визуализации, позволяющих воспроизводить в ходе моделирования оперативного вмешательства реалистичные рентгеновские изображения, алгоритмам симуляции физики и авторским методикам моделирования и обучения эндоваскулярной диагностике и оперативному вмешательству. Описываются результаты, впервые полученные в ходе работы над тренажером и позволяющие обеспечить более реалистичную визуализацию и обратную связь по сравне-нию с иностранными аналогами.

33. Искусственные миры: темпоральная организация [№2 за 2013 год]
Автор: Кольчугина Е.А.
Просмотров: 10503
Рассматриваются вопросы представления категории времени в моделях искусственных миров, в том числе на основе концепций линейного, циклического и ветвящегося времени. Проблема представления времени в информационных моделях является по-прежнему актуальной, в основном это связано с неразрешенностью проблемы природы времени в современной физике и философии. Одним из направлений информатики, ставящих своей целью концептуализацию категории времени и отражение динамики изменения предметной области, является направление, связанное с организацией темпоральных БД. Темпоральные БД отлича-ются такими особенностями, как отсутствие необходимости удаления неактуальных данных, поддержка представления текущего момента времени и операций временной логики. Применительно к организации искусственных миров темпоральные БД могут быть использованы для хранения информации об эволюции искусственного мира. Для концептуализации категории времени в моделях искусственных миров предлагается использовать понятие временной шкалы. Временная шкала – это функция, которая позволяет упорядочить информационные образы событий во времени. Под событием понимается акт формирования количественной либо качественной оценки параметров объектов реального или искусственного мира, то есть измерение, результат которого может быть сохранен в БД. Временные шкалы позволяют задать и отразить в модели такие свойства времени, как дискретность и непрерывность, ограниченность или неограниченность, равномерность и неравномерность, линейность, цикличность, наличие или отсутствие ветвления. Возможно также моделирование A- и B-рядов. Установлено, что выбор концепции представления времени в модели имеет влияние на результаты моделирования эволюции искусственного мира.

34. Применение нечетких запросов в задачах планирования технического обслуживания и ремонта судов [№2 за 2013 год]
Автор: Косоуров Д.А.
Просмотров: 11679
Рассматривается задача планирования технического обслуживания и ремонта судов, приводятся примеры приме-нения нечетких запросов к реляционным БД, проводится анализ возможности их использования в рассмотренной задаче. Раскрывается понятие теории нечетких множеств, приводятся виды разнородной информации, описываются понятия нечеткой и лингвистической переменных, анализируется актуальность использования нечетких запросов к реляционным БД. Описываются понятие и задачи технического обслуживания и ремонта, рассматривается возможность применения в них нечетких запросов к реляционным БД, сравниваются результаты четких и нечетких запросов, применяемых в одной задаче. Приводятся примеры программных средств, реализующих задачи нечеткой логики.

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

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

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

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

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

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

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