caxapa.ru :: Слышал, что есть математическое доказательство того, что в большой системе ошибки имеют систематический характер и полностью не устранимы. Все как в той шутке о том что надо устранить N ошибок таких чтобы N+1 не мешала работе системы.

Codavr (10.01.2014 16:46, просмотров: 268) ответил MBedder на Средство передвижения, сплошь состоящее из парашютов/стоп-кранов/airbag'ов, называется "параноймобиль", и для передвижения как такового не годится :))

Слышал, что есть математическое доказательство того, что в большой системе ошибки имеют систематический характер и полностью не устранимы. Все как в той шутке о том что надо устранить N ошибок таких чтобы N+1 не мешала работе системы.

Долой империалистический интернационал!

Ответить

- Хуже того. Большая система, где каждая единичный сбой приводит к отказу системы в целом -- рискует стать не работоспособной т.к. вероятность сбоев по закону больших чисел становится практически гарантированной величиной. Пример прекрасно можно fk0(260 знак., 10.01.2014 16:58)
  - Уверен, что микрософтовским товарищам и в голову бы не пришло сочинять виндовс в любой его ипостаси, а интеловским товарищам придумывать аппаратные механизьмы защиты, если б назначением писюков было бы быть контроллерами елочных гирлянд. Мущщина(730 знак., 10.01.2014 17:40)
    - А ПО для контроллеров, в отличии ПО для ПК, абсолютно безглючное что ли? Как бы не наоборот. Я чётко обосновал, почему механизмы зачиты нужны в "больших системах" -- иначе будет постоянно глючит, непрерывно. Есть 0.001 матожидание ошибки в fk0(905 знак., 10.01.2014 17:55)
      - :-) Вероятность, которую ты обозвал матожиданием, вообще редко превышает 1. Только если в военное время, как и косинус. Мущщина(771 знак., 10.01.2014 18:29)
        
        Вероятность может и не превышает (т.к. всё время сбоит и не работает никогда). А более одного сбоя одновременно возникнуть может. Так что запросто превышает. Я утверждаю, что: fk0(1412 знак., 10.01.2014 19:25)
        
        Уж больно ты грозен, как я погляжу. :-) Мущщина(58 знак., 10.01.2014 20:16)
- Шестипроцессорный девайс на блэкфинах работает без сбоев, что я делаю не так? :) - alex68(10.01.2014 16:57)
  - Просто ты все N штук устранил, или N-я пока не проявила себя. - Codavr(10.01.2014 16:58)
    - У него число ошибок чётное. Они взаимокомпенсированы. - fk0(10.01.2014 17:05)
      - "Дирак любил выражаться точно и требовал точности от других. Однажды на семинаре в конце длинного вывода докладчик обнаружил, что знак в окончательном выражении у него не тот. - Я в каком-то месте перепутал знак, сказал он, всматриваясь в alex68(81 знак., 10.01.2014 17:34)
    - Возможно. Сбои пишутся в лог на флешке, пока там чисто. - alex68(10.01.2014 17:02)
      - Сплюнь - Codavr(10.01.2014 17:38 - 17:42, ссылка)
- Я не делаю "больших систем" - MBedder(10.01.2014 16:49)
  - Зачем тебе PIC32MZ? Хватит и PIC18 проф. уровня. - fk0(10.01.2014 16:59)
    - Усрется 18-й периоды с разрешением в сотни ПИКОсекунд измерять. На dsPIC33E (70 MIPS) получаю 150 Пс, на 200-мипсовом PIC32MZ получу втрое лучше, хотя пока и так за глаза - MBedder(10.01.2014 17:12)
      - А вся шкала скока? - Крок(10.01.2014 23:10)
        
        Меряю среднюю частоту в пределах десятков-сотен кГц - MBedder(11.01.2014 01:13)
      - Измерять или обсчитывать? - fk0(10.01.2014 17:23)
        
        И измерять, и обсчитывать - MBedder(10.01.2014 17:42)
  - Иногда обычный интерфейс с юзером становится "большой системой". - Codavr(10.01.2014 16:52)
    - "Будь проще, и люди за тобой потянутся"(с) :)) - MBedder(10.01.2014 16:54)
      - "Простота хуже воровства"(с) :)) - Codavr(10.01.2014 16:57)
        
        Самый страшный UI, который пришлось давеча сделать - это мелкий графдисплей для вывода диаграммы сигнала и нескольких цифровых полей, тумблер "Record" для старта/стопа записи данных на флешку, и две кнопки < > для прокрутки диаграммы вправо-влево MBedder(362 знак., 10.01.2014 17:07 - 17:44)
        
        Мерзкий хвастун, я тобой горжусь :) - Codavr(10.01.2014 17:22)
        
        Да я и сам собой погордиться не прочь, благо есть чем :)) - MBedder(10.01.2014 17:45)

Микроконтроллеры PIC