常用的基于控制流的测试充分性准则

本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。     

Fabrication of metallic micromirror using electroplating technology

A nickel micromirror array was designed and successfully fabricated using a thick photoresist as a sacrificial layer and as a mold for nickel electroplating. It was composed of two address electrodes, two support posts and a nickel mirror plate. The mirror plate, which is supported by two nickel posts, is overhung about 10 μm from the silicon substrate. The nickel mirror plate is actuated by an electrostatic force generated by electrostatic potential difference applied between the mirror plate and the address electrode. Optimized fabrication processes have been developed to reduce residual stress in mirror plate and prevent contact between the mirror plate and the substrate, which ensure a reasonable flat and smooth micromirror for operation at low actuation voltage.

     

A cross-junction channel valveless-micropump with PZT actuation

A gas-jet micro pump with novel cross-junction channel has been designed and fabricated using a Si micromachining process. The valveless micro pump is composed of a piezoelectric lead zirconate titanate (PZT) diaphragm actuator and fluidic network. The design of the valveless pump focuses on a cross-junction formed by the neck of the pump chamber and one outlet and two opposite inlet channels. The structure of cross-junction allows differences in fluidic resistance and fluidic momentum inside the channels during each PZT diaphragm vibration cycle, which leads to the gas flow being rectified without valves. The flow channels were easily fabricated by using silicon etching process. To investigate the effects of the structure of the cross-junction on the gas flow rate, two types of pump with different cross-junction were studied. The design and simulation were done using ANSYS-Fluent software. The simulations and experimental data revealed that the step-nozzle structure is much more advantageous than the planar structure. A flow rate of 5.2 ml/min was obtained for the pump with step structure when the pump was driven at its resonant frequency of 7.9 kHz by a sinusoidal voltage of 50 V_p–p.     

基于Python的实时嵌入式软件测试脚本

基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境（ESSTE）的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结果验证了该测试脚本的正确性和实时性。     

基于色度坐标高斯混合模型的步态检测

针对传统的基于RGB通道的高斯混合模型低对比度像素点检测效果较差的问题,提出一种基于色度坐标的高斯混合模型,使之更好地用于步态检测。该算法将RGB色彩值转换到色度坐标上,以强调色彩对比度,提高低对比度像素点的检测率,并增加亮度信息以减小阴影的影响,在前景提取部分,加入噪声抑制机制。实验结果表明,改进后的算法在相同对比度下,误检测率最多可减小一半。     

基于推理信息量的BN参数学习变量离散化方法

提出推理信息量的概念,将其作为贝叶斯网络连续变量离散化评价标准。在连续变量离散化的过程中,采用遗传算法寻求最优解,设计个体编码方式、交叉算子和变异算子,将推理信息量作为衡量个体适应度的标准。实例分析证明,通过该方法对变量进行离散化后学习得到的贝叶斯网络在推理时能得到更大的推理信息量。     

基于Radon变换的抗旋转攻击零水印算法

针对大多数基于变换域的零水印算法无法抵抗几何攻击（RST变换）的缺陷,提出一种基于Radon变换的抗旋转攻击零水印算法。通过Radon变换检测算法对发生旋转几何攻击后的图像进行几何校正并提取水印。仿真实验结果证明,该算法可以获得良好的图像视觉效果,对旋转几何攻击及加噪、滤波、JPEG压缩、剪切攻击有较好的鲁棒性。     

基于直方图规定化的抗几何攻击数字水印算法

提出一种基于严格直方图规定化的抗几何攻击数字水印算法。该算法基于图像块信息熵与边缘检测结果,选择图像最大的平坦区域,利用严格直方图规定化将图像平坦区域的直方图规定化为特定形状,为了提高水印检测精度与嵌入图像的保真度,选择锯齿状直方图作为水印信息。实验表明,该算法嵌入水印后的图像具有很好的保真度,对几何攻击、噪声污染、JPEG压缩、线性和非线性滤波有较好的鲁棒性。     

Visual Prolog在专家系统故障诊断中的应用

针对故障诊断的特点,利用Visual Prolog语言在知识表示及逻辑推理过程中的优势,以流程工业中易发生事故的催化裂化装置为例设计并实现了基于规则的故障诊断专家系统。用事实和规则这2种构成Visual Prolog语言的短语进行知识库和推理机的编写。通过在催化裂化生产装置的实际应用表明,该诊断系统效果良好,能够对出现的多数异常工况进行有效的推理及分析,及时查找出故障原因,并提供相应的故障处理措施。