Сложение вероятностей используется тогда, когда нужно вычислить вероятность объединения или логической суммы случайных событий.
Сумму событий A и B обозначают A + B или A ∪ B. Суммой двух событий называется событие, которое наступает тогда и только тогда, когда наступает хотя бы одно из событий. Это означает, что A + B – событие, которое наступает тогда и только тогда, когда при наблюдении произошло событие A или событие B, или одновременно A и B.
Больше о сути логической суммы можно узнать в соответствующем месте статьи "Булева алгебра (алгебра логики)".
Если события A и B взаимно несовместны и их вероятности даны, то вероятность того, что в результате одного испытания произойдёт одно из этих событий, рассчитывают, используя сложение вероятностей.
Теорема сложения вероятностей. Вероятность того, что произойдёт одно из двух взаимно несовместных событий, равна сумме вероятностей этих событий:
если решать задачу не про проверку ликвидности а про проверку надежности кода самого контракта, то в общем случае задача не решаема, так как контракт может получать управление со стороны, т.е. в симуляции ответных транзакций 'управляющего центра' от скамера не приходят и ты видишь что все хорошо, а в реальности твои транзакции заворачиваются на баланс скамера.
а анализ кода - это пока не для искусственного интеллекта, слабоват он, к тому же кто сказал что код есть для любого контракта? кто проверил что опубликованный код контракта соответствует оригиналу?
одна из причин, почему нужно держаться от вендорского железа как можно дальше - это вендорлок, понадеешься на 'надежное протестированное железо с гарантией' и получишь мину замедленного действия по опустошению своего кармана в будущем
Анонимные функции это синтаксический конструкции для исполнения кода написанного как есть в исходниках, eval и create_function работают с кодом в переменных, генерируемых в процессе выполнения.
Пока не скажешь задачу помочь больше того что написал мало кто сможет
нет я говорю о usb контроллерах материнской платы, куда предполагается вставлять этот hdd box, на большинстве материнок, особенно десктопных машин, usb порты могут быть от разных контроллеров (по крайней мере так говорит вывод lsusb в linux) что будет с ними если закоротить питание от разных, да и в пределах одного контроллера не обязательно контакты питания соединены напрямую
я не обратил внимание на то что автору надо из двух 0.5а сделать 4а, я просто говорил о сложении токов
самый главный вопрос, что за поиск производится? [сравнение по расстоянию левентштейна? строгое равенство? строгий поиск по словам? лексикографический нестрогий с фонетическими ошибками или учетом эргономики десктопных и мобильных клавиатур (последнее было бы интересно послушать)
от ответа на этот вопрос зависит решение, и они сильно разные
FanatPHP, это ты неправильно прочел, четко написано - удаленная бд, локальная копия
прич ем тут разработка? один из юзкейсов такой репликации - это запуск тяжелых аналитических запросов на архивной базе, чтобы не грузить основную
кстати про разработку и тесты, репликация - самый быстрый способ получить копию рабочей базы чтобы над ней поиздеваться - это поднять slave копию на сервере с поддержкой репликации, остановить базу, взять снапшот файловой системы и поднять ее из снапшота параллельно (без поддержки сети например в lxc контейнере), поработать, потом удалить
рабочая база при этом ни на мгновение не останавливается, и нагрузка не повышается
В этой статье пишут про приложения на google play - MHL checker для проверки устройства на совместимость, но приложений много и выдают они разную информацию, верить этому сложно