关于公理集合论的一些注记

一般人们把Bernays-G(?)de1(BG)系统中的类和Zerme1o-Fraenke1(ZF)系统中的集合相对应,从而认为前者既恢复了素朴概括公理又只使用有限条公理,远比后者优越.其实BG系统对集合的定义不大符合直觉,又使用两种变元,相当复杂,值得改进.而且BG中的类相当于ZF中的公式,BG中的集合才相当于ZF中的集合,因此所谓BG恢复了素朴概括公理的说法是不对的.如果我们把ZF集合论建基于二级谓词演算之上,那末ZF系统也只使用有限条公理.本文将说明建基于二级谓词演算的ZF系统,无论从概念(意义)上或形式推导上都优于BG系统.     

防核辐射挖掘机视窗的结构设计

研制防核辐射挖掘机时,其铅玻璃视窗的结构设计是要解决的一个关键问题。通过开展铅玻璃ZF506和ZF6的γ射线辐照和阳光照射的实验,最终确定制作防辐射挖掘机的视窗要用铅玻璃ZF6。通过查阅文献和实验研究,确定在铅玻璃视窗的外侧增加6 mm厚的K509玻璃。ZF6铅玻璃的机械性能实验研究结果说明铅玻璃视窗的安装需要增加减震装置,通过在防核辐射挖掘机上开展实验,验证了铅玻璃视窗结构的可靠性。     

荧光假单胞菌ZF11对邻苯二甲酸二丁酯生物降解的动力学特征

生物降解是邻苯二甲酸酯类化合物分解的主要途径.从各种微生物栖息地分离的菌种,对邻苯二甲酸酯类有机污染物及其中间产物均具有一定的降懈作用,并均遵循一级动力学模型.本文通过驯化富集培养,从处理焦化厂废水的活性污泥中分离出1株邻苯二甲酸酯降解菌(荧光假单胞菌ZF11,Pseudomonas fluorescens ZF11),研究了P.fluorescens ZF11对邻苯二甲酸二丁酯(Di-n-butyl Phthalate,DnBP)的降解过程;探讨了P.fluorescens ZF11对DnBP的降解动力学模型.     

K-Suslin树同ZF+┐AC的协调性问题

本文研究K—Suslin树(K>ω_1)同ZF+┐AC的相对协调性问题。证明了这样的结论:“存在K—Suslin树+ZF+┐AC”(K>ω_1且为后继基数)相对于ZF系统是协调的。证明方法是在ZFC的一个可数传递模型M(M中存在K—Suslin树T)和其generic扩张M[G]之间构造一个模型N,即M(?)N(?)M[G],使得在N中T仍为K—Suslin树且N(?)+ZF+┐AC,于是便有N(?)存在K—Suslin树+ZF+┐AC。该问题的证明过程中主要采用了力迫法。     

杨树MAGPIE和JACKDAW基因克隆、表达及蛋白互作研究

利用RACE技术从杨树不定根中克隆获得PeMGP和PeJDK基因全长cDNA序列,分别包含1 434 bp和1 518 bp长度的开放阅读框。两者都含2个内含子,其氨基酸序列均有4个保守结构域:2个C2H2型锌指结构域ZF1(CX2-4CX3FX4LX2HX3-5H)和ZF2(CX4CXnHXnX4H),2个C2HC型锌指结构域ZF3(CX2CXnHX3C)和ZF4(CXCXnHX3C)。在根茎叶中均检测到PeMGP和PeJKD基因的表达,但它们在杨树不定根发育过程中具有动态的表达模式。杨树原生质体瞬时表达揭示,PeMGP和PeJDK蛋白都定位于细胞核,两者在细胞核发生相互作用。     

杨树MAGPIE和JACKDAW基因克隆、表达及蛋白互作研究

利用RACE技术从杨树不定根中克隆获得PeMGP和PeJDK基因全长cDNA序列,分别包含1 434 bp和1 518 bp长度的开放阅读框。两者都含2个内含子,其氨基酸序列均有4个保守结构域:2个C2H2型锌指结构域ZF1(CX2-4CX3FX4LX2HX3-5H)和ZF2(CX4CXnHXnX4H),2个C2HC型锌指结构域ZF3(CX2CXnHX3C)和ZF4(CXCXnHX3C)。在根茎叶中均检测到PeMGP和PeJKD基因的表达,但它们在杨树不定根发育过程中具有动态的表达模式。杨树原生质体瞬时表达揭示,PeMGP和PeJDK蛋白都定位于细胞核,两者在细胞核发生相互作用。     

空时分组编码多用户系统下ZF解码器设计

提出了一种适用于时变信道下的空时分组编码多用户系统的解码器设计方案.空时分组编码多用户系统下,传统迫零(ZF)解码器设计假定信道准静态衰落.信道时变时,该ZF解码器在解码某用户信号时引入符号间干扰(ISI),且这种干扰随信道时变增大而增加.新解码器基于ZF思想设计,在接收端构造一变换矩阵,作用该矩阵于时变信道矩阵,使之对角化而达到消除ISI影响的目的.理论仿真结果表明,对于各种信道衰落速率,在高信噪比下,传统ZF解码器均出现误码率平层,且信道时变越大,平层越严重,而新解码器不存在平层现象,获得同准静态衰落信道下几乎一致的分集增益,仅有部分编码增益损失;对于信道准静态衰落,两种解码器获得了一样的性能.     

ZF8000/21/38型放顶煤液压支架设计与制造

ZF8000/20/38支架是针对厚煤层设计的一种高工作阻力的支撑掩护式放顶煤液压支架。通过介绍ZF8000/21/38型放顶煤液压支架的设计制造过程,并对支架的主要特点及适应性进行分析,确保了生产的每一道工序在受控状态下顺利完成。     

实体滚切中硬齿面齿轮滚削力的测试研究

滚齿机上实体滚切中硬齿面齿轮是当前具有重大经济意义的一项加工技术。本文介绍了对硬度为HRC36～46(HB332～436)中硬齿面齿轮滚削力的测试结果,分析了各项切削条件变化对滚削力的影响,指出:HRC36～46中硬齿面齿轮的滚削力一般低于同材质软齿面齿轮的滚剖力,在此范围内,不同硬度齿面齿轮滚削力的变化幅度不大,但是,中硬齿面齿轮滚削力的梯度值大大超过同材质软齿面齿轮滚削力的梯度值,因此,滚切中硬齿面齿轮时更应注意滚齿过程的动载特性。测试结果表明:在合理的削切条件下,在普通滚齿机上实体滚切中硬齿面齿轮是完全可能的。     

“ZF法”与液芯加热和轧制

本文是在“ZF法”试验取得成功的基础上,进一步进行的液芯加热和液芯轧制试验研究。文中对比了几种保持钢锭液芯率的方法,指出了“ZF法”的有利条件及其钢锭温度特征。通过现场实际测温及大生产统计数据,得出了“ZF法”锭的实际节能效果。文中还介绍了在实验室用双金属模拟钢锭液芯轧制的结果,得出在现场条件下可轧液芯率≤8％。通过钢锭倾倒法,钢锭直接测温法和冷态模拟法的综合结果,得出ZF6.67吨沸腾钢锭的模内全凝时间为130分钟左右。并根据现厂实际条件制订了该锭型的新加热制度,从而使钢锭平均装炉温度达到了1006℃,液芯加热率达到88.2％,均热炉生产能力提高42.8％,烧损降低0.7％、燃料消耗降低46％。     

不同滚揉腌制工艺对野鸭腿肉品质的影响

以野鸭腿肉为原料,对其分别进行常规腌制、常压滚揉腌制、加压滚揉腌制、真空滚揉腌制以及呼吸滚揉腌制五种方式进行处理,对比研究五种腌制工艺对野鸭腿肉品质的影响.结果表明,加压滚揉腌制对野鸭腿肉肉色改变最为明显.不同滚揉工艺处理的野鸭腿肉腌制出品率均明显高于常规腌制的腌制出品率,而蒸煮损失率明显低于常规腌制.加压滚揉的野鸭腿肉腌制出品率最高,真空滚揉的野鸭腿肉蒸煮损失率最小,加压滚揉和真空滚揉的最终产品得率基本相同.不同腌制处理的野鸭腿肉最终产品感官评定值基本相同,加压滚揉腌制8 h产品感官评定值达到最大,可有效缩短野鸭腿肉的腌制时间,比常规腌制可缩短时间75%.     

一个偏序集不动点定理

在没有无限性公理的ZF集论中给出一个偏序集不动点定理.     

影响轴齿轮滚齿加工精度原因分析

通过对轴齿轮滚齿加工精度的分析,找出影响滚齿加工精度的因素,以便提高滚齿加工质量。     

关于DQ-500-25斗轮机堆取疗饥料机机斗粘煤的处理

针对DQ-500-25斗轮机机斗粘煤原因进行分析,发现引起机斗粘煤的主要原因是原煤粒径较小,原煤水份较高和斗轮机运行时间少引起的.斗轮机大修期间对机斗进行改造,粘煤问题得以消除.     

高速滚齿的动态分析

研究了高速滚齿滚削力与振劝的关系，切削用量及切削方式对滚削力的影响，得出结论为：滚削和的交变作用引起滚切过程的受迫振动，滚切过程的物性形自激振动条件，可通过刀具，切削用量及切削方式的合理选用防止自激振动出现，避免共振与迫振，使滚削力的变化趋于平缓。     

ZF15000/28/52型放顶煤液压支架液压系统故障分析及技术改造

本文扼要介绍了ZF15000/28/52型液压支架液压系统的常见故障及改进技术。     

非圆齿轮滚齿切削力波动特性及抑制研究

滚齿是非圆齿轮加工实现的重要方法,用于节曲线外凸直或斜齿非圆齿轮的高效高精制造,节曲线非圆特性导致滚切力呈现较大幅度波动,影响制造过程稳定性及加工精度,是非圆齿轮滚齿领域需要研究的重要课题。文章基于单位切削力计算原理及圆柱齿轮滚切力的研究成果,采用单次断续切削产生的未变形切屑体积表征滚切力波动态势,构建非圆齿轮滚切未变形切屑模型的获取方法。选取大偏心率卵形齿轮为研究对象,分析滚刀恒速不窜刀联动加工模型所产生的滚切力波动特性,得出该联动加工模型所对应峰值切削力的波动规律。提出一种滚刀恒速并附加窜刀的联动加工模型,该模型具有恒定弧长增量加工特性,对抑制整周滚切力波动具有重要意义,并开展不同滚切深度所对应滚切力波动规律研究,研究结果为非圆齿轮滚切方案的优化制定提供一定的理论依据。     

滚切剪特点及关键参数分析

简述了滚切剪的分类及剪切工作原理,重点阐述了滚切剪的特点,并对滚切剪关键参数的确定进行了分析。     

滚齿加工精度和效率的研究分析

滚齿是一种常用的齿轮加工工艺,在高精度滚齿机上,采用精密滚刀,可以加工出5到6级精度的齿轮。本文结合多年对齿轮制造理论的研究,对保证滚齿精度的前提下,对提高齿轮滚齿加工效率的方法及途径进行了研究分析。     

考虑弹性变形的行星滚柱丝杠副滚滑特性

为了揭示行星滚柱丝杠副滚滑机理,基于滚柱螺纹球面牙型特点,采用等效球的方法,分别建立了未考虑弹性变形和考虑弹性变形的行星滚柱丝杠副滚滑分析模型.通过求解两侧接触点的相对滑动速度,研究其滚滑特性.采用滑-滚比表征两接触侧滑动量与滚动量的相对关系,分别计算了两接触侧滑-滚比,并重点研究了螺纹结构参数中接触角、螺旋升角和滚柱螺纹牙数对两接触侧滑-滚比的影响规律.分析结果表明,考虑弹性变形,丝杠与滚柱接触侧会产生相对滑动,且两接触侧沿螺旋线切向产生的相对滑动速度最大;接触角和螺旋升角对两接触侧滑-滚比的影响趋势均相反,增大螺旋升角更有利于降低螺母侧滑-滚比;滚柱螺纹牙数对两接触侧滑-滚比的影响较小.