procusto Editor de propiedades gratuito, basado en patrones
Descargar ahora

procusto Clasificación y resumen

procusto Etiquetas

editar traducir propiedad editor de propiedades Traducir patrón Traducción de patrones

procusto Descripción

Editor de propiedades gratis de patrones Procresses es un editor de propiedades basado en patrones que permite la traducción de cada patrón en una fórmula lógica temporal (actualmente CTL, CTRL y MU-Cálculo son compatibles) .PRocrocresses se compone de dos módulos: la interfaz gráfica de usuario y la API del traductor de patrones. Este último se ha integrado en el analizador de red genética (GNA), una herramienta de computadora para el modelado y la simulación de las redes reguladoras genéticas. Los motores de la dinámica de las redes de interacción celular se han vuelto cada vez más grandes en los últimos años. El estudio de estos modelos por análisis y herramientas de simulación genera una gran cantidad de predicciones de los posibles comportamientos dinámicos del sistema. Al representar la dinámica del sistema mediante gráficos de transición estatales discretos (por ejemplo, estructuras de Kripke), se hace posible utilizar técnicas de verificación formales para la verificación de ciertas propiedades de interés. Sin embargo, esto requiere la formulación de las propiedades en la lógica temporal, que no es evidente para el usuario no experto. En el orden de tratar este problema, se definió un conjunto de patrones (plantillas de consulta de alto nivel) para capturar preguntas biológicas recurrentes Posado por modeladores. Los patrones consisten en frases de lenguaje natural estructurado que pueden traducirse en fórmulas lógicas temporales. Requisitos: · Java 1.5 o posterior

procusto Software relacionado