这是名为 JQM Java Quine McCluskey 的 Linux 应用程序,其最新版本可以作为 JQM-QuineMcCluskey.zip 下载。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 JQM Java Quine McCluskey 的应用程序。
请按照以下说明运行此应用程序:
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统,使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序,安装并运行。
截图:
JQM Java 奎因麦克拉斯基
描述:
Java Quine McCluskey 使用 Petrick 方法(或质蕴涵方法)实现了 Quine McCluskey 算法,用于最小化布尔函数。 该软件可用于学习和解决实际问题。 作为学习/教学工具,它不仅展示了结果,还展示了问题是如何解决的,以及如何使用卡诺图来解决问题。
最多可以最小化 XNUMX 个变量的 XNUMX 个函数。 提供图形界面,用于输入和编辑真值表,可保存和加载。 结果可以以 HTML 格式导出。 即使找到每个函数的多个解决方案,它也会根据获得的表达式生成用于教育目的的卡诺图和实际真值表。
此实现支持 PLC 编程,因此结果可以按照常规布尔表达式以多种形式呈现,包括结构化文本 (ST) 和梯形图 (LD)。
特征
- 最多 16 个输入变量。
- 最多 16 个函数(输出变量)。
- Petrick 方法用于寻找非本质质蕴涵项所涵盖的解。
- 舒适的图形界面允许变量重命名和列重新排序。
- 真值表可以保存在 CSV 文件中以供外部编辑或重复使用。 然后它可以再次加载。 此外,可以使用其他软件生成真值表并“导入”(打开)进行编辑和最小化。
- 除了使用图形界面,真值表可以写在一个文本文件中,然后加载到软件中。 有几种可用的格式,包括:表示含义和无关的十进制列表、卡诺图和带通配符的 CSV。
- 结果可以用多种格式表示,例如:常规布尔表达式、LaTeX、结构化文本 (ST) 和梯形图 (LD)。
- 结果可以导出为 HTML 文件并在 Internet 浏览器中打开。
- 由于该软件针对 PLC 编程,因此解决方案是独立的(非同时的)。 修改算法以支持同时求解不会太困难。
- 在 HTML 和 LaTeX 中生成卡诺图。 如果您正在学习或教授 K 地图,那就太好了。
- 不仅解决了问题,还展示了如何获得解决方案。
- 要使用该软件,只需下载 zip 文件,解压并双击“JQM-QuineMcCluskey.jar”。 有关更多详细信息和示例,请参阅 ReadMe.txt(或 LeiaMe.txt,如果您更喜欢葡萄牙语)。
目的
教育,工程
用户界面
Java SWT
程式语言
爪哇岛
这是一个也可以从 https://sourceforge.net/projects/jqm-java-quine-mccluskey/ 获取的应用程序。 它已托管在 OnWorks 中,以便从我们的免费操作系统之一以最简单的方式在线运行。