面向特征的领域分析及其在数据采集器领域中的研究

自上而下地进行领域分析,建立领域模型,通过领域设计建立面向特定领域的软件构架,是更有效、更具意义的软件复用途径。美国卡尼基梅隆大学软件工程研究所提出的面向特征的领域分析方法FODA(Feature-Oriented Domain Analysis)主要针对特定领域进行共性和个性的研究,抽取领域模型,并建立适合于领域复用的软件构架。本文在详细研究货物流通领域,如物流配送、仓库管理、销售管理系统的基础上,运用面向特征的领域分析方法,并在分析过程中引入了加以扩展的用例模型,分析其共性和变化性需求,提炼出数据采集器的领域模型,使系统具有良好的可扩充性、可复用性,极大地提高了设计软件系统的效率。     

碳化钨粉末的微观结构与工艺参数的关系

本研究的主要目的是研究反应温度对碳化钨粉末性能的影响。为此,选用蓝色氧化钨作原料,用氢气还原,还原温度采用900℃和1050℃。用这两种温度还原出来的钨粉再分别在1700℃、1800℃、1900℃和2200℃进行碳化,碳化团块在球磨机中打碎,过筛,得到平均粒度为15μm的粉末,然后对不同工艺得到的8组碳化钨粉进行X射线分析和扫描电镜观察。为分析湿磨对粉末性能的影响,将这8组粉末分别与10％钴粉在酒精溶液中湿磨24小时,并于X射线分析之前,将混合粉末在10％盐酸溶液中煮沸1小时,以去除钴对衍射线形的干扰。X射线衍射标样选用1050℃还原2200℃碳化的碳化钨粉。为研究碳化钨粉末的断口形貌,将碳化后的碳化钨粉单独球磨1小时,制成扫描电镜试样。 X射线分析时,采用CuKα辐射和石墨晶体单色器,实验前用标准硅试样对衍射仪进行校准。相干散射区和微观应变是根据Stockes方法计算的。由标准试样和被测试样的衍射线形,分离出合成的物理加宽线形的Fourier系数A_L,再根据B.E.Warren和B.L.Averbach提出的分离晶格畸变和晶块细化效应的分析方法,将合成的Fourier系数A_L分离为晶块碎化的Fourier系数A_L~S和晶格应变效应Fourier系数A_L~D,即A_L(hkl)=A_L~S·A_L~D(hkl)。应变系数A_L~D与微观应变<ε~2L>~(1/2)的关系为:A_L~D=exp[-2π~2·ε_L~2·L~2Σh_i~2/a~2],其中Σh_1=4(h~2+hk+k~2)/3+(a/c)~2·L~2。L为垂直衍射面方向相干散射区的长度;a,c为六方晶体的点阵常数.平均有效亚晶尺寸D_e由(dA_L~S/dL)_(L→0)=-1/D_e求出。制作形貌相观察的试样时,用酒精将粉末充份分散在试样台上,在粉末上喷镀金膜以增强导电性。图1和图2为Fourier余弦系数A_L与L的关系,图1中的试样为900℃还原钨经1700℃碳化及2200℃碳化的碳化钨粉(称原生碳化钨粉)。由图中(100)和(300)衍射线的变化趋势可以看出,对应不同的L值,A_L(100)和A_L(300)之间存在差别。从而可知,在原生碳化钨中存在微观畸变,而且这种畸变随碳化温度的提高而下降。各批原生碳化钨的亚晶尺寸和微观应变见表2。图2中的试样为经24小时湿磨后的碳化钨粉。曲线在L→0处变化很陡,说明碳化钨己经得到破碎,亚晶尺寸比原生碳化钨大为减小,微观应变则相应增大,图中高指数曲线的摆动是由于处理漫散射线形分析时本底不易取确切的缘故。比较图1与图2可以看到,结晶较为完整的高温碳化粉末比缺陷较多的低温碳化粉末更易破碎。由图3、图4可知,从低温还原的钨粉所制取的碳化钨,晶体内存在较多的缺陷,随碳化温度的提高结晶趋于完善.比较图3和图4还可见到,从1050℃还原的钨粉制取碳化钨时,提高碳化温度的作用比低温还原钨粉的这种作用要显著。对于1050℃还原生成的钨粉,当碳化温度达到1900℃时,碳化钨结晶已相当完善。比较图5与图6,可以看到亚晶尺寸大的粉末比亚晶尺寸小的粉末易于破碎,后者易于与钻粉冷焊,阻碍表面磨擦破碎过程的进一步进行。图7a为结晶完整的碳化钨晶体形貌相。这种粉末是从1050℃还原的钨粉经2200℃碳化制取的。图中可看到平行于六方晶体底面的生长平台。前述X衍射标样即取自这种粉末。由此形貌可知这种碳化钨晶体已完成了再结晶过程。图7b为1050℃还原的钨粉经1700℃碳化制取的粉末,这种粉末为多晶聚合体。图7c中的粉末试样,其碳化条件与图7a中粉末的碳化条件相同,则是还原温度较低(900℃)。图7d为低温还原(900℃)低温(1700℃)碳化的碳化钨粉。比较图7b和图7d,可以看到虽然两者颗粒尺寸相近,但结晶完整性完全不同,这与前述X射线分析结果十分吻合。比较图7a,b,c,d四张照片可以看出,随碳化温度的提高,晶粒长大,结晶也趋于完善。图8a,8b为粉末的断口形貌,图8a为1050℃还原和1900℃碳化的碳化钨粉,断裂出现在晶粒间的狭窄带(图中c处。图8b为900℃还原1700℃碳化的碳化钨粉,结晶形态差,晶内缺陷多,出现贯穿颗粒的大面积断裂(图中c标记)。图9a,图9b分别为1050℃和900℃还原的钨粉,图中清楚地显示了两种钨粉在结晶形态上的差别。本试验所用的试样均以这两种钨粉为原料,由此可知碳化钨粉末的结构和性能与原始粉末的特性有重大关系。最后应当指出,曾经用本试验的8批粉末在相同压制和烧结条件下制成的硬质合金,其力学性能规律与原始碳化钨中微观应变的规律大致相同,即碳化钨的微观应变越低,结晶越完整,合金的综合性能越好。本试验得到以下四点结论:1)原生碳化钨粉中存在微应变,工艺条件可控制微应变的程度。2)碳化钨粉中的微观结构与钨粉的制取温度和碳化温度有密切的关系,提高反应温度,可使碳化钨结构变得完整,而钨粉的制取温度具有更重要的作用。3)湿磨过程的效率与原始碳化钨粉的结构有关,结构完整的粉末易于破碎。4)碳化钨粉的断裂特征与粉末的内部结构有关,结构缺陷较多的粉末可以发生贯穿多晶聚合体的断裂。     

从数据挖掘到专家挖掘

在简要分析传统数据挖掘方法不足的基础上,提出专家挖掘的必然性和重要性.作为一个新的研究领域,首先介绍了专家挖掘的基本概念,接着给出了其过程模型、主要方法与技术,并通过与数据挖掘方法的比较,分析了专家挖掘与数据挖掘互为驱动的知识发现的优势,最后结合案例说明专家挖掘的可行性.     

Scott Domain上的稳定映射与Lawson拓扑

研究了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的性质及 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射与下拓扑之间的联系,给出了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的特征定理,得到了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ上的稳定映射与 Ｌａｗ ｓｏｎ 拓扑之间的关系定理     

拓扑学在Domain理论中的应用

讨论计算机程序设计语言的Ｄｏｍａｉｎ理论中的拓扑方法,研究稳定映射空间的开集,引入了极大类全函数概念,讨论极大类稳定全函数的性质。     

UNIX平台下的DNS配置

Internet上的主机通过域名服务来存取Internet分布式名字数据库,以便将网络节点的名字转换为地址．在文中,研究了云南民族学院的DNS配置过程,讨论了在UNIX平台下名字服务器的配置方法及步骤．这对Internet上其它的域名管理有参考意义．     

TDR波形传输时间的切线法判定与实现

采用变步长切线法来判定脉冲在时域反射仪(简称TDR)探针上的传输时间,并通过程序实现了该方法的自动判定过程,完成介电常数的自动计算.最后将时域反射仪TDR-I系统所采集的数据对该方法进行测试,效果良好.     

带温度测试模块的TDR测试系统研制及温度校准

研制出带有温度测试电路的时域反射仪(TDR)土壤参数测试系统,该系统能够实时监测被测土壤温度;设计了应用于TDR测试系统的土壤温度测试电路;利用该TDR系统采集土壤样本在不同温度下的TDR波形;研究了温度变化对TDR测试波形的影响;反演土壤体积含水量和体积电导率随温度变化趋势.给出了此TDR测试系统测量得到的土壤含水量温度修正公式和土壤体积电导率与测量样本温度变化的关系.带有温度测试模块的TDR测试系统能够扩大TDR应用范围,提高土壤含水量的测量精度.     

整环是唯一分解环的充要条件

给出了整环及唯一分解环的几个性质,从而得到了整环是唯一分解环的几个充要条件.     

基于领域约束本体的语义相关度计算研究

语义相关度计算是信息检索、文档分类和聚类、推荐系统、机器学习等诸多领域的关键技术之一。研究基于地学领域本体,综合考虑了本体层级信息量、本体拓扑结构等基础上,引入约束性本体,实现相关度计算算法。实验结果表明,加入约束性本体条件下实现的算法,相关度计算结果明显提高。