Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Search Computing: Addressing Complex Search on the Web Kapitel lesen Erstes Kapitel lesen

2012 | OriginalPaper | Buchkapitel

Generating Preset Distinguishing Sequences Using SAT

verfasst von : Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün

Erschienen in: Computer and Information Sciences II

Verlag: Springer London

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The preset distinguishing sequence generation problem is converted into a SAT problem to investigate the performance of SAT solvers for generating preset distinguishing sequences. An initial set of experiments are carried out and it is shown that the heuristics of SAT solvers can perform better than brute force algorithms that are used to generate preset distinguishing sequences.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Model-Based Software Integration for Flexible Design of Cyber-Physical Systems
Nächstes Kapitel A Decision-Making Ontology for Analytical Requirements Elicitation
Literatur
1.
Friedman, A.D., Menon, P.R.: Fault Detection in Digital Circuits. Prentice Hall, Englewood Cliffs (1971)
2.
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. In: Reading. Addison-Wesley, MJ (1986)
3.
Chow, T.S.: Testing software design modeled by finite state machines. IEEE Trans. Softw. Eng. SE-4(3), 178–187 (1978)CrossRef
4.
Holzmann, G.J.: Design and Validation of Protocols. Prentice Hall, Englewood Cliffs (1990)
5.
Binder, R.V.: Testing Object-Oriented Systems: Models Patterns and Tools. Addison-Wesley, Boston (1999)
6.
Haydar, M., Petrenko, A., Sahraoui, H.: Formal verification of web applications modeled by communicating automata. In: Formal Techniques for Networked and Distributed Systems (FORTE 2004). Springer Lecture Notes in Computer Science, vol. 3235, pp. 115–132. Springer Berlin/Heidelberg, September 2004
7.
Hennie, F.C.: Fault-detecting experiments for sequential circuits. In: Proceedings of Fifth Annual Symposium on Switching Circuit Theory and Logical Design, pp. 95–110, Princeton, New Jersey, November 1964
8.
9.
Hierons, R.M., Ural, H.: Optimizing the length of checking sequences. IEEE Trans. Comput. 55(5), 618–629 (2006)CrossRefMathSciNet
10.
Gonenc, G.: A method for the design of fault detection experiments. IEEE Trans. Comput. 19, 551–558 (1970)CrossRef
11.
Moore, E.P.: Gedanken experiments on sequential machines. In: Shannon, C., McCarthy, J. (eds.) Automata Studies. Princeton University Press, Princeton (1956)
12.
13.
Gill, A.: Introduction to the Theory of Finite State Machines. McGraw Hill, NY (1962)MATH
14.
Kohavi, Z.: Switching and Finite Automata Theory. McGraw Hill, NY (1978)MATH
15.
Cook, S.A.: The complexity of theorem proving procedures. In: Proceedings of 3rd Annual ACM Symposium on Theory of Computing, pp. 151–158. ACM, NY (1971)
Metadaten
Titel
Generating Preset Distinguishing Sequences Using SAT
verfasst von
Canan Güniçen
Uraz Cengiz Türker
Hasan Ural
Hüsnü Yenigün
Copyright-Jahr
2012
Verlag
Springer London
Buch
Computer and Information Sciences II

Print ISBN: 978-1-4471-2154-1

Electronic ISBN: 978-1-4471-2155-8

Copyright-Jahr: 2012

DOI
https://doi.org/10.1007/978-1-4471-2155-8_62

Neuer Inhalt

    Bildnachweise