Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
tematy_prac_inzynierskich [2020/06/28 02:44] pszwed [3. Grupowanie grawitacyjne] |
tematy_prac_inzynierskich [2020/06/28 03:02] pszwed [4. Generacja i testy Negatywnych Baz Danych] |
||
---|---|---|---|
Line 15: | Line 15: | ||
*Algorytmy optymalizacji | *Algorytmy optymalizacji | ||
*Grupowanie grawitacyjne | *Grupowanie grawitacyjne | ||
+ | *Generacja i testy Negatywnych Baz Danych | ||
==== 1. Map matching ==== | ==== 1. Map matching ==== | ||
Zarezerwowane jako implementacja w Pythonie? :?: | Zarezerwowane jako implementacja w Pythonie? :?: | ||
Line 74: | Line 75: | ||
Język implementacji Python. | Język implementacji Python. | ||
+ | |||
+ | ==== 4. Generacja i testy Negatywnych Baz Danych ==== | ||
+ | |||
+ | Negatywne Bazy Danych (NDB) przechowują w jawnej postaci negatywną informację. Można to przeanalizować na przykładzie łańcucha bitów 101. Negatywna reprezentacja to oczywiście wyliczenie innych wariacji: 001,010, itd. Stosując symbole wieloznaczne może to być również 1*0, 0**, itp. Te dwie ostatnie specyfikacje są równoważne formule logicznej $b0\and!b2 \or !b0$. Znalezienie ciągu zdań (bitów) to zagadnienie SAT [[https:// | ||
+ | |||
+ | |||
===== 2019 ===== | ===== 2019 ===== |