12 2022 档案

10、6.1、有限自动机的等价性

摘要：DFA与NFA的等价性对于每个NFA M存在一个DFA M’，使得L(M)=L(M’) 等价性证明 NFA的确定化思路： NFA 和DFA的差别 NFA DFA 初始状态不唯一唯一弧上的标记字(单字符字、ε) 字符转换关系非确定确定阅读全文

posted @ 2022-12-06 23:56 多一些不为什么的坚持阅读(35) 评论(0) 推荐(0) 编辑

9、5.3非确定有限自动机

摘要：定义：一个非确定有限自动机(Nondeterministic Finite Automata，NFA)M是一个五元式M=(S, Σ, f, S0, F)，其中： 1. S: 有穷状态集 2. Σ ：输入字母表(有穷) 3. f: 状态转换函数，为S×Σ* → 2 S的部分映射 4. S 0 ⊆S是非阅读全文

posted @ 2022-12-04 22:41 多一些不为什么的坚持阅读(436) 评论(0) 推荐(0) 编辑

3、使用 TVMC Python 入门：TVM 的高级 API

摘要：本节将介绍针对 TVM 初学者设计的脚本工具。开始前如果没有下载示例模型，需要先通过终端下载 resnet 模型： cd myscripts/ mv resnet50-v2-7-frozen.onnx my_model.onnx 在myscripts目录下新建tvmcpythonintro.py 阅读全文

posted @ 2022-12-04 01:41 多一些不为什么的坚持阅读(138) 评论(0) 推荐(0) 编辑

2、TVMC的使用

摘要：1、获取模型在本教程中，我们将使用ResNet-50 v2模型。ResNet-50是一个用于图像分类的，50层的卷积神经网络。我们使用的模型是已经训练好的，训练的数据集有1000种分类100多万张图像。该网络的输入图像尺寸为224x224。如果你对ResNet-50模型的结构感兴趣，我们建议下载N 阅读全文

posted @ 2022-12-01 00:48 多一些不为什么的坚持阅读(348) 评论(0) 推荐(0) 编辑