воскресенье, 6 февраля 2011 г.

bankmsu.

bankmsu. Финансовая независимость.: простой абстрактный труд

Сложность реализации. Кибенематика. Мощность множества.
Характерный для теории управляющих систем вопрос о сложности этих систем естественно возникает и по отношению к формулам и функциям из М. л. Типичной при таком подходе является следующая задача о сложности реализации. На множестве всех элементарных формул некоторым способом вводится числовая мера (сложность формул), которая затем распространяется на множество всех формул, например, путём суммирования мер всех тех элементарных формул, которые участвуют в построении заданной формулы. Требуется для заданной функции указать ту формулу (простейшую), которая реализует эту функцию и имеет наименьшую сложность, а также выяснить, как эта сложность зависит от некоторых свойств рассматриваемой функции. Исследуются различные обобщения этой задачи. Широкий круг вопросов связан с реализацией функций формулами с наперёд заданными свойствами. Сюда относятся задача о реализации функций алгебры логики дизъюнктивными нормальными формами и связанная с этим задача о минимизации; а также задача о реализации функций формулами в некотором смысле ограниченной глубины (т. е. такими формулами, в которых цепочка подставляемых друг в друга формул имеет ограниченную длину, такое ограничение связано с надёжностью и скоростью вычислений).

Решения всех перечисленных задач существенно зависят от мощности множества Е и множества М, порождающего заданную модель М. л.
 

Комментариев нет:

Отправить комментарий