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

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

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

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

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

1
Ожидается:
17 Марта 2024

Статьи журнала №3 2012

31. Программная система анализа диаграммных языков [№3 за 2012 год]
Авторы: Шаров О.Г. (o.sharov@gmail.com) - Представительство АО ДжекНайф, Инк., кандидат физико-математических наук; Афанасьев А.Н. (a.afanasev@ulstu.ru,) - Ульяновский государственный технический университет; Гайнулин Р.Ф. (r.gainullin@gmail.com) - Ульяновский государственный технический университет;
Аннотация: Предложена клиент-серверная архитектура системы для анализа корректности графических потоков работ при проектировании сложных автоматизированных систем. Система представляет собой многослойную структуру. Пре-зентационный слой является инструментальным средством создания диаграмм на визуальном языке (например, UML, IDEF, eEPC), входящем в состав программного комплекса методологии проектирования (RUP, ARIS и др.), или любым из редакторов, который имеет возможность расширяться плагинами. Слой логики предназначен для приема и передачи данных от плагина и наоборот. При передаче отдается XML-описание диаграммы, при приеме – список ошибок в формате XML. Доступ к серверу осуществляется по публичному API-интерфейсу. Слой обработки данных содержит универсальный анализатор диаграммных языков потоков проектных работ, в основу функционирования которого положен аппарат авторских графически автоматных RV-грамматик, обеспечивающих обнаружение и нейтрализацию ошибок за один проход анализа диаграммы. Контролируются синтаксические и семантические ошибки в анализируемых графических спецификациях потоков работ. Преимуществами анализатора являются линейное время анализа, полнота контроля, удобство визуализации ошибок. Разобран пример применения грамматики для анализа UML-диаграмм. Система реализована в среде Python на базе сервера Торнадо. Работа выполнена на кафедре «Вычислительная техника» Ульяновского государственного технического университета.
Abstract: The article describes client-server architecture for analysis of consistency of graphic works in the design process of complex automated systems. The system is represented by multilayer structure. Presentation layer is a tool fo creation of diagrams in a visual language (UML, IDEF, eEPC etc) included in design technique software package (RUP, ARIS etc), or any other editor, which can be expanded with plug-ins. Logic layer is designed for data exchange with plug-in. Description of diagram is transferred during sending procedure in XML format. When error list is received in XML format. The server is accessed through public API-interface. Data processing layer contains multipurpose visual language analyzer of the project works, this analyzer operates on the basis of graphic finite state, which discover and eliminate errors within one pass of diagram analysis. Syntax and semantic errors are controlled in analyzed graphic specifications of the work flow. Analyzer has advantage in the form of linear analysis time, full control and visual error presentation. The article shows grammar example of UML-diagram analysis. The system is implemented in Python environment at Tornado server. The work was made in Computing Technics Department, Ulyanovsk State Technical University.
Ключевые слова: uml-диаграммы., автоматная rv-грамматика, диаграммные языки
Keywords: UML-diagram, automate RV-grammar, diagram language
Просмотров: 6528

32. Организация защищенного канала передачи информации [№3 за 2012 год]
Авторы: Шудрова К.Е. ( k.shudrova@krasgaz.ru) - Сибирский государственный аэрокосмический университет им. академика М.Ф. Решетнева, г. Красноярск; Почкаенко В.Ю. () - Сибирский государственный аэрокосмический университет им. академика М.Ф. Решетнева, г. Красноярск;
Аннотация: В статье представлены результаты исследований, направленных на создание методической и программно-алгоритмической основы формирования защищенного канала передачи данных. Описана программная реализация разработанного алгоритма. На основе сформулированной задачи построена клиент-серверная архитектура решения, предложены некоторые варианты его использования. Важным аспектом описываемого в статье алгоритма является приоритизация трафика, что позволяет эффективно распределять нагрузку. Авторами предложен метод, основанный на встраивании дополнительной информации в заголовок TCP-пакета. Управление нагрузкой использует принцип идентификации по меткам и цикличную проверку, реализующую их применение в системе. Данный алгоритм назван авторами «Метка привилегий». При разработке методики организации защищенного канала передачи данных рассматривались два типа угроз: несанкционированный доступ к узлам сети, между которыми происходит передача информации, и несанкционированный доступ в процессе передачи по открытым каналам связи. Для решения задачи аутентификации, предотвращающей первый тип угроз, в алгоритме «Метка привилегий» используется принцип доверенной передачи меток. Для защиты канала передачи данных от не-санкционированного доступа используется стеганография. При этом в качестве контейнера для встраивания скрытой информации выбран видеопоток, что позволяет обеспечить большую пропускную способность решения. Приведено описание разработанного программного комплекса, реализующего созданную методику. Результаты могут найти применение как в практических задачах организации видеоконференций со встроенным защищенным режимом передачи данных, так и в теоретических исследованиях, связанных с распределением нагрузки и режимами использования и передачи стегоданных.
Abstract: In The article presents result of study related to development of methodological and program and algorithmic foundation of setting protected data transfer channel. The article describes program implementation of the designed algorithm. The article contains client-server architecture solution based on the expressed problem, there are provided some variants of its use. The described algorithm includes important aspect of traffic prioritization, which helps to distribute the load effectively. Authors provide technique based on integration of additional information into the header of TCP package. The load is managed by identification technique with marks and cycle checking that implements them in the system. The authors named this algorithm as Privilege Mark. Authors considered two types of threats when they designed protected data transfer channel: unauthorized access to the network communicating units and unauthorized access during the transfer process through open communication channels. To prevent first type of threat and provide authentication, authors use confidential mark transfer method in the Privilege Mark algorithm. Steganography is used to protect data transfer channels from unauthorized access. Video stream is used here to be a container for hidden information, this provides high bandwidth of such solution. The article describes the software solution that implement such technique. The result can be used in practical arrangement of video conference with integrated protected data transfer mode and in theoretical studies related to the load distribution and operation modes and stegodata transfer.
Ключевые слова: канал передачи информации., скрытая информация, программа, алгоритм, «метка привилегий», балансировка нагрузки сети, видео, стеганография
Keywords: information transmission channel, hidden information, software, algorithm, the Label of privileges, network load balancing, video, steganography
Просмотров: 23018

33. Основные этапы создания интеллектуальных обучающих систем [№3 за 2012 год]
Авторы: Трембач В.М. (trembach@yandex.ru) - Московский авиационный институт (национальный исследовательский университет), кандидат технических наук;
Аннотация: Основу современного непрерывного образования и его эффективность определяют электронные системы обуче-ния. Лидирующие позиции среди них постепенно занимают интеллектуальные обучающие системы (ИОС). В статье рассматриваются основные этапы создания ИОС. Дается краткая история электронных систем обучения, описываются появление и развитие ИОС. Показана структура ИОС на основе агентно-ориентированного подхода. В качестве основных этапов создания системы выделены вербальное описание предметной области, структурирование вербаль-ного описания предметной области с целью формирования учебных объектов, формирование метаданных об учебных объектах, создание базы знаний ИОС и тестовых объектов (заданий) для оценки изучения учебного объекта. В ИОС предлагается интегрированный подход к представлению знаний, позволяющий контролировать содержимое базы знаний через визуализацию. В статье описывается создание базы знаний об учебных объектах с применением сетей Петри. Использование формальных методов в виде сетей Петри для синтеза баз знаний с корректным содер-жанием может стать основой компьютерных методов создания ИИС. Методы анализа описаний компетенций с при-менением дерева достижимости, матричной теории сетей Петри привлекают возможностью компьютеризации многих процессов. Рассмотрены существующие подходы к тестированию, показаны примеры современных систем тес-тирования. Автором предложено построение индивидуальной траектории тестирования, которая должна формиро-ваться в зависимости от имеющихся компетенций и используемых форм обучения.
Abstract: Electronic systems represent the base of present day continuous education and its effectiveness. Intellectual training systems (ITS) gradually take leading position. This article discusses basic stages of ITS development. It provides short history of electronic education systems and it describes ITS appearance and development. The article explains ITS structure based on agent-oriented approach. The article separates verbal description of the subject field as one of the main stages; structuring of the verbal description related to the subject field with the purpose of development of educational subject; metadata formation about educational subject; creation of ITS knowledge base; development of the test objects (tasks) for assessment of education object study level. ITS provides integrated approach to presentation of the knowledge that helps to control knowledge base through visualization. The article discusses creation of the knowledge base about education objects using Petri nets. Use of the formal techniques as Petri nets for creation of the knowledge base with correct content can become foundation for computer techniques of IIS development. Analysis tool for description of competencies using accessibility tree and matrix Petri net theory sound attractive due to possibility of computer application for numerous processes. The article presents existing approaches to test procedures, it shows examples of state-of-the-art testing systems. The author provides construction of individual test path function, which shall be formed depending on existing competencies and used education forms.
Ключевые слова: персональная среда обучения., многоагентная система, онтология, репозиторий, учебный объект, компетенции, интеллектуальная обучающая система
Keywords: personal learning environment, multiagents systems, ontology, repository, learning object, the competence, intelligent tutoring systems
Просмотров: 20192

34. Распределение ресурсов в информационной системе дистанционной поддержки образовательного процесса [№3 за 2012 год]
Авторы: Болодурина И.П. (prmat@mail.osu.ru) - Оренбургский государственный университет (профессор, зав. кафедрой), доктор технических наук; Парфёнов Д.И. (fdot_it@mail.osu.ru) - Оренбургский государственный университет (начальник отдела), кандидат технических наук; Решетников В.Н. (rvn_@mail.ru) - Центр визуализации и спутниковых информационных технологий ФНЦ НИИСИ РАН (профессор), доктор физико-математических наук;
Аннотация: спутниковых информационных технологий в системах дистанционного обучения. При этом актуальна задача иссле-дования эффективных методов управления производительностью и оптимизации использования программных и ап-паратных ресурсов. Целью исследования является оптимизация распределения ресурсов среди уязвимых с точки зрения временных задержек и скорости обработки запросов внешних (по отношению к системе) пользователей. Это связано с распро-страненностью интернет-ориентированной архитектуры клиентских приложений. При лавинообразном росте коли-чества запросов информационные системы испытывают недостаток в потребляемых ресурсах, поэтому важным яв-ляются грамотное управление обслуживанием поступающих заявок и минимизация отказов в обслуживании, насту-пающих в зависимости от объема выделенных для работы системы ресурсов. Большое количество одновременных обращений служит причиной дисбаланса рабочего трафика, что негативно сказывается на буферах маршрутизируещего оборудования и ведет к превышению критических объемов ресурсов серверов. В рамках представленного исследования построена многоуровневая модель системы дистанционного обучения, проанализированы характеристики и приведен алгоритм для повышения эффективности использования имеющихся ресурсов с целью улучшения качества предоставления услуг в распределенных информационных системах дистан-ционного обучения. Эффективность алгоритма выбора и расстановки приоритета обслуживания входящего потока заявок подтверждена путем проведения сравнительного анализа выходных данных моделирования, она позволяет сократить время отклика системы. Помимо этого, предложенный алгоритм дает возможность максимизировать ко-личество обработанных запросов пользователей в единицу времени.
Abstract: Development of computer technologies gives rise to the active use of training systems and satellite information technologies in distance education systems. The objective of investigation of effective performance management techniques and optimization of software and hardware usage becomes really relevant. The study is targeted to optimization of resource distribution among vulnerable external (relatively to the system) users in relation to latency and query processing speed. This is connected to availability of internet oriented architecture of the client applications. When the number of queries grows too fast, information systems suffer from lack of consumed resources, there-fore, it is important to manage received queries and minimize failures during the service, which occur depending on allocated resources required for the system operation. Large amount of simultaneous queries leads to disbalance of the operation traffic, negatively affecting routing equipment buffers and results into excessive growth of critical servers’ resources. This study provides construction of multilevel model of the distant education model, it reviews characteristics and provides algorithm for effective use of available resources that can improve service quality in distributed information distant educational systems. Effectiveness of the selection algorithm and service prioritizing of incoming queries is supported by comparative analysis of the output model data, it helps to reduce system time response. In addition, this algorithm can maximize number of processed users’ queries during time unit.
Ключевые слова: приоритеты обработки запросов., распределение ресурсов, тренажерно-обучающие системы дистанционного обучения
Keywords: priorities for processing requests, resource allocation, exercise-training distance education system
Просмотров: 8448

35. Об одном способе представления знаний [№3 за 2012 год]
Авторы: Бронфельд Г.Б. (stolem1985@gmail.com) - Нижегородский государственный технический университет им. Р.Е. Алексеева (доцент), кандидат технических наук;
Аннотация: Рассматривается новый способ моделирования знаний в виде молинг при создании баз знаний интеллектуальных систем. В данном подходе простые предложения представляются короткой семантической сетью экспертом-редактором ручным или полуавтоматическим способом, что давно применяется при создании экспертных систем, при этом исходная грамматическая структура сохраняется. Сложные предложения разбиваются на простые. Получаемая модель предложения названа молингой. В работе дано ее формальное описание. Молинги включают в себя множество идентификаторов, ядро, условие применимости ядра, кодовую последовательность номеров словарей, уровень достоверности, постусловия. Приводится вид семантической сети, которая может представлять ядро молинги. База знаний состоит из набора молинг. Описывается пошаговый порядок получения молинг как моделей текста. Простые предложения, имеющие семантический смысл уже введенных молинг, повторно в базу знаний не вводятся. На отрывке реального текста демонстрируется пример созданной базы знаний в виде набора молинг, приводится получаемый при этом словарь терминов, который затем используется вместе с данной базой знаний при логическом выводе. В тексте есть ссылка на новый патент автора на данную технологию моделирования знаний. Такой способ моделирования знаний из текстов позволяет реализовать технологию прямого наложения знаний. Близкий к описанному подход был использован Д. Греем при создании баз чисто числовых данных. Данный подход применим при разработке интеллектуальных систем для широкого круга знаний.
Abstract: In the article there is considered a new method for knowledge modeling in the form of molingas by creating knowledge bases of intelligence systems. In this approach simple sentences are represented as short semantic network by an expert-editor in manual or semi-automatic way that has long been applied when creating expert systems. The original grammatical structure is retained. Complex sentences are divided in simple ones. The received model of sentence is named molinga. The study gives its formal description. Molingas include many ID numbers, core, molinga core usability condition, code sequence of dictionaries numbers, confidence level, postconditions. There is given a kind of semantic network which can represent the core of molinga. Knowledge base consists of a set of molingas. The article describes a step-by-step procedure for obtaining molingas as text models. Simple sentences that have semantic meaning of already entered molingas, do not enter again in the knowledge base. The passage of real text demonstrates the knowledge base example created as a set of molingas, the glossary of terms is given, which is then used with this knowledge base by inferencing. The text has a link to the author's new patent on this knowledge modeling technology. This way of knowledge modeling from texts enables technology of direct knowledge overlay. Similar approach has been used by D. Grey by creation of purely numerical databases. This approach can be used to de-velop intelligence systems for a wide range of knowledge.
Ключевые слова: интеграция знаний., база знаний, семантическая сеть, моделирование, текст, управление знаниями, молинга, модель знаний
Keywords: knowledge integration, knowledge base, semantic network, modeling, text, knowledge management, molinga, knowledge model
Просмотров: 11246

36. Разработка инструментальных средств анализа драйверов операционной системы Linux [№3 за 2012 год]
Авторы: Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Павлов Е.Г. (lucenticus@gmail.com) - Российский государственный социальный университет, г. Москва;
Аннотация: Описывается инструмент для поиска проблем синхронизации в драйверах операционной системы Linux, который использует метод обнаружения ошибочных ситуаций с помощью семантических моделей, основанный на теории, описанной в работе [2]. Метод позволяет обнаруживать такие ошибки синхронизации, как зацикливания, взаимобло-кировки, двойные блокировки и другие. Инструмент для поиска ошибок синхронизации состоит из четырех основных частей: препроцессора, транслятора кода драйвера в программу на языке асинхронных функциональных схем (далее АФС), модуля представления программы АФС в виде системы рекурсивных уравнений, анализатора системы рекурсивных уравнений. Препроцессор реализован в виде сценария на языке bash, его назначение – подготовка кода драйвера к трансляции в язык АФС. После всех подготовительных процедур препроцессор передает управление транслятору в язык АФС. Транслятор написан с использованием генераторов лексических анализаторов GNU Flex и синтаксических анализаторов GNU Bison. Драйвер преобразуется в программу на языке АФС на основе заданной в настоящей статье операционной семантики для объектов синхронизации. Следующим этапом является преобразование программы на языке АФС в систему рекурсивных уравнений. На основе теории из [3] программа на языке АФС представляется в виде системы рекурсивных уравнений, которая задает множество вычислительных последовательностей, сопоставляемое структуре драйвера. С целью поиска ошибок синхронизации реализован инструмент для анализа полученной системы рекурсивных уравнений. Он имеет модульную архитектуру, поэтому возможна его адаптация для различных типов ПО. Помимо этого, в данный момент ведутся исследования, изучающие возможность применения метода из [2] для обнаружения состояния гонок.
Abstract: The article describes the tool for search of synchronization problems in Linux operating system drivers that uses the detection of error situations by using semantic models. This method is based on theory, described in the work [2], it enables to detect such errors of synchronization as loops, deadlocks, double locking and others. Tool for search of synchronization errors consists of four main parts: the preprocessor, the compiler of driver code to program in the language of asynchronous functional schemes (AFS), the presentation of the AFS program as a system of re-cursive equations, analyzer of recursive equations system. The preprocessor is implemented as a script in the bash language, its purpose is to prepare the driver code to translate into the AFS language. After all the preparatory procedures the preprocessor passes control to the translator into the AFS language. The translator is written using the GNU Flex lexical analyzer generators and GNU Bison syntax analyzers. The driver is translated in the AFS language, based on the specified in this article operational semantics for synchronization objects. The next step is to convert the AFS language programs into the recursive equations system. On the basis of the theory of [3] the program in the AFS language is presented as a system of recursive equations, which sets a lot of computing sequences associated with the driver structure. In order to search synchronization errors there is implemented a tool for analyze of recursive equations system received. The tool has a modular architecture, so it can be adapted for different types of software. In addition, the possibility of applying the method of [2] for races state detection is being currently studied.
Ключевые слова: алгебраическая семантика., эквациональная характеристика, взаимодействующие последовательные процессы, драйверы устройств, верификация
Keywords: algebraic semantics, equational characterization, communicating sequential processes, device drivers, verification
Просмотров: 8630

37. Экспериментальные исследования состоятельности оценок латентных параметров модели Раша [№3 за 2012 год]
Авторы: Елисеев И.Н. (ein@sssu.ru) - Южно-Российский государственный университет экономики и сервиса, г. Шахты, кандидат технических наук;
Аннотация: Состоятельность оценок максимального правдоподобия латентных параметров «трудность задания» теста и «уровень подготовки» студента однопараметрической дихотомической модели Раша при неограниченно возрас-тающем объеме выборки студентов N и числе заданий теста L подтверждена результатами вычислительного экспе-римента. Показано, что предельные значения оценок латентных параметров достигаются при N=1500 и L=1500 и с дальнейшим ростом N, L практически не изменяются. Предложен метод калибровки заданий теста по матрицам ре-зультатов тестирования ограниченного объема, позволяющий существенно снизить ее погрешность. Исследования выполнялись на основе вычислительного эксперимента. В первой его части исследовалась зависи-мость оценок максимального правдоподобия латентных параметров и от размера матрицы результатов тести-рования. Предполагалось, что распределения оценок и являются нормальными. На основе дихотомической матрицы ответов размером 60х49 и предложенного автором алгоритма были сформированы нормативные дихотоми-ческие матрицы результатов тестирования размером от 501500 до 25052505. Затем они обрабатывались, данные обработки представлялись графически. Анализировались и сравнивались между собой оценки латентных параметров , а также ( ). Во второй части вычислительного эксперимента полученные на моделях матриц ответов результаты проверялись на реальной матрице результатов тестирования М1 размером 5150. Модели нормативных матриц ответов форми-ровались с использованием статистических параметров распределения статистик и , рассчитанных по матрице М1. Полученные оценки латентных параметров и сравнивались с соответствующими значениями оценок параметров и матрицы М1.
Abstract: Consistency of an estimator of the maximum likelihood related to latency features «task severity» of the test and «preparation level» of a student in one-parameter dichotomous Rash model when the amount of selected students N and number of the test task L grows without limitation, is supported by computing experiment. It is shown that extreme values of latency features are achieved when N=1500 and L=1500, and they stay stable with following growth of N, L. They offer calibration technique to calibrate test tasks by test resulting matrix of limited amount, which significantly reduces its measure of inaccuracy. The study was performed based on computation experiment. First part of the study examined dependence of the maximum likelihood related to latency features and from matrix size of the test results. It was assumed that estimate distribution and was normal. Based on dichotomous result matrix with dimensions of 6049 and provided algorithm, the author formed reference dichotomous resulting matrix of tests with dimensions of 501500 to 25052505. Then they were processed and the data was presented in graphic form. Data was analyzed and latency features were compared among themselves , and ( ) as well. In the second part of the computing experiment, results received from the result matrix model were checked upon M1 real test result matrix with dimensions of 5150. Reference result matrix models were formed using statistic parameters of statistics distribution and , calculated with M1 matrix. Resulting estimation of latency features and were compared against proper estimations of and of M1 matrix.
Ключевые слова: модель раша., латентный параметр, задание теста, состоятельность оценок, тест, модель матрицы, дихотомическая матрица
Keywords: Rush's model, the latent parameter, the test task, consistency of assessments, test, matrix model, dichotomous matrix
Просмотров: 8898

38. Технология автоматизированного создания экспертных систем психофизиологической диагностики [№3 за 2012 год]
Авторы: Ермаков А.Е. (alerma@rambler.ru) - Военно-медицинская академия им. С.М. Кирова, г. Санкт-Петербург, кандидат технических наук; Найденова К.А. (ksennaidd@gmail.com) - Военно-медицинская академия им. С.М. Кирова, г. Санкт-Петербург,, кандидат технических наук;
Аннотация: Описывается разработанная авторами технология автоматизированного создания без программирования широкого класса экспертных систем психологической и физиологической диагностики, а также обучающих экспертных систем, предназначенных для исследования различных аспектов психического и физиологического состояния обследуемых и обучения специалистов. Технология базируется на предложенной авторами формализованной модели объекта исследования, использует несколько моделей вывода диагностического заключения, реализуется с помощью проблемно-ориентированного программного инструментального средства и программы-интерпретатора описаний параметров экспертных систем на основе комбинированной спецификации экспертных знаний, сочетающей их прямую экспертную спецификацию с интегрированными процедурами индуктивного формирования знаний. Технология может использоваться психологами, физиологами, врачами, персоналом высших и средних учебных заведений и научно-исследовательских подразделений. Программное инструментальное средство обеспечивает разработчикам воз-можность конвейерной спецификации структурных и функциональных параметров создаваемых экспертных систем, когда отдельные этапы спецификации естественно следуют друг за другом в соответствии с семантикой описываемых объектов и существующими между ними взаимосвязями. Интерпретатор описаний – программная система, обеспечивающая практическое использование созданных экспертных систем: ведение БД по обследуемым, реализацию диагностических процедур, пошаговую обработку полученных данных, управление ходом обследования, фор-мирование диагностического заключения, а также отображение результатов обследования в табличной и графической формах на экране монитора и устройстве печати.
Abstract: The article describes automated creation technology without programming of the broad group of psychological and physiological expert diagnostic systems and educational expert systems designed for investigation of various aspects that relate to patient’s psychological and physiological condition; it is also designed for professional training. The provided technology is based on formalized model of the subject of research, it uses several models of diagnostic decision; it is implemented with problem-oriented program tool and software that interprets features of the expert system based on combined specification of expert knowledge, combining their direct expert specification and integrated procedures of inductive knowledge acquisition. This technology can be used by psychologists, physiology experts, doctors and personnel working in higher education system and colleges and scientific and research departments. Program tool provides developers the ability to conveyor specification of the structural and functional parameters of the expert systems to be designed, when individual specification steps follow one after another according to semantics of the described objects and existing relations. Description interpretive program is represented by the software system that provides practical use of expert systems, – patients’ data base maintenance, implementation of diagnostic procedures, step by step data processing, examination management, formulation of diagnostic decision and presentation of examination in the form of table or chart at screen or a print form.
Ключевые слова: кон, интерпретатор описаний параметров экспертных систем, инструментальное средство для создания экспертных систем, модель вывода диагностического заключения, формализованная модель знаний, автоматизированное создание экспертных систем, экспертная система
Keywords: , interpreter of expert system descriptions, tool for expert systems creation, model of inference of diagnostic conclusion, formalized model of knowledge, the automated creation of expert systems, expert system
Просмотров: 9178

39. Метод поддержки принятия решений по управлению временными аспектами проектов на промышленных предприятиях [№3 за 2012 год]
Авторы: Стоянова О.В. (ovstoyanova@list.ru) - Смоленский филиал Национального исследовательского университета МЭИ, кандидат экономических наук; Васицына А.И. (vasicina@mail.ru) - Смоленский филиал Московского энергетического института (технического университета);
Аннотация: Рассмотрен метод поддержки принятия решений по управлению временными характеристиками проектов, реа-лизуемых на промышленных предприятиях. Данный метод основан на построении и использовании темпорально-логической модели проекта, позволяющей получить формализованное описание качественных временных отношений между отдельными этапами проекта. Описаны алгоритмы и инструменты, используемые в процессе построения данной модели, алгоритмы расчетов временных характеристик проектов и возможности использования результатов моделирования для поддержки принятия решений. Предложена матрица выбора вида временной структуры и способов ее описания в зависимости от характеристик проекта, необходимости моделирования мгновенных событий, типов отношений между этапами и прочих факторов. Показано, что для сложных проектов предпочтителен выбор овеществленной временной логики для интервальной или точечно-интервальной структуры времени. Особенности каждой из перечисленных временных структур учтены в алгоритмах построения модели и формулах расчета ее па-раметров. Приведены результаты имитационных вычислительных экспериментов, направленных на исследование эффективности работы метода при решении различных задач поддержки принятия решений в планировании структуры проекта, оптимизации его длительности, повышении управляемости. Показано, что для получения удовлетво-рительных результатов необходимо обратить особое внимание на подготовку описания отношений между этапами проекта в терминах используемой временной логики, то есть работе на начальных этапах предлагаемого метода. Для этого могут использоваться известные инструменты с учетом отмеченных в работе особенностей их применения для данной задачи. В целом метод может быть рекомендован в качестве инструмента поддержки принятия решений по управлению проектами со сложной стационарной структурой. Для проектов с нестационарной структурой он может использоваться для построения и анализа моделей проекта на отдельных интервалах, где принимается истинность условия стационарности его структуры.
Abstract: This article presents a method of decision-making support for managing time characteristics of projects implemented in the industry. This method is based on the construction and use of temporal-logic model of the project, which allows a formal description of qualitative temporal relations between the different phases of the project. We describe the algorithms and tools used in the process of constructing this model, the algorithms of calculation time characteristics of projects and the possibility of using the results of simulation for decision support. It is given a matrix selection of the types of temporary structures and methods of its description depending on the characteristics of the project, the need for modeling instant events, types of relations between the stages and other factors. It is shown that for complex projects is the preferred choice of matter-temporal logic for interval or dot-interval-time structures. Features of each of these temporary structures taken into account in the algorithms for constructing models and formulas of the calculation of its parameters. Presents the results of simulation of computational experiments aimed at the investigation of the effectiveness of the work of the method for solving various tasks of decision-making support in the areas of: planning the project's structure, optimization of its duration, and manageability. It is shown that to obtain satisfactory results it is necessary to pay special attention to the preparation of describing the relationships between the stages of the project in terms of the use of temporal logic, i.e. the work in the initial stages of the proposed method. This can be used by well-known instruments, with a view of the marked in the work of the peculiarities of their application to the task. In general, the method can be recommended as a tool to support decision-making for management of projects with complex stationary structure. For projects with non-stationary structure of the method can be used for the construction and analysis of models of the project at selected intervals, which assumes the truth of the conditions of invariance of its structure.
Ключевые слова: временные характеристики., математическое моделирование, темпоральная логика, поддержка принятия решений, управление проектами
Keywords: the temporal characteristics, mathematical and computer modeling, temporal logic, decision support, project management
Просмотров: 11688

40. Особенности работы с документами в информационных системах управления данными [№3 за 2012 год]
Авторы: Вичугова А.А. (anya@aics.ru) - Национальный исследовательский Томский политехнический университет, Аспирант ; Вичугов В.Н. (anya@aics.ru) - Национальный исследовательский Томский политехнический университет, кандидат технических наук; Дмитриева Е.А. (anya@aics.ru) - Национальный исследовательский Томский политехнический университет, кандидат технических наук;
Аннотация: Изложены аспекты управления документами в современных многопользовательских информационных системах, которые позволяют автоматизировать структурированное хранение электронной информации и управление ею. Рас-смотрены модели данных информационных систем. Проведен анализ понятия «электронный документ», включая метаданные и внутреннее содержимое, а также показаны основные отличия информационных систем управления данными об изделии (PDM) и информационных систем электронного документооборота (ECM) относительно объектов типа «документ». Перечислены возможные состояния жизненного цикла документа в информационной системе. Рассмотрены особенности методологии управления потоком работ Workflow на примере типовых процессов работы с документами. Приведен фрагмент разработанной модели данных информационной системы управления проектной информацией для примера управления технологическими данными в приборостроительном производстве. Выполнено сравнение возможностей управления документами на примере PDM-системы Enovia SmarTeam производства IBM и Dassault Systems и отечественной ECM-системы DIRECTUM, разработанной одноименной российской компанией.
Abstract: The article describes aspects of document management in modern multiplayer communication systems that allow you to automate structured electronic information storage and management. Models of these information systems are considered. Analysis of the notion of «electronic document» is performed, including metadata and inner content, as well as the major differences between product data management systems (PDM) and electronic document management systems (ECM) concerning objects of «document» type. Possible states of a document's life cycle in the information system are listed. There are considered features of Workflow management methodology on the example of work with documents. There is a fragment from the developed model of project information management system as an example of the technological data management in instrument manufacture. There are compared document management features on the example of PDM-system Enovia SmarTeam of IBM and Dassault Systems production and domestic ECM-system DIRECTUM, developed by a homonymous Russian company.
Ключевые слова: автоматизация деятельности., информационные системы, управление предприятием, модель данных, документооборот
Keywords: automation of activity, information systems, enterprise management, Data Model, document workflow
Просмотров: 11844

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