Cтраница 4
Для нас важно отметить, что коллективное поведение в исходной его формулировке, данной в работе [ Стефанюк, 1963 ], вообще говоря, охватывает более широкий класс систем с локальной организацией, чем игры автоматов, позволяя анализировать прикладные ситуации, в которых игровая формулировка не является естественной. [46]
В этой книге не рассматривался очень важный вопрос о выборе критерия, по которому указывается вектор А ( см [ Стефанюк, 1969 ]), однако, каков бы ни был этот критерий, на некотором этапе всегда возникает задача поддержания фиксированного отношения шум / сигнал А. [47]
Возникающие при этом формулировки задач напоминают задачи из области управляемых динамических систем, поэтому в первой работе на эту тему [ Стефанюк и Цетлин, 1967 ] был использован термин локальное управление. Однако начиная, с этой же работы, мы постоянно подчеркиваем, что возникающие здесь формальные модели лишь внешне отличаются от формулировок коллективного поведения конечных автоматов, работающих в дискретном времени ( см. гл. [48]
Итак, получив сообщение, которое возможно содержит вирус или спам, пользователь, пользуясь командой Reply согласно рекомендации публикации [ Стефанюк, 2000д ] отправляет примерно следующий текст Подтвердите пожалуйста, что вы действительно направляли мне это сообщение. Если в течение определенного отрезка времени ответа не последует, то письмо можно не читая вычеркнуть из почтового ящика: либо это спам, либо письмо, содержащее вирус. [49]
Однако авторы редко объясняют то, как они пришли к используемым представлениям задачи, тогда как вскрытие механизмов возникновения таких представлений [ Stefanuk, 1973; Стефанюк, 1975 ] является центральной темой данной главы. [50]
В смысле освещения этого тезиса, настоящий раздел книги носит замкнутый характер: в нем дается постановка задачи об интеллектуальной ОС, впервые сформулированная нами в работе [ Стефанюк, 1982 ], и приводятся этапы постепенного воплощения этой идеи, завершающегося реализацией макета интеллектуальной ОС в виде программного комплекса на языке Лисп. [51]
В этом разделе сформулировано удобное необходимое и достаточное условие того, чтобы матрица Метцлера была М - матрицей, из которого, в частности, вытекает, что введенное в [ Стефанюк и Цетлин, 1967 ] множество Д ( п), которое может быть определено для каждой матрицы Метцлера, является выпуклым. В работе [ Стефанюк и Цетлин, 1967 ] множество Д ( п) имеет смысл области достижимых векторов отношений шум / сигнал в коллективе радиостанций, создающих при своей работе взаимные помехи. Из этого условия вытекает также одно условие невырожденности произвольной матрицы ( с комплексными элементами), эквивалентное условию Фидлера, но по форме подобное условию Адамара ( см. [ Гантмахер, 1966 ], с. [52]
В отличие от работы [ Варшавский и Гершт, 1966 ], где рассматривалась непрерывная аппроксимация конечного автомата с линейной тактикой, работы [ Гершт, 1967 ], изучавшей непрерывную модель игр автоматов, и непрерывной модели конечного автомата, обеспечивающего байесовское различие двух сигналов ( [ Гершт и Стефанюк, 1967 ]), в работах [ Стефанюк и Цетлин, 1967; Стефанюк, 1967; 1968а; 19686 ], приведших к диссертации [ Стефанюк, 1968в ], введенные нами в рассмотрение автоматы с непрерывным множеством действий, или непрерывные автоматы, выступили как исходные конструкции, предназначенные для описания детерминированного взаимодействия в реальном времени, а не как аппроксимирующие модели для дискретных систем с конечным числом действий, помещенных в вероятностную среду. [53]