УДК 004.416.2
Н. И. Вьюкова, ст. науч. сотр.;
В. А. Галатенко, д-р физ.-мат. наук, ст. науч. сотр.;
С. В. Самборcкий, ст. науч. сотр.,
НИИ системных исследований РАН,
e-mail: niva@niisi.msk.ru
Обобщение задачи программной конвейеризации для гнезд циклов
Рассмотрен подход к решению задачи программной конвейеризации циклов для случая гнезд вложенных циклов. Подход основан на развертке одного или нескольких из объемлющих циклов с последующей их перестановкой до уровня внутреннего цикла. Предложено также основанное на методах целочисленного линейного программирования совмещение развертки и конвейеризации, применимое, в частности, для случая, когда развертываемый цикл неперестановочен с какими-либо из вложенных в него циклов.
Ключевые слова: оптимизация кода, программная конвейеризация циклов, планирование по модулю, гнездо циклов, развертка цикла, целочисленное линейное программирование (ЦЛП).
УДК 004.412+032.26
В. В. Лаптев, канд. техн. наук, доц.,
e-mail:Laptev@astu.org,
А. В. Морозов, начальник отдела АСУ,
e-mail: morozov@astu.org,
Астраханский государственный технический университет
Экспертная система оценки качественных характеристик проектной модели программного обеспечения
Рассматривается подход к автоматизации задачи повышения качества программного обеспечения. Выделен ряд качественных характеристик программного продукта, значительно влияющих на общее качество. Предлагается автоматизировать их оценку на основе вычисления метрик проектной модели предметной области. Задача определения характеристик по метрикам сведена к задаче классификации. Оценка характеристик на стадии проектирования позволяет своевременно уточнять и улучшать проектную модель, что в конечном итоге существенно снижает затраты на разработку программного продукта.
Ключевые слова: программное обеспечение, проектная модель, качественные характеристики, метрики, нечеткая классификация, нейронная сеть.
УДК 002.55
А. С. Зуев, канд. техн. наук, ст. преподаватель;
Ю. И. Петров, студент,
Московский государственный университет приборостроения и информатики,
e-mail: zuev_andrey@mail.ru
Описание модификации строки адреса проводника Windows Explorer*
Представлено описание модели, реализующей модификацию строки адреса проводника операционной системы Windows и позволяющей упростить навигацию по логическим дискам и папкам. Приведены результаты сравнения модели с аналогичными элементами интерфейса других приложений, обоснована ее конкурентоспособность по сравнению с аналогами.
Ключевые слова: человеке-компьютерное взаимодействие, графический пользовательский интерфейс, эргономика программного обеспечения, проектирование графических интерфейсов, оптимизация графических интерфейсов, модификация адресной строки, контекстная интерактивная подсказка, навигация по логическим дискам и каталогам, навигация в сети Интернет, окно операционной системы Windows.
_________________________________________________________________
*Работа выполнена при финансовой поддержке грантов Президента РФ молодым российским ученым-кандидатам наук (грант ╧МК-948.2008.9)
УДК 621.3.049.771.14
С. В. Гаврилов, д-р техн. наук, зав. сектором,
Институт проблем проектирования в микроэлектронике РАН,
Э. Р. Каграманян, аспирант,
Московский государственный институт электронной техники (технический университет),
Л. С. Ходош, канд. техн. наук, ст. науч. сотр., гл. спец.,
Институт проблем проектирования в микроэлектронике РАН
Тенденции развития моделей библиотечных элементов для статического временного анализа цифровых СБИС
Проанализированы тенденции развития моделей временных параметров стандартных цифровых элементов для статического временного анализа КМОП СБИС. Рассмотрены преимущества и недостатки различных типов моделей, проанализированы ограничения по их применению при переходе на глубоко-субмикронные и нанометровые нормы проектирования в процессе масштабирования КМОП-технологии.
Ключевые слова: временной анализ СБИС, характеризация стандартных цифровых элементов, нелинейная модель задержки, NLDM, полиномиальная модель задержки, SPDM, токовая модель задержки, ECSM, CCS.
УДК 004.416.2
H. В. Шмырев, мл. науч. сотр.,
Научно-исследовательский институт системных исследований РАН, г. Москва
Средства моделирования и контроля распределенных систем реального времени
Рассмотрены варианты использования формальных моделей для описания поведения распределенных приложений, функционирующих в распределенной сетевой среде. Особое место среди них занимают приложения реального времени, корректность которых зависит от времени, затраченного на выполнение определенных операций, например на обработку текущих координат самолета и принятие решения об изменении его курса. К числу таких относятся приложения, реализующие управление бортовыми автономными объектами или большими, сложно организованными системами, работоспособность которых критически важна. Вопросы контроля за состоянием подобных систем, в том числе с использованием формальных моделей, являются крайне актуальными.
Ключевые слова: распределенные системы реального времени, моделирование, контролируемое выполнение.
УДК 004.925.84
В. А. Бимаков, директор,
Общество с ограниченной ответственностью "Робинт", г. Ижевск,
e-mail: robint@mail.ru
Высокоскоростная обработка n-мерных пиксельных геометрических моделей
Излагается подход к построению высокопроизводительных устройств, предназначенных для обработки п-мерных изображений и n-мерных сцен. Подход базируется на преимуществах пиксельного (точечного или дискретного) метода геометрического моделирования по глубокому распараллеливанию операций и процедур обработки сцен, являющихся наиболее "проблемными" с точки зрения затрат времени на их выполнение.
Ключевые слова: высокоскоростной метод обработки изображений и сцен, n-мерные пиксельные геометрические модели, моделирование геометрических преобразований, архитектура специализированной ОКМД-системы.
УДК 004.9
О. П. Архипов, канд. техн. наук, директор,
3. П. Зыкова, канд. физ.-мат. наук, зав. лаб.,
Орловский филиал ИПИ РАН,
e-mail: ofran@orel.ru
Обеспечение идентичности результатов печати на различных цветных принтерах
Рассматривается задача обеспечения максимальной идентичности отпечатков цветных изображений, полученных при печати на различных принтерах, обладающих стабильной цветопередачей. Для ее решения предлагается применять новый метод, основанный на тестировании цветопередачи, описании и согласовании цветовых пространств принтера. Предлагаемый метод может быть использован не только производителями, но и обычными пользователями принтеров. Производители могут применить его при написании драйверов принтеров в части определения функции цветоделения. Пользователи принтеров могут воспользоваться методом при наличии специального программного обеспечения (ПО). Специальное ПО, переопределяя функцию цветоделения, позволяет преобразовывать изменяющиеся RGB-изображения в такие, отпечатки которых на разных принтерах являются максимально идентичными.
Ключевые слова: цветная печать, сканирование, отпечатки цветных изображений, цветовые пространства, цветопередача.
УДК 004.414.23
А. И. Колдаев, аспирант,
Невинномысский технологический институт (филиал Северо-Кавказского государственного технического университета),
e-mail: ventilator83@mail.ru
Моделирование интеллектуальной системы поддержки принятия решений при управлении технологическим процессом
Предложена интеллектуальная система нейронечеткого вывода для решения задачи поддержки принятия решений при управлении технологическим процессом реакторной установки гидрирования бутанола.
Ключевые слова: нечеткая логика, нейронечеткая сеть.
УДК 004.896
Т. И. Михеева, д-р техн. наук, доц.,
А. А. Потапкин, студент,
Р. В. Демьяненко, аспирант,
Самарский государственный аэрокосмический университет,
e-mail: mikheevati@mail.ru
Адаптивная кластеризация графа улично-дорожной сети
Рассматривается метод сжатия атрибутивного графа улично-дорожной сети, основывающийся на адаптивной нечеткой кластеризации. Приводятся критерий качества адаптивной кластеризации графа улично-дорожной сети и оценка степени сжатия атрибутивных данных.
Ключевые слова: граф улично-дорожной сети, нечеткая кластеризация, сжатие графа, транспортный маршрут.
УДК 519.6
Ю. А. Куперин, д-р физ.-мат. наук, проф.,
e-mail: yuri.kuperin@gmail.com,
Р. Р. Счастливцев, аспирант,
e-mail:srr2001@mail.ru,
Санкт-Петербургский государственный университет
Прогнозирование финансовых временных рядов с помощью комитетов искусственных нейронных сетей
Приведены разработанные методы получения высококачественных прогнозов временных рядов с помощью комитетов искусственных нейронных сетей (ИНС). Проанализированы стандартные методы объединения отдельных ИНС в комитеты и предложен новый метод формирования комитетов ИНС. Предложенные в работе методы протестированы на примере решения задачи высококачественного прогнозирования реальных данных фондового рынка США.
Ключевые слова: прогнозы, комитеты нейронных сетей, слабый прогноз, сильный прогноз, финансовые временные ряды.
УДК 621.385.63
Л. А. Серков, канд. физ.-мат. наук, доц., зав. отд.,
Европейско-Азиатский институт управления и предпринимательства,
e-mail: kpkg94@mail.ru
Синергетические аспекты моделирования инновационных процессов
В рамках синергетического подхода изучалась стохастичность инновационного процесса и влияние на этот процесс инновационной глобализации, являющейся системным фактором. Авторами показано, что роль случайностей (шума) заключается в индуцировании ими явления, называемого самоорганизованной критичностью. Вовлечение в инновационный процесс все большего числа участников (инновационная глобализация) приводит к некоторому подавлению флуктуации, к уменьшению роли случайности в появлении и развитии инноваций.
Ключевые слова: синергетика, инновации, диффузия инноваций, технологический трансфер, детерминированность, стохастичность, бифуркации, самоорганизованная критичность, инновационная активность, логистическая кривая.
УДК 339.138
А. С. Соловецкий, аспирант,
Институт экономики и организации промышленного производства СО РАН, г. Новосибирск,
e-mail: solovetski@gmail.com
Мобильные информационные технологии в маркетинге и рекламе
Отражены результаты, полученные автором в ходе исследования рынка услуг мобильного маркетинга. Целью исследования являлась оценка особенностей использования мобильных информационных технологий в маркетинге и рекламе.
Приведенные данные по различным региональным рынкам позволяют сделать вывод о перспективности услуг мобильного маркетинга на мировом рынке и, в частности, в России. Отмечены преимущества мобильного маркетинга и его особенности по сравнению с классическими рекламными инструментами. Подробно разобраны мобильные технологии, применяемые в маркетинге, и предложены методы их использования. Также рассмотрены этические и технические проблемы, возникающие при использовании инструментов мобильного маркетинга.
Статья будет интересна специалистам, работающим в сферах мобильной связи, маркетинга и рекламы, исследователям, занимающимся проблематикой отрасли информационных технологий, а также всем интересующимся мобильной связью и новыми инструментами маркетинга.
Ключевые слова: мобильный маркетинг, мобильная реклама, мобильные информационные технологии, мобильная связь, услуги с добавленной стоимостью, мобильный контент.
УДК 004.942
А. В. Сарафанов, д-р техн. наук, проф., проректор,
e-mail: IAD@stu-kras.ru,
В. А. Комаров, аспирант,
e-mail: vladimir@ire.krgtu.ru,
Сибирский федеральный университет, г. Красноярск
Разработка математической модели многопользовательского режима функционирования аппаратно-программных комплексов с удаленным доступом
Рассматривается применение математического моделирования для анализа многопользовательского режима функционирования аппаратно-программных комплексов с заданным доступом.
Ключевые слова: многопользовательский режим, математическое моделирование, аппаратно-программный комплекс с удаленным доступом (АПК УД).
УДК 004.81:159.953.52
И. П. Норенков, д-р техн. наук,проф., зав. каф.,
e-mail: norenkov@rk6.bmstu.ru,
Н. К. Соколов, инженер,
МГТУ им. Н. Э. Баумана
Синтез индивидуальных маршрутов обучения в онтологических обучающих системах
В процессе развития баз учебных материалов, включая объединение баз, созданных разными преподавательскими коллективами, число разделяемых единиц контента, определяющих одни и те же понятия, будет неуклонно увеличиваться. Этот процесс ведет к резкому росту числа возможных маршрутов обучения при одних и тех же целевых концептах. В статье предложены модель и метод построения множества маршрутов обучения, что является необходимым для решения задачи выбора оптимальных траекторий обучения в автоматизированных обучающих системах.
Ключевые слова: автоматизированная система обучения, технология разделяемых единиц контента, онтология, маршрут обучения.
УДК 519.673
А. Е. Рыбаков, аспирант,
Марийский государственный технический университет,
e-mail: alexey.rybakov@cpslabs.net
Моделирование структуры учебных курсов и подсистемы навигации для систем управления обучением, поддерживающих стандарт SCORM
Рассматривается модель подсистемы навигации в электронных образовательных ресурсах. Предлагается структуризация учебного материала и подход к моделированию навигации, которые согласуются с международными спецификациями электронного обучения SCORM и IMS, дополняя их конкретными адаптивными алгоритмами для навигации по учебным курсам на основе использования модели интегральной оценки знаний обучаемого.
Ключевые слова: электронное обучение, структуризация, учебные материалы, навигация, курсы, обучаемый, SCORM, IMS.
С. П. Сердобинцев, д-р техн. наук, проф., зав. каф. АПП,
e-mail: serdobinzev@mail.ru,
Ф. В. Коломейко, инженер-программист, e-mail:
fed@atlant.baltnet.ru,
Калининградский государственный технический университет
Применение информационных технологий в прогнозировании распределения объектов рыбопромыслового лова
Изложены принципы построения автоматизированной системы, результаты анализа временных рядов на основе промысловой статистики для прогнозирования пространственно-временного распределения гидробионтов.
Ключевые слова: рыбный промысел, автоматизированная система, прогнозирование, база данных, временной ряд, спектральный анализ, локальная аппроксимация.