ВУЗ:
Составители:
21
4. Логические методы и правила, к числу которых можно отнести прави-
ла вывода сложных понятий из простых, установление истинности, выявле-
ние непротиворечивости и т.п.
3.2. КОМПЬЮТЕРНАЯ ПОДДЕРЖКА ТИ
ВТ находит широкое применение в реализации задач ТИ. Наиболее час-
то ВТ используют в проведении математических расчетов. Программное
обеспечение для данного направления условно делится на следующие кате-
гории:
1. Библиотеки программ для численного анализа, которые также делятся
на библиотеки общего назначения (пакеты SSP, NAG) и узко специализиро-
ванные пакеты, ориентированные на решение определенного класса задач
(Micro Way - матрицы, преобразование Фурье).
2. Специализированные системы для математических расчетов и г рафи-
ческого манипулирования данными и представления результатов (Phaser -
дифференциальные уравнения, Statgraf - статистический анализ), Eureca,
Statistica.
3. Диалоговые системы математических вычислений с декларативными
языками, позволяющими формулировать задачи естественным образом (Mu-
Math, Reduce, MathCad, Matlab, Mathematica).
4. Электронные таблицы (ЭТ), которые позволяют выполнять различ -
ные расчеты с данными, представленными в табличной форме (Supercalc,
Quattro Pro, Lotus 1-2-3, Excеl).
В реализации эвристических методов рациональное применение ВТ свя-
зано с использованием методов морфологического анализа (таблиц), ассоциа-
тивных методов (метод каталога, метод гирлянд случайностей и ассоциаций),
с помощью которых генерируется большое число вариантов решения задачи,
а затем производится их оценка и выбор рационального.
Теоретические исследования технических проблем в некоторых случаях
целесообразно проводить с использованием автоматизированной системы
решения изобретательских задач - АРИЗ, которая охватывает все этапы тех-
нического творчества от анализа технических систем до поиска вариантов
решения.
Наиболее сложной является компьютеризация логико-лингвистических
методов НИ. Решение проблемы в этом направлении обеспечивается средст-
вами, включающими элементы искусственного интеллекта. Это системы ав-
томатизированного перевода (COKPAT, PROMT, Stylus), интеллектуальные
ППП, расчетно-логические системы, системы поддержки принятия решение
(СППР) и различные экспертные системы.
Интеллектуальные ППП дают возможность решать задачи по описанию
процесса с помощью непроцедурного языка без программирования алгорит-
ма. При этом система сама формирует матмодель исследования и определяет
Страницы
- « первая
- ‹ предыдущая
- …
- 19
- 20
- 21
- 22
- 23
- …
- следующая ›
- последняя »