по
Меню журнала
> Архив номеров > Рубрики > О журнале > Авторы > О журнале > Требования к статьям > Редакция и редакционный совет > Порядок рецензирования статей > Рецензирование за 24 часа – как это возможно? > Политика издания > Ретракция статей > Этические принципы > Политика открытого доступа > Оплата за публикации в открытом доступе > Публикация за 72 часа: что это? > Политика авторских прав и лицензий > Политика цифрового хранения публикации > Политика идентификации статей > Политика проверки на плагиат
Журналы индексируются
Реквизиты журнала

Публикация за 72 часа - теперь это реальность!
При необходимости издательство предоставляет авторам услугу сверхсрочной полноценной публикации. Уже через 72 часа статья появляется в числе опубликованных на сайте издательства с DOI и номерами страниц.
По первому требованию предоставляем все подтверждающие публикацию документы!
ГЛАВНАЯ > Вернуться к содержанию
Кибернетика и программирование
Правильная ссылка на статью:

САПР и интеллектуальные обучающие технологии
Сидоркина Ирина Геннадьевна

доктор технических наук

декан факультета Информатики и вычислительной техники, Поволжский государственный технологический университет

424000, Россия, Марий Эл область, г. Йошкар-Ола, пл. Ленина, 3

Sidorkina Irina Gennad'evna

Doctor of Technical Science

Dean of the Faculty of Computer Science and Computer Engineering at the Volga State Technological University

424000, Russia, Marii El oblast', g. Ioshkar-Ola, pl. Lenina, 3

igs592000@mail.ru
Другие публикации этого автора
 

 

Аннотация.

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

Ключевые слова: САПР, интеллектуальные обучающие технологии, автоматизированное проектирование, распределенный образовательный курс, технология, процесс логического вывода, проектное решение, каузальные отношения, e-learning, анализ

DOI:

10.7256/2306-4196.2014.1.11316

Дата направления в редакцию:

03-03-2014


Дата рецензирования:

04-03-2014


Дата публикации:

1-2-2014


Abstract.

The article reviews the problem of theoretical justification of principles and concepts of computer-aided design for cognitive object, shows the distribution of educational courses. The author shows the integration of computer-aided design methods of realizing algorithmic synthesis represented by object technology of intelligent information processing. The proposed method of creating an educational resource opens the original direction for training in CAD. The main purpose of the use of intelligent tutoring technology in CAD is reviewed. The main feature of constructing an intelligent CAD system for designing an information object is the need to synchronize the process of automatic processing of project information and process of inference. The proposed formal representations allows to logically structure the properties of the design decisions, determine the semantic transformation rules based on causal relations domain to eliminate uncertainty on the basis of the known methods presented in this paper used to implement the teaching of intelligent technologies. 
Presented intelligent CAD technology is designed to empower and distributed educational applications. Currently, e-learning systems have demonstrated the benefits of using them.

Keywords:

CAD, intelligent educational technology, computer aided design, distributed educational course, technology, process of inference, design solution, causal relationship, e-learning, analysis

Введение. Современная образовательная система функционирует как среда быстрого анализа разделяемой информации (FASMI) [1], что определяет ее как аналитическую. Назначение систем аналитической обработки информации: работа с данными, распределенными в глобальных вычислительных сетях, извлечение и обработка слабоструктурированной информации, знаний.

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

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

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

Основными целями использования интеллектуальных обучающих технологий в САПР являются: расширение сферы действия известных алгоритмических моделей [2,3] проектирования для качественно нового объекта и для иной среды их применения; для оказания системой квалифицированной помощи проектировщику курса в процессе его создания; при снижении психической и физической нагрузки на него; повышении удобства создания веб-курса; устранения высоких требований к уровню подготовки пользователя по созданию образовательных приложений; при сокращении времени и материальных затрат на проектирование информационного объекта.

Характерными особенностями автоматизированных систем, построенных на основе интеллектуальных технологий [4–6], являются следующие: наличие собственной внутренней модели предметной области, обеспечивающей ее индивидуальность, относительную самостоятельность в оценке текущей ситуации, возможность семантической и прагматической интерпретации событий; способность накапливать и уточнять знания системы, адаптироваться к изменениям внешних условий; способность создавать информацию, которая в явном виде не содержится в системе, что позволяет системе воспроизводить информационную структуру с новой прагматической и семантической направленностью; умение системы оперировать в ситуациях, связанных с различными аспектами неточности в тех областях, где отсутствует формализованная теоретическая база, путем принятия эмпирических ассоциаций, включая «понимание» естественного языка или его профессионального диалекта; возможность проводить дедуктивные рассуждения на наборе фактов, описывающих ситуацию (по проведению маршрутов обучения), сопоставляя их и получая условия выполнения и необходимость определенных действий или вероятность реализуемых гипотез; способность оценивать последствия гипотетических действий и разрабатывать альтернативные планы достижения поставленных целей; реализацию процесса обучения.

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

1. Постановка задачи. Наполнение обучающего курса информационными компонентами осуществляется с использованием методов размещения в непрерывном пространстве, с учетом меры связности информационных компонентов в плане или подплане и как следствие в конспекте. Кроме того, при создании курса используется метод последовательного конструирования и анализа, на базе инвариантного ядра САПР и классических алгоритмов синтеза, использующих квадратичную задачу о назначении и задачу коммивояжера в качестве моделей. Как известно [2,3,7], перечисленные задачи являются NP - полными.

Целью использования интеллектуальных технологий в среде образовательного приложения является использование знаний об области изучения, студенте и о стратегии преподавания, чтобы поддержать гибкое индивидуализированное изучение и обучение. Основные технологии [8], такие как упорядочение материала (curriculum sequencing), интеллектуальный анализ решений задач (intelligent analysis of student's solutions), поддержка интерактивного решения задач (interactive problem solving support) были подробно описаны ранее. В последнее время добавились технологии поддержки решений, основанные на примерах ( example-based problem solving support) и группа технологий «сравнения моделей».

Упорядочение материала

Основная задача технологии упорядочения материала состоит в том, чтобы обеспечить студента наиболее пригодной и индивидуально запланированной последовательностью знаний (примеры, вопросы, задания), для изучения материала от самого простого к сложному. Другими словами, она помогает студенту обнаружить «оптимальный маршрут» через изучаемый материал. Существует также два типа упорядочения: активное и пассивное. Первое основывается на целях обучения (набор доменных понятий или тем , которыми нужно овладеть). Для систем второго типа характерно определение наилучшего индивидуального маршрута через изучаемый материал, чтобы достигнуть цели обучения. Пассивное упорядочение не требует цель изучения. Данная технология вступает в работу, когда пользователь не способен решить задачу или ответить на вопрос (или вопросы) правильно. Система должна предложить пользователю к изучению набор доступного материала, который может заполнить пробел в знании. В большинстве систем с упорядочением можно различить два уровня: высокий и низкий. Высокоуровневое упорядочение, или упорядочение цели, определяет следующую подцель изучения: понятие, набор понятий, новая тема или раздел. Упорядочение низкого уровня, или упорядочение задания, определяет изучение задания в пределах текущей подцели (задачи, теста).

Интеллектуальная поддержка решения задач

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

Интеллектуальный анализ студенческих решений работает со студенческими конечными ответами на вопросы независимо от того, как эти ответы были получены. Чтобы считаться интеллектуальным, анализатор решения должен обнаружить, правильно решение или нет; определить, что точно не правильно и не полно; а возможно и опознать, какой не пройденный материал может быть ответственен за ошибку.

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

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

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

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

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

Информация, необходимая для функционирования интеллектуальной системы проектирования должна включать сведения:

- о конкретных характеристиках объекта проектирования, сведения о его свойствах и ограничениях на структуру;

- алгоритмах проектирования и эвристических приемах преобразования проектируемого объекта ;

- математических моделях ОИТ и задач проектирования;

- существующих в ПО каузальных отношениях между компонентами объекта;

- индивидуальных моделях пользователя или схемах предпочтения (приоритетов).

Основным концептуальным принципом САПР, на основе которого осуществляется разработка моделей ОИТ, является принцип иерархической декомпозиции. Поэтому процесс проектирования объекта подвергается декомпозиции на логически завершенные подпроцессы.

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

Кроме того, необходима разработка концептуальной модели объекта проектирования для обеспечения:

- использования одинакового математического аппарата манипулирования структурами данных и знаний;

- создания тесной взаимосвязи данных и знаний;

- динамически эффективного использования данных и знаний.

Гиперграф курса G, модель которого представлена на рис.1, демонстрирует логически связанные подпланы, описывающие базовый сценарий курса. Атрибутивные поля R определяют смысловое содержание фрагмента проектируемого курса. R и Q – представляют соответственно узлы и дуги гиперграфа, множество A - отражает совокупность свойств проектируемого объекта. Q – контейнер – элемент навигации по курсу. Он используется для связывания материала внутри курса и объединения с элементами других курсов. Множество контейнеров, связанных между собой, на логическом уровне образуют граф курса. И глоссарий - это совокупность ключевых понятий курса. Полученный гиперграф объекта и его атрибутивное описание на основе предложенной систематики процедурных и декларативных компонентов является основой логической формализации процесса автоматизированного проектирования дисциплинарного курса.

1

Рис.1. Модель проектируемого курса

Графовая модель вида G={A,R,Q}, является концептуальной основой представления ОИТ, где R - множество вершин, Q - множество дуг.

Каждая вершина Ri графа интерпретирует функциональное отображение ki типа элемента (свойство или функция) ОИТ на множестве нелингвистических характеристик Vii :

R={riЄ V | Ri: ki → Vi}

Дуга Qi интерпретирует отношение «включает», устанавливающее структурно-иерархический принцип описания информационных характеристик объекта проектирования

Qi = { (RiЄ Qi | Kr Kj) → Qi (Kr ,Kj )}.

При формировании каждой вершины Ri используется индивидуальное множество характеристик Vi элемента ОИТ типа Ki : Vi{Aij). Задание конкретных характеристик Vi приводит к формированию описаний некоторого множества SVi элементов ОИТ типа Ki.

SV можно представить декартовым произведением характеристик Svi = R1i* R2i*…* Rti. Тогда имеем функци F = Vi →Svi, в котором каждое Fi конкретизированное описание одного элемента ОИТ типа Ki.

Таким образом, информационную модель объекта можно задать в виде структурного множества определенных значений параметров ОИТ. Однако, все нюансы такое описание учитывать не будет.

Информация об эвристических приемах и алгоритмах проектных задач в интерактивной системе отображается двумя способами:

- в виде совокупности процедур расчета характеристик ОИТ и процедур принятия решения (выбора) на множестве альтернатив;

- в виде импликативных высказываний, в левой части которых имеется ссылка на условие ( допустимые и достоверные), а в правой ссылка на процедуру преобразования параметров ОИТ, целесообразную в этих условиях.

В рамках этой концепции выделяются несколько уровней моделирования объекта. Эффективность этого концептуального приема доказана результатами практических разработок в различных предметных областях, достигается за счет обеспечения информационной совместимости [2,5] различных этапов автоматизированного проектирования.

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

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

2. Формальный анализ процессов построения интеллектуальных компонентов. Концептуальный образ объекта F0 может быть описан совокупностью элементарных функций fi0 , i=`bar(1,n)` и пересечением соответствующих им множеств в M – мерном nM, определяемых исходные параметры объекта:

F0 = f10 f 20 …. f n0 FM

Совокупность функциональных характеристик fi , i=`bar(1,n)`

образует функциональное описание Fi= {f1, f2, …, fn}

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

Объект представляется атрибутивным описанием:

Ri = {r1, r2, … , rk},

содержащим множество записей на заданном языке о структурных единицах, компонентах объекта, их неотъемлемых признаках и композиционных отношениях между ними.

Основная задача проектирования информационного объекта заключается в отображении концептуального образа объекта F0 в область атрибутивного пространства представления F0 → Ri с определением значений | r j | каждого атрибута rj `in` Ri, j=1,k.

Сущность процедур проектирования, как задача синтеза заключается в формировании таких атрибутивных параметров Ri , соответствующие функциональные характеристики Fi которых удовлетворяют исходной спецификации ОИТ. Таким образом исходное функциональное описание преобразуется в атрибутивное с присвоением значения каждому атрибуту и Ps – процедура синтеза.

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

Процедура описывается правилами преобразований, а именно правилами синтеза:

Usi (Ps) = Psi | Li-1* D* D’’Ps(i)`->` L I, D,D” , (2.1)

где Us – управляющее воздействие, L – текущее цифровое проектное описание объекта названное информационным ядром (ИЯ), D’ - информация их базы данных, D- интерпретирующая ее информация , i - количество синтезирующих проектных процедур ;

сопровождение процесса синтеза описывается правилами комментирования

Ucn(Pc) = Pсn | D’ Ps(i)`->` С , S(x), (2.2)

где С – постоянная справочная информация их БД, S(х) – готовые проектные решения, n – количество операций комментирования для проектируемого фрагмента курса,

правилами интерпретации:

Uij(Pi)=Pi | Li `ul(p i,j)` S (y), (2.3)

где S (y) – описание проектного решения,

и результат проектирования представляется правилами анализа и оценки соответствия

D: S(X,Y,Z) → F0 и D: F0→ F0, (2.4)

которые устанавливают отношения эквивалентности между оценками свойств в проектном описании S и концептуальном описании ОИТ, эвристическими правилами, правилами обучения. В представленном описании D – объект проектирования, S(X,Y,Z) – его проектное описание и F0 - соответствующее ему концептуальное описание.

Вследствие ряда особенностей предметной области произвести прямое преобразование за конечное число шагов сложно.

Поэтому процесс проектирования объекта подвергается декомпозиции на логически завершенные подпроцессы. В последовательности преобразований каждая процедура синтезирующего типа создает новое промежуточное состояние проектного описания Pst `in` Ps, t=1,T.

Предложенная систематика позволяет представить процесс в виде частично упорядоченной и функционально определенной последовательности процедур (2.1-2.4). Это позволяет рассматривать операционные аспекты различных стратегий автоматизированного проектирования курса, произвести обоснованное комплексирование определенных компонентов и рост их эффективности.

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

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

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

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

Кроме того, процесс разработки объекта характеризуется последовательностью этапов на каждом из которых определяется и фиксируется некоторое число параметров ОИТ. Каждый этап выполняется различными инструментальными средствами и заканчивается формированием проектного решения S(x) и иногда его описанием S(y).

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

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

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

Возможными решениями являются идентификация оценки знаний обучаемого по его модели [10], планирование маршрута на основе доказательства цели обучения, используя аппарат исчисления предикатов первого порядка [11] или применение генетического алгоритма [12], обеспечивающего поддержку принятия решений в случае задачи с ограничениями на ресурсы. И еще один вариант – это организация представления текущих свойств объекта и использование их вычислительной модели M = < X, Y >,

где X - нечеткое подмножество пространства входных значений,

Y – множество отношений, связывающих эти значения при использовании шкалы нечетких множеств [1,13,14].

Модель пользователя. Выполним идентификацию оценки знаний обучаемого в данной ПО.

Определим множество U(G) реализаций воздействий контроля, как множество двоичных функций U, полагая, что U`in` U(G), если U удовлетворяет условию:

u(x)<u'(x'), при x`in` Re(x’),

где Re(x)x - множество вершин графа G’, достижимых из х и Re - стратегия.

Будем полагать, что если ответ обучаемого на вопрос х оценен системой положительно, то s(x)=1, в противном случае s(x) =0.

Уровень знаний обучаемого в этом случае определяется совокупностью значений результатов ответов на вопросы и задается как двоичная функция на множестве вопросов х. Легко заметить, что U(G) совпадает со множеством всех двоичных функций на Х, если G есть множество N несвязанных вершин.

Очевидно, что возможность выбора вопроса из множества Х, порождает множе­ство Re стратегий идентификации оценки знаний обучаемого.

Шкала применения нечеткого множества. Вычислительная модель объединяет элементы двух различных множеств: простых свойств E и свойств R. R =`uuu_(i=1)^pRi` , где ρ – количество уровней иерархии. Вычислительная модель свойств [15] организована в виде последовательности уровней представления свойств, отражающих их вычислительную иерархию. Нижний (исходный) уровень (e1, e2 ,…, ek) – числовые характеристики, следующий уровень Fs1 = {e1,e2}, …, Ft1 = {e3, ei},…,Fq1= {ek,j}, следующий Fml2 = {Fs1, Ft1}, … и т.д. до требуемого уровня Fρ

Таким образом, модель M связывает два вида отношений типа - Z, определяющих элементы различных уровней иерархии. Элементы уровня R1 порождаются элементами (простыми свойствами) уровня E с помощью A -отношений, где A- отношения, отношения на основе математических операций.

Каждой вершине f i1 i – го уровня иерархии модели ставится в соответствии ε – функция , позволяющая определить fi1 т.е. fi1 = ε1ύ (e1,e2,…,eύ), где ύ – порядок,функции εi. εi - определяет способ получения элемента fi1 `sub` R1 путем комбинации элементов ei, i=1,k множества E с использованием Z – отношений. Функция ε i– позволяет определить множество числовых значений Di= [a,b] параметра fi1 , является подмножеством шкалы действительных чисел Di `sub` R. Введем покрытие значений Di = `nnn_(dsubw)d` .

Представление шкалы. Шкала показывает соотношение функции принадлежности и вербальных выражений.

Введем покрытие множества значений Di системой нечетких множеств W= {d1,d2,…,dn}.

Построение вычислительной модели свойств проектных решений позволяет перейти от числовых к лингвистическим значениям (см. табл. 1) свойств путем задания шкал значений.

Таблица 1

Шкала значений истинности

Нечеткий показатель «ответ»

Шкала значений истинности

Нечеткий показатель «Изученность понятия»

0,0 – 0,12

Ложь

0,0 – 016

Абсолютно плохо

0,1 – 0,26

Очень правдоподобно

0,16- 0,36

Очень плохо

0,26 – 0,38

Неправдоподобно

0,36 – 0,45

Плохо

0,38- 0,59

Неопределенно

0,45 – 0,62

Неопределенно

0,59 – 0,73

Правдоподобно

0,62 – 0,92

Очень хорошо

0,73 – 0,92

Очень правдоподобно

0,74 – 0, 92

Очень хорошо

0,92 – 1

Истина

0,92 – 1

Отлично

Значение функции εi, определяющей параметр fi1 , можно охарактеризовать функциями принадлежности нечеткому множеству M1, M2,…,Mn . Определив Max Mj1 = Mj, получаем нечеткое множество dj к которому относится значение параметра fi1. Поставим в соответствие каждому покрытию системой нечетких множеств W={d 1 , d2,…,dn}, множество лингвистических значений, т.е. вербальных элементов и тогда каждое числовое значение параметра fi1- может быть определено лингвистическими значениями множества Ri .

Operator fi1: Di → Mj.

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

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

Представленные технологии предназначены для расширения возможностей и распределенных образовательных приложений. В настоящее время системы e-learning уже продемонстрировали преимущества использования интеллектуальных технологий. Если сделать анализ, то первыми технологиями, используемыми в распределенных образовательных приложениях, являются технологии упорядочения (упорядочение по теме, по странице, по заданию), т.к. они удачно сочетаются с текущей структурой веб-образовательных систем. Затем используется интеллектуальная поддержка и группы технологий «сравнение моделей».

На основе описанных технологий разработана система прототип [16], включающая подсистемы конструирования курса и навигатора топологий обучения, позволяющая проектировать курс и строить оптимальные маршруты изучения материала на основе упорядочения представления.

Библиография
1.
Корнеев В.В., Гараев А.Ф., Васютин С.В., Райх В.В. Базы данных. Интеллектуальная обработка информации.-М.: Нолидж.-352 с.
2.
Римский В.Г. Теория систем автоматизированного проектирования. Минск, «Навука i тэхнiка» , 1994
3.
Сигал И.Х., Соломатин А.Н., Владимирова Н.Ю. Система решения задачи коммивояжера на ПЭВМ М.: ВЦ РАН, 1999
4.
Попов Э.В., Фоминых И.Б., Кисель Е.Б и др. Статические и динамические экспертные ситстемы: Уч. пособие. М.:Финансы и статистика, 1996
5.
Филатова Н.Н. Автоматическое формирование знаний в САПР. Тверь, 1996
6.
Элти Дж., Кумбс М.Э Экспертные системы: концепции и примеры / Пер. с англ.-М.: Финансы и статистика, 1987
7.
Емеличев В.А. , Перепелица В.А. К вычислительной сложности дискретных многокритериальных задач // Изв. АН Техническая кибернетика, 1988, № 1
8.
Brusilovsky P, Schwrts E, Weber G.A. Tool for Developping Hypermedia Based ITS on WWW. Position Paper for ITS’96. Workshop on Architectures and Method for Designing Cost
9.
Хубка В. Теория технических систем. М.:Мир, 1987
10.
Компьютерные технологии в высшем образовании. / Ред. кол. Тихонов А.Н., Садовничий В.А. Изд. Моск. Ун-та, 1994
11.
Сидоркина И.Г., Ветлугин А.Г. Логическое программирование. Уч.пособие. МарГТУ, Йошкар-Ола, 1997
12.
КурейчикВ.М., Родзин С.И. Эволюционные программирование: генетические алгоритмы. // Изв. АН Теория и системы управления, 2002, №1
13.
Нечеткие множества в моделях управления и искусственного интеллекта / Под ред. Поспелова Д.А. М.:Наука, 1986
14.
Кофман А. Введение в теорию нечетких множеств / Пер. с англ. М.: Радио и связь, 1982
15.
Анисимов В.И., Стрельников Ю.Н. Экспертные САПР радиоэлектроники // Изв. Вузов Сер. Радиоэлектроника, Том 30, № 6 , 1987
16.
Сидоркина, И. Г. Моделирование подсистемы навигации в системах обучения стандарта SCORM/ И. Г. Сидоркина, А. Е. Рыбаков // Программные продукты и системы. – 2009. – № 1. – С. 11-15.
17.
Арзамасцев С.В., Коновалов А.В., Муйземнек О.Ю., Канюков С.И. Свойства, методы и события объектов интегрированной интеллектуальной САПР ТП ковки на молотах // Программные системы и вычислительные методы.-2013.-3.-C. 245-249. DOI: 10.7256/2305-6061.2013.3.10542.
18.
В.В. Голенков, Д.В. Шункевич, И.Т. Давыденко Cемантическая технология проектирования интеллектуальных решателей задач на основе агентно-ориентированного подхода // Программные системы и вычислительные методы.-2013.-1.-C. 82-94. DOI: 10.7256/2305-6061.2013.01.7.
19.
Новакова Н.Е., Горячев А.В., Горячев А.А.. Концепция управления проектами в САПР . // Программные системы и вычислительные методы.-2013.-№ 3.-C. 257-263. DOI: .10.7256/2305-6061.2013.3.1054
References (transliterated)
1.
Korneev V.V., Garaev A.F., Vasyutin S.V., Raikh V.V. Bazy dannykh. Intellektual'naya obrabotka informatsii.-M.: Nolidzh.-352 s.
2.
Rimskii V.G. Teoriya sistem avtomatizirovannogo proektirovaniya. Minsk, «Navuka i tekhnika» , 1994
3.
Sigal I.Kh., Solomatin A.N., Vladimirova N.Yu. Sistema resheniya zadachi kommivoyazhera na PEVM M.: VTs RAN, 1999
4.
Popov E.V., Fominykh I.B., Kisel' E.B i dr. Staticheskie i dinamicheskie ekspertnye sitstemy: Uch. posobie. M.:Finansy i statistika, 1996
5.
Filatova N.N. Avtomaticheskoe formirovanie znanii v SAPR. Tver', 1996
6.
Elti Dzh., Kumbs M.E Ekspertnye sistemy: kontseptsii i primery / Per. s angl.-M.: Finansy i statistika, 1987
7.
Emelichev V.A. , Perepelitsa V.A. K vychislitel'noi slozhnosti diskretnykh mnogokriterial'nykh zadach // Izv. AN Tekhnicheskaya kibernetika, 1988, № 1
8.
Brusilovsky P, Schwrts E, Weber G.A. Tool for Developping Hypermedia Based ITS on WWW. Position Paper for ITS’96. Workshop on Architectures and Method for Designing Cost
9.
Khubka V. Teoriya tekhnicheskikh sistem. M.:Mir, 1987
10.
Komp'yuternye tekhnologii v vysshem obrazovanii. / Red. kol. Tikhonov A.N., Sadovnichii V.A. Izd. Mosk. Un-ta, 1994
11.
Sidorkina I.G., Vetlugin A.G. Logicheskoe programmirovanie. Uch.posobie. MarGTU, Ioshkar-Ola, 1997
12.
KureichikV.M., Rodzin S.I. Evolyutsionnye programmirovanie: geneticheskie algoritmy. // Izv. AN Teoriya i sistemy upravleniya, 2002, №1
13.
Nechetkie mnozhestva v modelyakh upravleniya i iskusstvennogo intellekta / Pod red. Pospelova D.A. M.:Nauka, 1986
14.
Kofman A. Vvedenie v teoriyu nechetkikh mnozhestv / Per. s angl. M.: Radio i svyaz', 1982
15.
Anisimov V.I., Strel'nikov Yu.N. Ekspertnye SAPR radioelektroniki // Izv. Vuzov Ser. Radioelektronika, Tom 30, № 6 , 1987
16.
Sidorkina, I. G. Modelirovanie podsistemy navigatsii v sistemakh obucheniya standarta SCORM/ I. G. Sidorkina, A. E. Rybakov // Programmnye produkty i sistemy. – 2009. – № 1. – S. 11-15.
17.
Arzamastsev S.V., Konovalov A.V., Muizemnek O.Yu., Kanyukov S.I. Svoistva, metody i sobytiya ob''ektov integrirovannoi intellektual'noi SAPR TP kovki na molotakh // Programmnye sistemy i vychislitel'nye metody.-2013.-3.-C. 245-249. DOI: 10.7256/2305-6061.2013.3.10542.
18.
V.V. Golenkov, D.V. Shunkevich, I.T. Davydenko Cemanticheskaya tekhnologiya proektirovaniya intellektual'nykh reshatelei zadach na osnove agentno-orientirovannogo podkhoda // Programmnye sistemy i vychislitel'nye metody.-2013.-1.-C. 82-94. DOI: 10.7256/2305-6061.2013.01.7.
19.
Novakova N.E., Goryachev A.V., Goryachev A.A.. Kontseptsiya upravleniya proektami v SAPR . // Programmnye sistemy i vychislitel'nye metody.-2013.-№ 3.-C. 257-263. DOI: .10.7256/2305-6061.2013.3.1054
Ссылка на эту статью

Просто выделите и скопируйте ссылку на эту статью в буфер обмена. Вы можете также попробовать найти похожие статьи


Другие сайты издательства:
Официальный сайт издательства NotaBene / Aurora Group s.r.o.
Сайт исторического журнала "History Illustrated"