The latter decisively supports fault localisation and thereby extends the functionality of most other verifiers.
Moreover, model checking can also be applied later on during the development, e. g. at code-level, in order to prove that the also final product fulfils relevant requirements.
NuSMV (NEW Symbolic Model Checker)
www11.informatik.uni-erlangen.deLetzteres unterstützt entscheidend die Fehlerlokalisierung und geht damit über den Funktionsumfang sonstiger Verifikatoren hinaus.
Darüber hinaus besteht die Möglichkeit, Model Checking auch in den späteren Phasen der Entwicklung, insbesondere auf Code-Ebene anzuwenden, um damit nachzuweisen, dass alle relevanten Anforderungen auch im Endprodukt erfüllt sind.
NuSMV (NEW Symbolic Model Checker)
www11.informatik.uni-erlangen.deIn the installation Tape Republic a selection of these packages take center stage.
Without an assigned destination they sit in the gallery space as sculptural entities and as a sort of memorial to the final products of Laleli's activities, before they become untraceable, caught up in a system of diverse distribution.
universes-in-universe.orgIn der Installation Tape Republic steht eine Auswahl solcher Pakete im Zentrum.
Ohne Angabe eines Bestimmungsortes liegen sie im Galerieraum als skulpturale Gebilde und als eine Art Monument für die Endprodukte der Aktivitäten von Laleli, bevor diese unauffindbar werden, verzettelt in einem vielfältigen Verteilungssystem.
universes-in-universe.org“ The evolution has been repeated here on the morphological level.
We want to know whether the same genes are responsible for these parallelisms, or whether evolution has used alternative routes and different genes and mutations are involved in creating the same final product.
These are issues of fundamental importance for all of biology ”, says Axel Meyer, describing his research objective.
www.aktuelles.uni-konstanz.de„ Die Evolution hat sich hier auf der morphologischen Ebene wiederholt.
Wir wollen wissen, ob dieselben Gene für diese Parallelismen verantwortlich sind oder ob die Evolution alternative Wege benutzt hat und verschiedene Gene und Mutationen involviert sind, um das gleich Endprodukt herzustellen.
Dies sind Fragen von grundsätzlicher Bedeutung für die gesamte Biologie “, umschreibt Axel Meyer das Forschungsziel.
www.aktuelles.uni-konstanz.deFor the coming year CERATIZIT expects a sales growth of around 30 % in Asia as the sales activities will be intensified and further extended.
Raw material supply ensured “ In order to be able to continuously guarantee the availability of our products it is important to cover the entire value chain from the raw material to the final product, ” the Board member describes his Sourcing Strategy.
As CERATIZIT belongs 50 % to the Plansee Group, the supply of tungsten is safeguarded by the affiliate company GTP.
www.ceratizit.atFür das kommende Jahr prognostiziert CERATIZIT eine Umsatzsteigerung in Asien um rund 30 Prozent, da die Vertriebsaktivitäten dort noch verstärkt und weiter ausgebaut werden.
Rohstoffversorgung gesichert „ Um die Verfügbarkeit unserer Produkte stets garantieren zu können, ist es wichtig, dass wir die gesamte Wertschöpfungskette – vom Rohstoff bis hin zum Endprodukt – abdecken, “ beschreibt der Vorstand seine Sourcing-Strategie.
Da CERATIZIT zu 50 Prozent zur Plansee-Gruppe gehört, ist die Versorgung des Rohstoffes Wolfram durch den Schwesterkonzern GTP gesichert.
www.ceratizit.atThey are largely inorganic and fine-grained raw materials, shaped, dried and sintered at more than 900 ° C, thus obtaining hard and durable objects.
If the final product is required to have particularly high physical properties, the raw material is specially processed and sintered at even higher temperatures.
According to DIN V ENV 12212, these high-performance ceramics are defined as a sophisticated and highly efficient material which is mostly non-metallic and inorganic, and which has several well-defined properties.
www.etec-ceramics.deEs sind weitgehend anorganische, feinkörnige Rohstoffe, die mittels Wasser bei Raumtemperatur geformt, getrock-net und bei einem Brennprozess oberhalb 900 ° C zu harten, dauerhaften Gegenständen gesintert werden.
Werden an das Endprodukt besonders hohe physikalische Anforderun-gen gestellt, wird der Rohstoff speziell aufbereitet und mit noch höherer Temperatur gesintert.
Hochleistungskeramik ist definiert in DIN V ENV 12212 als hoch entwickelter, hoch leistungsfähiger Werkstoff, der überwiegend nichtmetallisch und anorganisch ist und über bestimmte Eigenschaften verfügt.
www.etec-ceramics.defor the first time.
Searched for were ideas from outside the automotive-branch, but with a high transfer potential and value for the automobile industry regarding either the final product, the automobile, the consumer, components, manufacturing processes or methods.
Over 150 submissions from 5 different countries were handed in.
www.noae.comdurchgeführt.
Gesucht waren Ideen von außerhalb der Automotive-Branche, jedoch mit einem hohen Transferpotenzial und Nutzen für die Automobilindustrie für entweder das Endprodukt Automobil und den Konsumenten, für Bauteile, Fertigungsverfahren oder Methoden.
Über 150 Einsendungen aus 5 verschiedenen Ländern wurden dazu eingereicht.
www.noae.coms grand opening in 1997, and who returned to Hambach as plant manager in 2011 after various assignments in the Daimler group.
"Our production concept is based on the smart team's overall coordination of the site with responsibility for the final product, and at the same time the cooperation with specialized suppliers and service providers - the so-called system partners - in numerous areas", Betker points out.
www.daimler.com„ So wie die neue smart Generation weiterhin die Tugenden des Ur-smart verkörpert, haben wir auch die seinerzeit revolutionäre Produktionsphilosophie im Kern beibehalten “, betont Dr. Joachim Betker, der als junger Ingenieur schon bei der Werkseröffnung 1997 dabei war und – nach diversen Stationen im Daimler-Konzern – im Jahr 2011 als Standortchef nach Hambach zurückgekehrt ist.
„Unser Fertigungskonzept basiert darauf, dass wir bei smart den Standort übergreifend mit Verantwortung für das Endprodukt steuern und gleichzeitig für zahlreiche Produktionsumfänge die Kompetenz von spezialisierten Lieferanten und Dienstleistern nutzen, die wir hier als Systempartner bezeichnen.“
www.daimler.comThe frequency of these mutations and their consequences are likely to vary according to the specific bacteriophage, the mode of application and the bacteria concerned.
Regarding the length of their effect in the final product, the BIOHAZ Panel noted that bacteriophages behave as inert particles in the environment and tend to persist longer than their hosts.
However, their long-term antibacterial activity is compromised on dry surfaces.
www.efsa.europa.euDie Häufigkeit solcher Mutationen und ihre Folgen hängen wahrscheinlich vom jeweiligen Bakteriophagen, von der Art der Anwendung und vom betroffenen Bakterium ab.
In Bezug auf die Dauer ihrer Wirkung im Enderzeugnis weist das BIOHAZ-Gremium darauf hin, dass Bakteriophagen sich wie inerte Partikel in der Umwelt verhalten und dazu neigen, länger als ihre Wirte in der Umwelt zu überdauern.
Ihre antibakterielle Langzeitwirkung wird jedoch auf trockenen Oberflächen beeinträchtigt.
www.efsa.europa.euN2-Adsorption
This work group has a variety of characterization methods for ceramic raw materials, intermediates and final products such as particle sizes, surfaces, density, and porosity definition processes, depictive and thermoanalytic processes, radiograph phase analysis as well as suspension characterization.
Many years of experience with ceramographic structure preparation as a requirement for quantitative phase- and structure analysis of oxide ceramics is our strength.
www.ikts.fraunhofer.deN2-Adsorption
Die Arbeitsgruppe verfügt über vielfältige Charakterisierungsmethoden für keramische Rohstoffe, Zwischenprodukte und Enderzeugnisse wie beispielsweise Partikelgrößen-, Oberflächen-, Dichte- und Porositätsbestimmungen, abbildende und thermoanalytische Verfahren, Röntgenphasenanalyse sowie Suspensionscharakterisierung.
Langjährige Erfahrungen bei der keramografischen Gefügepräparation als Voraussetzung zur quantitativen Phasen- und Gefügeanalyse von Oxidkeramiken sind unsere Stärke.
www.ikts.fraunhofer.deIn principle, only raw materials, semi-finished goods or components not available within the Community can benefit from a suspension.
Finished products used as components in the final product may benefit from a suspension provided that the added value of the assembly is sufficiently high.
Materials to be used in the production process may benefit from a suspension provided that they are specific and necessary for the manufacture of a clearly identified product and are not jeopardising competing Community enterprises.
europa.euIm Prinzip dürfen nur für Rohstoffe, Halbfertigwaren und Bauteile, die in der Gemeinschaft nicht verfügbar sind, Zollaussetzungen gewährt werden.
Eine Zollaussetzung kann auch für Fertigerzeugnisse gewährt werden, die als Bauteile in einem Enderzeugnis verwendet werden, wenn der Wertzuwachs durch den Montagevorgang ausreichend hoch ist.
Bei der im Produktionsprozess benötigten Ausrüstung ist eine Zollaussetzung möglich, sofern sie speziell für die Herstellung von genau definierten Erzeugnissen erforderlich ist und konkurrierende Gemeinschaftsunternehmen nicht gefährdet.
europa.euХотели бы вы добавить слова, фразы или переводы?
Пришлите нам новую статью.