CoreMLTools转换DeepLabv3模型时输出格式问题的解决方案
问题背景
在使用CoreMLTools将PyTorch的DeepLabv3模型转换为mlpackage格式时,开发者遇到了一个关于输出格式的编译错误。当尝试将模型输出指定为ImageType格式时,系统提示"main output 'output' must be a tensor of type Float32 or Float16"的错误信息。
问题分析
DeepLabv3模型默认的输出是一个四维张量(1×num_classes×height×width),包含了每个像素点对所有类别的预测概率。当开发者尝试将这个输出转换为ImageType格式时,需要先通过torch.argmax操作获取每个像素点概率最高的类别索引。
然而,torch.argmax操作返回的是整数类型的张量,而CoreML的ImageType输出要求必须是Float32或Float16类型的张量。这就是导致编译错误的根本原因。
解决方案
解决这个问题的关键步骤是在模型的前向传播过程中,将argmax的结果显式转换为浮点类型。具体实现如下:
class WrappedDeeplabv3Resnet101(nn.Module):
def __init__(self):
super(WrappedDeeplabv3Resnet101, self).__init__()
self.model = torch.hub.load(
"pytorch/vision:v0.6.0",
"deeplabv3_resnet101",
pretrained=True
)
self.model.eval()
def forward(self, input):
res = self.model(input)["out"]
return torch.argmax(res, dim=1, keepdim=True).float() # 关键修改:添加.float()
完整转换代码
以下是完整的模型转换代码示例:
import torch
import torch.nn as nn
from torchvision import transforms
from PIL import Image
import coremltools as ct
# 定义包装模型类
class WrappedDeeplabv3Resnet101(nn.Module):
def __init__(self):
super(WrappedDeeplabv3Resnet101, self).__init__()
self.model = torch.hub.load(
"pytorch/vision:v0.6.0",
"deeplabv3_resnet101",
pretrained=True
)
self.model.eval()
def forward(self, input):
res = self.model(input)["out"]
return torch.argmax(res, dim=1, keepdim=True).float()
# 准备输入数据
input_image = Image.open("images/cat_dog.jpg")
preprocess = transforms.Compose([
transforms.ToTensor()
])
input_tensor = preprocess(input_image)
input_batch = input_tensor.unsqueeze(0)
# 转换模型
torch_model = WrappedDeeplabv3Resnet101().eval()
traced_model = torch.jit.trace(torch_model, input_batch)
# 设置输入输出参数
scale = 1/(0.226*255.0)
bias = [-0.485/(0.229), -0.456/(0.224), -0.406/(0.225)]
image_input = ct.ImageType(
name="input",
shape=input_batch.shape,
scale=scale,
bias=bias
)
image_output = ct.ImageType(
name="output",
color_layout=ct.colorlayout.GRAYSCALE
)
# 执行转换
mlmodel_from_trace = ct.convert(
traced_model,
inputs=[image_input],
outputs=[image_output]
)
# 保存模型
mlmodel_from_trace.save("SegmentationModel.mlpackage")
技术要点
-
数据类型一致性:CoreML对模型输入输出的数据类型有严格要求,特别是当使用ImageType格式时,必须确保数据是浮点类型。
-
图像预处理:在定义ImageType输入时,需要正确设置scale和bias参数,这些值应与模型训练时使用的归一化参数一致。
-
输出格式:对于分割任务,输出通常是一个单通道的灰度图像,每个像素值代表预测的类别索引。
-
模型追踪:使用torch.jit.trace时,需要提供具有代表性的输入数据,以确保模型的所有分支都能被正确追踪。
常见问题
-
为什么其他实现不需要.float()转换? 这可能是因为其他实现可能在模型内部已经处理了数据类型转换,或者使用了不同的CoreMLTools版本,其类型检查机制可能有所不同。
-
如何验证转换后的模型? 可以使用CoreMLTools提供的预览功能,或者直接在Xcode中导入模型进行测试。
-
性能考虑:
- 使用ImageType输入输出通常比MLMultiArray更高效
- 对于移动端部署,可以考虑量化模型以减少大小和提高推理速度
通过遵循上述解决方案和技术要点,开发者可以成功将DeepLabv3模型转换为CoreML格式,并在iOS/macOS应用中实现高效的图像分割功能。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00