We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
constraint solver
Dazu wird das Featuremodell durch Graphtransformation in ein binäres Constraint Satisfaction Problem übersetzt, welches dann durch eine Kombination von Constraint Solver und kombinatorischem Testen gelöst wird, um die repräsentative Menge von Produkten zu generieren.
For this purpose we introduce a graph transformation-based algorithm to translate the feature model into a binary constraint satisfaction problem and also an algorithm combining constraint solving techniques with a feature combination strategy to generate the representative set of products.
Sie können komplexe Anforderungen visualisieren und ein konsistentes Design sicherstellen. Die Software enthält einen Parametric Constraint Solver für parametrische Diagramme in SysML, der die Nutzwertanalyse und Architekturkompromisse vereinfacht.
It also generates requirements information into the code to assist traceability in the final implementation for compliance with safety standards and provides a parametric constraint solver for SysML parametric diagrams.
Die Software enthält einen Parametric Constraint Solver für parametrische Diagramme in SysML, der die Nutzwertanalyse und Architekturkompromisse vereinfacht. Sie erlaubt zudem die Prüfung statischer Modelle zur Verbesserung der Modellkonsistenz.
It includes parametric constraint solver for SysML parametric diagrams, which facilitates trade study analysis and architectural trade-offs; and provides static model checking analysis to improve model consistency.
Um den Prozess der Stundenplanung zu unterstützen wurde in der vorliegende Bachelorarbeit, auf Basis des Min-Conflict Algorithmus, ein spezialisierter Constraint Solver entwickelt, der in der Lage ist Stundenpläne für die HAW Hamburg zu erstellen.
To assist the process of timetabling a specialized constraint solver has been developed, based on the Min-Conflict algorithm, which is able to create timetables for the HAW Hamburg.
Einziger Wermutstropfen in diesem Zusammenhang ist der "Cassowary constraint solver," der eine Lizenz hat, die ihn lediglich für Forschungszwecke freigibt.
The only remaining itch is the "Cassowary constraint solver" which license gives it free for research purposes.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
