基于信息流缺陷定位方法在软件测试中的应用

随着软件产业的飞速发展,人们对软件质量的要求也越来越高.现在,软件已经直接影响到了我们项目的成功和设备的安全.而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用.论文扩展了基于信息流覆盖的缺陷定位技术.扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷.试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确.     

Effect of Polyethylenimine on Hydrolysis and Dispersion Properties of Aqueous Si3N4 Suspensions

The roles of polyethylenimine (PEI) in the hydrolysis and dispersion properties of aqueous Si₃N₄ suspensions were studied in terms of the hydrolysis, adsorption, electrokinetic, and rheological measurements. It was found that the pH change of the suspensions in the acidic environment could be minimized in the presence of ≥0.5 dwb% PEI. The ammonia and oxygen measurements suggest that this phenomenon is primarily attributed to the buffer mechanism generated by the ionized PEI, instead of the protection mechanism. The constant pH enables the suspensions to retain a better stability with time at acidic pH. The adsorption of PEI on Si₃N₄ is a high-affinity type at highly basic pH, but is a low-affinity type at acidic pH. As the PEI amount increases, the adsorption shifts the isoelectric point (IEP) of Si₃N₄ from pH 5.9 to pH ∼11 until complete coverage is attained. The stability of Si₃N₄ suspensions is found to depend strongly on the saturated adsorption of PEI, which is as a function of the pH and PEI amount. Once the saturated adsorption limit is reached, the excess free PEI molecules become more detrimental to the stability with increased solid loading. The stabilization mechanisms of Si₃N₄ suspensions by PEI were discussed in detail.     

使用QTP对Silverlight应用进行自动化测试的研究与实践

Silverlight作为一个跨浏览器、跨平台的插件,将视频、交互性内容,以及其他应用完好的融合在一起,为用户提供了统一而丰富的体验。通过使用QTP把人为驱动的测试行为转换为机器执行的过程,实现对Silverlight应用的自动化测试。本文研究介绍了使用QTP对Silverlight应用进行自动化测试的方法,描述了具体的操作步骤以及解决方法。     

改性酚醛石墨胶泥的研制

介绍了改性酚醛石墨胶泥的研制过程。分析了胶泥各组成材料对胶泥性能的影响,经过试验确定了胶泥的组成成分——树脂、固化剂、填料等以及胶泥的配制工艺,并对其力学性能、耐腐蚀性能进行了测试分析,结果表明改性酚醛石墨胶泥具有良好的机械力学性能和耐腐蚀性能。     

PLC控制电梯教学模型的设计

根据电梯系统的结构特点及控制要求,设计了基于PLC控制的电梯教学模型。详细阐述了模型电梯系统的硬件构成和软件实现方法。试验表明,该实验装置提高了PLC实验课的教学质量。     

NURBS曲线C~1连续参数优化算法

曲线的参数特性直接决定基于自由曲线的路径规划、运动控制等算法的质量.为了生成满足C1连续的近似弧长参数化,提出一种基于分段三次重新参数化的参数优化算法.首先利用Simpson方法离散积分能量,然后使用极值求解法求得初始解,最后通过LM(Levenberg-Marquardt)优化算法计算出曲线的最优参数表示.与C1连续的分段有理重新参数化方法相比,该算法能够在分段数量很少的情况下达到局部最优.最后通过实例说明了文中算法的有效性.     

基于几何特征的流体动画控制方法

在流体动画中,流体控制是生成可控流体运动的关键技术.为产生视觉逼真、行为可控的流体动画效果,提出一种基于几何特征的流体控制方法.首先通过构建流体形状的时变几何分区,实现对可控流体形状的表达及动态跟踪;在此基础上设计异构控制模型,以增强流体运动控制的灵活性,该模型采用了带约束优化的刚性控制和基于弹簧模型的柔性控制2种方法;最后将异构控制模型与高精度流体物理模型相耦合,生成视觉逼真的可控流体运动效果.实验结果表明,该方法能够在保持流体角色形状的同时产生丰富的流体细节,满足动画师的设计需求.     

基于内容重要性的Storyline可视化局部变形框架

针对Storyline可视化局部放大问题,提出一种基于内容重要性的局部变形框架.首先对可视化领域中局部变形技术进行对比和分析;然后给出了Storyline可视化可视元素及其重要性计算方法,并对重要性较大的实体元素进行放大显示,在高斯函数的指导下对重要会话元素进行局部放大和过渡平滑处理,根据不同位置的权重对线条进行重新定位;最后以Inception交互会话数据为实验数据,将该方法应用到Storyline可视化视图中.实验结果表明,文中方法能够在有限的显示空间中对Storyline可视化视图的整体结构和局部详细信息同时进行协调、友好的可视化.     

稀疏表示分类中遮挡字典构造方法的改进

针对稀疏表示分类算法中遮挡字典维数高且无冗余的问题,提出一种遮挡字典构造方法.首先通过图像分块得到各级的遮挡基图像;然后将所有互不相同的遮挡基图像按字典顺序转化为向量,并用这些向量作为遮挡字典的列,从而构造出维数相对较低且具有一定冗余度的遮挡字典.实验结果表明,该方法不仅明显提高了稀疏表示分类算法对遮挡人脸的识别率,而且还能通过减少图像的分块级数降低稀疏分解的耗时量,提高运算效率.     

秋季太湖叶绿素a浓度荧光反演研究

基于2007年11~12月太湖全湖实测水质参数和光谱数据,首先利用高斯方程对遥感反射率进行过滤分解,找出叶绿素a(chl\|a)吸收峰675 nm以后的荧光反射峰(Fluorescence Peak:FP),再以662 nm处的反射率为基准,采用归一化荧光高度法进行叶绿素a浓度(C chl-a)反演,得到chl-a反演模型。基于高斯分解获取的chl-a的荧光反射峰值R(FP)与662 nm处的反射率R (662)比值［R(FP)/R(662)］与C chl-a之间存在显著的相关性,该模型为秋季太湖水体C chl-a的最佳反演模型。在高悬浮泥沙条件下,该模型能够较好地表示出叶绿素荧光高度与叶绿素浓度之间的关系,为C chl-a反演提供新的方法和依据,并为传感器敏感波段的选取和设置提供参考。