在TIS的WWW代理服务中实现基于网络安全的内容过滤

内容过滤是网络安全领域的新课题,文章建立了一个完整的内容过滤模型,并在TIS的WWW代理服务中实现了此内容过滤模型。实验结果表明,该模型在过滤精度与实时性之间较好地达成了平衡,实用性较强。     

粉末冶金法制备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个数量级。     

60 t LF钢包底吹氩行为的物理模拟

基于相似原理和莱钢60 t LF钢包,建立了一套水模拟试验装置,水模型和钢包原型的几何相似比例为1∶4,用该装置进行了钢包底吹氩行为的物理模拟研究.结果表明,底吹气体流量越大,混匀时间越短;吹气流量对混匀时间的影响程度远远大于透气砖位置的影响.60 t钢包适宜采用单透气砖,其硬吹气体流量应>0.133 m3/h,软吹气体流量应<0.02 m3/h.     

全封闭湿式多盘制动器温度场的有限元分析

建立了全封闭湿式多盘制动器摩擦元件的有限元分析模型,针对摩擦盘产生热-机失稳现象,应用ANSYS有限元分析软件对全封闭湿式多盘制动器初始接触压力和瞬态温度场进行了分析。有限元分析结果表明,湿式多盘制动器摩擦界面上的接触压力沿摩擦盘半径方向不均匀分布,导致了输入摩擦盘的热流密度分布不均匀;在制动过程中摩擦盘沿半径方向温度梯度过大,导致全封闭湿式多盘制动器对偶摩擦盘的破坏。为提高其使用寿命,在进行制动器结构设计和摩擦材料的选择时,应考虑由热引起的弹性变形对摩擦盘压力场和温度场分布的影响。     

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

国家体育馆主体钢结构部分受力体系为型钢混凝土框架-剪力墙-钢支撑.其跨度较大,型钢骨架结构复杂,钢支撑及牛腿种类繁多,加工制作难度大.通过主体钢结构部分的制作工艺及其质量控制,现场安装非常顺利,焊接质量完全达到标准要求,高强螺栓的一次穿孔率达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代码具有良好的可读性,并具有较高的可复用性及可扩展性.     

基于MapReduce的MIC算法并行化

MIC是一种分析变量之间可能存在的关系的方法。该方法不仅能够有效识别出变量间各种复杂类型的关系,还能够准确描述噪音数据对存在关系的影响,对探索大数据集中变量之间的关系具有重要意义。针对该方法在处理包含大量变量的数据集时性能方面的不足,首次对它进行了基于MapReduce模型的并行化。提出的并行化方法首先对原算法进行更细颗粒度的划分,然后采用一种基于Map-Reduce-Map任务链的并行模型,该模型不仅有效地增加了并行的计算单元,还大大地降低了不必要的系统开销。最后,通过理论分析和实验验证得出,改进后的算法与原算法相比,在准确率方面具有等效性,运行速度大幅度提升且具有良好的可扩展性;实验同时指出了算法性能的提升与系统资源的关系。     

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

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

     

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

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