• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдены 3 333 публикации
Сортировка:
по названию
по году
Статья
Ланин В. В., Лядова Л. Н., Цыбин А. International Journal "Information Technologies & Knowledge". 2012. Т. 6. № 2. С. 184-199.

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

Добавлено: 5 декабря 2012
Статья
Трубочкина Н. К. Мир техники кино. 2016. Т. 4. С. 21-29.

Предлагается для 2D и 3D кинематографа дополнительно к классическому визуальному ряду использовать новый слой динамической фрактальной графики. Рассматриваются технологии и комбинации  использования трёх слоёв: фрактального динамического бэкграунда, слоя 3D моделей и отснятого камерой слоя реальных ландшафтов, объектов и героев. Описана технология совмещения визуального и эмоционального сценариев. Приведены примеры совмещения слоёв из фрактальных фильмов «Нашествие», «Рождение цивилизации» и «Райская планета». Показана работа над синхронизацией слоёв. Продемонстрированы примеры фрактальных и 3D сцен для героев.

Добавлено: 13 февраля 2017
Статья
Черников Б. В. Информатика и ее применения. 2009. Т. 3. № 4. С. 64-75.

Рассмотрена технология хранения слабоформализуемых документов, создаваемых с помощью лексикологического синтеза. Технология предусматриваетформирование сохраняемых индексных последовательностей, содержащих индексы форм документов и их содержательных компонентов. Благодаря одновременной подготовке документов и созданию сохраняемых индексных последовательностей дополнительно обеспечивается экономия времени. Эксперименты показали эффективность подхода для документов, создаваемых в интересах управления различными видами деятельности.

 

Добавлено: 26 ноября 2012
Статья
Керов Л. А. Компьютерные инструменты в образовании. 2009. № 2. С. 57-69.

Данная статья является второй из серии статей, посвященных изложению «нулевого уровня» языка C#. Рассматриваются понятия типа и экземпляра типа, встроенные типы языка C#, определение новых типов с помощью перечислений и структур, неявное и явное приведение типов.

Добавлено: 11 марта 2011
Статья
Асадчиков В. Е., Бузмаков А., Золотов Д. А. и др. Мир измерений. 2012. № 6. С. 22-31.

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

Добавлено: 13 декабря 2012
Статья
Михайлович А. В., Кочергин В. В. Математические заметки. 2019. Т. 105. № 1. С. 32-41.

Исследуется задача о сложности реализации булевых функций схемами в бесконечных полных базисах, содержащих все монотонные функции, имеющие при этом нулевой вес (стоимость использования) и конечное число немонотонных функций единичного веса. Для сложности реализации булевых функций в случае, когда  единственным немонотонным элементом базиса является отрицание, исчерпывающее описание  было получено А.А. Марковым: минимальное число отрицаний, достаточное для реализации произвольной булевой функции f (инверсионная сложность функции f), равно ]log2(d(f)+1)[, где d(f) — максимальное  (максимум берется по всем возрастающим цепям наборов значений переменных) число изменений значений функции с 1 на 0.

В данной работе этот результат обобщен на случай вычисления булевых функций над произвольным базисом B указанного вида. Установлено, что минимальное число немонотонных функций, достаточное для вычисления произвольной булевой функциии f, равно  ]log2(d(f)/D(B)+1)[, где D(B) = max d(ω), максимум берется по всем немонотонным функциям ω базиса B.

 

Добавлено: 28 сентября 2017
Статья
Кирсанов А. П. Автоматика и телемеханика. 2014. № 9. С. 144-155.

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

Добавлено: 28 января 2015
Статья
Салибекян С. М. Информационные технологии. 2020. Т. 26. № 3. С. 169-176.

Статья посвящена разработке методики разбора, внутреннего представления и трансляции в машинный код инфиксных арифметико-логических выражений. Отличительной чертой разработки является применение нового формата внутреннего представления выражения, основанного на парадигме dataflow (вычисления с управлением потоком данных). Методика может найти применение в компиляторах и интерпретаторах языков программирования высокого уровня.

Добавлено: 9 сентября 2020
Статья
Ермакова В. О., Ломазова И. А. Труды Института системного программирования РАН. 2016. Т. 28. № 4. С. 115-136.

Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model checking) возникают серьезные трудности, связанные с взрывным ростом числа промежуточных состояний системы (state-space explosion problem). Для решения этой проблемы в литературе был предложен подход, основанный на построении развертки поведения системы. Ранее была изучена применимость разверток для верификации вложенных сетей Петри и предложен метод построения разверток для безопасных консервативных вложенных сетей Петри. В этой работе предлагается другой метод построения разверток для безопасных консервативных вложенных сетей Петри, основанный на трансляции таких сетей в классические сети Петри. Для классических сетей Петри затем применяются стандартные методы построения разверток. Также в работе обсуждаются сравнительные достоинства двух подходов.

Добавлено: 21 октября 2016
Статья
Смирнова Е. А. Вестник Нижневартовского государственного гуманитарного университета. 2010. № 3. С. 95-100.

В данной статье рассматривается вопрос о статусе категории конфликтности в научном тексте и ее трансляции на примере работы Дж. Лакоффа и М.Джонсона «Метафоры, которыми мы живем» и ее перевода на русский язык.

 

Добавлено: 12 ноября 2012
Статья
Викентьева О. Л., Дерябин А. И., Пономарева О. и др. Вестник Пермского национального исследовательского политехнического университета. Электротехника, информационные технологии, системы управления. 2017. № 23. С. 85-102.

В настоящее время в обучении широко используются компьютерные деловые игры, моделирующие реальные условия деятельности компаний. В качестве предметной области при проектировании деловой игры выступают бизнес-процессы реальных предприятий, исполнители которых должны обладать определёнными компетенциями. Существует достаточно много программных продуктов, позволяющих моделировать бизнес-процессы и строить сценарий игры на основе такой модели, но их особенностью являются ориентация на определенный бизнес-процесс и разработка сценария игры только для этого процесса. При разработке программного продукта, с помощью которого можно построить сценарий игры для любой предметной области, возникает проблема, связанная с автоматизированным построением сценария по моделям бизнес-процессов. Процесс построения сценария деловой игры состоит из нескольких этапов, одним из которых является трансформация модели реального бизнес-процесса в модель унифицированного бизнес-процесса. Модели реальных бизнес-процессов относятся к слабоформализованному описанию предметной области деловой игры, поэтому такой переход является сложной задачей. В работе рассмотрен алгоритм трансформации моделей реальных бизнес-процессов, представленных в нотации IDEF0, в модели унифицированного бизнес-процесса на основе онтологического подхода. Для трансформации выполнено построение онтологических моделей элементов и графического представления в редакторе онтологий Protégé, для описания соответствия элементов и их графических представлений созданы соответствующие ограничения, разработаны правила трансформации, которые также отражены в онтологической модели. На основе онтологической модели построен запрос, который выводит соответствие элементов одной нотации другой нотации. В качестве примера приведен запрос, позволяющий получить соответствие элемента рабочего процесса в нотации IDEF0 другим нотациям 

Добавлено: 23 октября 2017
Статья
Васильев В. С., Легалов А. И., Зыков С. В. Моделирование и анализ информационных систем. 2021. Т. 28. № 2. С. 198-214.

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

Добавлено: 12 июня 2021
Статья
Ямпольский С. М., Брускин С. Н., Огуречников Е. В. Логистика и управление цепями поставок. 2017. № 3 (80). С. 31-39.

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

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

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

Проведен анализ проблем применения существующих моделей в  деятельности руководящих лиц сервисных компаний и сформирован перечень требований к таким моделям.

В процессе проведения исследования была построена матрица отслеживания требований внедрения CRM-системы. Эта матрица представляет собой требования и сценарии, которые используются в процессе отслеживания требований проекта внедрения CRM-системы.

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

Добавлено: 1 июня 2017
Статья
Королев Д. А., Булатов А. А. Студенческая аудитория. 2012. № 6. С. 29-32.

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

Добавлено: 11 февраля 2013
Статья
Савченко А. В. Компьютерная оптика. 2018. Т. 42. № 1. С. 149-158.

Исследована задача распознавания изображений, которые описываются векторами признаков высокой размерности, выделенными с помощью глубокой свёрточной нейронной сети и анализа главных компонент. Рассмотрена проблема высокой вычислительной сложности статистического подхода с непараметрическими оценками плотности вероятности векторов признаков, реализованного в вероятностной нейронной сети. Предложен новый метод статистической классификации на основе проекционных оценок плотности распределения с тригонометрической системой ортогональных функций. Показано, что такой подход позволяет преодолеть недостатки вероятностной нейронной сети, связанные с необходимостью обработки всех признаков всех эталонных изображений. В рамках экспериментального исследования для наборов изображений Caltech-101 и CASIA WebFaces показано, что предлагаемый подход позволяет на 1-5% снизить вероятность ошибки распознавания и в 1,5-6 раз повысить вычислительную эффективность по сравнению с исходной вероятностной нейронной сетью для малых выборок эталонных изображений.

Добавлено: 11 апреля 2018
Статья
Яковлев В. В., Ройтберг М. А. Биофизика. 2010. Т. 55. № 6. С. 965-975.

Иccледована точноcть глобальныx выpавниваний Cмита–Ватеpмана и Паpето-оптимальныx выpавниваний в завиcимоcти от уpовня cxодcтва иcxодныx поcледовательноcтей (пpоцента cовпадений, %id, и количеcтва удаленныx фpагментов, N Gap). Пpедложен алгоpитм поcтpоения набоpа из тpеx–шеcти выpавниваний, точноcть лучшего из котоpыx в cpеднем пpевоcxодит точноcть лучшего из выpавниваний, котоpый можно поcтpоить c помощью алгоpитма Cмита–Ватеpмана. Для cлабогомологичныx поcледовательноcтей (%id = 15, N Gap = 20) увеличение точноcти в cpеднем cоcтавляет около 8% пpи cpедней точноcти глобальныx выpавниваний Cмита–Ватеpмана около 38% (оценки точноcти пpоведены на модельныx теcтовыx набоpаx).  

Добавлено: 11 октября 2013
Статья
Шабанов Б. М., Овсянников А. П., Савин Г. И. Программные продукты и системы. 2012. № 4. С. 3-7.

Статья посвящена удостоверяющим федерациям научно-образовательных сетей, которые сегодня объединяют огромное количество информационно-вычислительных ресурсов, находящихся в разном организационном, админи-стративном и государственном подчинении и требующих авторизации. Все большее распространение приобретают технологии авторизации, при которых аутентификация пользователя осуществляется обращением к его институту. Группа институтов, договорившаяся о взаимном доступе к своим ресурсам, выработавшая общую политику и механизм удостоверения пользователей и реализовавшая их на организационном и техническом уровнях, образует удостоверяющую федерацию. Функционирование федерации и ее технических служб обеспечивается постоянно работающими коллективами, решающими три основные задачи: эксплуатации, развития и поддержки пользователей. Разнообразие и международный характер научных проектов обусловливают необходимость взаимодействия федераций и создания объединенной удостоверяющей системы в международном масштабе. Описаны структура и механизмы удостоверяющих федераций европейских научно-образовательных сетей eduroam и eduGAIN, основанных на разных механизмах обмена аутентификационной информацией, в которых принимает участие Межведомственный суперкомпьютерный центр Российской академии наук (МСЦ РАН). Организация федеративного взаимодействия актуальна для российской национальной сети науки и образования, которая является объединением ведомственных или проблемно-ориентированных сетей. МСЦ РАН возглавляет работы по формированию удостоверяющих федераций российской национальной сети науки и образования и поддерживает их организационное и техническое взаимодействие с европейскими удостоверяющими федерациями. Созданная МСЦ РАН удостоверяющая федерация российского проекта eduroam открыта для всех российских научных и образовательных организаций. 

Добавлено: 20 августа 2015
Статья
Бузмаков А. В. Научно-техническая информация. Серия 2: Информационные процессы и системы. 2013. № 10. С. 27-39.

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

Добавлено: 24 октября 2015
Статья
А. С. Акопов, Бекларян Л. А., А. Л. Бекларян и др. Компьютерные исследования и моделирование. 2014. Т. 6. № 4. С. 621-631.

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

Добавлено: 17 сентября 2014
Статья
С.Д. Кузнецов, Борисенко О. Д., Лагута А. В. и др. Труды Института системного программирования РАН. 2014. Т. 26. № 4. С. 21-32.

Разбиение графа необходимо для решения задач, связанных с обработкой графов, данные которых распределены по нескольким дискам или вычислительным узлам. Эта задача хорошо изучена, но большинство ее решений не подходит для обработки графов с миллиардами вершин на вычислительных кластерах, т.к. эти решения предназначены для вычислительных машин с общей памятью либо для суперкомпьютеров с возможностью посылать сообщения с минимальными задержками. Один из подходов, позволяющий решать задачу разбиения графа на кластерах, – это метод Balanced Label Propagation, основанный на алгоритме распространения меток. В данной работе предлагается метод, позволяющий использовать многоуровневую оптимизацию для улучшения качества разбиений, получаемых с помощью алгоритма Balanced Label Propagation.

Добавлено: 6 ноября 2017
Статья
Зотов М. Г. Известия РАН. Теория и системы управления. 2011. № 2. С. 8-19.

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

Добавлено: 14 декабря 2012