It is proved that there exists a formula of first-order logic with only one non-logical symbol, a binary function symbol Ap signifying application, which uniformly defines inclusion in all BF(E)-models Some definabili...It is proved that there exists a formula of first-order logic with only one non-logical symbol, a binary function symbol Ap signifying application, which uniformly defines inclusion in all BF(E)-models Some definability results give an isomorphism between the group of bi-stable Ap -automorphisms of A and the group of permutations of A; it also implies that each BF(E)-model is determined, up to isomorphism, by the cardinal of its set of atoms.展开更多
针对现有几何声学的方法对封闭空间内声场进行预测时在中低频段出现较大误差的问题,该文提出一种近似圆锥声束追踪法和相干反射场理论相结合的声场预测新模型。在近似圆锥声束追踪法基础上,考虑声束轴线在边界多次反射时声压和相位的改...针对现有几何声学的方法对封闭空间内声场进行预测时在中低频段出现较大误差的问题,该文提出一种近似圆锥声束追踪法和相干反射场理论相结合的声场预测新模型。在近似圆锥声束追踪法基础上,考虑声束轴线在边界多次反射时声压和相位的改变,最后计算不同声波之间的干涉效应,建立一种适用于任意形状封闭空间的声场预测相干模型。利用该模型对某一矩形封闭空间进行声场预测,通过对边界元法、Raynoise软件相干和非相干算法的预测结果和本模型的数值模拟结果对比。结果表明,文中提出的方法和边界元法的计算结果在中低频段非常吻合,两者的计算结果平均绝对误差为1.1 d B。本模型在中低频率下与同样考虑了相位的Raynoise相干算法相比有更好的准确性,在较高频率上,本模型计算结果与Raynoise相干算法计算结果非常吻合。展开更多
基金Project partially supported by a post-doctor grant of the Chinese Academy of Sciences.
文摘It is proved that there exists a formula of first-order logic with only one non-logical symbol, a binary function symbol Ap signifying application, which uniformly defines inclusion in all BF(E)-models Some definability results give an isomorphism between the group of bi-stable Ap -automorphisms of A and the group of permutations of A; it also implies that each BF(E)-model is determined, up to isomorphism, by the cardinal of its set of atoms.
文摘针对现有几何声学的方法对封闭空间内声场进行预测时在中低频段出现较大误差的问题,该文提出一种近似圆锥声束追踪法和相干反射场理论相结合的声场预测新模型。在近似圆锥声束追踪法基础上,考虑声束轴线在边界多次反射时声压和相位的改变,最后计算不同声波之间的干涉效应,建立一种适用于任意形状封闭空间的声场预测相干模型。利用该模型对某一矩形封闭空间进行声场预测,通过对边界元法、Raynoise软件相干和非相干算法的预测结果和本模型的数值模拟结果对比。结果表明,文中提出的方法和边界元法的计算结果在中低频段非常吻合,两者的计算结果平均绝对误差为1.1 d B。本模型在中低频率下与同样考虑了相位的Raynoise相干算法相比有更好的准确性,在较高频率上,本模型计算结果与Raynoise相干算法计算结果非常吻合。
