第469章 还没证明？那现在就证明！（2/2）

范国政表情有一瞬间的错愕，他以为自己听错了。

其他人也是一愣，这陈研究员是受的打击太大说胡话了，还是心胸开阔，年纪虽小却能海纳百川？

此时的陈望丝毫不在意范国政刚刚说的话和他的態度，双眼激动的看著范国政，“多谢范总工提醒，线性反馈移位寄存生成的长序列的偽隨机特性確实要证明出来让人才能更直观的明白！”

虽然这在国际上应用已经十分广泛，但確实还没有被证明出来，陈望是从算法角度確定它是偽隨机性，自然没有想过要证明。

现在经范国政提醒才突然反应过来证明之后確实能更好的选择和设计性能优良的偽隨机序列。

“线性反馈移位寄存器生出的最大长度序列是最重要的序列，也就是m序列，其实我们不用完全证明出它的偽隨机特性，只要能证明m序列0、1分布在数学上是均衡的，嗯，换个专业的说法·····”

又开始发懵的眾人：…….这已经够专业了，还要怎么专业？

然后他们就听到了更专业的。

“也就是m序列的二阶循环相关特性是否理想，当然这个理想不是我们生活中常用词的意思，而是特定数学定义下的理想，也就是它的自相关函数是二值的！

因为这种特性能是m序列在同步和测距应用中极其出色，几乎没有模糊性，所以我们现在就只需要证明m序列的自相关函数是二值就行！”

“对於一个周期为·····”陈望直接起身走到前面的黑板前拿起粉笔写下了m序列的自相关函数。

为了更直观，还画出了函数图。

“大家从函数图上就能看到，m序列的自相关函数是一个尖锐的峰值。”陈望指著函数图上的峰值说道：“这个峰值特特且易於检测，所以系统可以设置一个閾值，一旦相关值超过这个閾值，就会判定为同步成功。”

陈望说完目光期待的看向眾人。

······眾人开始眼神迴避。

陈望只能自己继续说道：“所以这种有就是有，没有就是没有的特性，使得定时非常精確和可靠，抗干扰能力极强！”

眾人：“原来如此！”

“在接收机用正確的m序列解调时目標信號產生相关峰，被顺利解调，而其他用户的信號就相当於一个错误序列，它们与本地序列的相关性接近-1，非常低。”

陈望又指著函数图，“也就是这一处非峰值处，它是一个非常低且恆定的底噪，所以错误的信號就像背景噪音一样，因此就会被有效抑制。”

“所以m序列这个二值的自相关函数完全就是最理想的特性！”陈望兴致勃勃说完转头看向围观的眾人，“大家说是不是？”

眾人：……好像是，但其实没怎么明白……

陈望又看向范国政，“范总工，这样证明出来应该能够严谨了吧？”

范国政：……