авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:   || 2 | 3 | 4 | 5 |   ...   | 11 |
-- [ Страница 1 ] --

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

А.Н. Лукичев

Композициональность объектно-событийных моделей встроенных систем

Встроенные системы (ВсС) представляют собой

вычислительные системы, не-

посредственно взаимодействующие с объектами управления с помощью датчи-

ков и исполнительных устройств. Одной из ключевых особенностей ВсС явля-

ется учет времени протекания внешних и внутренних процессов. Своевремен-

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

А.А. Волков, Р.А. Набатов*, О.В. Щекочихин* Костромской государственный университет им. Н.А. Некрасова *Костромской государственный технологический университет Адаптивная автоматизированная система сбора и отображения информации для управления предприятием Основные недостатки современных информационных систем в управлении предприятием или корпорацией заключаются в следующем: 1. высокая жест кость создаваемой информационной системы;

2. значительные финансовые ре сурсы для поддержания системы в работоспособном состоянии;

3. большое время на модернизацию приложений, изменение их функциональности. Пред лагаемая технология позволяет создавать гибкие информационные системы, которые позволяет быстро перенастраивать приложения пользователя и струк туру базы данных. Система строится из нескольких серверов БД. Объем храни мой информации на каждом сервере может достигать нескольких миллионов записей. Сервер, будучи один раз установленным, не требует постоянного об служивания: все функции работают в автоматическом режиме, обеспечивая требуемые показатели работы системы. Также подразумевается возможность подключения к уже существующим хранилищам данных и СУБД предприятия.

Одним из основных элементом системы является генератор информационных объектов. Пользователь может создавать неограниченное количество объектов и их версий. При этом данные от версии к версии не теряются. Также имеется генератор приложений пользователей, который формирует окно пользователя для работы с коллекцией экземпляров информационного объекта. Сюда же входят подсистемы подготовки отчетов и программирования вычислений. Сле дующим элементом системы является модуль проектирования бизнес процессов и формирования электронного документооборота на основе разрабо танных ранее информационных объектов и приложений пользователя. Система обладает свойством расширения своих масштабов: увеличение пользователей и информационных объектов в системе и их экземпляров не влияют на время за писи, исправления и выборки информации. Такой инструмент дает возмож ность создавать информационную систему управления предприятием или кор порацией на следующих принципах. (1). Система управления строится не снизу вверх, как это принято, а сверху вниз. Здесь реализуется принцип «руководи тель лучше всех знает, какой показатель ему требуется для управления тем или иным процессом». (2). Показатели собираются и интегрируются с первичных документов – «принцип однократного ввода информации в систему». (3). Воз можно делегирование полномочий в принятии управленческих решений на нижнее звено управления. На верхнем звене остаются только функции контроля за показателем – «принцип индивидуальной, а не коллективной ответственно сти». (4). Движение показателей строго регламентируется. Возможен оператив ный контроль только за теми показателями, которые выходят за установленные пределы – «принцип управления по отклонению». (5). Функция ИТ специалиста связана только с настройкой компьютеров, локальной вычисли тельной сети и системы телекоммуникации – «принцип отчуждения програм миста от создания и сопровождения информационной системы управления предприятием». Ил. 3.

Х.Р. Алиев Санкт-Петербургский государственный университет Эффективная модель оценки стоимости разработки программного обеспечения В работе приведены результаты экономических исследований в сфере разра ботки информационных систем. Основное внимание сосредоточено на двух проблемах, относящихся к оценке стоимости проекта. Для заказчика и испол нителя адекватная оценка стоимости проекта является очень важным фактором, который будет влиять на договор между ними. Оценка трудоемкости разработ ки информационных систем проводится на основе двух математических моде лях – модели функциональных точек (Functional Point) и модели COCOMO II (Constructive Cost Model), разработанной Барри Боэмом. Эти модели использу ют все ведущие фирмы по разработке ПО в мире для предварительных оценок трудозатрат и бюджета проекта. Заказчики крупных ИС также используют мо дели оценивания с тем лишь отличием, что в моделях оценивания не учитыва ются конкретные условия разработки (заказчику интересен результат и стои мость), в то время как для исполнителя важны, соответственно, условия и в меньшей степени стоимость. Приводится пример использования модели COCOMO II на предварительных этапах проектирования системы. В качестве примера оценки трудоёмкости была использована модель для этапа предвари тельного проектирования (Early Design Model) информационной системы. Наи больший практический интерес представляет возможность использования ком бинированных моделей для оценки крупных информационных систем. Ил. 1, табл. 6.

В.М. Залялиева Татарский государственный гуманитарно-педагогический университет Временные и событийные корреляции в экви- и неэквидистантных сериях астрофизических данных Физика сложных систем в последнее время привлекает заметное внимание бла годаря активной разработке и практическому применению многообразных ин формационных технологий анализа реальных объектов различной природы.

Для описания динамической эволюции сложной системы любой природы, как правило, используется информация, извлекаемая из экспериментальных вре менных серий. В данной работе представлен новый статистический метод ана лиза временных серий, основанный на формализме функций статистической памяти. Метод позволяет количественно оценивать такие особенности времен ной дискретной эволюции сложных систем, как время существования статисти ческой памяти, эффекты регулярности и случайности, скорости релаксацион ных процессов. Одно из преимуществ нового метода состоит в анализе времен ных серий как с фиксированным, так и с переменным временным шагом. В ка честве экспериментальных данных нами проанализированы эквидистантные (усредненные в течение одного дня) и неэквидистантные временные серии пол ного потока рентгеновского излучения 48-и астрофизических объектов (микро квазаров, квазаров, лацертид, галактик и пульсаров). Рентгеновское излучение фиксировалось прибором ASM на космической станции Rossi X-Ray Timing Explorer, находящейся на околоземной орбите. Регистрация осуществлялась в течение десяти лет. На основе проведенного анализа выполнена классификация астрофизических объектов по численным значениям двух предложенных в ра боте информационных мер статистической памяти. Проведен сопоставитель ный анализ результатов исследования двух типов экспериментальных данных (эквидистантной и неэквидистантной временных серий). Полученные результа ты указывают на определенные преимущества анализа событийных корреля ций, возникающих в неэквидистантных астрофизических сериях. Результаты работы могут оказаться полезными при разработке новых информационных технологий анализа сложных систем астрофизической, сейсмической, живой и социальной природы. Работа поддержана грантом Федерального агентства по образованию Министерства образования и науки РФ № РНП.2.1.1.741, грантом РФФИ 08-02-00123-а. Ил. 4, табл. 2.

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

А.П. Старченко Санкт-Петербургский государственный морской технический университет Исследование системы стабилизации изображения Целью работы являлась разработка специального испытательного стенда и ме тодики исследований системы со стабилизацией изображения. Объектом иссле дования являлась цифровая видеокамера с электронной стабилизацией изобра жения. В процессе работы проводились экспериментальные исследования сис темы со стабилизацией изображения и без нее. Исследования проводились в различных диапазонах угловых скоростей и ускорений. Показано, что с увели чением угловой скорости и ускорения система со стабилизацией работает эф фективнее. Были определены способы оценки качества стабилизации изобра жения. Был предложен метод исследования ЧКХ оптической системы с исполь зованием ПО MathCAD.

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

С.Е. Антонов, Н.С. Токалов Мобильный музыкальный сервис для широкополосных сетей Музыка, радио, портативный плеер, сотовый телефон, Интернет – без этого многие сейчас не могут представить нормальную жизнь. Однако радио нельзя слушать в метро, музыка на плеере приедается, ее приходится постоянно ме нять, затруднен процесс обмена большими объемами музыки. Проект призван разрешить некоторые из этих проблем, используя мобильные беспроводные технологии доступа к локальным сетям и Интернету. С помощью нашей про граммы можно будет слушать радио в метро, быстро легко и легально обмени ваться большими объемами музыки с друзьями, в любой момент находить и слушать то, что хочется. На данный момент разработана тестовая версия клиен та и сервера программы для мобильных устройств на базе Windows Mobile.

В.В. Веденеев, К.В. Рубинов Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования Программные интерфейсы приложений (Application Programming Interfaces – API) проектируются на основе стандартов, которые поддерживают производи тели программного обеспечения. Соответствие стандартам контролируется и базируется на тестировании интерфейсов в соответствии со спецификациями.

Несмотря на это, в настоящее время не существует формализованного подхода к одному из основных этапов процесса тестирования программных интерфей сов – разработке тестов. В то же время развивается направление тестирования на основе моделей (model-based testing).

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

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

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

С.В. Кратов Институт вычислительной математики и математической геофизики СО РАН Разработка и исследование характеристик сетевой системы информационной поддержки инновационной инфраструктуры СО РАН На сегодняшний день актуальной является задача создания информационного ресурса (портала), который бы увязал все звенья инновационной «цепочки» в Сибирском регионе, помог представить наукоемкие разработки потенциальным инвесторам и позволил учреждениям, имеющим перспективные научные разра ботки, осуществлять поиск инвесторов, обеспечил бы оперативный доступ к информации всем участникам инновационного процесса. Представляемый док лад посвящен проекту создания сетевой системы информационной поддержки инновационной инфраструктуры СО РАН. Основное назначение системы со стоит в том, чтобы содействовать извлечению из фундаментальных научных исследований и передаче в наукоемкую промышленность потенциально техно логичных идей посредством активной поддержки решения сложных задач НИОКР, созданными в сети Интернет (виртуальными) коллективами. Целью работы является разработка и исследование методов, алгоритмов и программ ных средств организации распределенных информационных систем, создание прототипа сетевой информационной системы поддержки инновационной ин фраструктуры СО РАН. В соответствии с поставленной целью определены сле дующие задачи исследования: • Анализ существующих методов создания ин формационных систем поддержки инновационной деятельности и поиск новых подходов к организации таких систем. • Формирование основных требований к инновационному порталу и разработка архитектуры портала в соответствии с выработанными требованиями. • Разработка прототипов отдельных подсистем.

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

Ожидается, что возможности, предоставляемые ИВС по формированию и веде нию инновационных проектов, обеспечат оперативный доступ к информации всем участникам инновационной деятельности, лучше представят наукоемкие разработки потенциальным инвесторам и позволят учреждениям, имеющим перспективные научные разработки, осуществлять поиск инвесторов и органи зовать выполнение инновационных проектов. Макет системы (http://portal.sscc.ru) встроен в сетевую инновационную инфраструктуру СО РАН (http://sinin.nsc.ru).

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

Указанный метод позволяет эффективно представлять автоматы с дискретными входными переменными. Разработанный метод сравнивается с генетическими алгоритмами на примере учебной задачи. Ил. 5, табл. 2.

В.В. Вантеев, И.Б. Полукеев, М.В. Степаненко Томский государственный университет систем управления и радиоэлектроники Использование мультимедийных учебников при обучении студентов младших курсов Современные электронные учебники являются высокотехнологичными продук тами, содержат достаточно большее количество информации в конкретной об ласти и являются равнозначной заменой бумажным аналогам. Рассмотрим структуру электронных изданий на примере учебника «Информатика», исполь зуемого при обучении студентов младших курсов технических вузов. В качестве языка для разработки был выбран язык XHTML, являющийся симбиозом языка гипертекстовой разметки HTML и языка XML. Учебники, реализованные на данном языке, не требовательны к аппаратной конфигурации компьютера. Объ ем учебника достаточно мал, что позволяет его достаточно легко размещать и скачивать из сети Internet. В электронных учебниках могут быть реализованы функции поиска по терминологии и отдельным разделам, с возможностью быст рого перехода на соответствующие страницы. В данный учебник включены все разделы, соответствующие государственным образовательным стандартам под готовки квалифицированных специалистов по инженерным специальностям.

М.С. Игнатов Интеллектуальные системы поддержки принятия решения В докладе рассматриваются следующие вопросы. OLTP системы как предше ственники ИСППР(OLAP). Противоречия требований к OLTP и ИСППР.

Проблема БД в ИСППР. Концепция хранилища данных не является законным архитектурным решением СППР, а заключается в определении требований к данным, как к подготовке данных для анализа. OLAP как технология опера тивной аналитической обработки данных, использующая методы и средства для сбора, хранения и анализа многомерных данных в целях поддержки процессов принятия решений. Методы Data Mining помогают решить многие задачи, та кие как классификация, регрессия, поиск ассоциативных правил и кластериза ция. Виды OLAP систем: MOLAP, ROLAP, HOLAP. Их преимущества и не достатки. Распределенный анализ данных с использованием системы мо бильных агентов.

Ф.Н. Царев Применение генетического программирования для построения автоматов Мили в задаче об «Умном муравье»

В работе предлагается алгоритм генетического программирования, осуществ ляющий построение конечных автоматов Мили. Его эффективность иллюстри руется на примере построения автомата с минимальным числом состояний для задачи об «Умном муравье». С помощью разработанного алгоритма построен автомат из семи состояний. Невозможность построения для этой задачи авто мата Мили, содержащего менее семи состояний, доказывается с помощью при менения алгоритма перебора автоматов. Ил. 3, табл. 2.

Д.Н. Труфанов, М.С. Фролова Тамбовский государственный технический университет Разработка программно-аппаратного комплекса «Здоровый ребенок»

для автоматизации работы врача-педиатра Цель исследования – разработка программно-аппаратного комплекса для пере вода работы врача-педиатра на электронную основу и ее автоматизации. Акту альность исследования определяется необходимостью решения следующих ос новных проблем в предметной области: неточности и неудобства измерений антропометрических данных;

рутинные операции по ведению медицинской до кументации, проведению оценок, требующих работы с данными различного формата;

высокая вероятность врачебных ошибок;

нехватка времени на полно ценное общение с пациентом;

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

А.Г. Жихарев Белгородский государственный университет Адаптирование и логическое проектирование нового метода хранения и систематизации информации в УФО-анализе под среду проектирования бизнеса UFO-toolkit В работе рассмотрена адаптация и реализация нового метода хранения и систе матизации информации в среде проектирования бизнеса UFO-toolkit. Решается задача адаптации и логического проектирования базы знаний под CASE инструментарий UFO-toolkit. На данный момент такая база знаний существует, но она разрабатывалась в рамках прототипа «Изображение модуля управления знаниями в УФО-анализе», для ее применения в данной работе потребовались некоторые доработки. В результате получена логическая модель базы знаний для хранения УФО-элементов. Ил. 6.

Т.А. Бадмаева, Д.А. Намятова* Московский государственный университет им. М.В. Ломоносова *Научно-проектный институт пространственного планирования Санкт-Петербургского государственного университета Использование ГИС-технологий при разработке природно-экологического раздела для схем территориального планирования НПИ ЭНКО с момента основания целенаправленно разрабатывает методику использования ГИС-технологий в градостроительном и территориальном пла нировании, в том числе и для экологических составляющих проектов. Наличие документов территориального планирования – схемы территориального плани рования или Генерального плана развития – необходимо для любого региона.

Целью планирования является обеспечение эффективного использования имеющегося в распоряжении пространства, а также экономического равновесия между субрегионами, а также сохранение и разумное использование природных и культурных ресурсов. При выполнении работ по пространственному плани рованию в НПИ ЭНКО обязательно используются цифровые космические изо бражения (1:50000 и крупнее, разрешением от 5 до 15 м), что позволяет объек тивно оценивать фактическую картину. Природно-экологический раздел дол жен содержать в себе информацию о подстилающей поверхности территории (о рельефе, водных ресурсах, климатических особенностях территории, расти тельности и животном мире) и о состоянии всех оболочек биогеосферы (загряз нение воздуха, поверхностных вод и т.д.). Результирующие документы пред ставляются в виде ГИС-проекта (схема охраны природных ресурсов и рацио нального природопользования, природно-экологический каркас и инженерно строительные условия территории), которые используются как основа планиро вочного зонирования территории.

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

В работе исследованы особенности применения фрактального подхода к неко торым задачам информационного поиска. Также исследованы особенности процесса кластеризации в применении к задачам подобного рода. Результаты работы используются автором при разработке автоматизированной интеллекту ально-поисковой системы кластерного и фрактального анализа. Ил. 1.

Е.В. Кайзер Костромской государственный технологический университет Особенности юридических и экономических аспектов оценки программных продуктов В условиях жесткой конкурентной борьбы предприятия вынуждены искать пу ти снижения затрат. Одним из возможных подходов является сокращение управленческих расходов за счет широкого внедрения средств вычислительной техники и новых информационных технологий. Это приводит к необходимости приобретения или разработки программного обеспечения на тех или иных ус ловиях (например, аутсорсинг). В результате такой деятельности на предпри ятии появляются нематериальные активы – объекты интеллектуальной собст венности. В данной работе рассматриваются как юридические (правовой статус интеллектуальной собственности, нормативные акты регламентирующие оцен ку нематериальных активов и т.д.), так и экономические аспекты оценки интел лектуальной собственности. Целью работы является рассмотрение текущего положения дел в данной области, а не решение какой-либо проблемы.

М.М. Невдах Белорусский государственный технологический университет Использование метода корреляционных плеяд для изучения информационных характеристик учебных текстов Изучение информационных характеристик текста имеет важное значение для оценки трудности его восприятия читателями.

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

А.А. Давыдов, Д.О. Соколов, Ф.Н. Царев Применение генетических алгоритмов для построения автоматов Мура и систем автоматов Мили на примере задачи об «Умном муравье»

В последнее время все чаще применяется автоматное программирование, в рамках которого поведение программ описывается с помощью конечных де терминированных автоматов. В ряде задача автомат удается построить эври стическими методами, однако часто такое построение требует больших затрат времени. Примером такой задачи является задача об «Умном муравье». Для по строения автоматов в задачах такого рода могут применяться генетические ал горитмы. Все известные авторам работы в этой области посвящены построению одного автомата Мили, однако в автоматном программировании допускается использование системы взаимодействующих автоматов, а также автоматов Му ра. Одним из основных способов взаимодействия автоматов является их взаи модействие через вложенность. Целью настоящей работы является построение с помощью генетического программирования пары вложенных автоматов Мили и автомата Мура для задачи об «Умном муравье». Игра происходит на поверх ности тора размером 32 на 32 клетки. В некоторых клетках находится еда. Му равей начинает движение из клетки, помеченной Start. Игра длится 200 ходов.

Цель игры – создать муравья, который за указанное число ходов съест как мож но больше яблок. Для автоматов Мура был построен автомат из 10 состояний, который позволяет муравью съесть всю еду за 198 ходов. Лучшим результатом из 9 состояний был автомат, который позволял муравью съесть 86 единиц еды за 198 ходов. Для автоматов Мили с вложенностью все попытки сделать коли чество состояний меньше 7 потерпели неудачу. Были получен автомат с коли чеством состояний (5, 7) (5 во внешнем, 7 во вложенном), который позволял муравью съесть всю еду, но уже для (6, 6) таких результатов добиться не уда лось. Из вышесказанного был сделан вывод, что автомат, получаемый в резуль тате решения задачи о муравье, не декомпозируем либо плохо декомпозируем.

Ил. 5.

Ю.Ф. Шпаковский Белорусский государственный технологический университет Разработка количественной методики оценки трудности восприятия учебных текстов для высшей школы Одним из основных требований к учебным текстам является их простота и дос тупность изложения в них новой информации. В редакционно-издательской практике вопрос доступности материала автор и редактор решают в настоящее время, опираясь лишь на свою интуицию и профессиональный опыт. Отсутст вие научной методики при оценке трудности восприятия учебного текста для высшей школы определило цель работы: разработать количественную методи ку оценки трудности восприятия учебного текста для высшей школы. На пер вом этапе были найдены объективные критерии, определяющие трудность вос приятия текста отмеченной категорией читателей. С этой целью были проведе ны психолингвистические эксперименты по восприятию текстов с помощью двух методик – методики дополнения и экспертных оценок трудности воспри ятия текста. На втором этапе были выявлены текстовые параметры, величины которых позволили оценить сложность текста. Всего было выделено 83 призна ка. На третьем этапе были разработаны способы измерения величин текстовых параметров. Для этого одни признаки измерялись, другие оценивались с помо щью компьютерных программ, третьи – с помощью экспериментальных под счетов, полученных с привлечением студентов. На последнем этапе была опре делена однозначная функциональная зависимость в виде статистической фор мулы, связывающей величины отмеченных текстовых параметров и успеш ность понимания текста. Табл. 3.

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

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

И.В. Смирнов Костромской государственный технологический университет Общая схема алгоритма распознавания естественно-языковых запросов к данным, организованных на основе фасетных классификаторов ЕСКД В статье рассматривается предложенный автором подход по обработке естест венно-языковых запросов пользователя к классификатору ЕСКД. Данный под ход позволяет по совокупности характеристик детали определить ее порядко вый номер в классификаторе. При этом пользователю предоставляется возмож ность неформально, на естественном языке вводить в систему вышеуказанные характеристики и отвечать на вопросы системы. Предложенный и описанный в статье алгоритм позволяет производить анализ достаточности описания подра зумевающейся детали. Это значит, что если указанные пользователем характе ристики позволяют однозначно выбрать из классификатора деталь, то это и бу дет сделано системой. Если для однозначного определения не хватает N харак теристик, то системой будет запрошено не более чем N характеристик. Пред ложенный алгоритм позволяет также отслеживать противоречия в высказыва ниях пользователя. База данных классификатора представляет собой XML файл, который фактически повторяет собой фасетный классификатор. Все сущ ности и характеристики описываются на естественном языке, без обязательного соблюдения регистра букв, склонения по падежам или числам. Практической реализацией описываемого в статье алгоритма является программа SemanticFramework версии 1.004, которая выполнена на языке Java с соблюде нием всех принципов объектно-ориентированного программирования. Данный подход позволил в достаточной мере абстрагироваться от машиностроительной отрасли, а главное – легко и без затрат расширять тот набор семантических правил, который анализируют ответы пользователя. Ил. 4.

Ю.Д. Бедный Применение генетических алгоритмов для создания системы управления танком в игре Robocode В работе рассматривается одна из задач управления – построение системы управления танком для популярной компьютерной игры Robocode. Задачей данной работы является создание метода автоматизированного построения сис темы управления танком с максимально простым описанием. При этом танки, создаваемые предлагаемым методом, должны побеждать каждого заранее вы бранного соперника из тестового набора, который включает в себя танки, по ставляемые вместе с игрой, а также танк newCynic.Cynical. Для решения по ставленной задачи предлагается применить генетические алгоритмы. В резуль тате проведенных исследований был разработан искомый метод и на его основе реализована программа управления танком. Танки с этой системой управления отвечают сформулированным требованиям. В работе также проанализирована возможность улучшения генерируемых систем управления за счет более слож ного описания их поведения – с помощью автоматов.

В.А. Кулев, Е.А. Мандриков Программный комплекс для разработки и анализа различных генетических алгоритмов В настоящее время предложено большое количество различных реализаций схем генетических алгоритмов, а также генетических операторов и способов кодирования особей в гены и хромосомы. Многие существующие схемы поиска являются чисто теоретическими разработками, не подтвержденными тестиро ванием. Другие предлагаемые модели опробованы на тестовых задачах, но их применение в решении практических задач затруднено отсутствием или недос таточной гибкостью соответствующих программных систем. В результате про веденных исследований был разработан программный комплекс, позволяющий устранить ряд недостатков, которыми обладают существующие программные средства, реализующие генетический поиск. Полученное средство позволяет разрабатывать и анализировать различные схемы генетических алгоритмов, ге нетических операторов и способов кодирования особей в хромосомы. Про граммный комплекс был апробирован на ряде тестовых задач – о построении «разливочной станции», о «флибах», о «муравье», об ориентировании на мест ности.

П.Г. Лобанов Методы оптимизации генетических алгоритмов для построения конечных автоматов Генетические алгоритмы применяются при решении широкого круга задач. Од нако при использовании классического генетического алгоритма часто требу ются очень большие вычислительные ресурсы, чтобы получить решение с не обходимой степенью точности. Для повышения скорости сходимости генетиче ского алгоритма и улучшения устойчивости его работы его, как правило, моди фицируют с учетом особенностей задачи, к которой он применяется. В работах рассматриваются оценочные функции и способы их адаптации для улучшения эффективности генетических алгоритмов. На примере задачи коммивояжера рассматривается, как зависит эффективность эволюционных методов от выбора структуры хромосом. В данной работе предлагаются три новых модификации генетического алгоритма: использование автоматов с флагами, алгоритм вос становления связей между состояниями, алгоритм сортировки состояний в по рядке использования. Эти модификации можно использовать для задач, в кото рых решением является конечный автомат, как независимо друг от друга, так и совместно. Приводятся результаты экспериментов по использованию предло женных методов для решения задачи о флибах и задачи об умном муравье.

Жуань Чжипэн Контроль на четность в ПСКШ преобразователей линейных перемещений Одним из путей повышения надежностных показателей преобразователей ли нейных перемещений может быть использование в них кодовых шкал с воз можностью формирования корректирующих кодов. Известные методы по строения преобразователей перемещений не позволяют решить эту задачу без увеличения их габаритов и массы. Это связано с применением в преобразовате лей перемещений традиционных кодовых шкал на основе обыкновенного дво ичного кода или кода Грея, где корректирующие возможности шкал могут быть реализованы за счет использования в них контрольных дорожек и введения из быточности по числу считывающих элементов СЭ. Псевдослучайные кодовые шкалы (ПСКШ) более технологичны в изготовлении и имеют меньшие габари ты и массу. В работе показано, что наряду с этими достоинствами такие шкалы за счет введения избыточности по числу СЭ без использования контрольных дорожек позволяют формировать коды, исправляющие и (или) обнаруживаю щие ошибки.

А.Ю. Кротова Разбиение изображения на области, однородные относительно заранее выбранных критериев Сегментация – один из важнейших этапов обработки изображений. Сегмента ция сложных изображений является весьма нетривиальной задачей. Надеж ность первичной сегментации в некоторых случаях зависит от условий съемки (например, в приложениях контроля промышленных изделий) или от использо вания подходящих сенсоров и детекторов. В статье рассматриваются методы, использующие анализ свойств сигнала яркости – разрывность и однородность.

Реализация этих методов базируется на обработке изображений по маске или фильтрации по маске. В связи с этим была поставлена задача исследовать раз личные маски для различных типов изображений. Качество разбиения изобра жения на области было предложено оценивать методом RMSE (среднеквадра тичная ошибка). В результате проведенных исследований получены количест венные оценки среднеквадратичной ошибки для различных типов масок.

Е.А. Володько Анализ и обработка данных для обнаружения скрытых зависимостей Накопление данных в компаниях привело к тому, что в настоящее время все большую популярность приобретают методы, направленные на поиск скрытых зависимостей в этих данных – Data Mining. Они позволяют с помощью матема тического моделирования выявлять скрытые закономерности, которые дают возможность ликвидировать узкие места в бизнесе, обнаруживать новые точки роста и т.д. Среди используемых методов анализа присутствует метод поиска ассоциативных правил, который позволяет в огромном количестве записей об наружить зависимости. В рамках работы разработана система, в состав которой входит генератор ассоциативных правил. Для поиска правил используется усо вершенствованный алгоритм, который с помощью механизма хэширования по зволяет сократить время поиска правил. Помимо генератора ассоциативных правил, система включает в себя сервер, который ответственен за мониторинг и контроль процесса генерации правил, а также за обработку входящих и исхо дящих данных. Система также поддерживает репозиторий, который состоит из кэшированных бинарных файлов данных, которые подходят для использования в качестве входящих данных для генератора правил, и хранит кэш отчетов, сге нерированных им. Ил. 4, табл. 1.

О.Г. Степанов Метод автоматической динамической верификации автоматных программ Верификацией программ называется проверка соответствия поведения про грамм спецификации. Различают статическую и динамическую верификацию:

при статической верификации анализу подвергается код программы или его модель, а при динамической анализируется ход выполнения работающей про граммы. Для верификации автоматных программ традиционно используется статическая верификация, а именно model checking – проверка спецификации на модели программы. В роли модели обычно используется структура Крипке, а в качестве проверяемых условий – формулы темпоральной логики (линейной темпоральной логики LTL или логики ветвящихся вычислений CTL). При этом основной проблемой статической верификации автоматных программ является размер модели, который быстро растет с увеличением количества параллельно исполняемых автоматов в системе. Эта проблема получила название «комбина торного взрыва»: с ростом количества параллельных автоматов в системе коли чество состояний в модели Крипке растет экспоненциально. Таким образом, в настоящее время model checking позволяет верифицировать автоматные про граммы лишь с небольшим количеством параллельных автоматов и переходов, что оставляет открытой задачу эффективной верификации больших автоматных программ. В то же время известны алгоритмы динамической верификации про грамм, основанные на автоматах Бюхи. Этот подход позволяет верифицировать программы произвольного размера за время, линейно зависящее от размера спецификации и времени работы программы. В настоящей работе предлагается метод динамической верификации автоматных программ, основанный на опи санном подходе. Разработан формальный метод построения автомата Бюхи и проверки выполнимости формул в различных точках выполнения системы ав томатов. Произведена практическая реализация разработанного метода и оце нена степень его применимости для верификации автоматных программ.

Д.В. Корнев Уральский государственный университет им. А.М. Горького Моделирование сетевого взаимодействия в рамках одного компьютера При создании и отладке протоколов разработчику необходимо тестировать свою реализацию, создавая различные сетевые конфигурации и отладочные си туации. В случае протоколов, подразумевающих одновременное общение большого количества узлов сети, отладка становится затруднительной. Решить эту проблему можно при помощи моделирования сетевого взаимодействия в рамках одного компьютера. Была разработана архитектура моделирующего стенда, позволяющего отлаживать протоколы от сетевого уровня стека ISO/OSI и выше, и сделана реализация, сопровождаемая документацией. В данный мо мент при помощи моделирующего стенда, идет разработка протоколов грида Ghostgrid, моделируется игра «бой в кластере».

А.А. Безгодов Реализация модели освещения Кука-Торренса с использованием технологии Deferred Shading Освещение в игровых системах является важным фактором, который влияет на восприятие виртуального мира пользователем. Пользователь должен в полной мере идентифицировать материалы и сопоставлять синтезируемое изображение с тем, что он видит в реальной жизни. Во многом восприятие зависит от вы бранной модели освещения. Некоторые модели годятся для описания лишь уз кого круга материалов, в то время как другие модели могут описывать более широкий круг материалов. Одной из моделей освещения, которая позволяет описать широкий круг материалов и хорошо согласуется с экспериментами, яв ляется модель освещения Кука-Торренса. Однако серьезным недостатком дан ной модели освещения является ее высокая вычислительная трудоемкость. В работе разработана графическая система на базе игровой системы “Quake 2” (исходные тексты игровой системы доступны по лицензии GPL), в которой реализована данная модель освещения Кука-Торренса, а также модель освеще ния изображения. Обе модели освещения реализованы с использованием тех нологии Deferred Shading.. Предложен метод размещения данных в геометриче ском буфере минимальной разрядности (128 бит), позволяющий задавать ши рокий круг материалов и эффектов постобработки, а также ряд методов опти мизации расчета освещения изображений.


М.Д. Хорунжий Санкт-Петербургский государственный университет кино и телевидения Метод количественной оценки цветовых различий при восприятии цифровых изображений Определение цветовых различий между двумя стимулами является важной за дачей колориметрии и цветовоспроизведения в информационных системах.

Цель работы – получение надежной психофизической базы данных для иссле дования хроматического и светлотного контраста больших объектов изображе ний с их точным спектральным измерением. Математическая обработка экс пертных оценок осуществляется с использованием методов многомерного шка лирования (z-преобразования). Используемый критерий цветовых различий по зволяет количественно оценить взаимоотношение между цветными изображе ниями с изменениями контраста, светлоты, цветового тона и насыщенности, с дальнейшим установлением допусков на цветовоспроизведение. Для этого бы ли нормализованы значения экспериментальной шкалы, чтобы различия в изо бражениях были отображены в значениях на шкале между любым изображени ем и эталоном. Результаты расчетов показали, что два цветных изображения могут обладать одинаковыми рассчитываемыми цветовыми различиями от эта лонного изображения, несмотря на то, что одно ощущается экспертами более контрастным, а второе менее контрастным. Ил. 10, табл. 8.

А.Л. Зеленковский Методы измерения ошибок в задачах сегментации Проводимые исследования относятся к области компьютеризированных проце дур анализа и обработки изображений. Сегментация подразделяет изображение на составляющие его области или объекты. Важным аспектом определения эф фективности сегментации изображения является количественная оценка иска жений. В статье рассматриваются следующие способы оценки качества сегмен тации изображения: средняя пиксельная ошибка и среднеквадратичная ошибка (Root Mean Square Error, RMSE). В результате проведенных исследований по лучены количественные оценки искажений для сегментации с использованием метода обнаружения перепадов яркости для различных типов изображений.

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

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

Р.Д. Исакиев Обработка изображений многоканальными неразделимыми вейвлет-фильтрами Реализована задача построения пар биортогональных фильтров с конечной им пульсной характеристикой (КИХ-фильтров) и соответствующих им вейвлетов, удовлетворяющих необходимому условию гладкости, в двумерном пространст ве и для любых допустимых матриц децимации. Для обработки изображения в неразделимом базисе была создана программа, использующая найденные им пульсные характеристики в соответствующих быстрых алгоритмах анализа и синтеза. Произведено исследование характеристик сжатия изображения при различных параметрах гладкости фильтров и различных матрицах децимации, а также сравнение результатов с результатами Р.О. Белоус, Ю.А. Чернятина Применение нейронных сетей в задачах анализа текстовой информации В докладе рассматриваются вопросы анализа текстов на естественном языке с помощью нейронных сетей. Очерчивается круг задач, требующих анализа тек стовых данных, рассматриваются сопутствующие вопросы, проблемы и реше ния. Эти задачи решаются методами технологии, которую в западной литерату ре называют Text Mining («анализ текстовой информации»). Показано место Text Mining среди других технологий интеллектуального анализа данных. Text Mining включает в себя как классические задачи анализа данных (классифика цию и кластеризацию), так и задачи, специфичные для неструктурированных (таких как текстовые документы) и полуструктурированных (таких как XML или SGML документы) данных. Среди задач, специфичных для Text Mining, рассмотрены автоматическое аннотирование, извлечение ключевых понятий, навигация по тексту, анализ трендов и поиск ассоциаций. Цель работы – сде лать обзор основных методов Text Mining и выяснить степень применимости и преимущества применения к ним нейросетевых технологий. Рассматриваются преимущества нейронных сетей в контексте данных задач. Описывается общая архитектура нейронных сетей. Более подробно изучается несколько хорошо за рекомендовавших себя нейросетевых моделей: самоорганизующиеся карты Ко хонена (Self-organizing Maps, SOM) и сети классификации входных векторов (Learning Vector Quantization Networks). Необычным типом нейронных сетей являются сети рекурсивной автоассоциативной памяти (Recursive Autoassociative Memory). Мы рассматриваем возможности применения этой модели сетей для задач Text Mining. Таким образом, в докладе очерчен круг проблем для дальнейшего изучения и экспериментирования и обозначены по тенциальные возможности применения некоторых нейросетевых моделей для анализа текстовой информации. Ил. 4, табл. 1.

Г.А. Коченятов, С.И. Сутковой Ярославский государственный университет им. П.Г. Демидова Среда автоматизированных исследований PicLAB Для анализа, разработки и оптимизации различных алгоритмов цифровой обра ботки изображений, а также для проведения лабораторных работ по соответст вующему курсу для студентов физического факультета Ярославского государ ственного университета имени П.Г. Демидова, обучающихся по специальности «Радиофизика и электроника», разработана исследовательская среда PicLab (Picture Laboratory). В ее основу положены исследования, проводившиеся на протяжении нескольких лет в лаборатории «Цифровые цепи и сигналы» ЯрГУ.

В среду PicLab, помимо множества алгоритмов обработки изображений, моде лей шумов, алгоритмов сжатия и средств автоматизации исследований, входит набор тестовых изображений, которые представлены в градациях серого и имеют размер 512512 пикселей. PicLab позволяет также обрабатывать любые 8-битные (в градациях серого) и 24-битные (цветные) изображения в форматах BMP и JPEG. В среде PicLab существует простая процедура добавления новых алгоритмов обработки цифровых изображений, что позволяет быстро изменять набор алгоритмов при решении различных задач. Все алгоритмы образуют не противоречивую и интуитивно понятную объектно-ориентированную иерар хию, которую можно легко расширять новыми алгоритмами. Все алгоритмы хранятся в динамически подключаемых библиотеках, функционирующих по принципу плагинов (plug-in). Идея плагинов состоит в том, что для расширения функциональности основной программы не требуется ее переработка и пере компиляция, достаточно поместить специальным образом подготовленную библиотеку в папку на диске, и основная программа при запуске загрузит все подобные библиотеки, расширяя свою функциональность. Такое решение по зволяет легко изменять набор возможностей программы без особых усилий.

А.Е. Никитин Ярославский государственный университет им. П.Г. Демидова Построение анализатора изображений гранулометрического типа Задачи, связанные с анализом гранулометрических изображений, встречаются в медицине (изучение состава крови, подсчет числа бактерий и т.д.), металлургии (анализ различных сталей, сплавов на соответствие стандартам, индикация де фектов), в различных отраслях промышленности. Большой практический инте рес представляет разработка программно-аппаратного комплекса, который по зволит систематизировать процесс получения и обработки гранулометрических изображений. В аппаратную часть разрабатываемого автоматизированного комплекса входят микроскоп МБС 10, цифровая фотокамера Olympus C7070 и персональный компьютер. Посредством специального адаптера микроскоп со единяется с объективом цифрового фотоаппарата. Исследуемый образец (меди цинский препарат, алмазный порошок и т.п.) помещается в микроскоп, опера тор делает снимок, который через интерфейс USB поступает в компьютер и об рабатывается программной частью комплекса. Работу программной части мож но разделить на следующие стадии: предобработка исходного изображения, распознавание объектов на изображении, принятие решения экспертной систе мой. Предобработка включает в себя удаление шума и различных искажений, которые в ряде случаев возникают при регистрации снимков. Для восстановле ния изображения предлагается использовать нелинейную и медианную цифро вую фильтрацию, выравнивание гистограммы, настройку яркости и контраст ности. На этапе распознавания производится выделение кластеров на изобра жении. Процедура выделения кластеров включает операции детектирования краев объектов, утолщения контуров, заполнения объектов. На последней ста дии анализа изображения предлагается использовать нейросетевую экспертную систему, которая обеспечивает адекватную оценку образца и выносит решение о его качестве.


С.Ю. Канжелев Проблема ожидания событий в реактивных системах, реализованных с помощью автоматного подхода Использование метода верификации систем, основанного на моделях (Model checking), находит в последнее время все большее количество сторонников.

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

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

Для реализации описанной системы рассмотрены как лингвистические, так и статистические методы автоматической обработки текста. Ил. 7, табл. 1.

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

Б.А. Ильин WorkFlow технологии в приборостроении Технология WorkFlow связывает людей, организацию, оборудование и процес сы в единое целое, обеспечивая на предприятии единый, сквозной взаимосвя занный процесс, направленный на удовлетворение потребностей потребителя.

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

Ю.В. Донецкая Центральный научно-исследовательский институт «Электроприбор»

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

А.Н. Волкович Объединенный институт проблем информатики Национальной академии наук Беларуси Восстановление трехмерных моделей объектов по стереоизображениям с учетом распараллеливания В настоящее время использование компьютерных трехмерных моделей для ви зуализации объектов широко распространено. Построение моделей вручную сопряжено с большими затратами. Одним из альтернативных подходов в по строении трехмерных моделей реальных объектов является подход, основан ный на использовании нескольких цифровых изображений. Выделяют два под хода для получения трехмерной информации по изображениям: подход, ис пользующий характерные признаки изображенных объектов, и подход, исполь зующий плотные карты диспаратности, которые позволяют для каждой точки одного изображения найти соответствующую ей точку на втором либо опреде лить, что такой точки нет. Построение модели на основе карт диспаратности требует подготовки изображений к обработке. Данная подготовка предполагает поиск сопряженных точек и выравнивание изображений. Методы построения плотной карты диспаратности можно разделить на две группы: локальные ме тоды, которые работают с небольшими окрестностями точек для нахождения соответствий (например, блочный метод), и глобальные, которые работают со строками изображения (динамическое программирование) или с изображением целиком (метод максимального потока в графе). Простейший локальный алго ритм – блочный алгоритм. Он определяет диспаратность, сравнивая небольшой регион (блок) вокруг точки первого изображения с последовательностью таких же регионов на втором изображении в некоторой области поиска. Существует также алгоритм, использующий динамическое программирование для построе ния плотной карты диспаратности. Этот алгоритм работает с парами соответст вующих строк на изображении, рассматривая их независимо от остальных строк. Третий подход к построению карты диспаратности состоит в сведении задачи к нахождению максимального потока в графе. В построенном специаль ным образом графе находится минимальный разрез, который и определяет ис комые значения диспаратности. Обработка изображений большого разрешения требует значительных временных затрат. Отсюда возникает необходимость по иска способов оптимизации и ускорения выполнения алгоритмов. Одним из подходов, дающих значительные результаты в увеличении скорости выполне ния алгоритмов, является распараллеливание. Автором проведен анализ воз можных способов распараллеливания. Проведен вычислительный эксперимент по распараллеливанию алгоритмов на двухпроцессорной системе. Проведенные исследования показали эффективность использования параллельных вычисле ний в задаче построения трехмерных моделей по стереоизображениям. Даль нейшая изыскательская работа позволит оптимизировать данный процесс. Про граммная реализация и внедрение алгоритмов построения трехмерной модели сцен по стереоизображениям с использованием возможностей параллельных систем позволит в значительной степени автоматизировать географо геодезические работы и работы по обработке данных ДЗЗ. Предполагается воз можное внедрение параллельных методов в систему «Стерео-К», разрабаты ваемую в рамках программ Союзного государства «Космос-СГ» и «Космос НТ», а также программы «СКИФ». Ил. 7, табл. 1.

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

С.Л. Денищик Белорусский государственный технологический университет Оценка восприятия иллюстрации Как известно, рисунок является одним из элементов печатного издания, однако быстрое развитие информационных технологий привело к тому, что иллюстра ция все чаще включается в состав как мультимедийных изданий, так и элек тронных вариантов печатных изданий. В связи с этим актуальным является изучение восприятия читателями иллюстраций различного характера в различ ных видах изданий – учебного, справочного или изданий для детей. При подго товке электронного варианта печатного издания перед редактором встает зада ча отбора иллюстрационного ряда произведения. В зависимости от вида изда ния критерии отбора могут варьироваться. Решаемая проблема – разработка критериев отбора уже существующих иллюстрационных рядов для использова ния их в структуре печатного или электронного издания. В работе поставлена задача оценки восприятия иллюстраций методами семантического дифферен циала и факторного анализа. Полученные результаты показали, что иллюстра ции могут быть дифференцированы в зависимости от свойств привлекательно сти, и каждая обладает своим семантическим аппаратом различения. По сред ним оценкам значений можно говорить о том, какие эмоциональные впечатле ния вызывают анализируемые иллюстрации. Методом анализа главных компо нент было проведено определение наиболее весомых факторов для нескольких иллюстраций, отражающих один сюжетный момент художественного произве дения. Такой подход к оценке иллюстраций позволяет уточнить их эмоцио нально-образные характеристики, что может способствовать выявлению связи между иллюстрацией и текстом. Ил.3, табл. 1.

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

Д.Н. Кравченко Верификация программ на основе алгебро-топологического аппарата исчислимых кубических покрытий В работе рассмотрены следущие вопросы. (1). Постановка задачи верификации программ (2). Представление логики вычислительных процессов в виде булева графа. (3). Осуществление верификации программ на основе кубических ком плексов. (4). Применение комплекса кубических покрытий в анализе уязвимо сти программ.

Р.В. Иванов, Ю.А. Семенов Разработка сетевой информационной системы для службы технической поддержки офисного оборудования С развитием программного обеспечения ЭВМ появились идеи создания управ ляющих систем, которые позволяли бы накапливать, хранить и обновлять взаи мосвязанные данные по целому комплексу решаемых задач. Эти идеи нашли свое воплощение в системах управления базами данных (СУБД). С появлением персональных компьютеров СУБД становятся наиболее популярным средством обработки табличной информации. Они являются инструментальным средст вом проектирования банков данных при обработке больших объемов информа ции. В настоящее время стабильно развивается сфера выездного обслуживания компьютерной и офисной техники. Основным фактором успешной работы яв ляется скорость и качество обработки заявки. Кроме того, следует учитывать быстро меняющийся рынок обслуживаемой техники, изменение и расширение клиентской базы, а также индивидуальные особенности клиентов. Компании реализуют различные организационные структуры и, как следствие, не могут использовать для поддержки универсальную автоматизированную систему. В работе предпринимается попытка осуществить постановку задачи создания САПР для проектирования систем поддержки техобслуживания. В настоящее время применяются два основных способа удаленной работы с клиентами в сфере технического обслуживания – по телефону или через Интернет. Задача автоматизации информационной поддержки выездного технического обслужи вания является массовой, следовательно, необходима разработка САПР для проектированная таких систем Целью работы являлось создание программы, позволяющей вести учет поступающих заявок по сервисному обслуживанию фирм, пользующихся услугами сервисного центра. Дается анализ средств раз работки подобных программ, их возможностей, описание возникающих про блем и обоснование выбора инструментальных средств при создании подобных продуктов. Разрабатываемая система предназначена для управления содержи мым базы данных с целью определения отказа оборудования. Система позволя ет выполнять запросы по отказам оборудования, по выполненным работам, де лать выборку по типу оборудования из списка заявок и пр. Система может быть внедрена также на предприятиях, занимающихся сервисным обслуживаем дру гиъх видов техники.

А.В. Янчицкий Сервисно-ориентированная архитектура Интерфейс хореографии Web-сервисов (Web Service Choreography Interface – WSCI) – это описательный язык интерфейсов на основе XML, который работа ет «в связке» с языком описания Web-сервисов (Web Services Description Language – WSDL). Его цель – позволить корпорациям использовать возможно сти Web-сервисов для создания бизнес-процессов, отражающих постоянно ме няющиеся требования современного бизнеса. Корпорации могут представлять свои прикладные программы и ресурсы в виде Web-сервисов, чтобы другие компании могли оперативно находить и использовать их в своих бизнес процессах..

Т.Е. Войтюк Автоматизированная система сбора и обработки данных скважинных измерений с помощью акустического расходомера В настоящее время темпы повышения объемов добычи нефти, а также стремле ние нефтяных компаний снизить себестоимость ее добычи приводит к необхо димости создания интеллектуальных месторождений. Основной проблемой при создании интеллектуальных месторождений является сбор информации в ство ле скважины при высоких давлениях и температурах и дальнейшая ее обработ ка, позволяющая осуществлять постоянный мониторинг геофизических данных для получения информации о состоянии объекта. В качестве источника первич ной информации в работе был использован акустический расходомер, располо женный в скважинной части «интеллектуальной скважины» и позволяющий в общем акустическом спектре выделить диапазоны, соответствующие различ ным типам флюидов. Обработка и анализ сигналов производится программно аппартным комплексом, расположенным в устье скважины. При разработке программной части было применено взаимодействие разноязыковых программ, таких как математический пакет MatLab и язык Java, что позволило упростить и увеличить скорость математических расчетов, необходимых для обработки и отображения регистрируемых сигналов. Полученные результаты применяются для оперативного анализа состояния работы добывающей скважины по сущест вующим геофизическим методикам. Ил. 12.

Ю.В. Лужков Исследование алгоритмов сжатия изображений на основе пространственной декомпозиции сигнала В работе рассматриваются адаптивные иерархические преобразования сигнала, используемые или пригодные к использованию в алгоритмах сжатия изображе ний с потерями. Исследуются способы повышения эффективности их примене ния. Исходное статическое изображение представляется в виде трехмерной структуры, которая последовательно разлагается на составные части. Основные задачи, решаемые в рамках исследования: (1). Поиск эффективных стратегий древовидной декомпозиции сигнала. (2). Исследование алгоритмов аппрокси мации узлов дерева декомпозиции. На основе проделанного анализа в работе предлагаются новые схемы адаптивной компрессии, производится их сравнение с существующими алгоритмами сжатия. Ил. 3.



Pages:   || 2 | 3 | 4 | 5 |   ...   | 11 |
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.