Surface wear resistance properties of Ta＋N implanted W18Cr4V high speed steel

High-speed steel W18Cr4V is commonly used in industries such as blade and mould manufacturers because of its high level of hardness and toughness, red-hardness and resistance. Ion implantation is an effective method to improve the wear resis-tance of W18Cr4V. In our investigation, Ta and Ta+N ion implantation was performed on W18Cr4V high-speed steel. The surface properties after implantation were evaluated by measuring friction coefficients while the carbonyl phase of the surface was ana-lyzed by X-ray diffraction analysis. It was found that the friction coefficients of the treated samples were much lower. Samples implanted with Ta+N had a lower friction coefficients than samples implanted only with Ta. This can be attributed to the formation of a new chemical compound, Fe7Ta3, on both surfaces. An even harder chemical compound, Fe2N, was formed on both sttrfaces of Ta+N implanted samples.     

混凝土板受冲切承载力计算方法探讨

基于试验构件的冲切机理和受力特征,采用刚塑性模型和双剪应力三参数强度理论,对四边支承钢筋混凝土矩形板在矩形受力荷载作用下的冲切承载力进行极限分析,求得混凝土板冲切承载力的理论计算公式.在此基础上,考虑混凝土板中抗弯纵向钢筋的作用,提出混凝土板极限冲切承载力的建议计算公式.与试验数据比较表明,该公式的计算结果与试验结果吻合良好.     

切比雪夫序列初值精度有限时退化为周期序列

深入研究并分析切比雪夫序列的短周期现象,并通过数学证明,对于任意整数阶切比雪夫序列,在初值角度取有限小数时必会退化为短周期序列. 首先,通过证明得到切比雪夫序列退化为短周期序列的等价条件;然后,利用分类讨论的思想证明任意整数阶切比雪夫序列在初值角度取整数时,必会退化为短周期序列;最后,通过数学归纳法将这一结论扩展到任意有限精度初值上,得出切比雪夫序列在初值精度有限时退化为周期序列.     

大跨度切巷锚网索联合支护技术的应用研究

根据黄沙矿2147采煤工作面地质条件,通过理论计算,设计2147采煤工作面切巷的锚网索支护参数,并提出具体的施工工艺,为切巷施工提供了技术依据.切巷的支护效果观测表明,切巷的表面位移量、顶板离层量及锚杆锚固力均控制在切巷围岩变形允许的范围内,切巷锚网索支护效果较好,满足了切巷的服务要求.     

源于纵筋面混凝土劈裂的无腹筋板冲切模型

以工程中常见的配筋率较大（〉0.85）、厚度较小（≤120 mm）的板为对象,通过对冲切破坏特征的观察分析,假定沿纵向钢筋平面,混凝土劈裂所致的纵筋销栓失效为连锁破坏源,建立了新的错动冲切模型并推导了上限解。研究发现,与按搜集到的构件样本总体分析结果相比（均值为1.072,变异系数为0.250）,符合上述特征的试件组,其冲切承载力理论计算值和试验观测值之比的均值变化不大（为1.017）,而变异系数有显著降低（为0.184）,说明所作假定及所建模型用于描述该类板的受力行为是合适的。     

绿色木霉内切葡聚糖酶基因Ⅰ的克隆表达

为深入研究绿色木霉(Trichoderma viride)内切葡聚糖酶(EGⅠ)的特性与功能,利用Northern blot方法分析不同碳源条件下绿色木霉的egⅠ表达,采用RT-PCR方法从绿色木霉T4中克隆egⅠ基因的cD-NA序列,测序与生物信息学分析,并构建诱导型表达载体pYES2-egⅠ,转化酿酒酵母(Saccharomycescerevisiae)INVSc1和H158中表达.结果表明:绿色木霉在含有纤维素的液体培养基中生长,egⅠ高效表达,在秸秆中表达量最高.纤维二糖中表达量相对较低,在葡萄糖、果糖中没有表达.egⅠ基因编码框长度1 377bp,编码459个氨基酸.含有信号肽,为分泌蛋白,属于糖苷水解酶家族7,具有纤维素酶结合域(CBD)和催化域(CD).INVSc1转化子发酵培养48 h达到转录高峰期,60 h达到酶活高峰期,酶活为0.081 6 U/mL,酶活比H158转化子提高32.5%.     

酵母多基因表达载体在纤维素生物转化中应用

构建含酿酒酵母组成型强启动子PGK、G418抗性基因及rDNA片段的整合型载体pScIKP,利用rDNA多个同源重组位点,将外源基因以多拷贝整合到酵母染色体上,无需诱导即可持续表达;利用载体位于表达盒两端同尾酶,可插入多个基因表达盒,实现多基因稳定共表达.为检验共表达情况,反转录从绿色木霉中获得纤维素酶基因eg3和cbh2, 克隆并转化获得重组酵母菌株S.cerevisiae-ec. 该重组酵母能降解羧甲基纤维素形成水解圈;用羧甲基纤维素还原糖法和滤纸酶活力法测定酶活力,其最适温度和最适pH值与所表达单酶相似,表明共表达未影响两种酶的生物学特性;且双酶具有协同作用,能更有效降解非结晶纤维素.pScIKP载体能成功用于多个外源基因共表达和产物协同作用的研究,为构建能直接降解纤维素的酿酒酵母菌株,实现纤维素可再生能源的生物利用奠定了基础.     

基于积分法的热非平衡效应下剪切液膜流的表面波演化模型

当液膜表面同时存在热非平衡效应和切应力作用时,引发液膜流动不稳定的扰动及其影响将更为复杂。基于边界层理论,通过建立气液界面受热非平衡效应和切应力耦合作用的液膜流动的理论模型,采用包含弱非线性项的积分法,推导出热非平衡效应下剪切液膜流的表面波积分演化模型,模型中包括了相变强度、切应力、雷诺数和倾斜角度等不同参数的影响,为分析复杂边界条件下的液膜流的演化特征和稳定性提供了一种可借鉴的理论模型。     

基于混合高斯隐马尔可夫模型的带式输送机堆煤时刻预测方法

提出了一种基于混合高斯隐马尔可夫模型的带式输送机堆煤时刻预测方法。该方法根据传感器采集的带式输送机功率时序数据建立带式输送机运行状态的混合高斯隐马尔可夫模型,基于该模型采用基于图的状态序列遍历算法和基于切普曼-柯尔莫哥罗夫方程的概率转移算法对带式输送机堆煤时刻进行预测:基于图的状态序列遍历算法通过寻找当前状态到堆煤状态的通路确定剩余时间;基于切普曼-柯尔莫哥罗夫方程的概率转移算法通过粒子群优化算法及切普曼-柯尔莫哥罗夫方程交叉验证来获取训练样本上失败状态的概率阈值,并计算当前的状态迁移到超过失败状态概率阈值的转移次数来确定剩余时间。基于煤矿生产实际数据集的实验验证了该方法可有效预测带式输送机的堆煤发生时刻。     

关于出现网的S切

出现网是研究Petri网的进程的工具,而出现网的S切又是研究进程的重要概念。讨论S切的基本性质：定义并证明S切M在E的元素e的作用下发生的变换M→u[e]=（u-·e）Ue·以及发生变换的条件。定义并证明S切u在E的元素e的反作用下发生的变换v→v[e-1]=（v-e·）U·e以及发生变换的条件;证明对于任意S切u有u[e][e-1]=u,对于任意S切v有v[e-1][e]=v。证明每一个S切u（≠w1）都能够被某一个e作用,每一个S切v（≠W0）都能够被某一个e反作用。