Сегодня, в субботу 26 февраля, на Сколковской Школе Синтеза Цифровых Схем Михаил Коробков проводит занятие по технологиям функциональной верификации: constrain solvers, cover bins и concurrent assertions. Примеры, которые мы подготовили для школы, вращаются вокруг протокола AXI для систем на кристалле, вопросы про который спрашивают например на интервью в хардверное отделение компании Meta и другие.
Рубрика «математика» - 18
Темное искусство функциональной верификации цифровых микросхем
2022-02-26 в 8:26, admin, рубрики: asic, constraint programming, fpga, functional coverage, simulation, SystemVerilog, verification, Verilog, Алгоритмы, Анализ и проектирование систем, верификация микросхем, математика, Производство и разработка электроники, темпоральная логикаЗдравствуйте, дорогие любители острых космических ощущений (хабровчане)!
В предыдущей своей публикации я посчитал траекторию космической ракеты "РН Союз", сравнив результаты с телеметрией из видеоролика на Ютуб. Расчёты были произведены без учёта силы сопротивления атмосферы, что в итоге привело к существенным расхождениям с реальностью (если конечно же верить той самой телеметрии из видеоролика). Разумеется, мне стало интересно, а что если учесть это сопротивление? Как оно повлияет на траекторию и другие параметры полёта космической ракеты? Попробуем по порядку в этом разобраться.
Компрессия битового потока
2022-02-13 в 6:54, admin, рубрики: big data, cctv, fpga, Алгоритмы, видеонаблюдение, видеотехника, каналы связи, математика, пакет Яровой, стриминг, технологии, хранение данных, цодМНОГАБУКАВ.
Знакомство
Всем привет! Расскажу про нашу разработку, которая изменит подход к обработке данных.
Мы разработали новый математический алгоритм обработки данных и программный продукт на его базе (кодек), позволяющий работать со сжатием битовых потоков любого формата (статические/динамические) – то есть, кодек позволяет проводить более глубокое сжатие уже существующих файлов (видео, изображения, архивы и т.д.), так и осуществлять сжатие исходных «сырых» данных.
Как летает космическая ракета (на примере РН Союз)?
2022-02-06 в 10:32, admin, рубрики: космонавтика, математика, физикаДобрый день, дорогие Хабровчане!
Давно хотел разобраться и понять, хотя бы примерно, на качественном уровне, что есть траектория космической ракеты? Какую траекторию закладывают для того, чтобы точно попасть в заданную орбиту? Какая должна быть траектория для оптимального использования энергетического ресурса ракеты-носителя? Из этого, как быстро нужно наклонять ракету в процессе полёта? В этой статье поделюсь с Вами своими соображениями и вычислениями. За основу я взял видео с официального Ютуб-канала Роскосмоса с временной линейкой параметров полёта: Читать полностью »
Шесть уровней метавселенной математики
2022-01-29 в 15:54, admin, рубрики: математика, Научно-популярное, теорема Гёделя, теория множествКогда я был маленький, я думал, что математика - это очень формальная наука. Как бы не так! Когда о нас, математиках, говорят как о сухарях — это ложь! (с) 17 мгновений весны.
Как правильно готовиться к ШАД
2022-01-29 в 12:00, admin, рубрики: математика, ШАД, школа анализа данных, яндексЯ, Александр Лыков, кандидат физико-математических наук, работаю на мехмате МГУ и уже несколько лет готовлю студентов к ШАД. В этой статье я решил разобрать наиболее важные моменты при подготовке к экзамену.
Вступление
Реализация алгоритма Краскала на С#
2022-01-22 в 23:02, admin, рубрики: .net, C#, алгоритм, алгоритм краскала, Алгоритмы, графы, Краскала, математика, минимальное остовное дерево, Программирование, реализация, система непересекающихся множеств, сортировка графа, структуры данных, хранение информацииВ данной статье для реализации алгоритма будут рассмотрены:
-
Система хранения графа на основе List<>
-
Сортировка рёбер графа по весу
-
Система непересекающихся множеств
Алгоритм Краскала необходим для нахождения минимального остовного дерева графа.
О чём речь?
Если прочитав предложение выше вы невольно задались этим вопросом, то вам следует изучить пару книг по теории графов информацию, представленную в этом блоке.
Эволюция бесконечной случайной конфигурации в игре «Жизнь»
2022-01-19 в 14:18, admin, рубрики: game of life, math, python, логические игры, математика, Научно-популярноеЭту вещь я хотел сделать с детства, но тяжело такое имплементировать, когда у тебя что на ЕС-1022, что на СМ-4 не хватает памяти. Сейчас такие вещи делаются играючи.
Итак, засеем бесконечное поле в игре "Жизнь" клеточками с вероятностью p от 0 до 1. Какова будет плотность популяции клеток после N ходов?
Технические детали: я стащил код отсюда и менял его под себя. "Бесконечное" поле замкнуто на тор, чтобы уменьшить краевые эффекты. Размер поля обычно брался 1000x1000. И да, pythonЧитать полностью »
Жизнь как граф
2022-01-15 в 20:42, admin, рубрики: алгоритм беллмана-форда, Алгоритмы, графы, детерминизм, жадный алгоритм, математика, философия, Читальный залПредлагаю обсудить философскую тему. Что если представить нашу жизнь как взвешенный ориентированный ациклический граф? Визуализация графа приведена на рисунке:
Муравей Лэнгтона — загадочный клеточный автомат
2022-01-11 в 5:20, admin, рубрики: Алгоритмы, гипотеза, клеточный автомат, математика, математические задачи, моделирование, муравей лэнгтона, Научно-популярное, Программирование, Читальный залВ мире существует около 14 000 видов муравьёв, каждый из которых имеет собственное название. Но, даже если вы зададитесь такой целью, вы не найдёте ни в одном биологическом справочнике муравья Лэнгтона. Дело в том, что этот муравей — математическая абстракция, модель для описания поведения динамической системы. Иногда кажется, что математики вообще неравнодушны к муравьям — вспомним хотя бы уже ставший классическим муравьиный алгоритм. Да и во всяких логических моделях и задачах муравьи встречаются довольно часто.