We discuss how to generate a dynamical Dp-brane with a topology of Rp-2×S2 from N D(p-2)-branes with Rp-2 topology with......

以船舶为对象，研究了摇摆运动下的捷联惯导姿态解算问题，分析了不可交换性误差产生的原因，提出了消除该误差的等效旋转矢量方法。仿真......

We use a many-sorted language to remove commutativity from phasesemantics of linear logic and show that pure noncommutat......