回答情况：
提问时间：
问题标签：
如何在PyTorch中进行批量推理？如何并行推理来加速那部分代码。我从进行推理的标准方法开始： with torch.no_grad(): inputs= inputs.to(device) output = output.to(device) 我研究过，唯一提到并行推理(在同一台机器上
浏览 727修改于2020-08-27得票数 1
回答已采纳
1回答
我很熟悉打字推理。var x = 5;使x为int类型。但是，向上型推理和向下型推理实际上意味着什么。任何简单的例子帮助将是非常感谢的。
浏览 5修改于2022-03-21得票数 0
2回答
我找到了一大堆文章；但没有一篇真正将tensorflow推理作为一种简单的推断。它总是“使用服务引擎”或使用预编码/定义的图形。任何提示都是非常感谢的！-结束更新3-更新4
浏览 2修改于2019-05-19得票数 22
回答已采纳
我目前正在构建一个OWL本体，直到最近才使用Pellet推理器对其进行快速分类。然而，由于引入了几个新的类，推理性能已经减慢到爬行。尽管推理机完成了，本体不包含任何不可满足的概念等，但推理所需的时间是不可接受的。我目前正在尝试追踪可能导致速度减慢的违规类/类。
这是我的问题:是否有可能记录Pellet的推理过程？也就是说，是否有可能产生一些输出，记录pellet在某些推理任务上花费了多长时间/跟踪在任何给定的类和公理上进行推理需要多长时间？如果是这样
浏览 1提问于2010-05-07得票数 2
回答已采纳
1回答
. | esuc e1 = remove-*2 n e1 Even (n * n) Even n Even (suc (suc n))
是否有任何这样的标准推理
浏览 0提问于2014-03-27得票数 1
回答已采纳
我对语义网和推理机的概念完全陌生，很抱歉我太天真了。然后，我将一个Demo.Java文件添加到项目中，并使用同一网站上给出的命令在命令提示符下运行此文件。我使用推理机的本体是我从网站上获得的pizza.owl
它显示的唯一结果是"TRUE“，但我想在本体论中推理事物。
浏览 105修改于2015-06-22得票数 1
回答已采纳
2回答
以下源代码没有编译，因为Stopover是未绑定的。-module(distances). { km, 1049 }; { km, 2482 }; { km, 1603 }; path( From, Stopover ) + path( Stopover, To ).
这个模块的
浏览 2提问于2020-09-23得票数 1
回答已采纳
2回答
我对python很陌生，但对编程却不是很熟悉。有什么方法可以知道两个对象是否具有相同的函数和字段？var1 = func1()func3(var1)func1和func2都是我使用的库中的函数，它们几乎没有文档。假设我知道func3(var1)可以工作，我能知道它是否适用于var2吗？
浏览 2提问于2018-07-04得票数 0
回答已采纳
1回答
我对口水比较陌生。我有这样的规则：declare IsMarqueend
salience 2lock-on-active true $d : Demarche( typeDemarche == "Marque" ) modify($d){ }
insert( new IsM
浏览 0修改于2014-12-23得票数 0
回答已采纳
我用规则集OWL(优化)在回购中加载了以下语句。:Bar rdf:type owl:Class . rdfs:subClassOf :Bar .:Bar rdf:type rdfs:Class 为什么会发生这种事？
浏览 0提问于2018-07-03得票数 0
回答已采纳
在推理的时候，我处理的是同样的预处理，这些预处理是在角点推理中使用的。这是tflite推理代码babyNet_lite = tf.lite.Interpreter(model_path=model_path)之后，我用下面的代码将模型量化为float16。但是，推理时间仍然比keras模型推理要长。我在哪里搞错了？
不知道
浏览 2修改于2021-03-05得票数 1
5回答
类型推断使用var关键字。编译器根据变量初始化的内容“推断”变量的类型。尽管 somenum 从未被声明为int，但编译器指出了这一点&只要它在作用域内，它就是一个int。即使它降低了性能&点网框架支持强类型检查，为什么在框架3.5中包括var？
浏览 17提问于2012-11-15得票数 5
回答已采纳
2回答
我试图用Coq编写以下Agda片段。open import Data.Nat using (ℕ; suc; zero)
thin zero y = suc ythin (suc x) (suc y) = suc (thin x y)Inductive Fin : nat
浏览 5提问于2016-05-03得票数 2
回答已采纳
2回答
我目前正在选修“机器学习导论”课程，内容包括:线性回归、过度拟合、分类问题、参数和非参数模型、贝叶斯和非贝叶斯模型、生成分类、神经网络、支持向量机、增强和打包、无监督学习。我已经询问了一些有关这些主题的阅读材料，但我想听听更多关于书籍(或任何其他材料)的建议，这些建议能让人们对列出的主题有更多的直觉，还有一些书能深入到这些学科的理论中(我会得到一些直觉)？(我想每一门学科都有很多书要介绍这一理论，但任何建议都会很好。)
谢谢。
浏览 0提问于2020-10-31得票数 0
回答已采纳
1回答
我刚刚开始学习OCaml，我对OCaml编译器如何在参数可能是多个类型的特定情况下确定参数的输入类型感到困惑。我假设我需要在这些实例中显式地声明类型？例如： if x > 0 then 1 else 0
抛出“错误:此表达式有类型浮点数，但预期表达式为int"类型。
浏览 1提问于2021-05-02得票数 2
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号