蜕变测试和断言检查的比较与实验研究

在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能,与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,可适用于较为粗粒度的测试需求.     

一种基于时间流特性的垃圾邮件过滤方法

垃圾邮件过滤具有处理规模巨大,数据无限递增、动态变化等流数据特征,传统的垃圾邮件过滤方法利用静态的文本特征提取方法,无法体现流数据特征随时间动态变化的特点。该文提出一种基于时间流特性来实时调整有效特征的垃圾邮件过滤方法,在TREC Spam Track语料集上的测试结果表明,该方法在保证垃圾邮件过滤高准确率的同时,使垃圾邮件过滤计算的时间性能和空间性能更加优化。
     

Al2O3基陶瓷材料增韧的研究进展

Al_2O_3基陶瓷材料具有高的化学稳定性,有较好的应用前景,但其脆性限制了它的推广应用,对氧化铝陶瓷进行增韧是解决其脆性问题的一条重要途径。简要介绍了目前氧化铝陶瓷的增韧方法和增韧机理,综述了氧化铝陶瓷增韧的研究现状,分析了氧化铝陶瓷增韧研究中存在的主要问题,展望了氧化铝陶瓷增韧的发展方向,提出了原位生长及复合增韧是高性能Al_2O_3基陶瓷材料的研究重点。     

基于水联网及智慧水利提高水资源效能

针对水资源供需系统的“动态性、关联性、预期性、不确定性”,以信息技术当前快速发展和应用的物联网理论与技术为基础,提出了水联网及智慧水利概念：其总体架构是集物理水网、虚拟水网和市场水网一体的现代化水资源系统;其核心特征是实时感知、水信互联、过程跟踪、智能处理;其关键技术是基于云技术的监测、计算和服务,基于多水源高效能的智慧调度,基于多通道优拓扑的精准投递;其核心目标准确预报、精准配送和高效管理,全面提高水资源效能,促进我国水资源高效利用水平的跨越式提升。     

盐藻水溶性多糖的提取和纯化

采用热水浸提法提取盐藻中的水溶性多糖,通过正交试验,对影响多糖得率的参数如温度、时间和水料比进行优化,确定了盐藻多糖提取的最佳工艺条件为：提取温度85℃,时间300min,水料比20∶1,在此条件下多糖得率为13.09%。利用DEAE-52纤维素柱层析纯化经脱蛋白和透析处理的多糖,得到1种中性多糖和2种酸性多糖,经Sephadex G-100柱洗脱后仍显示为单一峰。 更多还原     

广东省电能计量遥测系统建设概况

电能计量遥测系统建设对于提高电网经济运行水平具有重要意义,广东省于1999年开始进行计量遥测系统建设,目前已经接近基本完成。本文总结了广东省省公司及地市局关口计量遥测系统的建设概况。     

Rheological behavior of continuous roll casting process of aluminum alloy

The rheological behavior of aluminum alloy and its influencing factors in physical simulation of continuous roll casting process were studied by using a Gleeble-1500 thermal-mechanical simulation tester with a set of special clamp system. The relationships between the flow stress and the strain rate in the deformation process of simulating roll casting experiment were obtained. The results show that four different characteristic stages exist in the temperature range of the whole rheological process. The first occurs when the temperature is higher than 600℃, which belongs to the creep deformation stage; the second occurs when the temperature lies in the range of 500 - 600℃, and it can be regarded as the high temperature and low stress level deformation stage; the third occurs when the temperature decreases to the range of 300 - 500℃, it is considered to be the middle stress level deformation stage; the last occurs when the temperature is less than 300℃ and the strain rate is less than 1.00 s^-1 , it belongs to middle stress level deformation stage. But when the strain rate is larger than 1.00 s^-1, it belongs to the high stress level deformation stage. And the relative constitutive models suitable for the four different stages of continuous roll casting process were established through multivariate linear regression analysis of the experimental data.     

Microsoft .NET Framework结构解析

Microsoft.NET Framework是构造、配置和运行下一代XML Web服务和其它应用的核心组件。文章详细分析了NET Framework的体系结构,重点阐述了其跨语言、跨平台的特点。借助.NET Framework,可实现各种语言的无缝综合,从而可以方便地构建基于Internet标准的松散耦合的Web服务。     

基于互联网的中文问答系统

搜索引擎(如Google等)返回的是与用户查询相关的文档集，并不是所提出的问题的答案。该文提出了一个基于互联网的中文问答系统，用来增强已有的搜索引擎的功能，使它们能够支持自然语言的回答。