М.Двач / Математика

Программы как динамические системы 9 окт 2024, 14:23 117741 В конец треда | Веб

62 Кб, 629x5008 Кб, 585x158

Изучал автоматическую теорию управления в универе. Это потрясающе.

Описываем модель. Накладываем желаемые ограничения, подмножество желаемых состояний. Играемся с уравнениями, применяем разные теоремы чтобы получить функцию управления системой.

Я заметил, что программы по-сути тоже динамические системы. Также как и в классических динамических системах там есть состояние, есть время, есть ввод и вывод.

Просто они существуют не в векторном пространстве вещественных числе R^n, а в векторном пространстве нулей и единиц: https://en.wikipedia.org/wiki/Vector_logic

Хочу описывать программы как уравнения, исследовать их сходимость к определённому подмножеству состояний.

Как ни искал, чёт не могу найти чтобы кто-то это уже делал, хотя идея вроде бы лежит на поверхности.

Кто-нибудь занимался чем-то похожим? Накидайте ссылок или ключевых слов по которым можно что-то похожее найти

Ответы774777578509

2 9 окт 2024, 17:34 2 117747

89 Кб, 648x596232 Кб, 532x556

>>117741 (OP)
Тебе нужно копать примерно в сторону реконструкции фазового состояния, state space reconstruction.
Возможно, для рандомной программы подобное вообще бессмысленно, так как не то, что сколько-нибудь устойчивого аттрактора, но и какого-нибудь репеллента не получится. Но если нечем заняться, попробуй, готового софта для этого не то чтобы очень много, но он есть. tisean какой-нибудь итп.

Ответы7749

sage 3 9 окт 2024, 17:35 3 117748

это не математика

Ответы77517755

4 9 окт 2024, 17:49 4 117749

>>117747
>Возможно, для рандомной программы подобное вообще бессмысленно
Не, для рандомной программы даже не буду пытаться.

Вообще план такой:

1) Научиться писать программы с помощью преобразований над state space vector.

2) Написать парочку известных программ и алгоритмов, поисследовать их state space. Поискать аттракторы. Первая на очереди у меня Philosophers Dining Problem и различные решения для неё. А потом хочу так же реализовать Raft Consensus Algorithm.

3) Сделать простенький язык программирования, который в основании полагался на это представления программ.

Брать программы на существующих языках, и пытаться исследовать их state space -- это полный пиздец. Врядли чем-то кончится.

Ответы7753

5 9 окт 2024, 17:55 5 117751

>>117748
>это не математика
ТЫ ОХУЕЛ? С каких это пор теория управления это не математика

Ответы7752

sage 6 9 окт 2024, 18:30 6 117752

>>117751
всегда так было

11 Кб, 207x244
7 9 окт 2024, 18:40 7 117753

>>117749
Есть такая тема, "Minsky machine"
https://en.m.wikipedia.org/wiki/Counter_machine
По-сути, это небольшие наборы ассемблерных инструкций, с помощью любого из которых возможно представить любую программу на ассемблере (кроме обращений к памяти итд, но нужные для этого инструкции можно добавить):
> set 1: { INC (r), DEC (r), JZ (r, z) }, (Minsky (1961, 1967), Lambek (1961))
> set 2: { CLR (r), INC (r), JE (rj, rk, z) }, (Ershov (1958), Peter (1958) as interpreted by Shepherdson–Sturgis (1964); Minsky (1967); Schönhage (1980))
> set 3: { INC (r), CPY (rj, rk), JE (rj, rk, z) }, (Elgot–Robinson (1964), Minsky (1967))
Имея state space представление для таких наборов (например, INC, DEC, JNZ, MOV + SETF, CLRF не обязательно), можно уже строить программу с использованием только их state space. Всё это чисто в теории, конечно.

Ответы7754

sage 8 9 окт 2024, 19:20 8 117754

>>117753
не математика
съебывайте в /pr/

Ответы7755

386 Кб, mp4,
764x720, 0:03
9 9 окт 2024, 19:23 9 117755

>>117754
> не математика
> съебывайте в /pr/
>>117748
> это не математика

Ответы7756

sage 10 9 окт 2024, 19:46 10 117756

>>117755
ебанул тебе дихлофосом за щеку проверяй

11 9 окт 2024, 19:56 11 117757

>>117741 (OP)
>Хочу описывать программы как уравнения
Как ты себе это представляешь?

Ответы7758

12 9 окт 2024, 20:05 12 117758

>>117757
>Как ты себе это представляешь?
x0 -- векторное представление начального состояния программы
P -- матрица представляющая программу

x_n = P^n * x0

x_n -- состояние программы на n-ном шаге.

В идеале будет сходиться к какому-то состоянию, либо гонять по циклу каких-то состояний.

Ответы7763

13 9 окт 2024, 22:32 13 117762

Каскад цепей Маркова с генерацией матрицы переходов на каждой итерации? Задача поставлена слишком по математический (абстрактно). Возьми конкретный алгоритм и проведи скоринг нескольких моделей.
мимо погромист крашу кнопки за 300к

Ответы77648500

14 9 окт 2024, 23:01 14 117763

>>117758
Ты какой то определенный алгоритм можешь так представить (какую нибудь числодробилку), как наносек выше написал, программа это слишком общее.

sage 15 10 окт 2024, 08:26 15 117764

>>117762
>алгоритм
не математика

Ответы7765

16 10 окт 2024, 08:54 16 117765

>>117764
сьебни на хуй, пожалуйста

Ответы77678501

sage 17 10 окт 2024, 10:01 17 117767

>>117765
съеби в /pr/

18 16 ноя 2024, 23:54 18 118500

>>117762
300 нынче - это как 100 в году 19м.

19 16 ноя 2024, 23:55 19 118501

>>117765
Поддерживаю

Ответы8506

20 17 ноя 2024, 08:14 20 118506

>>118501
это значит, что ты пидор

21 17 ноя 2024, 11:57 21 118509

>>117741 (OP)
https://en.wikipedia.org/wiki/Domain_theory

Обновить тред
« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion