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

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