TK Solver - 数学建模和优化软件-北京睿驰科技

tk_solver

넳 넲

用于数学建模、方程求解、反向求解和工程计算工作流

TK Solver 是一款数学建模与方程求解软件，可通过基于规则的声明式方法建立数学模型，并结合过程式编程能力完成工程、科研和数据分析中的计算任务。

软件可处理代数线性方程、非线性方程以及微分方程，也支持单位处理、工程数据表查找、图形关系数据处理、Excel 应用衔接和 CalcEdge 云端模型共享等工作方式。

核心功能方向

通过基于规则的建模方法设置问题，建立模型时不需要预先区分哪些变量作为输入、哪些变量作为输出，便于从不同方向求解同一组方程。

支持 backsolve 反向求解，可用于“what if”分析以及目标结果反推场景；内置迭代求解器，可结合初始猜测值寻找求解结果。

支持工程和科学计算中的单位处理，并可处理表格查找、关系图数据等工程数据，也可用于热力学系统相关建模场景。

可将公式设置在 TK Solver 中，并在 Excel 工作流中使用；同时提供 Python、Visual Basic、FORTRAN、C、C++、Pascal 等语言相关的过程式编程能力。

类别	支持内容
模型计算	支持从单个公式到多方程模型的建模场景，可处理代数线性方程、非线性方程和微分方程。
数据分析	可用于探索、建模和分析数据，并通过图形方式查看数据关系与模型结果。
程序扩展	支持创建脚本、函数和类，并可与 Python、C/C++、Fortran 等语言相关工作流配合使用。
应用构建	支持桌面应用与 Web 应用构建相关工作，并可通过 CalcEdge 平台在云环境运行和共享模型。

输入规则时，可将规则以二维形式呈现，便于检查输入内容；字体和颜色可像在 Excel 中一样调整。

可跟踪并记录求解过程中的细节，方便用户查看模型求解过程和相关信息。

支持可定制的数据分析与可视化标注，用于展示模型结果、数据关系和图形说明。

可按需生成自定义报告，并将报告保存为 PDF 文件。

TK Solver 数学模型可通过 CalcEdge 网站与其他用户共享。CalcEdge 应用可通过浏览器或智能手机访问，应用作者可选择共享的内容，并可保护算法内容。

CalcEdge 应用界面可在 TK 的 MathLook Window 中进行定制，作者可放置变量、列表、绘图等 TK 对象，也可加入相关网站和视频链接。

适用于航空航天领域中涉及数学模型、方程求解和工程数据处理的计算场景。

可用于化工、石化以及热力学系统相关模型的计算、分析和结果展示。

适用于汽车、农业装备和工程设备制造中的建模、设计计算和工程分析工作。

可用于研发工作，以及工程类院校教师、研究人员和学生的数学建模与计算分析。

项目	基本要求
处理器	双核 1.8 GHz CPU。
内存	2 GB 可用 RAM。
硬盘空间	5 GB 可用硬盘空间。
操作系统	Microsoft Windows 10，支持 32 位或 64 位，标准版或企业版。
.NET	Microsoft .NET Framework 4.6。
可选数据库	如需数据库支持，可使用 Microsoft SQL Server 2012 或更高版本、Microsoft Access 2012 或更高版本。