TK Solver - 数学建模和优化软件

TK Solver逆向工程、数学模型及编程软件。

用于对数学模型工具进行计算、设计、检测及除错，适用于工程师、科学家或技术人员、金融分析师、战略规划师、统计员等、保险业人员及财会师也可使用。
Universal Technical Systems, Inc.（UTS）公司开发的TK Solver是数学方程求解器之一。TK Solver可以使用轶代求解联立方程，从而减少设计时间，降低生产成本。

工程师、科学家和金融分析师需要从不同的角度来处理问题。TK Solver缩减了他们执行此操作的速度。基于问题的的声明性方法可以解决此问题。编程和分析环境使用一种程序方法，该方法需要指令和公式序列，在此序列中，已知和未知变量会提前进行分类。

TK Solver使用声明性编程方法进行数学建模和方法求解，同时还提供其他语言（例如Python，Visual）提供的过程编程功能。Visual Basic，FORTRAN，C，C++，Pascal等。已在行业中使用TK Solver，例如，航天，化工和石化，汽车，农业和建筑设备制造等。

功能强，用途广泛，易于使用且可节省大量时间

代数线性或非线性方程式以及微分方程式可以在TK Solver中轻松处理。它可以在设置问题时节省10到100倍的时间。

从单个公式到成千上万个方程式，TK Solver均可用于各种问题。TK Solver还具有非常易于使用且功能强的单元处理方式。TK Solver具有的工具可用于处理工程数据，例如表格查找，关系图数据等。

基于规则的问题解决

基于规则的声明性问题设置方法为TK Solver提供了强的功能并节省了大量时间。其他编程和分析环境使用一种程序化方法，该方法要求对指令和公式进行排序，并在此之前对已知变量和未知变量进行分类。

TK Solver并非如此。TK Solver创建数字模型时，您无需决定哪些变量将是输入变量，哪些变量将是输出变量。这种的功能减少了繁琐的“忙碌工作”。使您可以在更短的时间内完成更多工作。

想一想对于设计弹簧和齿轮或研究诸如负载，压力，热量，贷款计算之类的变量如何随输入的变化，这意味着什么。使用TK Solver可以回答此问题。

与Microsoft Excel集成

使用TK Solver可以快的开发Excel应用程序。它大大减少了应用程序开发时间。如果您想这样做，请在TK Solver中设置公式，并在您使用Excel时使其在后台运行。

TK Solver 6.0概览

Instant MathLook - 当您输入规则时，可以在二维渲染中看到它们，就像手写一样，可以轻松检查您刚刚输入的内容是否正确。

像在Excel中一样更改字体和颜色

Solution Tracer - 跟踪和记录解决方案的每一个细节，实现控制

动态绘图注释 - 显示详细和自定义的数据分析和可视化

报告向导 - 提供可保存为PDF文件的按需自定义报告

多方向

此外，TK Solver仍然是使您能够使用“猜测值”进行“反向求解”的解决方案，使其成为测试“假设情况”场景的工具。想象一下能够在使用方向求解问题，然后对工程解决方案进行逆向工程，而无需重写方程式。TK Solver可以同时处理发生的线性和非线性方程式，因此您不再需要构建矩阵或进行反复试验。给TK Solver“猜测值”，它将使用内置的迭代求解器来找到答案。