Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

螺纹是在圆柱工件表面上,沿着螺旋线所形成的具有相同剖面的连续凸起和沟槽。在机械制造 业中,带螺纹的零件应用得十分广泛。用车削的方法加工螺纹,是目前常用的加工方法。在卧式 车床(如CA6140)上能车削米制、英寸制、模数和径节制四种标准螺纹,无论车削哪一种螺纹, 车床主轴与刀具之间必须保持严格的运动关系:即主轴每转一转(即工件转一转),刀具应均匀地 移动一个(工件的)导程的距离

本文介绍了应用IBM-PC微型计算机的多路数据采集和处理系统的工作原理,硬件结构及系统软件。该系统具有输入通道多,采样频率可调,采样数据量大,输出显示灵活等特点,已成功地应用于实测工作

介绍应用几何溶液模型法预测三元系表面张力的新方法。由于引用了有理函数对所用的二元实验数据进行了优化处理,使计算精度大为提高。本方法用于Cu-Ag-Au体系后,所得结果与文献符合较好,说明这种处理方法是可行的

高速切削(HSM或HSC)是二十世纪九十年代迅速走向实际应用的先进加工技术,通常 指高主轴转速和高进给速度下的立铣,国际上在航空航天制造业、模具加工业、汽车零件加 工、以及精密零件加工等得到广泛的应用。高速铣削可用于铝合金、铜等易切削金属和淬火 钢、钛合金、高温合金等难加工材料,以及碳纤维塑料等非金属材料

低应力灰铸铁的研究和应用

应用俄歇能谱仪(AES)研究了Ni-Cr-Co基高温合金中微量Mg的偏析规律。结果表明,偏析于晶界的Mg具有平衡偏析的特性;同时Mg的这种偏析在900℃附近速度最快。分析认为,这是由于偏析热力学和动力学共同控制的结果,也与该合金中碳化物M6C在晶界上析出有内在联系。研究中还发现,Mg在晶界上分布是不均匀的,且这种不均匀性随时效时间的延长而增加。研究中还应用透射电镜能谱(TEM)分析了Mg的分布,得到与AES类似的结果,进一步验证Mg在奥氏体晶界偏析的上述特性

本文总结了铁素体-马氏体双相钢在磁化过程中由于巴克好森跳跃所产生的巴克好森噪音和磁声发射信号的特征,以及材料的组织结构、应力、应变对信号的影响,探讨了巴克好森信号产生的机制以及与材料变形的内在联系

对在700℃,迭加压力过载峰Sp=-196MPa的复杂波形载荷作用下,试样的显微断口形貌进行了分析。由于Sp的作用使得疲劳条纹呈现有规律性的半圆弧形宽间距条纹,借助于它,测得疲劳裂纹扩展速率da/dN与ΔK的关系服从Paris公式;疲劳裂纹Ⅱ阶段与Ⅰ阶段扩展交替出现的形貌证实了:在大应力条件下,裂纹的扩展并不是长裂纹的延伸,而是短裂纹的\超前开动\及\跃迁式\连接过程。由于Sp的作用,断口上出现了三种不同形貌的\台阶\结构及宽条纹上的\挤入\、\挤出\、\二次裂纹\形貌,证实了疲劳条纹形成的滑移机制及形成上述形貌的晶体学位向关系。裂纹的疲劳蠕变混合形貌反映了高温下交互作用的影响

为了更好地了解镁电解中及熔盐氯化中铁的行为,对铁离子在氯化物中的化学平衡作了研究。求出在PCl3=101.325kPa和实验温度下,反应FeCl_2(熔)+1/2Cl2(气)=FeCl3(熔)的表观平衡常数K。在PCl2=0和实验温度下,FeCl3完全分解。K的测量值与回归方程的预报值很吻合。熔盐体系、氯分压和温度对K值影响较大,总铁浓度的影响稍小一些。在其他条件相同时,体系3的K值最大,这表明,用光卤石作为电解质时,镁电解的电流效率会低一些,而氯化钾含量高时,在熔盐氯化中铁的催化作用较好