Based on analyzing features of twist surfaces, a concept of interface is introduced in.
通过对扭面的特点分析 ,创造性的提出分界面及其定型公式这一崭新概念 ,揭示了扭面与 2端矩形截面及梯形截面之间的内在关系 ,对于指导扭面的正确施工放线 ,具有很强的实际意义 ,并可由此获得较高的经济效益。
To unite traditional drawing procedure of PC steel wire with the stabilizing treatment procedure into a non-torsion drawing continuous production line.
将传统生产预应力钢丝的拉拔工序和稳定化处理工序合并成一条无扭拉拔连续作业线,采用驱动轮直径为 1 200mm的拉丝机,减少拉拔中钢丝产生的内应力;中频感应加热去应力回火热效率高;水平施加预张力,张力轮直径 3 500mm;全线由微机控制线速度、加热温度和预张力,人机界面操作,提高生产效率、成材率和钢丝内在质量,降低原材料消耗和电能。
In first order form language L={+,0},We disscuss exchange group in the model theory in order to testify that the integer ring arbitrarily base number torsion-free module gains all existence of no free module which is base number torsion-free module,and nonexistence of Axiom of Finite exchange simple group,but that prime number P order exchanges simple group theory is category theory.
在一阶形式语言L={+,0}中,用模型理论对交换群进行研究,证明了整数环上的任意基数无扭模,都存在基数非自由模的无扭模,不存在有限交换单群公理,而素数P阶交换单群理论是范畴理论。
