Procurreren GRATIS, PATTERMARD GEBASEERDE EIGENDOMSEDRIJD
Download nu

Procurreren Rangschikking & Samenvatting

Procurreren Tags

Bewerk vertalen eigendom Property Editor Vertaal patroon patroonvertaling

Procurreren Beschrijving

GRATIS, PATTERMARD GEBASEERDE EIGENDELAAR EDITOR PROCRUCHTEN is een op patro-gebaseerde eigenschapseditor die de vertaling van elk patroon in een tijdelijke logische formule (momenteel CTL, CTRL en MU-Calculus wordt ondersteund, worden ondersteund) .Procrutes is samengesteld uit twee modules: de grafische gebruikersinterface en de Pattern Translator API. Deze laatste is geïntegreerd in Genetic Network Analyzer (GNA), een computer-tool voor de modellering en simulatie van genetische regelgevingsnetwerken. Modellen van de dynamiek van cellulaire interactienetwerken zijn de afgelopen jaren steeds grooter geworden. De studie van deze modellen door analyse en simulatietools genereert een groot aantal voorspellingen van het mogelijke dynamische gedrag van het systeem. Bij het vertegenwoordigen van de systeemdynamiek door middel van discrete overgangsgrafieken (bijvoorbeeld Kripke-structuren), wordt het mogelijk om formele verificatietechnieken te gebruiken voor de verificatie van bepaalde eigenschappen van belang. Dit vereist echter de formulering van de eigenschappen in de tijdelijke logica, die niet duidelijk is voor de niet-deskundige gebruiker. Om met dit probleem om te gaan, werden een reeks patronen (hoogniveau query-sjablonen) gedefinieerd om terugkerende biologische vragen te vastleggen gesteld door modelers. De patronen bestaan uit gestructureerde natuurlijke taaluitdrukkingen die kunnen worden vertaald in temporele logische formules. Vereisten: · Java 1.5 of later

Procurreren Gerelateerde software