腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
将
电路
基准
转换
为CNF公式用于SAT求解
、
、
、
、
是否有任何工具可以将
电路
基准(ISCAS)
转换
为CNF,以便在SAT求解器中使用?其主要目的是为
电路
找到一些输入模式,从而在某些门上给出一些预定义的
输出
。
浏览 17
提问于2022-04-09
得票数 0
1
回答
黑匣子量子
电路
背后的原理是什么?
我读过一些关于量子计算机和量子
电路
的材料。我可以将(未知的)量子
电路
U_f与它相关联,并将其插入到0.0>输入状态现在,让我们定义
电路
X,并说明当附加到U_f时,可以测量全局
输出
,以提取有关f的一些信息。 在这里,我开始意识到“
电路
”这个共同的名字在某种程度上具有误导性。在经典的世界中,门输入可以被认为是与
输出
共存的值。但
浏览 2
提问于2016-06-02
得票数 0
回答已采纳
1
回答
泄漏信息给姚的错误
电路
的错误
输出
、
本文描述了一种k-leak模型,并给出了泄漏1位可以使姚的误码
电路
从半诚实电阻到恶意电阻的例子。这究竟是如何只泄露1位输入的?
浏览 0
提问于2022-02-13
得票数 2
1
回答
减少0-1背包问题。到SAT项目
有什么方法将简化为形式的附加范数吗?
浏览 1
提问于2015-07-20
得票数 0
回答已采纳
1
回答
恒定的输入如何影响问题的SAT公式?
、
、
、
假设我有一个有N个输入和1个
输出
的黑匣子
电路
。 我想确定M输入的值,并找到
电路
可满足的其余输入值(N)。如果我手动修复verilog中的M输入,并将其
转换
为CNF (使用abc),这会产生正确的结果吗?这是否解决这类问题的正确方法?
浏览 2
提问于2018-09-21
得票数 1
回答已采纳
1
回答
组合一组布尔方程
、
、
我有一个逻辑原理图,从输入到
输出
有很多层次。我想为每个
输出
找到一个简化的布尔方程。为了避免错误和提高效率,我计划把大的原理图分解成每个逻辑门的一个布尔方程,并找到一个工具来简化一组布尔方程,并为我指定的
输出
项
输出
一个单一的方程。 任何数学程序都可以,请帮助。谢谢!
浏览 1
提问于2016-06-30
得票数 0
回答已采纳
1
回答
使用卡诺图技术的
电路
、
、
、
将设计一种组合
电路
,其对4位输入中1位的出现次数进行计数。然而,输入1111对于
电路
来说是无效输入,并且在这种情况下
输出
将是00。这种
电路
的一个有效输入可以是具有
输出
11的1110;另一个有效输入可以是具有
输出
10的1010。 画出
电路
的真值表。使用卡诺图设计
电路
,并使用AND、OR和NOT门绘制
电路
。
浏览 3
提问于2016-10-26
得票数 1
3
回答
如何将一系列数学约束转化为SAT或SMT问题并得到答案?
A + B + C + D = 50(C + D) = 30我可以把它
转换
成一个可以由picosat解决的SAT问题(我不能让minisat在我的Mac上编译),也可以
转换
成一个可以解决的SMT问题。要做到这一点,我需要: 我用什么工具进行
电路
转换
?
电路
的文件格式是什
浏览 4
提问于2017-05-20
得票数 0
回答已采纳
2
回答
Moore机器的状态图和
转换
表
、
、
、
我已经为这个
电路
画了一个mealey机器,有两个状态,但是我不能画一个摩尔机状态图,我不知道怎么做。该
电路
是一个具有一个二进制输入X和一个二进制
输出
Y的摩尔机。
输出
Y取决于在最近两个时钟脉冲上采样的X的两个值。Y应该始终是这两个输入值的XOR组合的结果。 所以,基本上,如果状态是1,输入是1,它就会变成0。
转换
表怎么样?
浏览 4
提问于2011-05-01
得票数 1
2
回答
如何在zkSNARK中构造
电路
、
、
、
因为使用的基本逻辑是:从
电路
中产生一个R1CS, 将R1CS
转换
为QAP,然后我们可以运行zk-snark。对于第一部分,该问题是否有特定的定义或特征,所有可以验证的问题都能转化为
电路
,并使用zk生成证明吗?此外,如何通过编程或使用数学方法将问题简化为一个
电路
?
浏览 0
提问于2021-01-06
得票数 5
回答已采纳
1
回答
一个门输入与其他门的多个
输出
之间的连接如何导致
电路
存储器?
、
作者给出了组合逻辑的以下定义: 因为“节点n6连接到I3和I4的
输出
终端”。正如我能够理解的,前面提到的
电路
是这样的:它的
输出
是1当且仅当它的输入都是1,否则
输出
是
浏览 2
提问于2021-03-12
得票数 0
回答已采纳
1
回答
算法的
电路
表示
、
、
、
但是,我不知道如何计算一个算法的
电路
表示。请注意,该函数将接受固定宽度的输入并生成固定宽度的
输出
。
浏览 2
提问于2011-02-08
得票数 1
回答已采纳
1
回答
如何将SCPI
转换
为可读值?
、
、
我正在用SourceMeter测量
电路
的电流。但是,我正在获得SCPI格式的值,并且不知道如何将其
转换
为可读
输出
。下面是我收到的
输出
的一些例子: b'7.572‘和b'05,+9’如何将这些
转换
为实际的当前值? 谢谢!
浏览 2
提问于2021-07-19
得票数 0
2
回答
电池供电的ESP8266节点单片机
、
、
然而,我使用的是USB5V墙式适配器,因为nodeMCU有UART
转换
到3.3V。VIN一是使用更大的电压,并使用
转换
器将其
转换
到5V左右,然后使用该电压连接到-Another。Ps:这个问题在stackoverflow上出现过几次,但我找不到一个统一的答案,我被它搞糊涂了。感谢您的理解。
浏览 3
提问于2017-08-28
得票数 0
2
回答
构成摩尔图和米利图,补充它们的输入
现在,我知道摩尔机器关心输入和
输出
,而Mealy机器考虑了实际的状态
转换
,但我显然遗漏了一些要点。我不知道在这里该怎么做。请帮帮我!
浏览 9
提问于2013-11-27
得票数 1
回答已采纳
2
回答
通用计算
电路
在TCS中,函数需要
转换
为布尔
电路
。我很感激你的回答。谢谢!
浏览 0
提问于2023-03-13
得票数 1
回答已采纳
1
回答
将pyverilog
转换
为Z3解决程序的输入
、
、
、
我已经将verilog文件
转换
为AST (抽象语法树),但是随着外部约束,如
电路
输出
和AST将给Z3/SMT求解器提供输入,但我不知道如何将AST作为Z3/SMT求解器的输入。 提前谢谢。
浏览 10
提问于2017-07-01
得票数 0
回答已采纳
1
回答
为什么ALU的
输出
会异步更改以响应输入更改?
、
、
维基百科声明“一个算术逻辑单元是一个组合逻辑
电路
,这意味着它的
输出
将随着输入的变化而异步改变。” 但是,组合逻辑
电路
的定义是:“组合逻辑……其中
输出
是当前输入的纯函数。”如果组合逻辑
电路
的
输出
完全由当前输入决定,维基百科是否说明它是异步的,因为电信号在
电路
中传播所需的时间(光速对吗?)?
浏览 4
提问于2017-12-06
得票数 0
1
回答
使用布尔
电路
实现函数
、
、
我需要在布尔
电路
中实现一些多变量函数;我们有什么工具可以将一些算术自动
转换
为布尔
电路
?我知道我可以构建真值表并自动将其
转换
为布尔
电路
,但这将需要非常大的
电路
(有2^32个条目)。
浏览 2
提问于2016-03-27
得票数 0
1
回答
zkSnark
电路
、
、
在实际应用中,需要证明
电路
总是具有较大的尺寸,可能有近十亿个门,当将这种
电路
转换
为QAP时,会产生一个很大的多项式,这是一个高成本的使用zkSNARK。因此,是否可以将
电路
分解成不同的子
电路
,以减小
电路
的规模和多项式的规模?
浏览 0
提问于2020-09-25
得票数 0
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
这些cad输出成图片的转换方法真的好用
EPSON(爱普生)获得高频输出的方法(第一部:锁相环电路)
有什么好用的格式转换器?自定义输出参数!
怎么将纸质文件输出为Word文档-一招教你轻松转换
怎么将图片识别输出为表格文档-一招教你轻松转换
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
云直播
活动推荐
运营活动
广告
关闭
领券