粉末冶金法制备WC-Ni3Al复合材料的组织与性能

在WC粉末中直接添加Ni、Al元素粉末,通过在液相烧结过程中反应合成Ni3Al来制备WC-Ni3Al复合材料,对该材料进行组织结构观察及力学性能测定,分析铝含量对合金致密化和镍铝相形成种类的影响,并对材料的抗氧化性能进行测试。结果表明,制备的WC-Ni3Al复合材料具有圆钝的WC晶粒形貌,粘结相中除Ni3Al相外还有少量的NiAl和Ni相;铝含量对WC-Ni3Al材料致密度的影响主要与高熔点的NiAl的形成量有关。与普通WC-15Ni硬质合金的抗弯强度(1 900 MPa)和硬度(82.6 HRA)相比,WC-15Ni3Al复合材料具有低的室温抗弯强度和高的硬度,分别为1 170 MPa和86.5 HRA。随Ni3Al含量(质量分数)从15%增加到30%,WC-30Ni3Al复合材料的室温抗弯强度增加,而硬度降低,分别为1 660 MPa和81.7 HRA,其高温抗氧化性能比WC-30(Co-Ni-Cr)硬质合金提高1个数量级。     

国家体育馆型钢骨架的制作工艺

国家体育馆主体钢结构部分受力体系为型钢混凝土框架-剪力墙-钢支撑.其跨度较大,型钢骨架结构复杂,钢支撑及牛腿种类繁多,加工制作难度大.通过主体钢结构部分的制作工艺及其质量控制,现场安装非常顺利,焊接质量完全达到标准要求,高强螺栓的一次穿孔率达99%以上,创出了优质工程.     

钢纤维对超高性能混凝土弹性模量的影响

测试了掺有3种不同规格、4种不同掺量圆直形钢纤维的超高性能混凝土(UHPC)的弹性模量、立方体抗压强度和流动性能,分析了钢纤维几何参数和掺量对UHPC弹性模量的影响。结果表明:UHPC弹性模量、抗压强度随纤维掺量的增加而增大,随纤维的长径比增大而增大;新拌UHPC的流动性能则相反。钢纤维的掺入,对UHPC弹性模量具有正、负双重效应。纤维本身较高的弹性模量,发挥着正效应;但纤维同时会降低UHPC的流动性能,增大孔隙率和内部缺陷,削弱基体弹性模量,发挥负效应;综合呈现正效应。基于试验结果,建立了考虑纤维掺量和几何参数的UHPC弹性模量的半经验预测公式。UHPC弹性模量与抗压强度具有明显的相关性,为此建立了二者关系的经验公式。最后,基于收集到的42篇文献中320个试验数据,对上述半经验和经验公式进行了验证与修正,以扩大其适用范围。     

基于构件复用机制的从CPL到Java的翻译系统

给出了CPL构件的复用机制,定义了一种对构件组合约束检查的矩阵技术.通过比较CPL语言与Java语言的语法特点,在XML规范的框架内,提出了一种将CPL语言翻译成等价功能的Java代码的翻译方法.该方法采用基于EJB容器的思想,并使用类对象的形式构造整个业务,用JavaBeans表示CPL中的功能构件,使翻译成的Java代码具有良好的可读性,并具有较高的可复用性及可扩展性.     

基于梯形模糊隶属函数的复合语言多目标决策

对于一些复杂的决策问题, 使用比较语言比单一语言更能准确地表达专家的看法. 据此, 提出一种同时使用单一语言和比较语言的新算法. 根据上下文无关文法将比较语言表达转换为犹豫模糊语言术语集(HFLTS), 并应用有序加权算子(OWA) 计算出由梯形隶属函数表示的模糊语言术语集的模糊包络, 有效地简化了基于HFLTS 的词计算过程. 最后应用逼近理想解排序(TOPSIS) 方法进行决策.

     

基于域敏感指向分析的区间运算在软件测试中的应用

静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当.     

大采高小煤柱沿空掘巷切顶卸压围岩控制技术

针对留大煤柱采出率低和留小煤柱护巷矿压显现剧烈存在的矛盾,采用矿压理论分析、FLAC^3D数值模拟和巷道变形现场实测,对潞安集团阜生煤矿6 m大采高留小煤柱切顶卸压沿空掘巷机理与围岩控制进行了研究,得到:(1)切顶卸压可人为控制基本顶的断顶位置,实现压力主动调控,切顶后,改变了基本顶原有应力传递路径,压力有效转移至采空区,减轻了采空区侧向实体围岩应力,沿空掘巷围岩应力更加均匀缓和;(2)切顶后顶板断裂结构发生变化,由初次来压前基本顶四边固支变为三边固支,由初次来压后基本顶三边固支变为两边固支,垮落步距相应降低,顶板更易于垮落,切顶工作面的矿压显现也相应得到缓和;(3)切顶角度、切顶深度、切顶孔间距、切顶孔布置方式是实现精准切顶卸压的关键,16 m切缝深度恰能切断石灰岩基本顶,可有效缩短基本顶侧向悬臂长度,同时充分发挥采空区垮落矸石的碎胀支撑作用;(4) 3种情况下的数值模拟显示,传统留25 m煤柱尺寸过大,造成大量资源浪费,且峰值压力较大,为18.2 MPa;仅留8 m小煤柱但不切顶时小煤柱所承受支承压力最大,峰值可达19.3 MPa,可能导致掘巷失败;切顶8 m小...     

切削刀具几何角度计算与测量方法的研究

对坐标变换法、三棱柱模型法、矢量法三种确定切削刀具几何角度的计算方法以及利用虚拟技术建立三维参数模型来确定刀具几何角度的方法进行分析比较,认为利用虚拟设计技术将是今后最快确定刀具几何角度的主要方法之一.     

消息分发系统中的元组空间分解算法研究

为解决分布式环境下消息分发系统中的按需通信,在对Gelemter元组空间模型进行改进的基础上,对消息分发系统中的元组空间通信进行了结构设计,定义了元组空间的特征模型,并基于局部性原理提出一种元组空间通信的空间分解算法.该算法依据在实际通信中不同元组不同元素的匹配频度的差异,将元组空间分解为依赖特征空间、特征元组和特征元素之间抽象关系的一组缓冲子空间,通信进程在进行匹配操作时可直接从缓冲子空间中获取匹配元组,从而降低通信的计算成本.     

基于NCUT优化的岩心体视图像岩粒分割方法

为了克服传统NCUT算法运算效率低、分割准确度和自适应性差等问题,基于岩心体视图像的特征,提出适用于体视图像岩粒分割的算法.首先将检测出的高光点的亮度值用该像素点邻域中亮度最小值代替,以消除图像高光噪声;然后采用2次分水岭算法分割图像,将得到的区域映射为NCUT输入节点,以块代点减少节点数量,提高分割效率;再引入边缘梯度特征和自适应的高斯核尺度因子重新设计NCUT权值矩阵,提高分割准确度和自适应性;最后加入限制条件约束K-means初始聚类中心选择,提高NCUT聚类稳定性.实验结果表明,该算法降低了对初始参数的依赖,对岩粒有更好的分割效果,且运算时间明显缩短.