Cтраница 2
Раздел математики, носящий название теория искусственного интеллекта ( сокращенно AI), занимается проблемами разработки и формализации интеллектуальных методов и процедур решения различных задач. Прилагательное интеллектуальный означает здесь способность привлекать методику рассуждений и оценок, свойственную рациональной рассудочной деятельности человека. Исследования в AI направлены на разработку символьных описаний окружающей действительности, и охватывают такие области, как роботехника, понимание естественного языка, экспертные системы. [16]
Очевидно, что чем сложнее применяемые аппроксимирующие функции и чем шире класс этих функций, тем сложнее задача формализации метода и его реализации в САПР. Особенностью МКЭ является выбор аппроксимирующих функций для каждого КЭ в отдельности. Малые размеры КЭ позволяют использовать простые аппроксимирующие функции, причем одного и того же типа для всех КЭ определенной формы. [17]
Эвристические алгоритмы управления используются не только как методы решения оптимизационных задач в случаях, когда большая размерность не позволяет найти точное решение за приемлемое время, но и как средство формализации методов принятия решений и выработки стратегий управления процессами, для которых критерий оптимальности трудно сформулировать в явном виде, либо имеется несколько противоречивых критериев. Суть эвристических методов принятия решения в том, что не составляется некий график хода УП с указанием конкретных значений, которые должны принять управляемые переменные в том или ином месте, в тот или иной момент времени. Вместо этого решение принимается только на один, текущий шаг управления. При этом учитывается как физическая природа решаемой задачи, так и целый ряд особенностей реальных ОУ и условий, в которых он функционирует. Управление, основанное на использовании эвристических ( неформальных, нестрогих) методов принятия УР, называется ситуационным. Представляется, что ситуационное управление должно стать одним из важнейших методов принятия УР при разработке месторождений. [18]
В существующих в настоящее время САПР алгоритмы и программы синтеза занимают незначительную часть по сравнению с алгоритмами и программами расчета, анализа и оптимизации схем. Объясняется это в основном двумя причинами: трудностями формализации методов синтеза, в большинстве случаев основанных на эвристических приемах, применимых лишь для конкретных частных случаев синтеза, и огромными вычислительными затратами, необходимыми для успешного решения задач синтеза. [19]
Одним из путей повышения качества изучения и разработки АСУ является формализация методов анализа и проектирования систем, а также использование стандартных бланков документации для представления в них результатов анализа и проектирования. Подготовка этих документов требует значительных затрат времени и труда. Поэтому эффективность использования стандартных бланков документов возрастает с масштабами разработки. [20]
Результаты одних групп служат основой для работы других. Поэтому важнейшая задача организации разработок АСУП состоит в четком определении функций каждой группы специалистов, формализации методов их работы, точном определении не только содержания результатов работы каждой группы, но и формы, в которой эти результаты представляются и передаются другим специалистам. [21]
Решение перечисленных вопросов дает возможность осуществить в широких масштабах формализацию и стандартизацию процессов проектирования АСУ, что позволяет существенно сократить сроки и стоимость их разработки. Комплекс мероприятий по формализации и стандартизации процессов проектирования автоматизированных систем методически удобно разделить на три части: 1) формализация методов ведения работ в рамках проектирования одной системы; 2) стандартизация методов разработки основных проблем по проектированию систем в масштабах отрасли народнбго хозяйства или всей страны; 3) разработка и использование при проектировании типовых проектных решений по основным проблемам создания АСУ. [22]
Ограниченность сроков предпроектного обследования производства диктует необходимость разработки экспресс-методов анализа потенциальных резервов производства. Основные направления разработки экспресс-методов анализа потенциальных возможностей АСУ состоят в уменьшении трудозатрат на сбор исходных данных за счет перехода от анализа входных переменных ( расходов производственных ресурсов) к анализу выходных технико-экономических показателей, более эффективного использования априорной информации, котор ой располагают работники предприятия; большей формализации методов обработки первичной информации, чтобы эту обработку можно было осуществлять на ЭВМ. [23]
В таких случаях следует составлять отдельные микрослова-ри, построенные по методике [6, 7], и затем снова оценить слова этого микрословаря по коэффициенту К-и Кр. Таким образом, лингвостатистический анализ становится здесь многоступенчатым, а работа над частотным словарем в любой момент не может считаться законченной, если возникают потребности в составлении дополнительных ( детализирующих, углубленных) микрословарей, отражающих развитие того или иного нового направления технологических исследований в бурении или другой области техники. Формализация метода в один этап невозможна, следует проводить ее ступенчато, многократно по мере снижения численного значения К р до нулевого. В этом случае показатель частоты теряет свою силу при низком или нулевом Кр, являясь лишь сигналом группировки слов в одном тематичском разделе, а это, в свою очередь, выдвигает необходимость последующего исследования обособленных подтем. [24]
Обе концепции, развиваясь, оказывают в настоящее время ( 1970 - е гг.) значительное влияние друг на друга. Так, при обосновании непротиворечивости формальных теорий необходимо уточнить приемы содержательных умозаключений в метаматематике, что делается обычно в рамках тех или иных интуиционистских концепций. С другой стороны, именно с помощью формализации метода удалось получить ряд важнейших результатов о логике интуиционизма. [25]
Остальные структуры БС - k, БС - F, БС - Фээ, БС - Фэр, БС - Фэк, БС - РР, БС - ttj, а также главные части БС - Э, БС - ПЭЦФ основаны на использовании фундаментальных закономерностей, методов, надежных логических связей и рассчитаны на длительное использование. Они, как правило, довольно сложные. При их разработке возникают трудности, связанные с недостаточной формализацией методов, частичным либо полным их отсутствием. Дальше в монографии будут описаны методические основы создания этих структур и предложены наиболее характерные варианты их реализации. [26]
Формализация и стандартизация работ, В разработке АСУ принимают участие несколько групп разработчиков, каждая из которых объединяет специалистов определенного профиля. Результаты одних групп служат основой для других. Поэтому важнейшая задача организации разработки АСУ состоит в четком определении функций каждой группы специалистов, исключении субъективных факторов путем формализации методов их работы, точном определении содержания результатов работы каждой группы и установления формы, в которой эти результаты представляются и передаются другим участникам работ. Наиболее эффективное взаимодействие групп, обеспечивающее преемственность работ, достигается при записи результатов в единой, стандартной форме. [27]
Для рассматриваемого нами применения ( общение на ЕЯ) приемлемое время реакции системы на запрос ( для большинства применений) должно быть соизмеримо со временем ввода запроса в систему. Для наиболее распространенных в настоящее время способов ввода ( дисплей, консул) это время для среднего пользователя ( не имеются в виду машинистки экстракласса) составляет 30 секунд. Завершая разговор об эффективности выполнения, необходимо подчеркнуть соотношение эффективности неформальных и формальных методов. Формализация методов приводит к унификации алгоритмов обработки, что. [28]
Серийно выпускаемое изделие никогда не бывает лучше опытного образца или материалов, использованных при его изготовлении. В лучшем случае технологический процесс, просто воспроизводит технологические этапы разработки. Все это справедливо по отношению к печатным схемам с той лишь разницей, что весь цикл разработки должен быть повторен для каждой новой платы, а собственно вычерчивание схемы может быть выполнено чертежниками или другими специалистами, не имеющими высшего образования. В результате чрезвычайно важной оказывается формализация методов конструирования платы и выполнения рисунка печатных проводников. [29]
Оценка того или иного метода оптимизации обычно делается с точки зрения различных критериев. Важнейшие из них: быстродействие метода, требуемая память при реализации метода на вычислительной машине, степень общности метода, позволяющая использовать его без каких-либо существенных изменений для определенного класса задач. Еще один критерий, который зачастую недооценивают, - это трудоемкость применения метода. Часто более мощный метод не применяется только потому, что требует большей подготовительной работы. Отсюда возникает важная задача - возможно более полная автоматизация подготовительных работ. Однако ее решение существенно зависит от степени формализации метода. [30]