斑马公司专用的图片转换软件, 用来将图片文件转换为*.rcf格式的ZPLII代码.
2022-01-13 14:51:20
1.55MB
1
实验项目1：
机器人搬盒子问题：设在一个房间里，有一个机器人ROBOT ，一个壁橱ALCOVE，一个积木块BOX，两个桌子A和B。开始时，机器人ROBOT在壁橱ALCOVE旁边，且两手空空，桌子A放着积木块BOX，桌子B是空的。机器人可把积木块BOX从一种状态桌子A上变换成另一种状态桌子B上，然后回到壁橱。用归结原理方法求解该问题？
实验要求：
1．用谓词公式表示问题的初始状态、目标状态以及机器人操作；
2．将谓词公式转换为子句集；
3. 利用归结原理对子句集中的子句进行归结。
4. 用Prolog实现机器人搬盒子的谓词逻辑。
5. 用Python或其他编程语言实现该问题的求解。
实验项目2：
爱因斯坦逻辑难题（斑马问题）：5个不同国家且工作各不相同的人分别住在一条街上的5所房子里，每所房子的颜色不同，每个人都有自己养的不同宠物，喜欢喝不同的饮料。根据以下信息，你能告诉我哪所房子里的人养斑马，哪所房子里的人喜欢喝矿泉水吗？
1. 英国人住在红色的房子里
2. 西班牙人养了一条狗
3. 日本人是一个油漆工
4. 意大利人喜欢喝茶
5. 挪威人住在左边的第一个房子里
6. 绿房子在白房子的右边
7. 摄影师养了一只蜗牛
8. 外交官住在黄房子里
9. 中间那个房子的人喜欢喝牛奶
10. 喜欢喝咖啡的人住在绿房子里
11. 挪威人住在蓝色的房子旁边
12. 小提琴家喜欢喝橘子汁
13. 养狐狸的人所住的房子与医生的房子相邻
14. 养马的人所住的房子与外交官的房子相邻
实验要求：
1. 用Prolog实现斑马问题的逻辑推理。
2. 在华为云的ModelArts中用Python实现该问题的求解。
思考题：
1. 如何将谓词公式转换为子句集？
2. 谓词公式与子句集等值吗？
2022-01-10 19:14:32
80KB
1
ZPL命令
ZPL Designer可以帮助您编写ZPL代码。左侧面板提供了用于设计标签的主要ZPL命令列表。通过将鼠标指针悬停在所需的ZPL命令上，将在顶部的“帮助”面板上显示详细说明。单击它会将此命令添加到ZPL编辑器。
ZPL Viewer
按F5或单击预览按钮，ZPL Designer将在预览选项卡上显示ZPL代码的结果。
您可以缩放/取消缩放，旋转或将生成的标签另存为图像。
2021-12-23 16:07:57
374KB
1
ZPL II实例
^XA //开始指令
^LH 30,30
^FO20,10^AD^FDZebra^FS
^FO20,60^B3^FDAAA001^FS // ^FO表示标签字段位置(Field Offset) ^FS表示换行指令
^XZ //结束指令
2021-12-03 15:57:28
7.69MB
1
Java zebra斑马打印机使用范例，使用此类库实现的打印，有源代码，包括了类库文件，面向斑马打印机。
2021-11-28 19:46:10
10.77MB
1