共查询到20条相似文献,搜索用时 187 毫秒
2.
3.
4.
5.
6.
7.
8.
9.
10.
将非交换BR0代数形式化,从而简化它的定义,使其更具有逻辑代数的特征.利用逻辑代数与其命题演算系统之间存在的完备性思想,通过对非交换BR0代数定义的进一步研究,得出与它相对应的形式系统NBL^*的公理,进而得到其上的[F]完备性和广义演绎定理成立,即NBL^*形式系统与非交换BR0代数之间具有一定的和谐性. 相似文献
11.
14.
本文阐述了高支薄型轻弹麻类织物研制的原料选配,纺纱,织造,后整理等工艺技术要点,针对相应关键技术进行了试验研究和探索。 相似文献
15.
Sulzer R(?)t1公司生产的具有10t打纬力的重型织机已用于农业、建筑和工业部门所需的特种织物生产中.造纸机依靠其良好的特性每分钟能生产长度为2000m的纸张.这意味着纸张以120km/h的速率离开机器.由于浆液中纤维含量低于2%,所以经过网前箱后,在所谓的双重成形轧辊中,大量 相似文献
16.
17.
18.
19.
在对平纹织物的几何结构进行理论分析的基础上,应用数学方法推导了织物极限密度的数学表达式,归纳了不同原组织的极限经纬纱密度范围,并通过实际试织,在织机上织造了能正常生产的最大密度织物,还对造成实际密度与理论密度差异的原因进行了分析。 相似文献
20.
简述涤棉阻燃整理概况,给出防静电织物的阻燃整理工艺,并对产品的防静电性能、阻燃性能和物理机械性能进行测试分析,认为该阻燃整理工艺生产的涤棉阻燃防静电织物达到了满意的防静电和阻燃性能。 相似文献