GH4169合金低压涡轮机匣异形环锻件胀形工艺

为了解决低压涡轮机匣异形环锻件轧制成形精度低、余量大、材料利用率低、周期长等问题,采用数值模拟与工艺试验试制相结合的方法,研究了GH4169合金低压涡轮机匣异形环锻件胀形工艺。模拟研究阐明了胀形变形量对低压涡轮机匣轧制成形锻件的应力、应变、温度分布及均匀性的影响规律,综合考虑建议胀形变形量取1.5%较为合理;胀形过程的工艺试制研究表明,通过胀形工艺对轧制成形的GH4169合金低压涡轮机匣异形环锻件进行整形,可显著降低锻件的椭圆度、提高锻件的尺寸精度,减小锻件余量并提高余量均匀性,提高材料利用率,同时可有效提高锻件的力学性能及其均匀性。锻件余量均匀性的提高也可有效减小低压涡轮机匣零件的机加工变形。     

齿轮加工中的磨齿修形方法的研究

齿轮作为各类机械传动系统的核心,在工作过程中的稳定性和可靠性直接决定着机械设备运行的可靠性和安全性。因此,针对机械设备对传动精度和寿命要求的不断提升,提出了一种新的磨齿修形方法。运用该方法,极大地提升了齿轮的齿形精度,能够显著降低在啮合过程中的齿顶边缘接触现象,降低振动冲击,提升齿轮的使用寿命。     

Z100节点采集系统主要辅助软件功能介绍及注意事项

近年来,随着勘探技术的发展,地震勘探正在从传统的有线仪器(以Sercel400系列为代表)向新型的无线采集仪器(以Fairfield公司节点仪器产品为代表)过渡。经过多年的野外勘探应用,Sercel400系列仪器的使用和维护已经积累大量的经验和操作技巧,而新型的节点仪器在这方面比较欠缺。本文作者以Fairfield公司Z100节点仪器系统为代表,介绍了实际生产中接触到的软件和功能,并对遇到的问题进行总结,给大家提供参考,使大家对其Z100有初步的了解。     

高频移动式C形臂X射线机故障检修

本文立足于实际,结合过往有益经验,多层面探讨高频移动式C形臂X射线机故障检修的主要方式方法,旨在为后续故障检修工作的开展提供借鉴参考。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

浅析“爱莲壶”的创作理念和美好寓意

前言:紫砂壶作为当下人们饮茶活动的必备茶器之一,已然占据了相当重要的地位。这源于紫砂壶所用材质的优秀特性。紫砂壶的胎质选用的矿料是紫砂,这是一种相当珍贵和品质优秀的矿料。用这种矿料制作的紫砂壶在烧成后,胎体中呈现特有的双气孔结构。这种特性使得紫砂壶在用作茶事时,既不会很烫手,又有很好的持温效果,更重要的是,在微观视线下,胎体里面那些蜿蜒曲折的,或相互连接的狭长形气孔,或相对独立的封闭式气孔,使它具有一种“透气不透水”的特性。这种特性,对于泡茶时的“发茶性”和“适茶性”都是起到决定性作用的,而且,也是其他材料的茶具所不具有的卓越属性。     

关于外文字符的字体

1.正体外文字母的常用场合(1)计量单位和SI词头符号。(2)数学式中的运算符号和缩写号,如:微分号d,有限增量符号Δ,变分号δ,极限lim,行列式det,最大值max等。(3)其值不变的数学常数符号:圆周率π,自然对数的底e,虚数单位(i电工中常用j)。(4)量符号中为区别其他量而加的具有特定含义的非量符号和非变动性数字符号角标,如势能EP,宏观总截面Σtot,转置矩阵AT等。