Cтраница 1
Трудности формализации и алгоритмизации процесса проектирования топологии БИС обусловливают целесообразность интерактивного режима разработки микросхемы, основанного на рациональном разделении функций между инженером и ЭВМ. [1]
Трудности формализации процесса оперативного управления характерны для больших систем вообще. [2]
Наглядное определение непрерывности таит в себе две трудности формализации: во-первых, выявление скрытых кванторов и, во-вторых, установление порядка следования кванторов различного вида. Хорошая дидактика должна, во всяком случае, отделить эти две трудности друг от друга. Весьма вероятно, что в определении непрерывности школьники впервые встретятся с существенно важным использованием кванторов. [3]
Таким образом, одной из основных особенностей задач конструирования при переходе к их автоматизированному решению следует назвать трудности формализации. [4]
Экспертная система является типичной системой искусственного интеллекта, в которой база знаний содержит сведения, полученные от людей-экспертов в конкретной предметной области. Трудности формализации процедур структурного синтеза привели к популярности применения экспертных систем в САПР, поскольку в них вместо выполнения синтеза на базе формальных математических методов осуществляется синтез на основе опыта и неформальных рекомендаций, полученных от экспертов. [5]
Дан обзор критериев оптимальности и методов математического программирования для расчета оптимальных значений проектных параметров. Пояснены трудности формализации структурного синтеза и охарактеризованы перспективные методы его выполнения. [6]
Эвристики часто могут выступать в качестве ограничений на количество вариантов схем и позволяют свести задачу синтеза технологических схем к анализу значительно меньшего числа вариантов. При этом остаются трудности формализации отбора и генерирования эвристик. [7]
Задача компоновки ( оптимального разбиения) принципиально не может иметь общего алгоритма автоматизированного проектирования из-за большого размера и разнообразия условий компоновки. Сложность состоит также в трудности формализации совокупности критериев, часть которых является немонотонными, как и сами конструктивные параметры. [8]
Следует подчеркнуть, что отладка является наиболее ответственным этапом прохождения задачи, поскольку этот этап является последним, после которого изготовленная программа передается для ее использования с целью решения конкретных задач. С другой стороны, из-за трудности формализации ее проведения, отладка представляет весьма сложную и трудоемкую работу, которая требует известного опыта и на выполнение которой нередко затрачивается не меньше времени, чем на разработку и составление программы. В связи с этим многие считают, что показателем квалификации программиста является не столько умение писать программы, сколько умение их отлаживать. [9]
Достоинствами этих моделей являются: 1) удобство описания процесса принятия решений экспертом; 2) простота отладки и проверки адекватности модели; 3) прозрачность структуры. Однако, основным их недостатком являются трудности формализации, что делает их малопригодными для реализации в промышленных системах управления. Наиболее удобными системами формирования управляющих воздействий являются конечно-автоматные модели. [10]
Достоинствами этих моделей являются: 1) удобство описания процесса принятия решений экспертом; 2) простота отладки и проверки адекватности модели; 3) прозрачность структуры. Однако, основным их недостатком являются трудности формализации, что делает их малопригодными для реализации в промышленных системах управления. Наиболее удобными системами формирования управляющих воздействий являются конечно-автоматные модели. [11]
Для оценки качества разработки важную роль играет показатель быстродействия программного комплекса. При этом недостаточно сопоставить продолжительность одного расчета со временем, отводящимся на принятие соответствующего управленческого решения. Ввиду трудности формализации всей совокупности факторов, принимаемых во внимание при формировании окончательного решения, один расчет, даже оптимизационный, является лишь шагом в процедуре многовари -: антного моделирования. Поэтому уменьшение времени, требуемого на один расчет, приводит к повышению качества принимаемого решения N и, следовательно, задача улучшения временных характеристик РТЗ, в том числе предназначенных для расчетов на более или менее отдаленную перспективу, достаточно актуальна. Необходимо также иметь в виду естественные ограничения на время счета, вытекающие из ориентации на интерактивный режим как наиболее эффективную форму соединения быстродействия ЭВМ и ее возможностей по хранению и переработке информации с аналитическими способностями человека. [12]
Методы синтеза, основанные на эвристических правилах, заключаются в том, что в результате предварительного анализа технологической схемы формируется набор правил, отражающих накопленный опыт работы с аналогичными производствами и учитывающих общие закономерности протекания процесса. Наряду с эвристиками, вытекающими из физической сущности процесса, сюда могут включиться и интуитивные предложения по организации оптимальных схем. В последующем эвристики выступают в качестве ограничений на количество вариантов схем и обычно позволяют свести задачу синтеза технологической схемы к анализу небольшого числа вариантов. Лишь трудности формализации отбора и генерирования эвристик затрудняют широкое использование метода при синтезе схем. [13]
Методы синтеза, основанные на эвристических правилах, заключаются в том, что в результате предварительного анализа технологической схемы формируется набор правил, отражающих накопленный опыт работы с аналогичными производствами и учитывающих общие закономерности протекания процесса. Наряду с эвристиками, вытекающими из физической сущности процесса, сюда могут включиться и интуитивные предложения по организации оптимальных схем. В последующем эвристики выступают в качестве ограничений на количество вариантов схем и обычно позволяют свести задачу синтеза технологической схемы к анализу небольшого числа вариантов. Лишь трудности формализации отбора и генерирования эвристик затрудняют широкое испольяование метода при синтезе схем. [14]
Главнейшая из этих концепций - представление о языке как о системе чистых отношений, сближающее язык с абстрактными системами, изучаемыми в математике. Это представление конкретизируется в концепции функционирования языка как преобразования нек-рых абстрактных объектов - смыслов - в объекты другой природы - тексты и обратно. Такая концепция приводит к мысли об изучении указанного преобразования ( поело уточнения понятий смысла и текста) математич. Использование этого подхода затруднительно, если пытаться рассматривать преобразование в целом, ввиду его чрезвычайной сложности, а также ввиду трудности формализации понятия смысла. Однако содержательные соображения подсказывают расчленение преобразования на этапы. При более тонких членениях вводятся синтаксич. Такие этапы уже легче описывать математически, уточняя представления об объектах промежуточных уровней и моделируя переходы от одних уровней к другим эффективными отображениями. Такого рода исчисления известны как грамматики формальные. Одновременно с формальными грамматиками, моделирующими преобразования языковых объектов, возникают конструкции, предназначенные для формального описания самих этих объектов. [15]