Научная статья на тему 'Применение символьных информационных технологий в схемотехническом моделировании'

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

CC BY
96
47
i Надоели баннеры? Вы всегда можете отключить рекламу.
i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Применение символьных информационных технологий в схемотехническом моделировании»

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

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

генерации тесту ставится в соответствие вектор X = (Xj,x2..xk) с целочисленными координатами xi = 0 v 1. Значения координат вектора определяют, включено ли задание с номером i из банка заданий в тест-билет. Кроме того, задается свертка функций Z(1 (x),...,ФP(x)), численно оценивающая качество тест-билета, и множество ограничений на характеристики тест-билета и используемых заданий fj (x)< 0.

В результате приходим к следующей задаче целочисленного программирования: min{Z(x) | f j(x) < 0, j = 1,к,S;xt = 0 v 1, i = 1, к, N}, где S - количество накладываемых ограничений, N - количество файлов заданий в исходном . -

,

различных подходов к оценке качества ПИМ (Item Response Theory, классическая теория тестирования, модель теста Беспалько и т.д.).

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

УДК 621.372.6

Л.А. Зинченко ПРИМЕНЕНИЕ СИМВОЛЬНЫХ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ В СХЕМОТЕХНИЧЕСКОМ МОДЕЛИРОВАНИИ

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

.

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

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

В докладе рассматриваются разработанные алгоритмы численно - аналитического моделирования радиоэлектронных устройств. Для формирования продукционной базы знаний символьного моделирования установившихся и переходных процессов в радиоэлектронных схемах использованы методы численно-анадитического моделирования электрических цепей на основе дифференциальных функциональных полиномов. Обсуждаются особенности их применения для анализа автоколебательных систем. Для устранения проблемы символьного обращения операторов большой размерности в докладе также рассматриваются разработанные методы численно - аналитического моделирования фрагментов схем класса Винера - Гаммерштейна.. В связи с трудоемкостью построения моделей в символьном виде приводятся разработанные программные , -моделей Разработка проведена в среде программирования Borland C++ и MAPLE V для WINDOWS. Приводятся примеры, демонстрирующие возможности предлагаемых подходов.

ЛИТЕРАТУРА

1. Компьютерная алгебра / Бухбергер Б., Калли Ж., Калтофен Э. и др. - М.: Мир, 1986. - 392с.

УДК 681.518:339.13

..

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ РАЗРАБОТКИ ДОКУМЕНТОВ ПРИ ПРОЕКТИРОВАНИИ И ПЛАНИРОВАНИИ ИСПОЛЬЗОВАНИЯ ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ

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

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

автоматизация процесса формирования и обработки документов на основе новых ин-

, -тивность процессов проектирования.

В докладе уточняются основные термины в области формирования и обработки документов (в том числе workflow, groupware, системы управления документами и др.) и анализируются основные подходы к реализации систем электронного документооборота (в том числе базирующиеся на Web-технологиях) и наиболее представительные системы документооборота (LinkWorks, Documentum и др.). На основе данного анализа делаются предложения по организации процессов формирования и обработки докумен-,

разработки и управления электронными документами. Описывается реализованный прототип автоматизированной системы разработки документов по связи.

i Надоели баннеры? Вы всегда можете отключить рекламу.