Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Turing maschinenähnlicher Formalismus für das Schauspielermodell
Turingmaschinen haben eine formale Symbolalphabet-, Zustands- und Übergangsregel-basierte Beschreibung, wie eine Berechnung durchgeführt wird. Das Akteurmodell wird manchmal als leistungsfähigeres Rechenmodell als Turing-Maschinen erwähnt (nicht in dem, was es berechnen kann, sondern in anderen Aspekten). Ist das Actor Model eine vollwertige Drehmaschinenalternative als Rechenmodell? Verfügt das Akteurmodell auch über eine …
2
Gibt es Arbeiten zur Erstellung eines Frameworks für die reelle Zahlen- / Wahrscheinlichkeitstheorie in COQ?
COQ ist ein interaktiver Theorembeweiser, der die Berechnung induktiver Konstruktionen verwendet, dh stark von induktiven Typen abhängt. Mit diesen werden diskrete Strukturen wie natürliche Zahlen, rationale Zahlen, Graphen, Grammatiken, Semantik usw. sehr präzise dargestellt. Seit ich den Proof-Assistenten immer mehr mag, habe ich mich gefragt, ob es Bibliotheken für unzählige …
1
Wann treten in Pipeline-Architekturen strukturelle Gefahren auf?
Ich suche nach relativ einfachen Beispielen dafür, wann strukturelle Gefahren in einer Pipeline-Architektur auftreten. Das einzige Szenario, an das ich denken kann, ist, wenn während verschiedener Phasen der Pipeline (dh der anfänglichen Befehlsabrufphase und der späteren Speicherlese- / Schreibphase) auf den Speicher zugegriffen werden muss. Ich denke, dass komplexere Architekturen …
3
Kann die Codierungsmenge einer nicht trivialen Sprachklasse, die die leere Menge enthält, rekursiv aufzählbar sein?
Sei CCC eine nicht triviale Menge rekursiv aufzählbarer Sprachen ( ∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE} ) und sei LLL die Menge der Codierungen von Turing-Maschinen, die eine Sprache in CCC : L={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle \mid L(M) \in C \} Angenommen, ⟨Mloopy⟩∈L⟨Mloopy⟩∈L\langle M_{loopy}\rangle \in L , wobei MloopyMloopyM_{loopy} ein TM ist, …
5
Wie kann Verschlüsselung Zufälligkeit beinhalten?
Wenn ein Verschlüsselungsalgorithmus eine Zeichenfolge in eine andere Zeichenfolge konvertieren soll, die dann wieder in das Original entschlüsselt werden kann, wie könnte dieser Prozess eine Zufälligkeit beinhalten? Sicherlich muss es deterministisch sein, sonst wie könnte die Entschlüsselungsfunktion wissen, welche Faktoren bei der Erstellung der verschlüsselten Zeichenfolge beteiligt waren?
1
Vapnik-Chervonenkis-Dimension: Warum können nicht vier Punkte auf einer Linie durch Rechtecke zerschmettert werden?
Ich lese also die 2. Ausgabe von "Introduction to Machine Learning" von Bishop et al. alle. Auf Seite 27 diskutieren sie die Vapnik-Chervonenkis-Dimension, die "Die maximale Anzahl von Punkten, die durch H [die Hypothesenklasse] zerstört werden können, wird als Vapnik-Chervonenkis (VC) -Dimension von H bezeichnet, als VC (H) bezeichnet und …
3
Einfache Erklärung, warum bestimmte berechenbare Funktionen nicht durch einen typisierten Begriff dargestellt werden können?
Beim Lesen der Zeitung Eine Einführung in die Lambda-Rechnung stieß ich auf einen Absatz, den ich nicht wirklich verstand, auf Seite 34 (meine Kursivschrift): Innerhalb jedes der beiden Paradigmen gibt es mehrere Versionen des typisierten Lambda-Kalküls. In vielen wichtigen Systemen, insbesondere in solchen a la Church, haben Begriffe, die einen …
1
Wie verwende ich gegnerische Argumente für die Auswahl und Einfügungssortierung?
Ich wurde gebeten, die gegnerischen Argumente zu finden, die notwendig sind, um die unteren Grenzen für die Auswahl und die Einfügungssortierung zu finden. Ich konnte nirgendwo einen Hinweis darauf finden. Ich habe einige Zweifel. Ich verstehe, dass gegnerische Argumente normalerweise verwendet werden, um Untergrenzen für bestimmte "Probleme" und nicht für …
3
Schlüsselgeheimnis vs Algorithmusgeheimnis
Es ist eine bekannte Aussage, dass "Die kryptografische Sicherheit muss auf einem geheimen Schlüssel anstelle eines geheimen Algorithmus beruhen ." Ich möchte nach einigen Details fragen. Und was sind ihre Unterschiede? Ich sehe die offensichtliche Sache, dass für ein Mehrbenutzersystem das Generieren eines Schlüssels überwältigend einfacher ist als das Generieren …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.