Übersetzung für "Formal model" in Deutsch

The formal model of "principal component analysis" is defined as follows: where
Das formale Modell der "Hauptkomponentenanalyse" ist wie folgt definiert:
EUbookshop v2
This shall be expressed in a formal style, as a formal model of security policy.
Es muß in einer formalen Darstellungsform vorliegen, als ein formales Sicherheitsmodell.
EUbookshop v2
A generalised, formal procedural model has been conceived for the communal energy planning guidelines.
Für die kommunale Energieleitplanung wurde ein verallgemeinertes formales Vorgehensmodell konzipiert.
ParaCrawl v7.1
The formal model need not cover all the security enforcing functions specified within the security target.
Das formale Modell muß nicht alle sicherheitsspezifischen Funktionen enthalten, die in den Sicherheitsvorgaben angegeben sind.
EUbookshop v2
In addition to the requirements for level E3, there shall be an underlying formal model of security policy supporting the security target.
Zusätzlich zu den Anforderungen für die Stufe E3 muß ein formales Sicherheitsmodell Teil der Sicherheitsvorgaben sein.
EUbookshop v2
The XML Schema whitepaper examines the benefits of using XSD to define a formal data model.
Im XML Schema Whitepaper werden die Vorteile von XSD bei der Definition eines formalen Datenmodells untersucht.
ParaCrawl v7.1
We know from our formal model that the brain structure at the receiving end of the Critic's commentary is the Actor.
Wir wissen von unserem formellen Model, dass die Gehirnstruktur am dem Ende, welches den Kommentar des Kritikers empfängt, der Akteur ist.
TED2020 v1
These include the examination of the nature of the interdependence that has developed in member countries, the creation of a formal model for economic development in the Community (COMET), and projections of world trade.
In erster Linie gilt dies für die Analyse der Art der Interdependenz, die sich zwischen den Mitglied staaten herausgebildet hat, für die Aufstellung eines formalisierten Modells der Wirtschaftsentwicklung der Gemeinschaft (COMET) und für die Welt handelsprojektionen.
EUbookshop v2
The informal interpretation of the formal security policy model shall describe how the security target satisfies the underlying security policy.
Die informelle Interpretation des formalen Sicherheitsmodells muß beschreiben, auf welche Weise seine zugrundeliegende Sicherheitspolitik durch die Sicherheitsvor­gaben erfüllt wird.
EUbookshop v2
The informal interpretation of the formal security policy model shall explain how the security target satisfies the underlying security policy.
Die informelle Interpretation des formalen Sicherheitsmodells muß erklären, auf welche Weise seine zugrundeliegende Sicherheitspolitik durch die Sicherheitsvorgaben erfüllt wird.
EUbookshop v2
In addition to the requirements for level E5, the security enforcing functions and the architectural design shall be specified in a formal style, consistent with the specified underlying formal model of security policy.
Zusätzlich zu den Anforderungen für die Stufe E5 müssen die sicherheitsspezifischen Funktionen und der Architekturentwurf in einer formalen Notation vorliegen, die konsistent mit dem zugrundeliegenden formalen Sicherheitsmodell ist.
EUbookshop v2
Formal Model of Security Policy: an underlying model of security policy expressed in a formal style, i.e. an abstract statement of the important principles of security that a TOE will enforce.
Formales Sicherheitsmodell: Ein formal präzise dargestelltes Sicherheitsmodell, d.h. eine abstrakte Aussage der wichtigen Prinzipien der Sicherheit, die ein Evaluations­gegenstand durchsetzen soll.
EUbookshop v2
A claim of discrimination under the Community’s formal equality model indeed requires a comparator, either real or potential (Fredman 2002, 95 and 109; Barnard, 334).
Für eine Diskriminierungsklage ist nach dem formalen Gleichstellungsmodell der Gemeinschaft entweder eine reale oder eine potenzielle Referenzperson erforderlich (Fredman 2002, 95 und 109; Barnard, 334).
EUbookshop v2
A key result of the formal model is that MPs in mixed-member systems focus on their district if, and only if, the district is competitive and the MP is not (sufficiently) secured by a safe list position (type 1).
Als zentrales Ergebnis des formalen Modells ergab sich, dass Abgeordnete in gemischten Wahlsystemen ihr Handeln nur dann auf den Prinzipal Wahlkreis ausrichten, wenn der Wahlkreis umkämpft ist und der Abgeordnete nicht hinreichend über die Liste abgesichert ist (Typ 1).
ParaCrawl v7.1
Intel and Mobileye have proposed a formal, mathematical model to help ensure that an autonomous vehicle is operated in a safe manner.
Intel und Mobileye haben ein formales mathematisches Modell vorgeschlagen, das mit dafür sorgen soll, dass ein autonomes Fahrzeug sicher betrieben wird.
ParaCrawl v7.1
The theory notes that designers must bridge a gap between their mental model of the problem or situation and the formal model of a solu- tion or system.
Die Theorie beschreibt, dass Designer eine Brücke zwischen Ihrem mentalen Modell des Problemes oder der Situation und dem formalen Modell einer Lösung oder eines Systems überwinden müssen.
ParaCrawl v7.1
Based on the linking of the abstract, formal model B 2 with rapid, locally convergent optimization methods, a version of the method on a control unit in real time is possible.
Aufgrund der Verknüpfung des abstrakten, formalisierten Modells B2 mit schnellen, lokal konvergierenden Optimierungsverfahren ist eine Ausführung des Verfahrens in Echtzeit auf einem Steuergerät möglich.
EuroPat v2
In a further embodiment of an aspect of the present invention, at least part of the graph is described by an XML document, a binary code, a graphical representation, a textual description, an ontological language, a formal model, a relational database and/or a graph description language.
In einer weiteren Ausführungsform eine Aspekts der vorliegenden Erfindung wird zumindest ein Teil des Graphen durch ein XML-Dokument, einem Binärcode, eine graphische Repräsentation, eine textuelle Beschreibung, eine Ontologiesprache, ein formales Modell, eine relationale Datenbank und/oder eine Graphenbeschreibungssprache beschrieben.
EuroPat v2
The method according to claim 1, wherein at least part of the graph is described by an XML document, a binary code, a graphical representation, a textual description, an ontological language, a formal model, a relational database and/or a graph description language.
Verfahren nach einem der Ansprüche 1 bis 6, wobei zumindest ein Teil des Graphen (2A) durch ein XML-Dokument, einen Binärcode, eine graphische Repräsentation, eine textuelle Beschreibung, eine Ontologiesprache, ein formales Modell, eine relationale Datenbank und/oder eine Graphenbeschreibungssprache beschrieben wird.
EuroPat v2
In a first step, the project has developed a formal model that predicts which potential challengers to the current government every individual of a society will support, if any.
In einem ersten Schritt hat das Projekt ein formales Modell entwickelt, das vorhersagt, welche potenziellen Herausforderer der momentanen Regierung jedes Individuum in der Gesellschaft unterstützt, falls es überhaupt welche unterstützt.
ParaCrawl v7.1
Further, a formal interpreter model for CSCL (Computer-Supported Collaborative Learning) Scripts for the description of learning processes specified by using Abstract State Machines is presented.
Ferner wird ein formales Interpretermodell für CSCL (Computer-Supported Collaborative Learning) Scripts zur Beschreibung von Lernprozessen, welches mit Hilfe von Abstract State Machines spezifiziert wurde, vorgestellt.
ParaCrawl v7.1

Ähnliche Begriffe