Это как бы ответ на статью lxsmkv «Задача о переправе». Наиболее запоминающаяся часть той статьи — это огромная (в сопоставлении с сложностью задачи) таблица, в которой выражена модель задачи.
Попробуем придумать что-то попроще.
Читать полностью »
Рубрика «математическое моделирование» - 3
Чтобы научиться мыслить как программист, надо научиться мыслить как не программист
2017-11-26 в 12:57, admin, рубрики: занимательные задачи, математическое моделирование, модель решения задачи, мышление, Проектирование и рефакторинг, разработка игр, Учебный процесс в ITЗадача о переправе
2017-10-15 в 12:29, admin, рубрики: занимательные задачи, математическое моделирование, матрицы, машина состояний, машина Тьюринга, мышление, рекурсия, Учебный процесс в ITНа Тостере иногда встречаются вопросы о том, как научиться думать как программист. Год назад я ради развлечения решил написать программу которая решает всем хорошо известную задачку — головоломку о волке, козе и капусте. В англоязычных источниках известную как river crossing puzzle.
В этом посте я представлю вам пример мыслительного процесса от задачи к ee алгоритмическому решению.
Читать полностью »
Моделирование смешанных схем на System Verilog
2017-09-28 в 12:55, admin, рубрики: System Verilog, Verilog, Анализ и проектирование систем, высокая производительность, математическое моделирование, многопоточность, Профессиональная литература, разработка микросхемЖили были, не, не так… Однажды рано утром, придя в очередной раз на работу, я узнал, что у нас в серверной всего один ввод электропитания и он может отгорать. Целый день было нечего делать, и я решил написать статью на Хабр. Статья ориентирована на начинающих и праздно интересующихся.
Технология КМОП достигла такого уровня, что современные микросхемы представляют собой огромные и очень сложные структуры и системы, собранные из систем. В то же время, стоимость запуска в производство растет экспоненциально с уменьшением технологических норм. Поэтому, при разработке, требуется моделировать и верифицировать все в максимально возможном объеме. Идеальный случай, который даже иногда реализуется на практике, когда микросхема заработала с первого запуска.
Так как мы живем в аналоговом мире, то даже цифровая микросхема должна уметь с этим миром общаться. Цифровые микросхемы содержат на кристалле десятки больших аналоговых блоков, таких как АЦП, ЦАП, ФАПЧ, блоки вторичного питания и т.д. Исключением из этого правила, вероятно, являются только большие процессоры, типа Core i и т.п., где все это хозяйство вынесено в чипсет.
Scilab в свободном падении
2017-04-22 в 11:47, admin, рубрики: SciLab, Алгоритмы, дифференциальные уравнения, математика, математика и физика, математическое моделированиеНа днях с удивлением обнаружил, что на Хабре почти нет статей по Scilab. Между тем это достаточно мощная система компьютерной математики, открытая и кроссплатформенная, покрывающая широкий спектр инженерных и научных задач. В ряде ВУЗов (к примеру, УрФУ, ИТМО) ее используют для обучения студентов. Одной из самых насущных инженерных задач является решение дифференциальных уравнений (далее — ДУ). В данной статье я покажу как при помощи Scilab решать системы обыкновенных ДУ на примере моделирования знаменитого стратосферного прыжка Феликса Баумгартнера.
Поиск в пространстве стратегий. AI водитель
2017-03-07 в 12:59, admin, рубрики: AI, machine learning, автопилот, математика, математическое моделирование, машинное обучение, эксперимент
Выкладываю отчёт о своём эксперименте в области машинного обучения. В этот раз темой эксперимента было создание AI для управления моделькой автомобиля.
Читать полностью »
Портретная фотография: боке, фокусное расстояние, диафрагма и дистанция
2016-12-13 в 9:44, admin, рубрики: геометрическая оптика, геометрия, математическое моделирование, объектив, потретник, фотография, Фототехника, метки: потретникПриветствую вас, фотогики!
Портретная фотосъёмка, по-хорошему, является искусством. А искусство — штука субъективная.
Но для фотосъёмки мы пользуемся техническими устройствами, а значит неизбежно «скованы» законами, которым эта техника подчиняется. И о них хотелось бы поговорить, т.к. мифов тут полным полно…
Конечные автоматы в среде динамического моделирования SimInTech. Часть 2
2016-08-08 в 14:32, admin, рубрики: scada, Анализ и проектирование систем, Графические оболочки, математическое моделирование, программирование контроллеров, Промышленное программирование, разработка программного обеспечения, функциональное программированиеВ первой части мы показали как создать алгоритм работы на основе «конечных автоматов» в SimInTech и использовать его совместно с «классическими» алгоритмами в виде функционально блочных диаграмм.
Во второй части мы покажем как создать вложенные и параллельно работающие конечные автоматы и осуществлять обмен данными между ними.
Читать полностью »
Конечные автоматы в среде динамического моделирования SimInTech
2016-08-04 в 7:41, admin, рубрики: scada, Графические оболочки, конечные автоматы, математическое моделирование, программирование микроконтроллеровВведение
SimInTech является средой для создания математических моделей любых систем, уравнение динамики которых можно представить в виде входо-выходных соотношений (представление DataFlow). Для реализации подхода конечных автоматов в среде SimInTech существовал блок условного выполнения субмодели, который обеспечивал остановку и запуск моделирования по условию, приходящему извне. Такой подход обеспечивает возможность разделить общую модель на состояния и в каждый момент времени рассчитывать только те субмодели, условия выполнения которых установлены в true. Однако, такая реализация автоматного подхода не очень удобна, с точки зрения наглядности, и требовала дополнительной настройки параметров системы.
В настоящее время все необходимые настройки реализованы в специальной библиотеке блоков, которая обеспечивает создание моделей систем в виде конечных автоматов, (представление State Flow) и может быть использована при создании моделей управления.
В данной статье показан пример использования элементов библиотеки «Конечные автоматы» для создания системы управления.
Читать полностью »
О ценности карт в игре «Пьяница»
2016-03-28 в 8:41, admin, рубрики: карты, математика, математическое моделирование, финансовая модельВ последнее время я много играю со своим 5-летним сыном в карточную игру «Пьяница». И он, и я радуемся, когда побеждаем, и огорчаемся, когда проигрываем.
В какой-то момент я задался вопросом: какова «финансовая» ценность каждой из карт в «Пьянице»? Так как Шестерка бьет Туза (см. вариант правил под катом), то система ценностей в «Пьянице» циклична, и ответ неочевиден. Например, ценнее ли Семерка Шестерки? Семерка бьет Шестерку — значит да! Но с другой стороны, каждая из них бьет только одну другую карту в игре (Семерка — Шестерку, а Шестерка — Туза) — значит они равны по ценности? Но Туз, побитый Шестеркой, сам по себе гораздо ценнее чем Шестерка, побитая Семеркой — значит Шестерка ценнее?!
Я решил подвести математическую модель под анализ ценности карт в «Пьянице». Результаты получились самые неожиданные.
Читать полностью »
Матрица: тело как источник энергии
2016-03-03 в 9:20, admin, рубрики: Киберпанк, кино, математическое моделирование, матрица, робототехника, Читальный залВ статье Матрица: Злодеи и Спасители одним из комментаторов (оригинал комментария) была приведена беседа Морфеуса и Нео об использовании людей в качестве источника энергии. Мне стало интересно, можно ли составить логически непротиворечивую модель популяции, питающейся своими погибшими в силу различных причин особями и способную поддерживать своё существование в течение длительного времени.
