一种改进的GUI测试框架DART

针对当前的图形用户界面自动化测试中存在的局限性,提出一种每日自动回归测试（DART）框架的改进方案。研究DART流程、事件流图,包含了事件关联图的方法,实现对事件流图的优化,并采用权重选择法对DART方法进行改进,使之成为一种高效、简洁的自动冒烟测试框架。     

基于似然比测试的语音激活检测算法

针对低信噪比和噪声变化情况下语音激活检测算法性能下降的问题,提出一种新的参数更新和取值算法。该算法采用Laplacian-Gaussian混合模型对带噪语音频谱的概率分布进行建模,模型参数从带噪语音中估计得到,噪声功率参数通过跟踪语音的音节间隙进行平滑。实验结果表明,该算法在-5dB信噪比情况下,可以达到95％以上的检测率,具有优越的跟踪性能。     

A synopsis on node compromise detection in wireless sensor networks using sequential analysis (Invited Review Article)

By exploiting the unattended nature of the wireless sensor networks, an attacker can physically capture and compromise sensor nodes and then launch a variety of attacks. He can additionally create many replicas of a few compromised nodes and spread these replicas over the network, thus launching further attacks with their help. In order to minimize the damage incurred by compromised and replicated nodes, it is very important to detect such malicious nodes as quickly as possible. In this review article, we synthesize our previous works on node compromise detection in sensor networks while providing the extended analysis in terms of performance comparison to the related work. More specifically, we use the methodology of the sequential analysis to detect static and mobile compromised nodes, as well as mobile replicated nodes in sensor networks. With the help of analytical and simulation results, we also demonstrate that our schemes provide robust and efficient node compromise detection capability.     

On the estimation of adequate test set size using fault failure rates

Test set size in terms of the number of test cases is an important consideration when testing software systems. Using too few test cases might result in poor fault detection and using too many might be very expensive and suffer from redundancy. We define the failure rate of a program as the fraction of test cases in an available test pool that result in execution failure on that program. This paper investigates the relationship between failure rates and the number of test cases required to detect the faults. Our experiments based on 11 sets of C programs suggest that an accurate estimation of failure rates of potential fault(s) in a program can provide a reliable estimate of adequate test set size with respect to fault detection and should therefore be one of the factors kept in mind during test set construction. Furthermore, the model proposed herein is fairly robust to incorrect estimations in failure rates and can still provide good predictive quality. Experiments are also performed to observe the relationship between multiple faults present in the same program using the concept of a failure rate. When predicting the effectiveness against a program with multiple faults, results indicate that not knowing the number of faults in the program is not a significant concern, as the predictive quality is typically not affected adversely.     

Conformance Tests for Real-Time Systems with Timed Automata Specifications

A method is introduced for testing the conformance of implemented real-time systems to timed automata specifications. Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view. Fault hypotheses and a test generation algorithm for TTTSs are defined. Results of applying the method are presented. Received October 1999 / Accepted in revised form November 2000     

Morphometric and some immunohistochemical characteristics of human choroids plexus stroma and psammoma bodies

Psammoma bodies (PBs) are one of many choroids plexus aging changes. The aim of our research was to perform the quantification of PBs' presence in human choroids plexus stroma, as well as to evaluate the characteristics of choroids plexus stroma in cases in which PBs were present. Afterwards, the observations of the histochemical analysis would be confirmed by immunohistochemical analysis. Choroid plexuses of 30 cadavers were used for the histochemical and, choroids plexuses of 15 cadavers in which PBs' presence was confirmed during the histochemical analysis, were used as material for the immunohistochemical analysis. Light microscopy, histochemical, immunohistochemical, and morphometric method were applied during the study. Classification of the cases was performed by cluster analysis. We observed increase of choroids plexus PBs' presence during the aging process. But this increase is not linear. Their presence is the largest in the second cluster that is younger than the third and older than the first. Nuclear morphometric parameters of the stroma in these cases showed that the cellular composition in this cluster is different than in other two and, that contain larger number of lymphoid cells. Immunohistochemical analysis showed PBs' positive reaction on vimentin, CD45R0, and LCA markers, while in their vicinity, as well as inside them, numerous T-cells were observed. So, the presence of CD45R0 and LCA-positive T cells, PBs' positive reaction on the same markers, indirectly connect these cells with PBs' formation process.     

远程测试系统的设计探讨

介绍了测试系统的支持环境并重点探讨了测试的设计原则和系统结构的设计。     

Some prospective applications of silicon electrodeposition from molten fluorides to solar cell fabrication

Electrodeposition of both epitaxial and polycrystalline continuous films of dense, coherent, and well-adherent silicon coatings was achieved from molten fluorides. A dissolving Si anode and an operating temperature of about 750 C were utilized. Silicon electrocrystallization epitaxy (ECE) produced films with the (111) orientation on Si substrates of the same orientation. The unintentionally doped films were of p-type character with a resistivity in the range 0.05 - 0.10 Ω-cm. Polycrystalline Si films were similarly electroplated onto various polycrystalline metal substrates. Uniform coherent, and well-adherent coatings with grain diameters as large as 40 – 50 μm were obtained. The useful rate of electrodeposition of Si could be significantly increased by the application of an alternating square wave pulse (ASWP)₂technique. Cathodic current pulses as high as 300 mA/cm² (growth rate of about 5 μm/min) were demonstrated. The cathodic current efficiencies, for all modes of growth, were about 70 – 100%. The effects of the various operating parameters, and some prospective applications to the fabrication of solar cells, are discussed. This was paper A-6 in the 18th Annual Electronic Materials Conference, Salt Lake City, June 23–25, 1976.     

MRT letter: Human bloodstains on antique aboriginal weapons: a guiding low-vacuum SEM study of erythrocytes in experimental samples on ethnographically documented biological raw materials

The aboriginal use of reed and bone as raw materials for knives and daggers, respectively, has been well-documented ethnographically in some geographical areas of Melanesia. Because of the significant role that these weapons played in inter- and intra-ethnic aggression, they can potentially have retained smears from the contact with human blood. To carry out a guiding low-vacuum scanning electron microscopy (SEM) study of specific interest to ethnography, the outsides of a fragment of stalk of giant cane (Arundo donax) and tibial diaphysis of domestic sheep (Ovis aries) were smeared with peripheral human blood. No biological specimen preparation was applied to the samples. After just over 1 month, bloodstain boundaries and their neighboring inner areas were examined via secondary electrons by a variable-pressure SEM (VP-SEM) working in low-vacuum mode. On both substrates, bloodstains exhibited micro-scales. No janocyte (erythrocyte negative replica) was observed in the examined areas. However, erythrocytes were seen crowded together as grain-shaped corpuscles in the smear on reed, and several hecatocytes (moon-like shaped erythrocytes) were evidenced in the smear on bone. The results of this study suggest that a VP-SEM working in low-vacuum mode can be used fruitfully to detect blood remains in medium-sized reed and bone antique aboriginal artifacts. This procedure can prospectively help to ethnographic museum curators and aboriginal-art surveyors as an easy guiding test in the valuation of antique traditional weapons prior to acquisition, when the real use of a piece has been claimed by the supplier.     

在线自学与考试系统的设计

本文将现有的在线自学与在线考试系统相结合,设计出一个具备教学与测试的完整的学习系统,并实现学习者学习进度记录、进度相互比较及经验交流等功能,使学习者在学习过程中并不孤独。