Polinomial'nyj SAT-reshatel' Zhegalkina - Fernandes, Horhe
13,99 €
inkl. MwSt.

Versandfertig in 6-10 Tagen
payback
7 °P sammeln
  • Broschiertes Buch

Polinomial'nye sistemy qwlqütsq fundamental'nymi instrumentami pri reshenii slozhnyh zadach w takih oblastqh nauki i tehniki, kak robototehnika, awtomaticheskoe rassuzhdenie, iskusstwennyj intellekt i obrabotka signalow. Analogichnym obrazom, s samogo nachala cifrowoj äry bulewy peremennye qwlqütsq osnowoj komp'üternyh operacij. Poätomu primenenie obschih algebraicheskih metodow k bulewoj algebre ispol'zuetsq w nastoqschee wremq kak metod resheniq slozhnyh sistem bulewyh urawnenij, kotorye ran'she predpolagalos' reshat' tol'ko s pomosch'ü metodow bulewoj logiki. Cel' dannogo proekta -…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Polinomial'nye sistemy qwlqütsq fundamental'nymi instrumentami pri reshenii slozhnyh zadach w takih oblastqh nauki i tehniki, kak robototehnika, awtomaticheskoe rassuzhdenie, iskusstwennyj intellekt i obrabotka signalow. Analogichnym obrazom, s samogo nachala cifrowoj äry bulewy peremennye qwlqütsq osnowoj komp'üternyh operacij. Poätomu primenenie obschih algebraicheskih metodow k bulewoj algebre ispol'zuetsq w nastoqschee wremq kak metod resheniq slozhnyh sistem bulewyh urawnenij, kotorye ran'she predpolagalos' reshat' tol'ko s pomosch'ü metodow bulewoj logiki. Cel' dannogo proekta - pokazat', chto polinomy Zhegalkina (izwestnye takzhe kak algebraicheskaq normal'naq forma - ANF) qwlqütsq al'ternatiwnym sposobom predstawleniq bulewyh funkcij. Dlq prowerki wydwinutoj gipotezy byl razrabotan reshatel' zadach na mnogochlenah Zhegalkina (Zhegalkin SAT Solver, ZPSAT). Po rezul'tatam prowedennogo testirowaniq bylo sdelano zaklüchenie, chto ZPSAT mozhet reshat' kon#ünkciü XOR-urawnenij äffektiwno s tochki zreniq nadezhnosti i wremeni wychislenij. Jewristika, ispol'zowannaq dlq postroeniq ZPSAT, osnowywalas' w osnownom na ponqtiqh, ispol'zuemyh w formulah Horna i metode bystrogo umnozheniq dwuh polinomow ANF, izwestnom kak preobrazowanie Möbiusa.
Autorenporträt
Sistemnyj inzhener s akcentom na proekty po razrabotke programmnogo obespecheniq. Poluchil stepen' magistra w oblasti peredowyh komp'üternyh nauk w Kentskom uniwersitete po special'nosti "Iskusstwennyj intellekt". Oblastqmi ego interesow qwlqütsq: Kognitiwnye nejronnye seti, bioinspirirowannye wychisleniq, obnaruzhenie znanij, parallel'nye i raspredelennye wychisleniq.