Risolutore SAT polinomiale di Zhegalkin Jorge Fernández Taschenbuch Paperback

EUR 37,79 Sofort-Kaufen, Kostenloser Versand, eBay-Käuferschutz
Verkäufer: buchbaer-shop ✉️ (46.234) 99.9%, Artikelstandort: Osnabrück, DE, Versand nach: DE, Artikelnummer: 204709579407 Risolutore SAT polinomiale di Zhegalkin Jorge Fernández Taschenbuch Paperback. Risolutore SAT polinomiale di Zhegalkin Zhegalkin SAT Solver (ZPSAT) è un'alternativa efficiente per risolvere sistemi di funzioni booleane
Taschenbuch von Jorge Fernández
Details
  • Autor: Jorge Fernández
  • EAN: 9786206413745
  • Einband: Kartoniert / Broschiert
  • Ausstattung / Beilage: Paperback
  • Sprache: Italienisch
  • Seiten: 52
  • Maße: 220 x 150 x 4 mm
  • Erschienen: 31.08.2023
  • Schlagworte: Informatik / EDV
Beschreibung I sistemi polinomiali sono strumenti fondamentali per la soluzione di problemi difficili in campo scientifico e ingegneristico, come la robotica, il ragionamento automatico, l'intelligenza artificiale e l'elaborazione dei segnali. Allo stesso modo, fin dai primi giorni dell'era digitale, le variabili booleane sono state alla base delle operazioni dei computer. Pertanto, l'applicazione delle comuni tecniche algebriche all'algebra booleana viene ora utilizzata come metodo per risolvere sistemi di equazioni booleane complesse che in precedenza potevano essere risolte solo con tecniche di logica booleana. L'obiettivo di questo progetto è dimostrare che i polinomi di Zhegalkin (noti anche come Algebraic Normal Form - ANF) sono un modo alternativo per rappresentare le funzioni booleane. Per verificare l'ipotesi, è stato sviluppato un risolutore SAT Zhegalkin (ZPSAT). I risultati dei test hanno dimostrato che ZPSAT è in grado di risolvere una congiunzione di equazioni XOR in modo efficiente in termini di affidabilità e tempo di calcolo. L'euristica utilizzata per costruire ZPSAT si è basata principalmente sui concetti utilizzati dalle formule di Horn e su un metodo di moltiplicazione rapida di due polinomi ANF noto come trasformata di Mobius. Kurzbeschreibung Titel: Risolutore SAT polinomiale di Zhegalkin | Zusatz: Zhegalkin SAT Solver (ZPSAT) è un'alternativa efficiente per risolvere sistemi di funzioni booleane | Medium: Taschenbuch | Autor: Jorge Fernández | Einband: Kartoniert / Broschiert | Ausstattung / Beilage: Paperback | Sprache: Italienisch | Seiten: 52 | Maße: 220 x 150 x 4 mm | Erschienen: 31.08.2023 | Anbieter: Buchbär Das erwartet Sie bei Buchbär
  • Schnelle & professionelle Abwicklung
  • Kompetenter & unkomplizierter Service
  • Rechnung bequem per Email
  • Versand per Deutsche Post oder DHL
Interne Buchbär Artikelnummer: 127-558-234
  • Condition: Neu
  • Buchtitel: Risolutore SAT polinomiale di Zhegalkin
  • Autor: Jorge Fernández
  • Sprache: Italienisch
  • Erscheinungsjahr: 2023
  • Seiten: 52
  • Marke: Edizioni Sapienza
  • Hersteller: Edizioni Sapienza
  • Verlag: Edizioni Sapienza
  • Format: Taschenbuch
  • Genre: Informatik
  • Titelzusatz: Zhegalkin SAT Solver (ZPSAT) è un'alternativa efficiente per riso
  • Schlagworte: Informatik, EDV
  • Herstellungsland und -region: Deutschland
  • ISBN: 6206413748

PicClick Insights - Risolutore SAT polinomiale di Zhegalkin Jorge Fernández Taschenbuch Paperback PicClick Exklusiv

  •  Popularität - 0 Beobachter, 0.0 neue Beobachter pro Tag, 5 days for sale on eBay. 0 verkauft, 1 verfügbar.
  •  Bestpreis -
  •  Verkäufer - 46.234+ artikel verkauft. 0.1% negativ bewertungen. Großer Verkäufer mit sehr gutem positivem Rückgespräch und über 50 Bewertungen.

Die Leute Mochten Auch PicClick Exklusiv