格子波尔兹曼方法(Lattice Boltzmann method,LBM)和浸入边界方法(Immersed boundary method,IBM)皆为近年来发展的可替代Navier-Stokes(N-S)方程求解复杂流体力学问题的数值模拟方法。本文采用浸入边界-格子波尔兹曼方法(IB-LBM),将IBM作为一种边界处理格式应用到LBM中,模拟了静止单圆柱及并排双圆柱绕流,与文献对比结果吻合良好,证明该方法具有模拟复杂边界物体绕流的能力。与采用虎克定理、直接力法计算体积力项的传统方法不同的是本方法运用反

该资源为吉培荣、佘小莉编《电路原理》的PPT。该书作者按跳出地球看太阳的思维写出该书，说清了许多通常按站在地球上看太阳的思维写出的书中许多说不清的事情。该书作者指出了邱关源《电路》中存在的多处问题（见《电气电子教学学报》的多篇论文。

关于半定规划的基本内容，一片PDF文档，里面有具体的半定规划应用等

中心极限定理指出，在给定的某些条件下，足够多的独立随机变量的均值将近似正态分布，每个变量都具有有限的均值和方差。

时域采样理论与频域采样理论是数字信号处理中的重要理论，本文首先简单介绍信号处理过程中时域采样和频域采样的原理，接着基于NI LabVIEW 2015平台，设计开发了采样定理验证系统，在时域采样系统中，对50 Hz的正弦信号，采用100 Hz和99 Hz两个信号对采样前后的波形和频谱进行分析，验证系统的可靠性，在频域采样系统中，通过对傅立叶变换之后的信号进行102点和97点采样之后的结果，来验证采样点数与原信号点数关系。通过该虚拟系统，可以很好地理解并加深对时域和频域采样定理的认识，激发学生对数字信号处理理论的兴趣。

西电试验台 PAM调制与抽样定理实验报告！为了便于大家下载直接上传的是我自己做的实验结果，部分结果可能有误，还烦请体谅

文档为主定理分析，主要用于递归形式，并且含有大量练习题和答案帮助记忆和消化。

强连通图与单向连通图的判定定理 定理14.8 设有向图D＝，V＝{v1,v2,…,vn}。D是强连通图当且仅当D中存在经过每个顶点至少一次的回路。 证明 充分性显然。 下面证明必要性。 由D的强连通性可知，vi→vi+1，i＝1,2,…,n-1。 设Гi为vi到vi+1的通路。 又因为vn→v1，设Гn为vn到v1的通路，则Г1,Г2,…,Гn-1,Гn所围成的回路经过D中每个顶点至少一次。 定理14.9 设D是n阶有向图，D是单向连通图当且仅当D中存在经过每个顶点至少一次的通路。 证明 略。 问题 设有向图D是单向连通图，但不是强连通图，问在D中至少加几条边所得图D 就能成为强连通图？

定理：（Kolmogorov存在性定理） 设分布函数族 满足以上提到的对称性和相容性， 则必有一随机过程 恰好是 的有限维分布族，即： 定理说明： 的有限维分布族包含了 的所有概率信息。

Moyal定理：