问题标签 [real-datatype]

我正在尝试使用单个 IFFT 计算两个实函数的傅里叶逆变换。到目前为止我发现的最好和最直接的解释是here，它说：

利用 FFT 是线性的这一事实，并形成第一个变换加上 i 乘以第二个变换的总和。您有两个向量 x1 和 x2，分别具有离散傅立叶变换 X1 和 X2。然后

x1 = Re[ IDFT[ X1 + i X2 ] ]

和

x2 = Im[ IDFT[ X1 + i X2 ] ]。

问题是我不知道“i”参数的来源。对此的任何提示将不胜感激。

提前致谢。

编辑：

在做了一些实验后，我终于让它工作了，但现在我比以前更困惑了，因为它没有按我的预期工作，不得不发挥一些想象力来找出正确的公式。

我刚刚组成了一个新的复杂数组，其中：

在对其进行 IFFT 后 x1 = Re 和 x2 = Im，那么这样表达不正确吗？

我有一个 postgresql 数据库，如下所示：

然后是我的查询结果：

当值不能转换为非浮点值时，postgresql 不会返回任何行。

我不知道为什么。你有同样的问题吗？我怎样才能解决这个问题 ？

我有以下代码来获取实际值的总和（存储在 SQlite DB 中的债务金额：

我正在尝试返回“CurrentAmount”列中所有值的总和并将其显示在文本视图中：

但是，当我在模拟器中运行应用程序时，在启动期间我会强制关闭，DDMS 日志中有以下内容：

09-26 19:01:19.098: 错误/AndroidRuntime(677): 致命异常: main 09-26 19:01:19.098: 错误/AndroidRuntime(677): java.lang.RuntimeException: 无法启动活动 ComponentInfo{com. evanrich.android.debtdestroyer/com.evanrich.android.debtdestroyer.mainActivity}：java.lang.NullPointerException 09-26 19:01:19.098：错误/AndroidRuntime(677)：在 android.app.ActivityThread.performLaunchActivity(ActivityThread.java :2663) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 android.app.ActivityThread.handleLaunchActivity(ActivityThread.java:2679) 09-26 19:01:19.098: 错误/AndroidRuntime(677):在 android.app.ActivityThread.access$2300(ActivityThread.java:125) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 android.app.ActivityThread$H.handleMessage(ActivityThread.java:2033) 09 -26 19:01:19.098：错误/AndroidRuntime（677）：在 android.os.Handler.dispatchMessage(Handler.java:99) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 android.os.Looper.loop(Looper.java:123) 09-26 19 :01:19.098: ERROR/AndroidRuntime(677): at android.app.ActivityThread.main(ActivityThread.java:4627) 09-26 19:01:19.098: ERROR/AndroidRuntime(677): at java.lang.reflect。 Method.invokeNative(Native Method) 09-26 19:01:19.098: ERROR/AndroidRuntime(677): at java.lang.reflect.Method.invoke(Method.java:521) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 com.android.internal.os.ZygoteInit$MethodAndArgsCaller.run(ZygoteInit.java:868) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 com.android.internal。 os.ZygoteInit.main(ZygoteInit.java:626) 09-26 19:01:19.098: ERROR/AndroidRuntime(677): at dalvik.system.NativeStart.main(Native Method) 09-26 19:01:19.098:错误/AndroidRuntime(677): 由: java.lang.NullPointerException 09-26 19:01:19.098: 错误/AndroidRuntime(677): at com.evanrich.android.debtdestroyer.database.DbAdapter.getsumdebt(DbAdapter.java: 106) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 com.evanrich.android.debtdestroyer.mainActivity.onCreate(mainActivity.java:73) 09-26 19:01:19.098: 错误/AndroidRuntime( 677): 在 android.app.Instrumentation.callActivityOnCreate(Instrumentation.java:1047) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 android.app.ActivityThread.performLaunchActivity(ActivityThread.java:2627) 09 -26 19:01:19.098: 错误/AndroidRuntime(677): ... 11 更多getsumdebt(DbAdapter.java:106) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 com.evanrich.android.debtdestroyer.mainActivity.onCreate(mainActivity.java:73) 09-26 19:01: 19.098: 错误/AndroidRuntime(677): 在 android.app.Instrumentation.callActivityOnCreate(Instrumentation.java:1047) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 android.app.ActivityThread.performLaunchActivity(ActivityThread .java:2627) 09-26 19:01:19.098: 错误/AndroidRuntime(677): ... 11 更多getsumdebt(DbAdapter.java:106) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 com.evanrich.android.debtdestroyer.mainActivity.onCreate(mainActivity.java:73) 09-26 19:01: 19.098: 错误/AndroidRuntime(677): 在 android.app.Instrumentation.callActivityOnCreate(Instrumentation.java:1047) 09-26 19:01:19.098: 错误/AndroidRuntime(677): 在 android.app.ActivityThread.performLaunchActivity(ActivityThread .java:2627) 09-26 19:01:19.098: 错误/AndroidRuntime(677): ... 11 更多ActivityThread.performLaunchActivity(ActivityThread.java:2627) 09-26 19:01:19.098: ERROR/AndroidRuntime(677): ... 11 更多ActivityThread.performLaunchActivity(ActivityThread.java:2627) 09-26 19:01:19.098: ERROR/AndroidRuntime(677): ... 11 更多

看起来它无法对存储在数据库中的实际值求和。谁能帮我？

仅供参考，这是我的表构造函数：

谢谢。

请帮忙，我怎样才能将一个真正的声明变量转换为一个字符串。有没有像 IntToStr() 这样的函数？RealToStr() 函数不起作用。

我注意到 Verilog 将我的实数结果四舍五入为整数结果。例如，当我查看模拟器时，它显示 17/2 的结果为 9。我该怎么办？无论如何定义类似 a: 的东西output real reg [11:0] output_value吗？还是必须通过模拟器设置来完成？

仅模拟（无合成）。示例：
x 定义为有符号输入，output_value 定义为输出 reg。

如果 x=+1 则输出值必须是：13/2=6.5。

但是，当我模拟时，我看到了output_value = 6.

我一直在尝试将 Fortran 用于我的研究项目，使用最新版本的 GNU Fortran 编译器 (gfortran)，但我在处理实数的方式上遇到了一些问题。如果您有例如代码：

你会得到输出：

我觉得这真的很奇怪。有人能告诉我这里到底发生了什么吗？看着 z 我可以看到 y 确实保留了它的精度，所以对于我认为不应该成为问题的计算。但是为什么 y 的输出与我指定的值不完全相同，我该怎么做才能使其完全相同？

TSQL 类型（MSSQL）中：real、float 和 decimal；哪种类型会导致更快的比较？

十进制会使用硬件 FPU 计算还是纯粹在软件中？

是否有通用的转换函数可以将整数类型对象转换为 VHDL 中的实数类型？这是针对测试平台的，因此可综合性不是问题。

有人可以解释为什么我在第一种情况下得到积极的结果，而在第二种情况下得到否定的结果。

给定一个使用 Z3 的实数编码的问题，Z3 /smt2 /st产生的哪些统计数据可能有助于判断实数引擎是否“有问题/做了很多工作”？

在我的情况下，我有两个基本等效的问题编码，都使用实数。然而，编码的“小”差异在运行时产生了很大的差异，即编码 A 需要 2:30 分钟，编码 B 需要 13 分钟。Z3 统计显示conflicts和大部分是等价的，但其他不是，quant-instantiations例如和。grobnerpivotsnonlinear-horner

这两种不同的统计数据可作为要点提供。

编辑（以解决 Leo 的评论）：

两个版本生成的 SMT2 编码约为 30k 行，使用实数的断言遍布整个代码。主要区别在于编码 B 使用了从范围0.0到1.0由不等式限制的大量未指定的实类型常量，例如0.0 < r1 < 1.0or 0.0 < r3 < 0.75 - r1 - r2，而在编码 A 中，许多这些未指定的常量已被同一范围内的固定实数值替换，例如,0.1或0.75 - 0.01. 两种编码都使用非线性实数算术，例如r1 * (1.0 - r2).

两种编码中的一些随机示例可用作要点。如上所述，所有出现的变量都是未指定的实数。

PS：是否为固定实数值引入别名，例如，

造成重大的绩效处罚？