唐钢二炼铁厂1号高炉(1260m^3)由于采取了精料、合理装料制度、及时加装冷却器、科学补炉、钛矿护炉等措施,使一代高炉寿命达到9年零3个月,实现了高炉长寿。
可满足性求解(SAT)问题被广泛应用于软件验证、理论证明、微处理器验证、模块验证等领域,工业应用实例问题求解变量规模已达到百万数量级,传统的基于CPU的串行和并行SAT求解方法已无法满足如此规模的问题求解。不同于以往的并行SAT研究,利用GPU并行处理的特点和SAT算法的特点,将SAT算法中最耗时的BCP(Boolean Constraint Propagation)过程并行化,设计实现了基于GP
太平洋——“和平之洋”公元1513年9月26日,西班牙探险家巴斯科·巴尔沃亚,命名此洋为“南海”。1520年,葡萄牙航海家麦哲伦,率领船队寻找通往东方的航线。经过4个多月的
(接上期)五、动力系统常见故障及处理方法1.动力电池系统电动汽车中高压系统的功能是确保整车系统动力电能的传输,并随时检测整个高压系统的绝缘故障、断路故障、接地故障和
在保持MgO化学成分总量不变的前提下,研究了镁砂细粉、SiO2含量对Al2O3-尖晶石浇注料性能的影响.结果发现:适量的镁砂细粉和SiO2微粉能提高浇注料强度,降低显气孔率,提高抗渣
煤矿浅部工作面开采时面临地表水的威胁,研究地表水的分布及富集位置、深度对开采致关重要。以阳邑煤矿1981工作面为例,介绍了瞬变电磁法在研究地表水分布及富集位置、深度上
上个世纪初,在南洋群岛的婆罗洲、苏门答腊、赛莱倍斯等地的河流中,栖息着很多鳄鱼。尤其是在一些大河的入口处,鳄鱼更多。鳄鱼的食物为鱼类及动物等。有些时候,它们也会向人
论述了高碳钢线材控冷工艺以及力学性能模型的研究结果,分析了某些因素的影响,简单地评述了近年在钢材组织性能预报方面取得的成果及未来的发展趋势.
阿豆家境贫寒,常常勒紧腰带过日子。虽然如此,自从与网络有了第一次亲密接触以后,便深陷其中而不能自拔。囊中羞涩,他也在所不辞,且常说:“生命诚可贵,爱情价更高。若为上网