问题标签 [symmetric]

我想让我的矩阵关于行名和列名对称，例如，我有一个矩阵

我想让它像

这意味着矩阵在行名和列名方面是对称的，并且列名相等，因此矩阵也是对称的（实际上我正在研究邻接矩阵，因此邻接矩阵对称非常重要。

我正在尝试做一个布尔函数来验证矩阵是否对称，但我收到了这个错误：

|54|错误：无法将参数 '3' 的 'float ( )[(((sizetype)(((ssizetype)n) + -1)) + 1)]' 转换为 'float ( )[100]'无效转置（int，float（）[100]，float（）[100]）'|

错误发生在该Transpose(n,a,t);行

现在我必须编写一个 java boolean isSymmetric () 函数，如果调用矩阵是对称矩阵，则返回 true；否则返回false。谁能帮我这里的代码或从哪里开始？任何答案将不胜感激。

考虑这个小程序：

现在我想评估一个目标

有没有办法防止在回溯时重复这种对称关系并仍然保持目标的对称性?- likes(hillary, X).？

我有一个矩阵形式的数据存储在一个 CSV 文件中，它看起来像这样，

我想让这个 6 * 6 矩阵成为一个对称矩阵，像这样，

如何使用python（或matlab）将n×n矩阵（方阵）变为对称矩阵？或者有其他工具可以做到吗？</p>

请给我任何建议，谢谢！

我正在尝试更多地了解噪声、功率谱密度 (PSD) 和统计方差。关于这一点，我正在尝试计算白噪声的功率谱密度，但是，当我这样做时，我得到了一个非常奇怪的对称性。我的频谱似乎围绕中心频率值对称，这显然是不正确的。我是使用自相关和功率谱密度的新手，所以如果有人能帮助我朝着错误的方向前进，我将不胜感激。

计算PSD的代码：

使用此代码，我生成以下图表，可在此处访问https://drive.google.com/#folders/0B8BdiIhqTYw7Vk1EaDFMQW84RHM：

1. 计算前噪声的时间分布

2. 从时间分布计算的自相关函数（我知道 x 轴比例是错误的，但这对其他任何地方的代码都没有贡献

3. 功率谱密度，虽然不应该是美丽的对称

任何人都可以就导致这种对称性的原因提供任何帮助将是最有帮助的。我用一个简单的正弦波信号测试了代码，我得到了预期的结果（没有对称性）

n m : nat在 Coq 中表示相邻偶数的一种可能方式是归纳定义该关系，从 0 和 2 开始。

ae_0说明 0 和 2 是相邻的偶数。ae_1指出如果一些n m : nat是相邻的偶数，那么m和 也是m + 2。使用这两个构造函数，我们可以覆盖所有相邻偶数对，直到无穷大。可是等等！这适用于n且m当且仅当n < m。所以我们需要最后一个构造函数ae_2来翻转关系中的任何给定数字对。

现在我已经定义了关系，我想对其进行一些健全性检查以确保它有效。例如，我知道 1 和 3 不是相邻的偶数，我也知道adj_ev 1 3从我定义的方式中永远无法得到adj_ev。所以我肯定可以证明，~ ( adj_ev 1 3 )对吧？

经过几次反转后，我很快陷入了无限循环。就好像我在问 Coq，“如何才能相邻且均匀？n” mCoq 回答“嗯，也许mandn是相邻的，甚至是……”然后我问，“and 是如何m相邻的n，甚至是？” Coq 说“嗯，也许n和m是相邻的，甚至是……” 无穷无尽。

普遍的问题是，当你有一些归纳定义的对称关系R时，很容易证明它R在它真正成立的地方成立，但很难证明它在它不成立的地方不成立。也许有比inversion在这种情况下提取矛盾更好的策略，但我不确定它可能是什么。

有什么想法吗？

我很难理解什么应该是一个简单的概念。我在 MATLAB 中构造了一个实数对称向量。当我在 MATLAB 中进行 FFT 时，结果具有重要的虚部，尽管傅里叶变换的对称规则表明实对称函数的 FT 也应该是实数和对称的。我的示例代码：

结果：

没有组合(i)fft或(i)fftshift导致实对称向量。我已经尝试过偶数和奇数 N （N = 2^8vs. N = 1+2^8）。

我确实尝试查看k+flip(k)并且有一些残差在 的数量级上eps(1)，但是这些残差也是对称的，并且 FFT 的虚部不是在 的数量级上以模糊的形式出现eps(1)，而是具有与实部相当的幅度。

我错过了什么明显的东西？

我错过了令人眼花缭乱的事情：

FFT 不是对所有空间的积分，因此它假设一个周期信号。上面，当我选择偶数时，我复制了周期中的最后一个点N，因此没有办法将它移动以在没有分数索引的情况下将零频率放在开头，而分数索引不存在。

关于我的选择k。这不是任意的。我试图解决的实际问题是生成一个模型 FTIR 干涉图，然后我将用 FFT 得到一个光谱。k是干涉仪行进的距离，它被转换为波数中的频率。在实际问题中会有各种比例因子，因此生成函数 V 将产生物理上有意义的数字。

我正在寻找一种方法，通过语言R中的成对索引来索引对称矩阵的下三角向量。这是一些解释性代码：

背景

M是一个n时间n成对矩阵，这里有随机数据（只是为了显示）：

数据

我的数据 ( x) 是矩阵的下三角向量M：

我要提取的索引对存储在一个名为的向量中i：

目标

我现在的目标是从下三角向量中提取对，如下面的矩阵示例所示。

我的解决方案

由于在我的情况下M不可用并且我不想从x（内存问题）生成它，我创建了以下索引函数f：

结果

最后，我的问题：

在函数的 R 中是否有更优雅或已经内置的版本f，也许也不需要n作为参数，从长度计算它x？

先感谢您。

斯文

我正在尝试从对称 nat中的客户端将UDP数据包发送到公共服务器。我能够向服务器发送数据包但是我希望服务器在对称锥形 nat 下向客户端发送数据包。我该如何解决这个问题？请帮我。