На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

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

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

31. Синхронизация профилей пользователей MS SharePoint Portal Server 2003 с внешним источником данных [№3 за 2012 год]
Автор: Ермаков Д.Г.
Просмотров: 8883
При построении корпоративных порталов одной из важных задач является синхронизация данных, публикуемых на портале, с данными, используемыми другими приложениями и хранимыми в различных форматах средствами различных СУБД. В случае, когда данные на портале могут редактироваться пользователями или сторонними при-ложениями, необходимо организовать их синхронизацию. Когда один из источников данных назначается главным, а другой подчиненным, синхронизация не представляет трудностей. В том случае, когда может потребоваться двуна-правленность, необходимо обеспечить как прямую, так и обратную синхронизацию. В статье рассматриваются решение задачи синхронизации профилей пользователей MS SharePoint Portal Server 2003 (SPS) с внешним источником данных – унаследованной подсистемой отдела кадров и обратная синхронизация этого источника с данными профилей пользователей SPS. Рассмотрены два варианта получения данных из пользовательских профилей: с помощью SQL-запроса и с применением объектной модели SPS. Для организации синхронизации предлагается использовать промежуточный файл в формате XML. Такое решение позволяет заменить источник синхронизируемых данных без существенных изменений в уже имеющемся программном обеспечении. Кроме того, он предоставляет возможность передать данные третьей стороне или получить их от нее. Приводятся примеры скриптов на языке сценариев PowerShell, входящем в стандартную поставку MS Windows, реализующие прямую и обратную синхронизацию. Кроме задачи синхронизации, рассмотренный подход может использоваться для переноса данных при переходе с MS SharePoint на другую платформу.

32. Программная система анализа диаграммных языков [№3 за 2012 год]
Авторы: Шаров О.Г., Афанасьев А.Н., Гайнулин Р.Ф.
Просмотров: 6583
Предложена клиент-серверная архитектура системы для анализа корректности графических потоков работ при проектировании сложных автоматизированных систем. Система представляет собой многослойную структуру. Пре-зентационный слой является инструментальным средством создания диаграмм на визуальном языке (например, UML, IDEF, eEPC), входящем в состав программного комплекса методологии проектирования (RUP, ARIS и др.), или любым из редакторов, который имеет возможность расширяться плагинами. Слой логики предназначен для приема и передачи данных от плагина и наоборот. При передаче отдается XML-описание диаграммы, при приеме – список ошибок в формате XML. Доступ к серверу осуществляется по публичному API-интерфейсу. Слой обработки данных содержит универсальный анализатор диаграммных языков потоков проектных работ, в основу функционирования которого положен аппарат авторских графически автоматных RV-грамматик, обеспечивающих обнаружение и нейтрализацию ошибок за один проход анализа диаграммы. Контролируются синтаксические и семантические ошибки в анализируемых графических спецификациях потоков работ. Преимуществами анализатора являются линейное время анализа, полнота контроля, удобство визуализации ошибок. Разобран пример применения грамматики для анализа UML-диаграмм. Система реализована в среде Python на базе сервера Торнадо. Работа выполнена на кафедре «Вычислительная техника» Ульяновского государственного технического университета.

33. Организация защищенного канала передачи информации [№3 за 2012 год]
Авторы: Шудрова К.Е., Почкаенко В.Ю.
Просмотров: 23150
В статье представлены результаты исследований, направленных на создание методической и программно-алгоритмической основы формирования защищенного канала передачи данных. Описана программная реализация разработанного алгоритма. На основе сформулированной задачи построена клиент-серверная архитектура решения, предложены некоторые варианты его использования. Важным аспектом описываемого в статье алгоритма является приоритизация трафика, что позволяет эффективно распределять нагрузку. Авторами предложен метод, основанный на встраивании дополнительной информации в заголовок TCP-пакета. Управление нагрузкой использует принцип идентификации по меткам и цикличную проверку, реализующую их применение в системе. Данный алгоритм назван авторами «Метка привилегий». При разработке методики организации защищенного канала передачи данных рассматривались два типа угроз: несанкционированный доступ к узлам сети, между которыми происходит передача информации, и несанкционированный доступ в процессе передачи по открытым каналам связи. Для решения задачи аутентификации, предотвращающей первый тип угроз, в алгоритме «Метка привилегий» используется принцип доверенной передачи меток. Для защиты канала передачи данных от не-санкционированного доступа используется стеганография. При этом в качестве контейнера для встраивания скрытой информации выбран видеопоток, что позволяет обеспечить большую пропускную способность решения. Приведено описание разработанного программного комплекса, реализующего созданную методику. Результаты могут найти применение как в практических задачах организации видеоконференций со встроенным защищенным режимом передачи данных, так и в теоретических исследованиях, связанных с распределением нагрузки и режимами использования и передачи стегоданных.

34. Основные этапы создания интеллектуальных обучающих систем [№3 за 2012 год]
Автор: Трембач В.М.
Просмотров: 20318
Основу современного непрерывного образования и его эффективность определяют электронные системы обуче-ния. Лидирующие позиции среди них постепенно занимают интеллектуальные обучающие системы (ИОС). В статье рассматриваются основные этапы создания ИОС. Дается краткая история электронных систем обучения, описываются появление и развитие ИОС. Показана структура ИОС на основе агентно-ориентированного подхода. В качестве основных этапов создания системы выделены вербальное описание предметной области, структурирование вербаль-ного описания предметной области с целью формирования учебных объектов, формирование метаданных об учебных объектах, создание базы знаний ИОС и тестовых объектов (заданий) для оценки изучения учебного объекта. В ИОС предлагается интегрированный подход к представлению знаний, позволяющий контролировать содержимое базы знаний через визуализацию. В статье описывается создание базы знаний об учебных объектах с применением сетей Петри. Использование формальных методов в виде сетей Петри для синтеза баз знаний с корректным содер-жанием может стать основой компьютерных методов создания ИИС. Методы анализа описаний компетенций с при-менением дерева достижимости, матричной теории сетей Петри привлекают возможностью компьютеризации многих процессов. Рассмотрены существующие подходы к тестированию, показаны примеры современных систем тес-тирования. Автором предложено построение индивидуальной траектории тестирования, которая должна формиро-ваться в зависимости от имеющихся компетенций и используемых форм обучения.

35. Распределение ресурсов в информационной системе дистанционной поддержки образовательного процесса [№3 за 2012 год]
Авторы: Болодурина И.П., Парфёнов Д.И., Решетников В.Н.
Просмотров: 8487
спутниковых информационных технологий в системах дистанционного обучения. При этом актуальна задача иссле-дования эффективных методов управления производительностью и оптимизации использования программных и ап-паратных ресурсов. Целью исследования является оптимизация распределения ресурсов среди уязвимых с точки зрения временных задержек и скорости обработки запросов внешних (по отношению к системе) пользователей. Это связано с распро-страненностью интернет-ориентированной архитектуры клиентских приложений. При лавинообразном росте коли-чества запросов информационные системы испытывают недостаток в потребляемых ресурсах, поэтому важным яв-ляются грамотное управление обслуживанием поступающих заявок и минимизация отказов в обслуживании, насту-пающих в зависимости от объема выделенных для работы системы ресурсов. Большое количество одновременных обращений служит причиной дисбаланса рабочего трафика, что негативно сказывается на буферах маршрутизируещего оборудования и ведет к превышению критических объемов ресурсов серверов. В рамках представленного исследования построена многоуровневая модель системы дистанционного обучения, проанализированы характеристики и приведен алгоритм для повышения эффективности использования имеющихся ресурсов с целью улучшения качества предоставления услуг в распределенных информационных системах дистан-ционного обучения. Эффективность алгоритма выбора и расстановки приоритета обслуживания входящего потока заявок подтверждена путем проведения сравнительного анализа выходных данных моделирования, она позволяет сократить время отклика системы. Помимо этого, предложенный алгоритм дает возможность максимизировать ко-личество обработанных запросов пользователей в единицу времени.

36. Об одном способе представления знаний [№3 за 2012 год]
Автор: Бронфельд Г.Б.
Просмотров: 11384
Рассматривается новый способ моделирования знаний в виде молинг при создании баз знаний интеллектуальных систем. В данном подходе простые предложения представляются короткой семантической сетью экспертом-редактором ручным или полуавтоматическим способом, что давно применяется при создании экспертных систем, при этом исходная грамматическая структура сохраняется. Сложные предложения разбиваются на простые. Получаемая модель предложения названа молингой. В работе дано ее формальное описание. Молинги включают в себя множество идентификаторов, ядро, условие применимости ядра, кодовую последовательность номеров словарей, уровень достоверности, постусловия. Приводится вид семантической сети, которая может представлять ядро молинги. База знаний состоит из набора молинг. Описывается пошаговый порядок получения молинг как моделей текста. Простые предложения, имеющие семантический смысл уже введенных молинг, повторно в базу знаний не вводятся. На отрывке реального текста демонстрируется пример созданной базы знаний в виде набора молинг, приводится получаемый при этом словарь терминов, который затем используется вместе с данной базой знаний при логическом выводе. В тексте есть ссылка на новый патент автора на данную технологию моделирования знаний. Такой способ моделирования знаний из текстов позволяет реализовать технологию прямого наложения знаний. Близкий к описанному подход был использован Д. Греем при создании баз чисто числовых данных. Данный подход применим при разработке интеллектуальных систем для широкого круга знаний.

37. Разработка инструментальных средств анализа драйверов операционной системы Linux [№3 за 2012 год]
Авторы: Кораблин Ю.П., Павлов Е.Г.
Просмотров: 8677
Описывается инструмент для поиска проблем синхронизации в драйверах операционной системы Linux, который использует метод обнаружения ошибочных ситуаций с помощью семантических моделей, основанный на теории, описанной в работе [2]. Метод позволяет обнаруживать такие ошибки синхронизации, как зацикливания, взаимобло-кировки, двойные блокировки и другие. Инструмент для поиска ошибок синхронизации состоит из четырех основных частей: препроцессора, транслятора кода драйвера в программу на языке асинхронных функциональных схем (далее АФС), модуля представления программы АФС в виде системы рекурсивных уравнений, анализатора системы рекурсивных уравнений. Препроцессор реализован в виде сценария на языке bash, его назначение – подготовка кода драйвера к трансляции в язык АФС. После всех подготовительных процедур препроцессор передает управление транслятору в язык АФС. Транслятор написан с использованием генераторов лексических анализаторов GNU Flex и синтаксических анализаторов GNU Bison. Драйвер преобразуется в программу на языке АФС на основе заданной в настоящей статье операционной семантики для объектов синхронизации. Следующим этапом является преобразование программы на языке АФС в систему рекурсивных уравнений. На основе теории из [3] программа на языке АФС представляется в виде системы рекурсивных уравнений, которая задает множество вычислительных последовательностей, сопоставляемое структуре драйвера. С целью поиска ошибок синхронизации реализован инструмент для анализа полученной системы рекурсивных уравнений. Он имеет модульную архитектуру, поэтому возможна его адаптация для различных типов ПО. Помимо этого, в данный момент ведутся исследования, изучающие возможность применения метода из [2] для обнаружения состояния гонок.

38. Экспериментальные исследования состоятельности оценок латентных параметров модели Раша [№3 за 2012 год]
Автор: Елисеев И.Н.
Просмотров: 8973
Состоятельность оценок максимального правдоподобия латентных параметров «трудность задания» теста и «уровень подготовки» студента однопараметрической дихотомической модели Раша при неограниченно возрас-тающем объеме выборки студентов N и числе заданий теста L подтверждена результатами вычислительного экспе-римента. Показано, что предельные значения оценок латентных параметров достигаются при N=1500 и L=1500 и с дальнейшим ростом N, L практически не изменяются. Предложен метод калибровки заданий теста по матрицам ре-зультатов тестирования ограниченного объема, позволяющий существенно снизить ее погрешность. Исследования выполнялись на основе вычислительного эксперимента. В первой его части исследовалась зависи-мость оценок максимального правдоподобия латентных параметров и от размера матрицы результатов тести-рования. Предполагалось, что распределения оценок и являются нормальными. На основе дихотомической матрицы ответов размером 60х49 и предложенного автором алгоритма были сформированы нормативные дихотоми-ческие матрицы результатов тестирования размером от 501500 до 25052505. Затем они обрабатывались, данные обработки представлялись графически. Анализировались и сравнивались между собой оценки латентных параметров , а также ( ). Во второй части вычислительного эксперимента полученные на моделях матриц ответов результаты проверялись на реальной матрице результатов тестирования М1 размером 5150. Модели нормативных матриц ответов форми-ровались с использованием статистических параметров распределения статистик и , рассчитанных по матрице М1. Полученные оценки латентных параметров и сравнивались с соответствующими значениями оценок параметров и матрицы М1.

39. Технология автоматизированного создания экспертных систем психофизиологической диагностики [№3 за 2012 год]
Авторы: Ермаков А.Е., Найденова К.А.
Просмотров: 9246
Описывается разработанная авторами технология автоматизированного создания без программирования широкого класса экспертных систем психологической и физиологической диагностики, а также обучающих экспертных систем, предназначенных для исследования различных аспектов психического и физиологического состояния обследуемых и обучения специалистов. Технология базируется на предложенной авторами формализованной модели объекта исследования, использует несколько моделей вывода диагностического заключения, реализуется с помощью проблемно-ориентированного программного инструментального средства и программы-интерпретатора описаний параметров экспертных систем на основе комбинированной спецификации экспертных знаний, сочетающей их прямую экспертную спецификацию с интегрированными процедурами индуктивного формирования знаний. Технология может использоваться психологами, физиологами, врачами, персоналом высших и средних учебных заведений и научно-исследовательских подразделений. Программное инструментальное средство обеспечивает разработчикам воз-можность конвейерной спецификации структурных и функциональных параметров создаваемых экспертных систем, когда отдельные этапы спецификации естественно следуют друг за другом в соответствии с семантикой описываемых объектов и существующими между ними взаимосвязями. Интерпретатор описаний – программная система, обеспечивающая практическое использование созданных экспертных систем: ведение БД по обследуемым, реализацию диагностических процедур, пошаговую обработку полученных данных, управление ходом обследования, фор-мирование диагностического заключения, а также отображение результатов обследования в табличной и графической формах на экране монитора и устройстве печати.

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

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