基于FDI算法在软件测试实践中的应用

软件测试对于软件系统的性能以及功能都有很重要的意义,是保证软件可靠运行的关键.在软件测试的实践应用中,对于软件故障定位时,提出了基于谓词统计故障定位的算法,也就是FDI频率差异积分算法.在软件测试实践中采用基于FDI频率差异积分算法,可以很好地监控软件程序,测试软件的覆盖率以及执行时间等内存占用情况,并找到软件的故障瓶颈,以便采取更好的方法改进软件性能.探讨了实践中基于FDI频率差异积分算法在软件测试内的应用.     

Univariate marginal distribution algorithm dynamics for a class of parametric functions with unitation constraints

In this paper, we introduce a mathematical model for analyzing the dynamics of the univariate marginal distribution algorithm (UMDA) for a class of parametric functions with isolated global optima. We prove a number of results that are used to model the evolution of UMDA probability distributions for this class of functions. We show that a theoretical analysis can assess the effect of the function parameters on the convergence and rate of convergence of UMDA. We also introduce for the first time a long string limit analysis of UMDA. Finally, we relate the results to ongoing research on the application of the estimation of distribution algorithms for problems with unitation constraints.     

Guarding a set of line segments in the plane

We consider the following problem: Given a finite set of straight line segments in the plane, find a set of points of minimum size, so that every segment contains at least one point in the set. This problem can be interpreted as looking for a minimum number of locations of policemen, guards, cameras or other sensors, that can observe a network of streets, corridors, tunnels, tubes, etc. We show that the problem is strongly NP-complete even for a set of segments with a cubic graph structure, but in P for tree structures.     

健壮性学习算法

使用统计方法可以对汉英机器翻译的词性标注和句法语义分析阶段产生的歧义进行消歧,在估计过程中往往使用最大可能方法,但是并不是在所有的情况下取最大值都是正确的。为了从所有候选结果中取到正确的结果,本文使用健壮性学习算法。使用这个算法,当正确的候选结果评分不是最高时,仍能通过健壮性算法来调整正确结果的评分,使之最大,并且降低不正确候选的评分。而且,由于训练集与测试集存在不同,使训练集中的错误率最小不能保证测试集中的错误率也最小。因此当考虑训练语料库和测试语料库存在统计变化时,应该使用健壮性学习算法。     

Comparison of image reconstruction by using near‐field and far‐field data for an imperfect conductor

Image reconstruction by using near‐field and far‐field data for an imperfectly conducting cylinder is investigated. A conducting cylinder of unknown shape and conductivity scatters the incident wave in free space and the scattered near and far fields are measured. By using measured fields, the imaging problem is reformulated into an optimization problem and solved by the genetic algorithm. Numerical results show that the convergence speed and final reconstructed results by using near‐field data are better than those obtained by using far‐field data. This work provides both comparative and quantitative information. © 2001 John Wiley & Sons, Inc. Int J RF and Microwave CAE 11: 69–73, 2001.     

用VB开发Duffing方程混沌动力学系统仿真软件

基于Lisual Basic6.0编制了杜芬（Duffing)方程混沌特性分析的仿真软件,利用该软件不仅可方便地显示该系统在相空间上的轨迹线图,而且可绘制时程曲线图、幅频图和庞加菜（Poincare)截面图等。软件操作简便,运行可靠。     

A new neural network algorithm for planarization problems

To deal with the planarization problem widely used in many applications including routing very-large-scale integration （VLSI） circuits, this paper points out that only when its vertices are arranged in some specific order in a line can a planar graph be embedded on a line without any cross connections or cross edges. Energy function is proposed to meet the need of embedding a graph on a single line and route it correctly. A Hopfield network is designed according to the proposed energy function for such embedding and routing. The advantage of the proposed method is that it not only can detect if a graph is a planar one or not, but also can embed a planar graph or the maximal planar subgraph of a non-planar graph on a single line. In addition, simulated annealing is employed for helping the network to escape from local minima during the running of the Hopfield network. Experiments of the proposed method and its comparison with some existent conventional methods were performed and the results indicate that the proposed method is of great feasibility and effectiveness especially for the planarization problem of large graphs.     

常用内排序算法的分析与比较

该文在对常用内排序算法基本思想分析的基础上,从算法的稳定性;算法在最好情况下、最坏情况下的交换次数和移动次数;算法的时间复杂度等方面进行了详细的比较分析。     

探讨数据库加密技术

从数据库安全需求着手,提出数据库加密要实现的目标,分析了数据库加密技术中几项关键技术并进行比较,最后对加密后系统产生的影响进行总结。     

Expansion of a matrix in terms of external products of configuration vectors

The paper proposes a neural-net iterative algorithm that allows us to represent any random symmetrical N×N matrix as a weighted Hebbian series of configuration vectors with a given accuracy. The iterative algorithm is shown to demonstrate the fastest convergence when the vectors of expansion are stable nods of the N-dimensional space corresponding to the extremums of the neural-net energy functional. It so proves that all conclusions about neural networks and optimization algorithms that are based on Hebbian matrices are true for any other type of matrix. The text was submitted by the author in English.