分离公式相关论文
该文研究完全无穷叉树的一阶理论,证明了完全无穷叉树理论有量词消去的性质,利用归纳的方法,给出了消去量词的基本算法.该文研究了......
本文在假定堤前波浪不发生破碎和空间上均匀稳定条件下,讨论了直立堤前入、反射波谱的分离.给出了波浪正向和斜向入射都适用的分离......