智能门户搜索引擎技术

随着Web息量迅猛增长．传统搜索引擎所查询到的结果由于检索的内容过多，从而造成用户检索到的信息准确度不高，基于智能门户搜索引擎技术的研究已成为搜索引擎发展的新主题。该文详细介绍了智能门户搜索引擎技术，并在此基础上设计了一个智能门户搜索引擎的系统模型(Domain-based Seal-ch Engine，DBSE)，该模型采用了多Agent技术以帮助用户快速有效地挖掘有用信息。     

炉水磷酸盐异常原因分析及处理

对蒙达发电有限责任公司(以下简称蒙达公司)亚临界汽包炉炉水磷酸盐处理出现的异常现象进行了跟踪，经过多方面的查证比较，全面地分析了产生异常的原因，并提出了处理意见和建议。     

铍铝合金微弧氧化膜的微观结构、成分及性能

目前国内尚未开展铍铝合金的微弧氧化技术研究。采用微弧氧化技术在粉末冶金铍铝合金材料表面原位生长出一层氧化膜;采用扫描电子显微镜(SEM)、能谱仪(EDS)、X射线衍射仪(XRD)对氧化膜层的结构、形貌和成分组成进行表征分析。结果表明:氧化膜层平滑、致密,表面分布着Be、O、Al等元素。在微弧放电的高温下,氧化膜层的形成是各个反应过程的综合结果。所得氧化膜层的厚度均值为11.221μm,从氧化膜表层到基体方向,O、Si、P元素的含量有明显减少的趋势,而Al元素和Be元素含量的变化趋势则刚好相反。膜层有一定的结合强度、硬度和较小的表面粗糙度,并且能耐114 h的盐雾试验,击穿电压高于1 000 V。     

类状态测试模型

针对类状态测试可能遗漏数据错误问题,利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。为解决在状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,以及需要通过改写被测类代码来解决类封装性限制进行类状态验证,导致测试脚本臃肿、强聚合和被测类代码版本不一致问题,提出了一种基于AOP类状态测试执行方法,它通过分离关注点、突破类封装性限制,能有效地解决这些问题。基于上述技术和方法,提出一种类状态测试模型,实例分析和实验结果表明,该模型能较好地实现类状态测试。     

一种类间交互测试的约束型标记驱动Petri网模型

面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网(C-LDPN)模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以及对象活跃格局概念的基础上,根据对象所关联的变迁得出对象状态集上的等价类,提出一种消除C-LDPN中分支冲突的类间交互测试用例生成算法,求出对象的每个等价类中所有的活跃点数,得出对象的总状态数,用对象的分割连接子分割对象的状态域得到可达性C-LDPN,用合并连接子合并子对象得到标准型C-LDPN,最终生成类间交互测试用例--标记-变迁路径(LTPaths).     

钽及钽合金管超声波检测技术研究

文章介绍了钽及其合金管材的超声波探伤方法检测的研究过程、结论及方法,对小径薄壁管材进行超声波检测,对其检测数据进行分析、处理;通过相关试验并结合大量的剖解缺陷分析,确定了不同规格钽及其合金管材的超声波检测评判方法,对质量改进提供了实践可行的依据.     

新的基于身份认证的群密钥协商协议

群密钥协商（GKA）协议在构建安全多播信道中扮演着主要角色。由于公钥管理的简洁性和高效性,基于身份的认证群密钥协商协议密码系统近年来成为热门研究方向。提出了一个基于Weil对和完全三叉树结构的群密钥协商协议,同时提出了成员加入和离开子协议。对新方案的安全性进行了分析,结果显示,新方案可以抵抗常见的攻击。在性能方面,新方案在参与者较多时有较明显的计算优势。     

纳米氧化锡粉体的制备及表征

以SnCl4·5H2O和NH3·H2O为原料,采用水热合成法制备出了粒度均匀的超细SnO2粉体。通过透射电镜（TEM）、X射线衍射（XRD）,研究了纳米氧化锡粉体的形貌、尺寸分布和结构特征。SnO2颗粒平均粒径在10-20nm左右,呈不规则多面体,近似于球形,粒径分布窄,分散性良好。     

纳米氧化锡粉体制备研究进展

纳米二氧化锡粉体是一种重要的气敏、湿敏、压敏基体材料。文章系统介绍了近年来不同方法制备纳米二氧化锡粉体的过程、原理和制备条件,描述和分析了目前各种制备超细二氧化锡的方法和特征及各方法的优缺点,并对其应用前景做出了进一步的展望。     

基于事件消息驱动的Petri网的类族测试用例生成技术的研究

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例“爆炸”以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。