y蛇 最近的新闻: 2020年3月11日:更新到最新的snarkjs (这是对PySNARK原始版本的重写,仍可。) PySNARK允许您直接在Python 3中编程zk-SNARK(又名可验证计算)。例如,以下代码运行SNARK程序以计算数字的立方,生成键材料,生成证明并验证它: import sys from pysnark.runtime import snark @snark def cube(x): return x*x*x print("The cube of", sys.argv[1], "is", cube(int(sys.argv[1]))) PySNARK可以使用或作为后端。 对于使用pysnark提供的PubVal数据类型(或使用@snark装饰器)执行的任何计算,该库都会跟踪该计算的Rank-1约束系统。 计算完成后,将生成(或重复使用)用于计算的关
2023-04-21 11:56:29 99KB smart-contracts python3 zero-knowledge zk-snarks
1
23.1 傅里叶变换 目标 本小节我们将要学习: • 使用 OpenCV 对图像进行傅里叶变换 • 使用 Numpy 中 FFT(快速傅里叶变换)函数 • 傅里叶变换的一些用处 • 我们将要学习的函数有:cv2.dft(),cv2.idft() 等 原理 傅里叶变换经常被用来分析不同滤波器的频率特性。我们可以使用 2D 离 散傅里叶变换 (DFT) 分析图像的频域特性。实现 DFT 的一个快速算法被称为 快速傅里叶变换(FFT)。关于傅里叶变换的细节知识可以在任意一本图像处 理或信号处理的书中找到。请查看本小节中更多资源部分。 对于一个正弦信号:x (t) = A sin (2πft), 它的频率为 f,如果把这个信号 转到它的频域表示,我们会在频率 f 中看到一个峰值。如果我们的信号是由采 样产生的离散信号好组成,我们会得到类似的频谱图,只不过前面是连续的, 现在是离散。你可以把图像想象成沿着两个方向采集的信号。所以对图像同时 进行 X 方向和 Y 方向的傅里叶变换,我们就会得到这幅图像的频域表示(频谱 图)。 更直观一点,对于一个正弦信号,如果它的幅度变化非常快,我们可以说 他是高频信号,如果变化非常慢,我们称之为低频信号。你可以把这种想法应 用到图像中,图像那里的幅度变化非常大呢?边界点或者噪声。所以我们说边 界和噪声是图像中的高频分量(注意这里的高频是指变化非常快,而非出现的 次数多)。如果没有如此大的幅度变化我们称之为低频分量。 现在我们看看怎样进行傅里叶变换。 23.1.1 Numpy 中的傅里叶变换 首先我们看看如何使用 Numpy 进行傅里叶变换。Numpy 中的 FFT 包 可以帮助我们实现快速傅里叶变换。函数 np.fft.fft2() 可以对信号进行频率转 换,输出结果是一个复杂的数组。本函数的第一个参数是输入图像,要求是灰 度格式。第二个参数是可选的, 决定输出数组的大小。输出数组的大小和输入图 像大小一样。如果输出结果比输入图像大,输入图像就需要在进行 FFT 前补 0。如果输出结果比输入图像小的话,输入图像就会被切割。 146 www.linuxidc.com
2023-04-18 14:09:18 6.16MB OpenCV 官网教程 中文版
1
获知新锐洞察,共建智慧地球---智慧地球赢在中国 IBM
1
Intouch与S7-200SMART通讯
2023-04-12 18:46:48 1.13MB IntouchS7-200SMA
1
LS产电SMART I_O模块可编程逻辑控制器用户手册pdf,
2023-04-05 11:58:13 1.49MB 说明书
1
西门子s7-200smart密码清除工具,三菱 台达,信捷,威纶通,AB,西门子S7-200SMARTPLC解密软件,西门子200解密软件,西门子300解密软件。
2023-04-03 15:54:14 10.38MB 西门子 三菱 西门子smart
1
SmartGattLib SmartGattLib是一个Java库,可简化Bluetooth SMART设备(Bluetooth 4.0中的Bluetooth Low Energy )的工作。 它提供了所采用的所有UUID,并提供了一种方便的方式来解释特征(例如,心率,电池电量)。 实施和测试的特征 电池电量 BodySensor位置 心率测量 ManufacturerNameString 还有更多。 请提交拉取请求以添加更多特征。 兼容性 该库没有依赖关系,可以与每个Bluetooth SMART堆栈一起使用,例如: 一体化 使用Bluetooth SMART设备通常通过以下方式进行操作: 扫描设备 连接到GATT设备 发现服务 获取感兴趣的服务的特征(SmartGattLib可帮助识别服务) 读取特征或注册更新(SmartGattLib可帮助识别特征) 解释特性更新(Sm
2023-03-31 16:04:20 92KB Java
1
6ES7 288-1SR20-0AA0 V02.05.00.zip 6ES7 288-1SR30-0AA0 V02.05.00.zip 6ES7 288-1SR40-0AA0 V02.05.00.zip 6ES7 288-1SR60-0AA0 V02.05.00.zip 6ES7 288-1ST20-0AA0 V02.05.00.zip 6ES7 288-1ST30-0AA0 V02.05.00.zip 6ES7 288-1ST40-0AA0 V02.05.00.zip 6ES7 288-1ST60-0AA0 V02.05.00.zip
2023-03-29 09:31:23 10.9MB 西门子 PLC 固件 SMART200
1
西门子S7-200 SMART自由口通讯程序-发送方,案例详细说明如何设置参数。
2023-03-27 14:57:41 5KB PLC
1
智能农业系统 该项目旨在使用土壤,气候和温度,使用多元线性回归(以python,flask为后端,以HTML,CSS,JS为前端)进行线性预测来预测最佳可种植作物
2023-03-24 21:34:16 15.84MB HTML
1