Моделирование структур данных с целью улучшения логической схемы информационного обеспечения САПР Текст научной статьи по специальности «Компьютерные и информационные науки»

Известия ТРТУ

Тематический выпуск

В работе установлена связь между теоретико-множественной моделью неоднородной семантической сети, описанной в [1-4], и конструкциями Дескриптивной Логики [5]. Построена функция интерпретации взаимно - однозначно отображающая конструкции Дескриптивной Логики в неоднородную семантическую сеть.

Для этого проведено расширение Дескриптивной Логики в направлении включе-

ния дополнительных отношений из неоднородной семантической сети.

Отношения R1 - Rg [1] дополняют связи между основными конструкциями , .

. -

. -

.

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

ЛИТЕРАТУРА:

1. Осипов ГС. Приобретение знаний интеллектуальными системами. - М: Наука- Физмат-лит, 1997.

2. Беляев А.Б., Годовников ММ., Голубев С.А., Загоровский И.М., КомаровС.И., Куршев ЕМ., Осипов ГС., Сазонова ЛМ. Технология создания распределённых интеллектуальных сетей. - Переславль-Залесский: УГП, 1997.

3. Осипов ГС. Инструментарий для экспертных систем. Теория SIMER+MIR // Программные продукты и системы. - 1990. - Вып.3. - С. 23-32.

4. Осипов ГС. Построение моделей предметных областей. Неоднородные семантические сети // Изв.РАН СССР.Техн. кибернетика. - 1990. - Вып.5. - С. 32-45.

5. Donini F.M., Lenzerini M. Nardi D. Schaerf A. Reasoning in Description Logics // In. Principles of Artificial Intelligence. Ed: G. Brewska, Springer Verlag, 1995

УДК 681.3.01(047)

C.B. Духин МОДЕЛИРОВАНИЕ СТРУКТУР ДАННЫХ С ЦЕЛЬЮ УЛУЧШЕНИЯ ЛОГИЧЕСКОЙ СХЕМЫ ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ САПР

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

,

, , , .

, , точных правил построения логических схем в настоящее время не существует. Ма, , -тирования логических схем (которые по сути являются средствами автоматизации

Материалы Международной конференции

“Интеллектуальные САПР”

отображения разработанной структуры в термины выбранной СУБД), предоставляют широкое разнообразие вариантов построения схем, основанных на свойствах одной и той же предметной области.

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

информационного обеспечения САПР;

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

,

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

УДК 658.512

А.В. Ельцын О СИСТЕМЕ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ПЕДАГОГИЧЕСКИХ ИЗМЕРИТЕЛЬНЫХ МАТЕРИАЛОВ

С начала 90-х годов в нашей стране в связи с бурным расширением парка компьютеров стали появляться программные средства автоматизации процесса тестирования, такие как Адонис», «Дельфин», «Кобра» и другие. Большинство из них ориентированы на развитие выразительных возможностей компьютерного тестирования, не затрагивая один из наиболее ответственных этапов - разработку и сопровождение педагогических измерительных материалов (ПИМ).

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

An = (ои1, ап2... atlm). Для оценки качества разрабатываемых ПИМ используется вектор ф )=(ф 1 ^ ф, ^)) прогнозируемых по этим параметрам характе-

ристик (количество заданий, время решения, надежность теста, приближение к

. .).