AI-SI

Analiza sygnałów — eksperyment, 19 października 2026

Nie jest włączona w bieżącym panelu ogólnego TSI. Dalszy trening wieloetykietowy poprawił rozpoznawanie mieszanin; nie potwierdzono jeszcze analizy dowolnych funkcji podcałkowych ani rzeczywistych czujników.

Najnowszy etap: rodziny monotoniczne i pojedyncze piki

TSI-SIGNALS-TURNING-f3792b5d, 44357 parametrów, 131 cech. Nadal pięć ocen: trend, skok, impuls, okresowość i pojedynczy zwrot bazowego przebiegu. Trening 15800 nowych przykładów; rozłączne dev i test. Dodano losowe rodziny logarytmiczne, odwrotności, potęgi, sigmoidy oraz pojedyncze piki i ostrza, a także cechy wieloskalowej zmienności i powtarzalności. To uczony klasyfikator cech liczbowych; nie generator językowy ani dowód matematyczny.

Odłożony test nowego, szerszego zakresu Wynik
Micro-F1, 2000 okien 95.32%
Cały zestaw etykiet poprawny 1739/2000
Błędny składnik w stabilnym oknie 5/160
Trend + impuls + okresowość 82/100
Zwrot + impuls + okresowość 86/100
Krzywe: 15 rodzin ×100 nowych parametrów 1499/1500

Rodziny krzywych: constant: 100/100, linear: 100/100, quadratic_monotonic: 100/100, exponential: 100/100, log: 100/100, reciprocal: 100/100, sigmoid: 99/100, power: 100/100, periodic: 100/100, quadratic_turn: 100/100, absolute_turn: 100/100, quartic_turn: 100/100, Gaussian_peak: 100/100, rational_peak: 100/100, root_cusp: 100/100.

Osobny wspólny test wcześniejszego zakresu, 2000 nowych okien: V8 micro-F1 97.54%, V9 96.26%. Ten test służy ocenie zachowania wcześniejszych umiejętności; szeroki test nowych rodzin nie jest bezpośrednio porównywalny z poprzednim węższym wynikiem.

Próg kwalifikacji zapisany przed testem: spełniony. Warunki: test_micro_f1: tak, test_exact_set: tak, heads: tak, false_components: tak, retention: tak, stress: tak, curves: tak. Wagi wybierano i kalibrowano na dev; po teście progów nie zmieniano. Przed treningiem przeszły 76 podstawowych i 106 rozszerzonych kontroli jednostek. MW, efekty rangowe i korekta pięciu porównań zapisane w lokalnym raporcie; zera p z obliczeń maszynowych oznaczają wyjście poza zakres numeryczny, nie matematycznie zerowe prawdopodobieństwo.

Powtórka ośmiu konkretnych wcześniejszych przykładów: 8/8 poprawnych opisów. Rodziny tych przykładów są teraz w treningu, dlatego to kontrola regresji, nie niezależny test nieznanych rodzin. Osobne eksploracyjne próby nowych kształtów: 6/6 pojedynczych przykładów; atan: zgodne, softplus: zgodne, inverse square root: zgodne, Laplacian peak: zgodne, asymmetric gamma peak: zgodne, sech-squared peak: zgodne. Nie używano ich do dopasowania wag.

Moduł jest dostępny w panelu ogólnego TSI: wybierz „Sygnały ogólne — seria JSON”, a następnie przykład z pomocy lub własną serię 64–256 liczb. Wynik zawiera opis i wykres. Przeszły kontrole integracji: 33 lokalne, 12 HTTP oraz 8 na uruchomionym panelu; 14 wcześniejszych scenariuszy rozmowy zachowało poprawne wyniki. Solver całek i główny rdzeń pozostały bez zmian. Funkcje z wieloma ekstremami, chirpy, dziedzina, osobliwości i zbieżność pozostają poza potwierdzonym zakresem. Testy są syntetyczne; nie potwierdzają wyników na czujnikach ani diagnozy awarii. Wagi głównego rdzenia rozmowy nie są zmienione w tej partii.

Wcześniejszy etap: zmiana kierunku bazowego przebiegu

Model TSI-SIGNALS-TURNING-4f406664 ma 39173 parametrów i pięć ocen: trend, skok, impuls, okresowość i pojedyncza zmiana kierunku bazowego przebiegu (minimum lub maksimum). To ostatnie nie oznacza wszystkich drobnych ekstremów szumu i sinusa. Nie podaje ścisłego położenia ekstremum ani dowodu znaku pochodnej.

Trening na 15800 nowych przykładach, rozłączne zbiory dev i test, nowe ziarna losowania. Większa głowica, dodatkowe mieszane przebiegi i cechy porównujące krzywiznę z harmoniczną oraz skokiem. Wybór wag i kalibracja wyłącznie na dev; nie obniżano progów po testach.

Odłożony test Wynik
Micro-F1 pięciu etykiet, 2000 okien 97.13%
Cały zestaw etykiet poprawny 1836/2000
Błędny składnik w stabilnych oknach 1/160
Trend + impuls + okresowość 93/100
Zwrot + impuls + okresowość 93/100
Proste rodziny krzywych łącznie 700/700

Rodziny krzywych obejmują stałą, monotoniczny przebieg, sinus, minimum lub maksimum kwadratu, wartość bezwzględną i czwartą potęgę oraz eksploracyjnie nieuczoną wygładzoną wartość bezwzględną. Szczegóły: constant: 100/100, monotonic: 100/100, periodic: 100/100, quadratic_turn: 100/100, absolute_turn: 100/100, quartic_turn: 100/100, unseen_smooth_absolute: 100/100.

Na tych samych 1360 nowych oknach bez nowej składowej starsza V4 miała micro-F1 98.45%, a nowa wersja 97.94%. To właściwe porównanie zachowania wcześniejszych czterech etykiet; ogólny wynik pięciu etykiet dotyczy szerszego zadania.

Kwalifikacja według zapisanych przed testem progów: spełniona. Poszczególne warunki: test_micro_f1: tak, test_exact_set: tak, heads: tak, false_components: tak, retention: tak, stress: tak, curves: tak. Moduł pozostaje poza bieżącym panelem, a solver całek pozostaje bez zmian. Próbki wykresu nie rozstrzygają osobliwości, dziedziny i zbieżności.

W poprzedniej próbie V5 proste krzywe przeszły w 700/700, lecz trudny stress tylko 76/100; wynik zachowano. Kontrola jednostek ujawniła też numeryczną niestabilność wyboru cech przy równoważnych dopasowaniach. V6 przerwano przed uczeniem wag. V7 poprawił trudne mieszaniny do 94/100 i 90/100, ale przesunięte parabole dały 92/100, poniżej progu 95/100. V8 rozszerza trening czystych krzywych i dodaje bezwymiarowe cechy położenia wierzchołka. Poprawione centrowanie, rozstrzyganie remisów i obsługa zerowego residuum przeszły 76/76 kontroli jednostek przed treningiem V7. Te poprawki dotyczą obliczania cech, nie dopisywania gotowych odpowiedzi.

Pozostałe błędy poza sprawdzonymi rodzinami

Eksploracyjne pojedyncze przykłady nowych rodzin: 3/8 poprawnych kompletnych opisów. Poprawnie rozpoznano x³, cosh i funkcję logistyczną. Logarytm oraz 1/x na dodatnim przedziale zostały błędnie oznaczone jako zwrot; do piku Gaussa, piku wymiernego i pierwiastkowego ostrza dodano fałszywą okresowość. To pojedyncze przykłady wskazujące lukę, nie procent trafności całych rodzin. Funkcje z wieloma ekstremami pozostają poza definicją pojedynczego zwrotu. Wagi i progi po tej próbie pozostawiono bez zmian. Te błędy blokują przedstawienie modułu jako analizatora dowolnych całek.

Wcześniejszy trening czterech składników: cztery składniki jednocześnie

Model TSI-SIGNALS-MULTI-7bf4afee, 17 348 parametrów i 68 cech. Uczy się czterech niezależnych ocen: trend, skok poziomu, impuls i okresowość. Oceny nie muszą sumować się do jedności. To oddzielny moduł TSI; w tej partii nie zmieniono wag głównego rdzenia rozmowy.

Trening: 10 500 syntetycznych przykładów, wszystkie 16 kombinacji składników, dodatkowe stałe i gładkie przebiegi monotoniczne. Wybór wag oraz kalibracja na osobnych danych deweloperskich. Końcowy test: 1700 nowych okien, inne długości i osobne ziarno losowania.

Pomiar na odłożonych danych syntetycznych Wynik
Micro-F1 czterech składników 98,28%
Cały zestaw etykiet poprawny 1595/1700 (93,82%)
Fałszywy składnik w stabilnym oknie 1/200
Osobny stress: trend + impuls + okresowość 93/100 pełnych zestawów
Nowe stałe / gładkie monotoniczne / sinusy 100/100 w każdej z trzech rodzin

Precyzja/czułość: trend 97,90%/98,88%; skok 97,39%/97,88%; impuls 99,87%/99,38%; okresowość 98,10%/96,88%. Brier 0,01256. Na tych samych oknach wcześniejszy model jednej klasy uzyskał micro-F1 57,21%, a cztery ustalone reguły 62,53%; to nie jest porównanie z produktami komercyjnymi. Oceny obecność/nieobecność porównano testem Manna–Whitneya z korektą czterech porównań; efekty rangowo-dwuseryjne 0,994–1,000.

Dodatkowe kontrole: 56 sprawdzeń cech, jednostek i wejścia; wszystkie 16 kombinacji rozpoznane także po odwróceniu znaku. Kolejne 17 kontroli obejmowało m.in. PL/EN, próbkowanie i Hz, niezależność ocen, niepoprawne dane, sumę kontrolną wag i blokadę nieaktywnego modelu. Nie zastępuje to oceny pomiarów rzeczywistych.

Zastosowanie przy całkach — zakres i pozostały błąd

Rozpoznano sprawdzane proste trendy, sinus, ich mieszaninę, stałą i jednostronny fragment paraboli. W tej wcześniejszej wersji parabola obejmująca minimum i wartość bezwzględna bywały błędnie opisywane jako skok. Dlatego moduł nie został automatycznie podłączony do dowolnych całek. Osobliwości i zbieżność wymagają kontroli symbolicznej; opis próbek nie jest dowodem. Istniejący solver poprawnie obliczył całkę x² od 0 do 3 jako 9 i zatrzymał 1/x przez zero na kontroli dziedziny.

Poprzednia próba wieloetykietowa miała micro-F1 95,83%, ale trudny stress tylko 78/100, poniżej ustalonego progu 80/100. Jej wynik zachowano; nie obniżano progu po teście. Kolejna potrzeba to uczenie punktów zwrotnych i krzywizny, a następnie niezależne testy na rzeczywistych pomiarach.

Wcześniejsza próba jednej klasy — zachowana historia

Sprawdzony zakres

Pięć pojedynczych rodzin okien liczbowych: stabilny poziom/szum, trend, skok poziomu, impuls i okresowość. Głowica ma 3909 parametrów, korzysta z 25 cech sygnału i była trenowana na 2500 przykładach. Oddzielne zestawy deweloperski i testowy mają po 1000 okien. Test zawiera inne długości okien i szum Laplace’a. Oceny klas skalibrowano na zestawie deweloperskim, bez dobierania progu do testu.

Rodzina w odłożonym teście syntetycznym Poprawnie
Stabilny poziom / szum 197/200
Trend 200/200
Skok poziomu 200/200
Impuls 200/200
Okresowość 175/200
Łącznie 972/1000

Kalibracja w tym teście: Brier 0,0437, ECE 0,0156; pokrycie przy przyjętym progu 99,9%, trafność przyjętych klas około 97,2%. Trzy stabilne okna oznaczono jako impuls. Prosty baseline regułowy ustalony przed testem uzyskał 46,2%; to porównanie z tym jednym baseline’em, nie z innymi produktami. Porównania ocen wzorców ze stabilnym tłem obejmowały po 200 okien na grupę, test Manna–Whitneya, efekt rangowo-dwuseryjny i korektę czterech porównań.

Wyniki dotyczą syntetycznych rodzin o określonym zakresie amplitud, szumu i długości. Nie są wynikami na rzeczywistych czujnikach ani prawdopodobieństwem awarii.

Problem wykryty przed wdrożeniem

W dodatkowych 100 oknach łączących trend, okresowość i impuls moduł wskazał wyłącznie trend we wszystkich przypadkach, z nadmierną pewnością. Pojedyncza etykieta nie opisuje współistnienia składników. Wysoki wynik na pojedynczych rodzinach nie rozwiązuje tego problemu.

Następny krok to trening wieloetykietowy: niezależne oceny trendu, skoku, impulsu i okresowości, okna mieszane, ocena niepewności i odłożony test. Potem potrzebne są rzeczywiste dane z opisem próbkowania oraz kontrola fałszywych alarmów. Przygotowaną integrację panelu i wykres zachowano do dalszej pracy; nie są ogłoszone jako dostępna funkcja.