Cтраница 4
В связи с этим от применяемого в данном случае механизма присвоения номеров значений непосредственно зависит уровень ( глубина и полнота) оптимизации, который может обеспечивать новый метод нумерации значений. Поэтому сначала остановимся на требованиях глобальной оптимизации программы, которым должен удовлетворять новый метод нумерации значений. [46]
Описанный глобальный поиск, эксплуатирующий эту грубую модель эволюции, привлекателен еще и тем, что может легко усовершенствоваться. Так, хорошие результаты в процессе глобальной оптимизации дает моделирование известного в биологии факта, что в неблагоприятных условиях интенсивность мутаций ( а / /) возрастает, а число потомков А / уменьшается. [47]
Формальные системы используются при попытках доказательства эквивалентности и правильности программ. Работа по доказательству эквивалентности программ мотивируется перспективой глобальной оптимизации. Если бы существовал алгоритм, определяющий эквивалентность двух различных программ, можно было бы использовать более быструю программу взамен медленной. [48]
Математической задачей управления химико-технологическими системами ( ХТС) и ограничительных условий является построение некоторого функционала, минимизация ( максимизация) которого с соблюдением ограничительных условий должна обеспечить компромиссное выполнение всех или большинства требований к объекту управления. В этом собственно и заключается постановка задачи глобальной оптимизации управления ХТС. [49]
Математической задачей управления химико-технологическими системами ( ХТС) и ограничительных условий является построение некоторого функционала, минимизация ( максимизация) которого с соблюдением ограничительных условий должна обеспечить компромиссное выполнение всех или большинства требований, предъявляемых объекту управления. В этом, собственно, и заключается постановка задачи глобальной оптимизации управления ХТС. [50]