On the verification of polynomial system solvers

We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are highly resource consuming and apply only to polynomial systems which are easy to solve. We exhibit a new approach which manipulates constructible sets represented by regular systems. We provide comparative benchmarks of different verification procedures applied to four solvers on a large set of well-known polynomial systems. Our experimental results illustrate the high efficiency of our new approach. In particular, we are able to verify triangular decompositions of polynomial systems which are not easy to solve.     

A-TIG焊中氧含量对熔池流动方式影响的数值模拟

建立了三维移动热源作用下焊接熔池的数学模型,模拟了不同氧含量下熔池中的速度场和温度场.结果表明,氧化物活性剂中的氧元素改变了熔池中的表面张力温度系数,从而影响熔池中的流动方式,是熔深和深宽比增加的重要原因;随着氧含量的增加,深宽比和熔深急剧增加,熔宽减小.当氧含量超过150×10-6时,增加氧量,熔池表面最高温度减小,并逐渐趋于一定值;当氧含量超过200×10-6时,深宽比、熔深和熔宽趋于一定值;氧含量小于300×10-6时,熔池表面最高温度高于正表面张力温度系数作用的温度范围,正、负表面张力温度系数在熔池中同时存在.当氧含量超过300×10-6时,熔池表面最高温度处于正表面张力温度系数作用的温度范围之内,熔池中的表面张力温度系数为正值;随着氧含量的增加,在熔池中出现数目、大小、方向、位置不同的涡流,当两个涡流的方向均由熔池边缘流向熔池中心的环流时,涡流有效地把电弧能带到熔池底部,产生较大的熔深和深宽比.     

磁场观念与城市景观设计

从物理磁场、心理磁场、文化磁场三方面介绍了对于环境景观的三层含义,分析了磁场的哲学依据,并对磁场在景观设计中的运用进行了阐述,指出磁场的观念和场所精神对于当今的建筑和景观设计有极其重要的意义。     

改性聚丙烯纤维微膨胀混凝土在超长结构工程的研究与应用

目前,在结构工程中开裂已经是相当普遍和严重的问题,而大部分的裂缝发生在早期,且对混凝土耐久性影响深远.应用改性聚丙烯纤维和膨胀剂双掺技术,通过砂浆、混凝土的平板试验,考察聚丙烯纤维微膨胀混凝土对控制混凝土早期变形裂缝的效果,进一步通过对其自由收缩率、限制膨胀率、力学性能等技术指标的测试,来分析控制早期裂缝的原因,以此确定北京出版发行物流中心项目超长结构墙体的最佳配合比及工艺参数,并且通过实际验证,证明是一种有效控制早期裂缝的方法之一,并且对控制超长结构裂缝起到一点借鉴作用.     

制备膨润土润滑脂的影响因素

介绍了膨润土润滑脂的制备机理,并讨论了覆盖剂,助分散剂和后处理工艺对膨润土润滑脂性能的影响。     

复配型乳化剂对SBS乳化性能影响的研究

SBS乳化改性沥青因其优良的渗透性、抗疲劳性和防水性已得到广泛的应用,但是为了解决SBS与沥青相容性的问题,需要制备性能良好的SBS乳液。选择了三种阳离子乳化剂以及非离子和阴离子乳化剂,按不同的比例分别考察了阳离子乳化剂与非离子、阴离子乳化剂复配时对SBS的乳化效果,同时也和阳离子乳化剂单独使用时的乳化效果进行了对比。试验结果表明:单一的阳离子乳化剂对SBS的乳化效果不如复配乳化剂得到的效果好;阳离子、非离子、阴离子三种类型的乳化剂按质量比为3:1:1复配时对SBS乳化效果最好,但其对乳液的稳定性贡献不大,在此基础上加入一定量的稳定剂,可以制备出性能优良的SBS乳液。     

旋滴法测定界面张力实验现象分析与方法探讨

针对TX550A型旋滴法界面张力仪测定界面张力过程中出现的内相油滴回缩(界面张力值由初期迅速下降然后上升)现象,分析了该现象产生的机理,考察了油滴体积对界面张力的影响,提出了正确的操作步骤。结果表明,内相油滴体积的回缩与表面活性剂溶液的增溶作用和油水界面间存在的Marangoni对流有关。用旋滴法测定界面张力开始时,应逐渐提高仪器转速,同时缓慢地调整仪器的平衡,以防止测试管中油滴因快速左右移动而产生不正常形变。在界面张力测定过程中,内相油滴体积相对较小时,测定的界面张力值比较准确。采用大测试管(2500μL)测定时,注入内相油滴体积控制在1~3μL;采用小测试管(300μL)时,注入内相油滴体积控制在0.3~1μL。对于4种特殊形状油滴直径和长度的测量,提出了合理的测量方式。     

提高拉丝模寿命的探讨

通过对拉丝模磨损机理、国内外拉丝模材质、孔型设计、技术标准分析，提出提高拉丝模寿命的有效途径。     

实验室排风柜面风速测试方法的对比研究及实验验证

面风速是排风柜性能的重要指标,本文对各国排风柜面风速测试标准进行总结和分析,比较了在测试条件、测试仪器、测试方法、结果的分析等方面的差异.通过构建的实验台对排风柜进行面风速的实测,根据多台不同厂家不同型号的排风柜面风速的实测结果,研究分析面风速分布特点,指出了实际测试中操作面上需重点关注的区域.