Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ответы на экзамен по ТИПиС.doc
Скачиваний:
1
Добавлен:
01.04.2025
Размер:
1 Мб
Скачать
☆

28. Зависимость цели системы от внешних и внутренних факторов.

При анализе причин возникновения н форму­лирования целей нужно учитывать, что на цель влияют как внешние по отношению к системе факторы (внешние требования, потреб­ности, мотивы, программы), так и внутренние факторы (потреб­ности, мотивы, программы самой системы и ее элементов, испол­нителей цели); при этом последние являются такими же объективно влияющими на процесс целеобразовання факторами, как и внешние (особенно при использовании в системах управления понятия цели как средства побуждения к действию).

Цеди могут возникать на основе взаимодействия противоречий, коалиций как между внешними и внутренними факторами, так и между внутренними факторами, существующими ранее и вновь возникающими в находящейся в постоянном самодвижения целостности.

Эта закономерность характеризует очень важное отличие "открытых", разви­вающихся систем с активными элементами от технических систем, отображаемых обычно замкнутыми или "закрытыми™ моделями. Теория управления последними оперирует обычно понятием "цель" как внешним по отношению к системе/ в ш "от­крытых", развивающихся системах цели не задаются извне, а формируются внутри системы 1 на основе рассматриваемой закономерности.

29. Сущность теоремы Геделя о неполноте.

Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя— две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.

Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.

Эти теоремы были доказаны Куртом Гёделем в 1930 году (опубликованы в 1931)

обобщённые формулировки

Доказательство теоремы Гёделя обычно проводят для конкретной формальной системы (не обязательно одной и той же), соответственно утверждение теоремы оказывается доказанным только для одной этой системы. Исследование достаточных условий, которым должна удовлетворять формальная система для того, чтобы можно было провести доказательство её неполноты, приводит к обобщениям теоремы на широкий класс формальных систем. Пример обобщённой формулировки:

Всякая достаточно сильная рекурсивно аксиоматизируемая непротиворечивая теория первого порядка неполна.

В частности, теорема Гёделя справедлива для каждого непротиворечивого конечно аксиоматизируемого расширения арифметической формальной системы S.

Всякая непротиворечивая система не полна

Либо неполна либо противоречива. Надо наполнять пока непротивореива.

30. Смысл и проблемы структуризации цели системы.

Анализ процессов формулирования обобщенной (глобальной) цели в сложных системах показывает, что эта цель первоначально возникает в сознании руководителя или иного лица, принимающего решение, не как единичное понятие, а как некоторая, достаточно «размытая» область.

Исследования психологов показывают, что цель на любом уровне управления вначале возникает в виде некоторого «образа» или «области» цели. В наибольшей степени это проявляется на уровне глобальной цели. При этом достичь одинакового понимания этой области цели всеми ЛПР, по-видимому, принципиально невозможно без ее детализации в виде неупорядоченного или упорядоченного (в структуре) набора одновременно возникающих взаимосвязанных подцелей, которые делают ее более конкретной и понятной для всех участников процесса целеобразования.

Сказанное позволяет сделать вывод о том, что задача формулирования обобщающей цели в сложных системах не только может, но и должна сводиться к задаче структуризации или декомпозиции цели. Структура цели, коллективно формируемая, помогает достичь одинакового понимания общей цели всеми ЛПР и исполнителями.