Cтраница 3
Действительно, пространство поиска ( пространство состояний или И / ИЛИ-граф), как правило, явно не задано. Поэтому для осуществления процесса поиска необходимо генерировать очередное возможное решение ( состояние или подзадачу) и проверить, не является ли оно результирующим. Разумно потребовать, чтобы генератор удовлетворял требованиям полноты и неизбыточности. Говорят, что генератор является полным, если он обеспечивает генерацию всех возможных решений. Генератор является неизбыточным, если он генерирует каждое решение только один раз. Обеспечение свойства неизбыточности является важным, но трудновыполнимым, так как в соответствии с этим требованием не допускается генерация не только тождественных, но и синонимичных решений. Например, если задача генератора - синтезировать все фразы русского языка, то весьма трудно ( если вообще возможно) сделать такой генератор неизбыточным. [31]
Действительно, пространство поиска ( пространство состояний или И / ИЛИ граф), как правило, явно не задано. Поэтому для осуществления процесса поиска необходимо генерировать очередное возможное решение ( состояние или подзадачу) и проверить, не является ли оно результирующим. Разумно потребовать, чтобы генератор удовлетворял требованиям полноты и неизбыточности. Говорят, что генератор является полным, если он обеспечивает генерацию всех возможных решений. Генератор является неизбыточным, если он генерирует каждое решение только один раз. Обеспечение свойства неизбыточности является важным, но трудновыполнимым, так как в соответствии с этим требованием не допускается генерация не только тождественных, но и синонимичных решений. Например, если задача генератора - синтезировать все фразы русского языка, то весьма трудно ( если вообще возможно) сделать такой генератор неизбыточным. [32]
Множество функциональных символов или связок, используемых для пометки внутренних вершин СФЭ, называется базисом схемы. Термин базис употребляется здесь в смысле, отличном от того, который принят в гл. II, поскольку в данном случае не предполагается ни полнота системы функций, составляющих базис, ни ее неизбыточность. На рис. 10.1, а представлено изображение СФЭ. Входы помечаются светлыми кружками, внутренние вершины - темными кружками, а выходы - двойными кружками. [33]
Понятие база данных появилось в конце 60 - х годов. Как часто бывает, когда новое понятие становится модным, многие пользователи начали применять его к своим файлам, изменив только название, но не изменяя при этом их свойств, связанных с неизбыточностью, независимостью, взаимосвязанностью данных, их защитой или во многих случаях возможностью доступа в реальном времени. По мере того как стало расширяться использование более прогрессивного программного обеспечения баз данных, вместе с ним начали реализо-вываться и перечисленные выше свойства. По причинам, изложенным в следующих главах, нет ни одной системы программного обеспечения, которая бы реализовала все характеристики, присущие идеальной базе данных; системным аналитикам, как правило, при разработка подобных систем приходится идти на компромисс, отдавая предпочтение тем или иным свойствам базы данных. [34]
Если получено невырожденное базисное решение, значит, существует невырожденная подматрица В матрицы А. Это означает, что система Ах Ь неизбыточна. Таким образом, если существует невырожденное базисное решение, то система неизбыточна. С другой стороны, неизбыточность системы еще не гарантирует существования невырожденного базисного решения. [35]
Метод Т - с в о и с т в [34 ] является одним из логических методов распознавания, которые в значительно большей степени, чем все другие методы этого типа, построен на аппарате алгебры логики и неразрывно с ним связан. В методе Т - свойств, разработанном В. О. Красавчиковым, информативность признаков оценивается по трем критериям, два из которых базируются на понятиях алгебры логики. Другой критерий - критерий неизбыточности, общий для всех логических методов распознавания, основанных на тестовом подходе. По третьему, нелогическому критерию, как и во всех методах распознавания образов, оценивается информативность сочетаний признаков с точки зрения возможности различать по ним обьекты разных классов эталонной выборки или объекты, не относящиеся к данному классу, если задан только один класс. [36]
Первый из них - это аспект представления. Все такие связи должны быть представлены в схеме. Заметим, что этот прием ведет к повышению эффективности схемы. Второй аспект - аспект неизбыточности: ограничение, выводимое на основе других ограничений и структурных представлений, не должно быть избыточно специфицировано в схеме. Третий аспект - это аспект разделения: желательно так структурировать схему, чтобы информационные единицы, представляющие ограничения, были разделены и не пересекались. [37]
Действительно, пространство поиска ( пространство состояний или И / ИЛИ-граф), как правило, явно не задано. Поэтому для осуществления процесса поиска необходимо генерировать очередное возможное решение ( состояние или подзадачу) и проверить, не является ли оно результирующим. Разумно потребовать, чтобы генератор удовлетворял требованиям полноты и неизбыточности. Говорят, что генератор является полным, если он обеспечивает генерацию всех возможных решений. Генератор является неизбыточным, если он генерирует каждое решение только один раз. Обеспечение свойства неизбыточности является важным, но трудновыполнимым, так как в соответствии с этим требованием не допускается генерация не только тождественных, но и синонимичных решений. Например, если задача генератора - синтезировать все фразы русского языка, то весьма трудно ( если вообще возможно) сделать такой генератор неизбыточным. [38]
Действительно, пространство поиска ( пространство состояний или И / ИЛИ граф), как правило, явно не задано. Поэтому для осуществления процесса поиска необходимо генерировать очередное возможное решение ( состояние или подзадачу) и проверить, не является ли оно результирующим. Разумно потребовать, чтобы генератор удовлетворял требованиям полноты и неизбыточности. Говорят, что генератор является полным, если он обеспечивает генерацию всех возможных решений. Генератор является неизбыточным, если он генерирует каждое решение только один раз. Обеспечение свойства неизбыточности является важным, но трудновыполнимым, так как в соответствии с этим требованием не допускается генерация не только тождественных, но и синонимичных решений. Например, если задача генератора - синтезировать все фразы русского языка, то весьма трудно ( если вообще возможно) сделать такой генератор неизбыточным. [39]