Cтраница 3
Существует другой путь рассмотрения пространства однородных полиномов от матричного бозона А. Вместо рассмотрения двух пар бозонов, образующих единственный объект ( матричный бозон А), можно рассматривать каждую бо-зонную пару как отдельный объект, с которым сопоставляется ( коммутирующее) отображение Жордана. Первая реализация соответствует связанным бо-зонным парам, а вторая - несвязанным бозонным парам; связь между двумя реализациями, как мы увидим, позволяет изящным образом определить коэффициенты Вигнера. [31]
Ограничение площади распространения волны на ДРП. [32] |
Применение этого метода показано на рис. 5.22 для случая, когда до. Соответствующая этому этапу область выделена на рис. 5.22 крестиками. Первая реализация шага 3 дает 14 новых обозначений. Далее шаг 2 не может присвоить новое значение ни одной ячейке до тех пор, пока шаг 3 не повторится более четырех раз. [33]
Большие, далеко идущие задачи ставит и развитие электронно-оптических схем и приборов. Функция распознавания и воспроизведения знаков с помощью фотоэлектрического эффекта в полупроводниках связана при этом с электронной функцией самих схем. Первыми реализациями этого являются фотодиоды и фототранзисторы, а также жидкие кристаллы, применяющиеся в последнее время для воспроизведения изображений. [34]
Эти индексы цен учитывают лишь продукцию, реализуемую на внутреннем рынке. Поэтому они соответствуют внутренним ценам. Наблюдение за ценами производится на стадии первой реализации вслед за производством. [35]
На первый взгляд может показаться, что последовательность вызовов, приведенная на рис. 9.4 - это какое-то трюкачество. Ведь мы хотим организовать циклическое выполнение вызовов GNb, так чтобы каждый раз производилась выборка набора сегментов СИМПТОМ, НАЗНАЧЕНИЕ и ВРАЧ до тех пор, пока не будут просмотрены все сегменты, подчиненные сегменту ПАЦИЕНТ. Если DL / 1 поддерживает одну позицию в базе данных, то при первой реализации цикла последовательность вызовов прекрасно сработает. Мы произведем выборку сегментов 4 7 и 10 - именно тех, которые нужно выбрать. Однако на втором шаге будет получен код состояния GE, показывающий, что сегментов СИМПТОМ, подчиненных данному исходному, больше не существует. Перед вторичной выдачей серии вызовов текущая позиция устанавливается на сегменте 10 - первом экземпляре сегмента ВРАЧ. Чтобы дать следующий сегмент СИМПТОМ, DL / 1 должна запомнить позицию последнего выбранного сегмента СИМПТОМ, а также позиции последних сегментов НАЗНАЧЕНИЕ и ВРАЧ. [36]
Важными факторами, влияющими на выбор языка программирования для реализации некоторого проекта, являются трудоемкость отладки и стоимость сопровождения. Так, в силу ряда особенностей некоторый язык программирования может помочь избежать многих тривиальных ошибок на этапе разработки. Но в силу тех же самых особенностей этот язык программирования может существенно увеличить трудоемкость первой реализации. Хорошо известно, что выбранный для реализации некоторого проекта язык программирования оказывает влияние на этап собственно программирования только тогда, когда решаемая задача является нетривиальной и имеет значительные размеры. Кроме того, очевидно, что выбор языка программирования для реализации некоторого проекта практически не влияет на число логических ошибок, оставшихся в реализованном варианте Программного комплекса после его отладки. [37]
Эта стадия, как и предыдущая, представляет собой серию повторяющихся взаимодействий между экспертом и инженером знаний. Эти беседы важны и трудны и могут занимать много времени. Имеется большое искушение попытаться проанализировать проблему точно и в полном объеме, прежде чем создать пробный вариант, однако практика показала, что такой подход ошибочен. Как только основные концепции и связи записаны, очень многое может быть получено из их формализации и работы над первой реализацией. [38]
В то же время эффективность разработки II очереди системы существенно зависит от использования практического опыта, полученного при функционировании I очереди системы. Связь между разработчиками очередей необходима также и для обеспечения преемственности в других технических решениях. Однако при этом возникают и психологические трудности во взаимоотношениях между разработчиками очередей. Суть этих трудностей состоит в том, что разработчики системы I очереди являются как бы первопроходцами, им приходится первыми сталкиваться с трудностями внедрения разработок, а первая реализация не всегда бывает удачной с точки зрения красоты конструкторского замысла. Осуществить же вторую, более глубоко отработанную реализацию своих решений разработчики ИВС не всегда имеют возможность в силу своей длительной занятости внедрением и доводкой первоначальных технических решений. В связи с этим при разработке возникают определенные трудности в вопросе передачи результатов, полученных при создании I очереди системы, разработчикам задач II очереди системы, которые как раз и занимаются второй реализацией, при этом будучи освобождены от трудоемкой и хлопотливой работы, связанной с внедрением. [39]
Основная трудность программирования задач для ЭВМ связана не столько с различием языков человека и машины, сколько с различием их мышления. В то же время первоначальная формулировка задачи имеет, как правило, описательный характер. Неформальный этап построения подходящего алгоритма и запись его на определенном формальном языке требует от программиста не только значительных затрат времени, но и достаточно высокой квалификации. Осознание того, что вычисление есть частный случай логического вывода, а алгоритм - это аксиоматическое задание функции, привело к идее так называемого логического программирования, первая реализация которой была осуществлена в начале 70 - х годов в виде системы Пролог. Суть этой идеи состоит в том, что машине в качестве программы можно предоставить не алгоритм, а формальное описание предметной области и задачи ( функции) в виде аксиоматической системы, и тогда построение решения задачи в виде вывода в этой системе можно поручить самой машине. Таким образом, от программиста уже не требуется построения алгоритма, решающего задачу, поскольку нужный алгоритм порождается интерпретатором, строящим вывод по определенной стратегии. Следует сразу отметить, что этот подход был бы нереален, если бы не существовало методов автоматического поиска доказательств. [40]