{"id":16318198,"url":"https://github.com/githubjakob/convolutionalsat","last_synced_at":"2025-07-12T00:05:40.077Z","repository":{"id":77570432,"uuid":"135809274","full_name":"githubjakob/convolutionalSAT","owner":"githubjakob","description":"project for my bachelor thesis in CS, at LMU in Summer 2018","archived":false,"fork":false,"pushed_at":"2018-08-30T16:27:16.000Z","size":10608,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-07-12T00:04:32.442Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/githubjakob.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-06-02T10:40:41.000Z","updated_at":"2019-01-07T10:34:25.000Z","dependencies_parsed_at":"2023-03-12T01:04:44.675Z","dependency_job_id":null,"html_url":"https://github.com/githubjakob/convolutionalSAT","commit_stats":{"total_commits":68,"total_committers":1,"mean_commits":68.0,"dds":0.0,"last_synced_commit":"1e555db9a9f6939485d2883d494a127ccd532724"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/githubjakob/convolutionalSAT","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/githubjakob%2FconvolutionalSAT","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/githubjakob%2FconvolutionalSAT/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/githubjakob%2FconvolutionalSAT/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/githubjakob%2FconvolutionalSAT/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/githubjakob","download_url":"https://codeload.github.com/githubjakob/convolutionalSAT/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/githubjakob%2FconvolutionalSAT/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":264915968,"owners_count":23682955,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-10T22:10:16.053Z","updated_at":"2025-07-12T00:05:39.809Z","avatar_url":"https://github.com/githubjakob.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Automatisches Finden von Faltungskodierern mit Hilfe von SAT-Solvern\n__Bachelorarbeitsprojekt__\n\n## Umfang der Java Applikation\n\nDie Main Methode generiert den Schaltplan eines Faltungskodierers auf Grundlage der Usereingabe:\n* Verfügbare Gates des Kodierers und Dekodierers\n* Blocklänge, d.h. Länge der Bitströme, die durch den Faltungskodierer geschickt werden\n* Länge des Delay, d.h. Anzahl der Ticks, die gewartet werden, bevor das Ergebnis am Dekodierer abgegriffen wird\n* Noise, Wahrscheinlichkeit, dass im Übertragunskanal ein Bit geflippt wird\n\nIntentiert ist ein iteratives Vorgehen: \n\nEs werden zufällig einige Bitströme der gewünschten Länge erzeugt und zusammen mit den weiteren Requirements in eine Formel übersetzt. Die Formel wird mit einem Sat Solver gelöst, und die Lösung der Formel dann in einen Schaltplan übersetzt. Auf diesem Schaltplan werden so lange weitere zufällige Bitströme getestet, bis ein Fehler auftritt, d.h. der Faltungskodierer diesen Bitstrom nicht fehlerfrei übertragen kann. Dieser Bitstrom wird dann zur ursprünglichen Formel hinzugefügt usw.\n\n## Build \u0026 Run\n\nmvn install\n\njava -jar ./target/convolutionalSat-0.0.1-uber.jar \n\n## Bekannte Probleme \nDas Programm startet mit einem java.awt.AWTError.\nIn der Datei /etc/java-\u003cVERSION 8/9/10\u003e-openjdk/accessibility.properties muss die Zeile \n\"assistive_technologies=org.GNOME.Accessibility.AtkWrapper\" auskommentiert werden.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgithubjakob%2Fconvolutionalsat","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgithubjakob%2Fconvolutionalsat","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgithubjakob%2Fconvolutionalsat/lists"}