这是名为 Temporal Inference Engine 的 Windows 应用程序，其最新版本可以作为 TINX13.3.2Suite.deb 下载。 它可以在免费的工作站托管提供商 OnWorks 中在线运行。
免费下载并在线运行这个名为 Temporal Inference Engine with OnWorks 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从本网站启动任何 OS OnWorks 在线模拟器，但更好的 Windows 在线模拟器。
- 5. 从您刚刚启动的 OnWorks Windows 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序并安装。
- 7. 从您的 Linux 发行版软件存储库下载 Wine。 安装后，您可以双击该应用程序以使用 Wine 运行它们。 您还可以尝试 PlayOnLinux，这是 Wine 上的一个花哨界面，可帮助您安装流行的 Windows 程序和游戏。
Wine 是一种在 Linux 上运行 Windows 软件的方法，但不需要 Windows。 Wine 是一个开源的 Windows 兼容层，可以直接在任何 Linux 桌面上运行 Windows 程序。 本质上，Wine 试图从头开始重新实现足够多的 Windows，以便它可以运行所有这些 Windows 应用程序，而实际上不需要 Windows。
SCREENSHOTS
Ad
时间推理引擎
商品描述
一个用于时序逻辑规范的实时推理引擎，能够通过 POSIX IPC、文件或 UNIX 套接字采集、处理和生成任何二进制或实数信号。信号和动态系统的规范以特殊图形表示，并实时执行，可预测的采样时间为几毫秒。该软件的应用领域包括实时信号处理、动态系统控制、状态机建模和逻辑属性验证。其支持的语言提供时间逻辑和数学运算符、条件运算符、区间运算符、有界量词以及信号参数化。
特性
- 快速推理引擎
- 实时或批量运行
- 时间逻辑网络
- 规范执行
- 可选多线程
- 通过 Linux IPC、文件或套接字进行通信
- 几毫秒的采样时间
- 包含编译器
- 包含图形 Shell
目的
信息技术、科学/研究、开发人员、工程
用户界面
侏儒，命令行
程式语言
C
分类
这是一个也可以从 https://sourceforge.net/projects/temporal-inference-engine/ 获取的应用程序。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。
