Решатель

Cтраница 4

ВМ задачи нахождения площади квадрата по периметру В настоящее время разработан и используется на практике ряд языков спецификаций вычислительных задач, программы решения которых находятся с применением рассмотренных и более сложных вычислительных моделей ( УТОПИСТ, ДЕКАРТ, Язык решения задач системы МИКРОПРИЗ и др.. Устройство языка спецификаций и его применение для описания и решения вычислительных моделей и задач рассмотрим на примере системы ТК Solver. [46]

Программная система ТК Solver является представителем универсальных решателей вычислительных задач. Такие решатели задач являются хорошим инструментом в руках пользователей различной квалификации при проведении инженерных, научных и финансовых расчетов. [47]

Во втором подходе, обозначаемом А2, решатель сначала рассчитывает с помощью оптимизационного алгоритма хромосому С и далее по этой хромосоме определяет и передает исполнителю само расписание S, т.е. непосредственно данные о месте и последовательности выполнения работ. При этом на интервале времени [ т, т J управление процессом приходится осуществлять по исходным расписанию S или хромосоме С, уже не являющимися квазиоптимальными. Этот интервал времени назовем латентным ( или временным зазором), а число актов процесса, приходящееся на латентный интервал, - длиной латентного участка хромосомы В. Здесь под актом понимается начало обслуживания одной работы на одном сервере. Поэтому далее рассматриваются ситуации, при которых инерционность процесса выше, чем инерционность расчета расписаний. [48]

Но, предположим, у вас есть решатель, который может в качестве результата выдать список всех соединений между ребрами с заданными характеристиками. И в этом случае было бы целесообразно добавить идентификатор изготовителя как вес. [49]

Решатели явного типа, к которым относится фронтальный решатель, определяют точное решение для совместной системы линейных уравнений. Например, фронтальный решатель программы ANS YS использует так называемый Rank - n алгоритм, обеспечивающий параллельную обработку системы уравнений. Решатель явного типа ANSYS / LS-DYNA фирмы Livermore Software Technology ( США) дает возможность эффективно проводить анализ динамических процессов. [50]

МПЗ и типа подсистемы вывода решения ( решателя), которые в значительной степени обусловливают успех создания и эффективность функционирования ЭС. Несоответствие выразительных средств МПЗ знаниям эксперта приводит к сложности, а иногда и невозможности выражения этих знаний на формальном языке. Поэтому правильный выбор имеющегося языка представления знаний ( ЯПЗ) или разработка нового ЯПЗ существенно позволяют облегчить работу по созданию и заполнению БЗ, а также сконцентрировать внимание разработчиков не столько на проблеме формализции знаний, сколько на сути самих знаний. [51]

Страницы: 1 2 3 4