Спасибо. Вы копайте, да. И если можно, пишите про что накопалось. У меня есть только дилетантский комментарий относительно этого: "ограничение, накладываемое в этой работе на цепь, состоит в том, что никакой провод не соединяет выход логического элемента с его же входом". В "мозговых" системах как раз возвратные связи вполне часты, насколько я понимаю.
В схемах обратные связи тоже допустимы. Здесь ограничение в том, что нельзя зацикливать схему без внесения задержки. Считается, что абстрактный логический элемент срабатывает мгновенно (в отличие от, например, триггера), поэтому трудно приписать какой-либо смысл к зацикленной напрямую схеме.
Строго говоря, «цифровая» модель работает не во времени, а в относительном порядке срабатывания частей (проводов и лог. элементов); если считать это «задержкой», то задержка учитывается все равно. Ограничение, видимо, можно понимать как таковое на величину задержки.
Там вот что оказывается:
Definition: An arbiter is called delay-bounded iff each of its initialized histories is finite. An arbiter is called stable iff in each of its initialized histories the value of one external output remains unchanged. An arbiter is called glitch-free iff it is both delay-bounded and stable; otherwise it is called glitch-prone...
The feedback restriction is actually not needed to prove the nonexistence of stable arbiters... The proof that delay-bounded arbiters do not exist is another matter. In fact, as we now show, if the feedback restriction is removed from our definition of a circuit, then a delay-bounded arbiter exists.
Просто уточнить - я не сомневаюсь, просто не знаю - бывает непосредственно закольцованный нейрон, т. е. синапс между аксоном и дендритом одного нейрона?
Ограничение есть только в «цифровой» модели Андерсона-Гауды. В «аналоговой» модели его нет, там вместо него ограничение на время задержки. Оно, мне кажется, biologically plausible - у нейрона есть минимальный интервал между срабатываниями, время, когда он не реагирует на входные сигналы после выходного импульса, так ведь?
> Вероятность метастабильного состояния существенно (экспоненциально, как я понимаю) повышается с ростом числа независимых сигналов и с понижением быстродействия элемента сети
( ... )
На первый вопрос я могу ответить. Вы говорите о тактируемой схеме, где метастабильность возникает из-за непредсказуемых задержек. Время такой схемы идет в тактах - замедляя тактовую частоту, вы замедляете время, т. е. в замедленном времени быстродействие всех частей выше. Выше быстродействие - меньше вероятность метастабильности. Все сходится.
Насчет второго - просто не знаю. Я не до конца еще разобрался в этом. Посмотрите статью [2], если интересно. Там метастабильность выражается в порядке перебора элементов. Мне кажется, что число метастабильных вариантов может расти вообще как факториал от общего числа элементов - так что предположение об экспоненциальности здесь, возможно, даже консервативно. Но это рассуждение, сами видите, очень поверхностное, а глубже я не анализировал.
Comments 31
Reply
У меня есть только дилетантский комментарий относительно этого: "ограничение, накладываемое в этой работе на цепь, состоит в том, что никакой провод не соединяет выход логического элемента с его же входом". В "мозговых" системах как раз возвратные связи вполне часты, насколько я понимаю.
Reply
Reply
Там вот что оказывается:
Definition: An arbiter is called delay-bounded iff each of its initialized histories is finite. An arbiter is called stable iff in each of its initialized histories the value of one external output remains unchanged. An arbiter is called glitch-free iff it is both delay-bounded and stable; otherwise it is called glitch-prone...
The feedback restriction is actually not needed to prove the nonexistence of stable arbiters... The proof that delay-bounded arbiters do not exist is another matter. In fact, as we now show, if the feedback restriction is removed from our definition of a circuit, then a delay-bounded arbiter exists.
Reply
Просто уточнить - я не сомневаюсь, просто не знаю - бывает непосредственно закольцованный нейрон, т. е. синапс между аксоном и дендритом одного нейрона?
Ограничение есть только в «цифровой» модели Андерсона-Гауды. В «аналоговой» модели его нет, там вместо него ограничение на время задержки. Оно, мне кажется, biologically plausible - у нейрона есть минимальный интервал между срабатываниями, время, когда он не реагирует на входные сигналы после выходного импульса, так ведь?
Reply
Reply
Насчет второго - просто не знаю. Я не до конца еще разобрался в этом. Посмотрите статью [2], если интересно. Там метастабильность выражается в порядке перебора элементов. Мне кажется, что число метастабильных вариантов может расти вообще как факториал от общего числа элементов - так что предположение об экспоненциальности здесь, возможно, даже консервативно. Но это рассуждение, сами видите, очень поверхностное, а глубже я не анализировал.
Доб. забыл: http://www.cs.unc.edu/~anderson/papers/acta91.pdf
Reply
(The comment has been removed)
Reply
(The comment has been removed)
Reply
Reply
Reply
Reply
Leave a comment