¿Qué es TK Solver?

 

TK Solver (originalmente TK! Solver ) es un sistema de software de resolución de problemas y modelado matemático basado en un lenguaje declarativo basado en reglas, comercializado por Universal Technical Systems, Inc.

 

La interfaz comprende nueve clases de objetos que se pueden compartir y combinar en otros archivos TK:

• Reglas: ecuaciones, fórmulas, llamadas a funciones que pueden incluir condiciones lógicas.

• Variables: una lista de las variables que se utilizan en las reglas, junto con los valores (numéricos o no numéricos) que han sido ingresados ​​por el usuario o calculados por el software

• Unidades: todos los factores de conversión de unidades, en una sola ubicación, para permitir la actualización automática de valores cuando se cambian las unidades

• Listas: rangos de valores numéricos y no numéricos que pueden asociarse con una variable o procesarse directamente mediante funciones de procedimiento

• Tablas: colecciones de listas que se muestran juntas

• Gráficos: gráficos de líneas, diagramas de dispersión, gráficos de barras y gráficos circulares

• Funciones: componentes basados ​​en reglas, consulta de tablas y programación de procedimientos

• Formatos: ajustes para mostrar valores numéricos y de cadena

• Comentarios: para explicación y documentación.