Size: a a a

Язык программирования Julia / Julia programming language

2021 April 07

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
и https://github.com/sbusard/pynusmv для работы с NuSMV или подобным
источник

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Всё зависит от того, зачем нам ряды...
источник

АО

Андрей Оськин... in Язык программирования Julia / Julia programming language
А можно чуть подробнее, что делают последние два пакета?
источник

АО

Андрей Оськин... in Язык программирования Julia / Julia programming language
То есть это вполне может быть что-то полезное, но пока что выглядит как набор аббревиатур.
источник

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Вот отсюда хорошо начать - https://en.m.wikipedia.org/wiki/List_of_model_checking_tools .
Там все собраны :)
источник

VG

Viktor G. in Язык программирования Julia / Julia programming language
пока что самые базовые операции - сохранить как историю и делать оттуда выборки
источник

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
В разделе "Modelling languages"
источник

AP

Alexander Plavin in Язык программирования Julia / Julia programming language
я вообще имел в виду только индексы, представляющие физические величины - время, расстояние, частоту, etc
для них это всё достаточно однозначно определяется
источник

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Выборки по каким критериям?
источник

AP

Alexander Plavin in Язык программирования Julia / Julia programming language
"равномерно дискретный индекс", конечно, тоже совершенно одинаково применим к упомянутым величинам
источник

VG

Viktor G. in Язык программирования Julia / Julia programming language
группировки, условия пересечения, передискретизация и т.д.
источник

AP

Alexander Plavin in Язык программирования Julia / Julia programming language
мне кажется, имеет смысл основываться на пакете axiskeys
там есть поддержка любых индексов (равномерных и неравномерных), выборки по диапазону и по номеру, вроде даже с джоином что-то немного было
источник

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
А кто такой "равномерно дискретный индекс"? Я для уточнения.
источник

AP

Alexander Plavin in Язык программирования Julia / Julia programming language
просто индекс с равномерным шагом - чтобы не хранить явно все величины
источник

AP

Alexander Plavin in Язык программирования Julia / Julia programming language
как range(a, b, step=c)
источник

VG

Viktor G. in Язык программирования Julia / Julia programming language
да, с одинаковым шагом
источник

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Тогда это уже достойная либа. Чтобы взлететь, как раз должна поддерживать хотя бы базовую темпоральную логику и календарь.
источник

АО

Андрей Оськин... in Язык программирования Julia / Julia programming language
Нуу... 😊))
Вот тут я наверное не соглашусь 😊))

Сами по себе TimeSeries и другие библиотеки всё-таки структуры предоставляют и удобные функции для работы с ними.

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

АО

Андрей Оськин... in Язык программирования Julia / Julia programming language
Это как раз больше Julia style.

Как лего можно складывать разной сложности штуки.
источник

VG

Viktor G. in Язык программирования Julia / Julia programming language
Ну кстати если индекс - это интервал произвольной длины, то сам по себе он описывает некую темпоральную логику для одного элемента: "это событие длилось от t1 до t2"
источник