序列模糊概念格模型及其渐进式构造

传统的序列模式挖掘主要是挖掘满足最小支持度的频繁序列,没有考虑序列在实际中的重要度。为了能够有效地挖掘重要的序列模式,提出了一种序列模糊概念格模型,对所有序列的项目引入了重要度权值,定义了序列的重要度及可以动态调整最小支持度minsup的自适应系数;扩展了模糊形式背景,使其能够方便地表示序列,定义了概念的Galois闭包连接、序列模糊概念及序列模糊格结构,并给出了序列模糊概念格的渐进式构造算法 ScqFuzCL。实验表明,序列模糊概念格模型可以方便有效地组织自适应序列模式,在时间与空间上都具有良好的性能,并为进一步挖掘自适应序列模式提供了理论支持。     

改进的LCS方法在测试脚本序列比对中的应用

在自动化测试中,需要对录制和回放过程中的请求序列进行解析和比对,帮助用户进行脚本的修正和完善。为了实现请求序列的比对,采用最长公共子序列(LCS)算法对录制和回放的序列进行比较,其核心思想是把序列对比转化成图论问题,通过二维矩阵寻路来找到最优的匹配方式。文中对算法的原理和实现做了详细描述,并对算法的性能进行测试和分析,最后将算法应用到软件脚本修改器中,验证算法在自动化测试实际应用中的效果。结果表明,LCS算法可以高效地对序列进行解析和比对,提高了自动化测试的效率。     

用VIS系统验证电路的实时特性的探讨

文章在分析形式化验证／综合系统VIS 的基础上,改进了该电子系统中的关键技术——二叉判定图（BDD）,使BDD能表示电路的定时性质,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。     

基于OnTrac平台逆向分析系统的设计

探讨了软件逆向工程的基本原理,基于OnTrac平台设计了一个针对Python源代码的逆向分析系统,并简要介绍Reverse-UML系统以及核心模块。     

基于B／S结构的电路分析网上答疑系统的设计与实现

本文介绍了一种基于B／S体系的Web平台“电路分析网上答疑系统”的设计与实现．该系统可以使师生在课余时间通过网络进行快速的电路图绘制与修改,并可以通过语音和文字两种方式对疑难问题进行交流。     

Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines

Ordered binary decision diagrams are the state-of-the-art representation of switching functions. In order to keep the sizes of OBDDs tractable, heuristics and dynamic reordering algorithms are applied to optimize the underlying variable order. When finite state machines are represented by OBDDs the state encoding can be used as an additional optimization parameter. In this paper, we analyze local encoding transformations which can be applied dynamically. First, we investigate the potential of re-encoding techniques. We then propose the use of an XOR-transformation and show why this transformation is most suitable among the set of all encoding transformations. The presented theoretical framework establishes a new optimization technique for OBDDs.     

A semidynamic construction of higher-order voronoi diagrams and its randomized analysis

Thek-Delaunay tree extends the Delaunay tree introduced in [1], and [2]. It is a hierarchical data structure that allows the semidynamic construction of the higher-order Voronoi diagrams of a finite set ofn points in any dimension. In this paper we prove that a randomized construction of thek-Delaunay tree, and thus of all the orderk Voronoi diagrams, can be done inO(n logn+k ³n) expected time and O(k²n) expected storage in the plane, which is asymptotically optimal for fixedk. Our algorithm extends tod-dimensional space with expected time complexityO(k ^(d+1)/2+1 n ^(d+1)/2) and space complexityO(k ^(d+1)/2 n ^(d+1)/2). The algorithm is simple and experimental results are given.This work has been supported in part by the ESPRIT Basic Research Action No. 3075 (ALCOM).     

三种Mg—Gd—Y系合金显微组织分析

为了进-步研究不同热处理状态对Mg-Gd-Y系合金显微组织的影响,采用光学显微镜（（）M）、透射电子显微镜（TEM）和X射线衍射仪（XRD）分析了Mg-20Gd、Mg-20Y和Mg-9Gd-3Y合金恒温处理前后的微观组织与相组成．研究结果表明：Mg-20Gd、Mg-20Y和Mg-9Gd-3Y合金在室温的平衡态显微组织分别是0t-Mg＋GdMg5、0t-Mg＋Mg24Y5和a-Mg＋GdMg5＋Mg24Y5;实验合金在520℃8h＋300。C144h恒温处理后,Mg-20Gd合金中有平衡相GdMgs和非平衡相Mg3Gd,其中析出相为MgGds;Mg-20Y合金中有平衡相Mg2aYs,其中析出相是Mgz-Ys;Mg-9Gd-3Y合金中有平衡相GdMg5、Mg24Y5和非平衡相Mg2Gd,析出相为GdMg5与Mg24Y5．