Cтраница 2
Однако большие затраты времени на проведение фракционирования в настоящее время обусловливают лишь незначительное количество работ в этой области. Не существует точной теории, которая позволяла бы предсказать необходимые для эффективного фракционирования значения множества переменных. Поэтому стараются применять уже зарекомендовавшие себя методы фракционирования, вместо того чтобы тратить время на выяснение того, какие условия ( если таковые имеются) не являются необходимыми или оптимальными. С этой точки зрения использование температурного градиента представляется оправданным. [16]
В условиях малой информации можно попытаться построить шкалу, основываясь на оценке системы предпочтений наборов откликов друг другу. Для теории полезности разработана аксиоматика, позволяющая рассматривать ее как формальную математическую схему. Если считать, что аксиомы выполняются, то можно построить, по крайней мере, шкалу порядка, а обычно - шкалу интервалов для некоторой величины, называемой полезностью и являющейся функцией от значений множества откликов. Аксиомы регламентируют свойства этой функции и обеспечивают непротиворечивость суждений, высказываемых на ее основе. Построение шкалы полезности решает задачу создания обобщенного отклика. [17]
На практике большинство моделей, поддерживаемых коммерческими системами, предусматривает главным образом внутренние ограничения целостности. Как уже говорилось, они тесно связаны со структурами базы данных, и тщательно подобранное множество операций над данными хорошо согласуется с ними. Поэтому контроль за соблюдением внутренних ограничений не вызывает трудностей: нарушение ограничения в конечном итоге выглядит как нарушение корректности структуры. Явные же ограничения не имеют таких органичных связей, и контроль за их соблюдением обычно связан с проверкой значений множества данных. [18]
Рассмотренные шесть основных свойств алгоритмов специального математического обеспечения определяют содержание требования, которое авторы определили как требование реализуемости. Эти свойства должны входить в состав необходимых условий успешного внедрения алгоритма в средства автоматизации управления. Они естественно, не исчерпывают всех необходимых свойств. Эти свойства характеризуют в основном способность алгоритма правильно отражать содержание автоматизируемого процесса с учетом необходимого состава выходных параметров алгоритма и неопределенности состава значений множества аргументов. Это требование к алгоритму дополняет введенные выше общие требования к системе специального математического обеспечения. Следующее требование к алгоритму специального математического обеспечения заключается в создании условий ведения эффективного диалога между человеком и средствами автоматизации. [19]
Программа, ассоциированная с отношением зональные - интервалы, не работает в нужном направлении для вычисления отношения вы-леты-из-зон. Для отношения зональные - интервалы можно построить программы, позволяющие порождать строки по значениям других атрибутов. Для порождения отношения вылеты-из-зон нужна процедура, порождающая значения атрибутов ВВЛ, ЗВЛ, ВПР по значениям атрибутов ВПР, ВПЛ. Хотя такую программу можно себе представить, вряд ли целесообразно иметь дело с программой, порождающей значения атрибутов ВВЛ, ЗВЛ, ВПЛ по значениям атрибутов ВПР, ЗПР. И вообще, хотя некоторое вычисляемое отношение может быть восстановлено по значениям разных множеств атрибутов, маловероятно, чтобы это можно было сделать для любого множества атрибутов. [20]
Программа, ассоциированная с отношением зональные-интервалы, не работает в нужном направлении для вычисления отношения вы-леты-из-зон. Для отношения зональные-интервалы можно построить программы, позволяющие порождать строки по значениям других атрибутов. Для порождения отношения вылеты-из-зон нужна процедура, порождающая значения атрибутов ВВЛ, ЗВЛ, ВПР по значениям атрибутов ВПР, ВПЛ. Хотя такую программу можно себе представить, вряд ли целесообразно иметь дело с программой, порождающей значения атрибутов ВВЛ, ЗВЛ, ВПЛ по значениям атрибутов ВПР, ЗПР. И вообще, хотя некоторое вычисляемое отношение может быть восстановлено по значениям разных множеств атрибутов, маловероятно, чтобы это можно было сделать для любого множества атрибутов. [21]