积项集合的补集算法

在逻辑综合的领域内,经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法,求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比,该算法大大节省了计算机时间和内存空间。     

逻辑函数求补算法及其改进

逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。     

大变量逻辑函数求补的递归实现

逻辑函数求补是大变量逻辑优化的算法基础.采用二叉树结构,用C语言实现了大变量逻辑函数求补递归算法.详述了求补二叉树的结构和形成过程,以及在求补二叉树上补集的收集方法.     

对逻辑函数3种求补算法的分析

对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。     

大变量逻辑函数求补的递归实现

逻辑函数数求补是大变量逻辑优化的算法基础，采用二叉树结构，用C语言实现了大变量逻辑函数求补递归算法。详述了求补二叉树的结构和形成过程，以及在求补二叉树上补集的收集方法。     

大变量多输出逻辑函数实质项识别算法

在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合.对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000.软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试.     

大变量多输出逻辑函数实质项识别算法

在对Espresso算法进行分析改进的基础上，提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法，该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断，根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项，从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。     

蕴涵项的扩展算法

本文提出了一个把逻辑函数的积项扩展为本源蕴涵项的算法。用此算法得到的本源蕴涵项集合通过去冗过程产生的最后结果最接近绝对最小化的解。     

单边多输出逻辑函数补集软件的设计与实现

根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。我们设计的多输入多输出单边逻辑函数补集算法软件,在P-1．8GHz、512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。     

改进的Q-M逻辑函数化简方法

为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。     

Vague集向Fuzzy集转化的一种新方法

提出Vague值向Fuzzy值转化的实用方法的定义。针对文献[6]中的一个Vague值向Fuzzy值转化的均值修正法,提出了加权均值修正法,并证明了这种方法同样是Vague值向Fuzzy转化的一种非常实用的方法。     

Analyzing fuzzy risk based on a new fuzzy ranking method between generalized fuzzy numbers

In this paper, we present a new method for analyzing fuzzy risk based on a new method for ranking generalized fuzzy numbers. First, we present a new method for ranking generalized fuzzy numbers. It considers the areas on the positive side, the areas on the negative side and the heights of the generalized fuzzy numbers to evaluate ranking scores of the generalized fuzzy numbers. The proposed method can overcome the drawbacks of some existing methods for ranking generalized fuzzy numbers. Then, we apply the proposed method for ranking generalized fuzzy numbers to develop a new method for dealing with fuzzy risk analysis problems. The proposed method provides us with a useful way to deal with fuzzy risk analysis problems based on generalized fuzzy numbers.     

Multicriteria fuzzy decision making based on interval-valued intuitionistic fuzzy sets

In this paper, we present a new method for multicriteria fuzzy decision making based on interval-valued intuitionistic fuzzy sets, where interval-valued intuitionistic fuzzy values are used to represent evaluating values of the decision-maker with respect to alternatives. First, we propose a new method for ranking interval-valued intuitionistic fuzzy values. Based on the proposed fuzzy ranking method of interval-valued intuitionistic fuzzy values, we propose a new method for multicriteria fuzzy decision making. The proposed multicriteria fuzzy decision making method outperforms Ye’s method (2009) due to the fact that the proposed method can overcome the drawback of Ye’s method (2009), where the drawback of Ye’s method is that it can not distinguish the ranking order between alternatives in some situations. The proposed method provides us with a useful way for dealing with multicriteria fuzzy decision making problems based on interval-valued intuitionistic fuzzy sets.     

基于PCA特征和融合特征的ECG身份识别方法

ECG作为一种活体生物特征用于身份识别在国际上引起了广泛重视.针对基于解析特征的ECG身份识别方法对特征点检测精度要求较高的缺点,提出一种仅需R波峰值点检测的ECG身份识别方法,该方法通过有针对性的设定相应阈值,将PCA特征和小波融合特征方法相结合.实验结果表明该方法优于PCA特征方法、波形特征方法和小波特征方法,既减少了特征点检测的复杂性和特征点检测不准确带来的误差,又可获得较高的识别率,是一种实时、高效算法.     

Complete solutions for a class of elastic-plastic structures

A mathematical programming method is proposed for determining the complete history of (generalized) stresses and strains during a loading process for a class of elastic-plastic structures. This method is based on a pivoting procedure similar to the simplex method for a linear program and is suited for computer implementation. The method is illustrated by a simple truss problem. Based on the method, some results on existence and uniqueness of the solution of the structural problem are established.     

A fast boundary element method for the two-dimensional Helmholtz Equation

In this paper, we present a fast method for solving boundary integral equations arising from the exterior Dirichlet problem for the two-dimensional Helmholtz equation. This method combines a quadrature method for discretizing the boundary integral equations with a preconditioned iterative method for solving the resulting dense, nonsymmetric linear systems. Using this method, a polynomial rate of convergence can be obtained by performing a finite number of iterations, which yields high computational efficiency. Various numerical examples are presented.     

A Prefix Code Matching Parallel Load-Balancing Method for Solution-Adaptive Unstructured Finite Element Graphs on Distributed Memory Multicomputers

In this paper, we propose a prefix code matching parallel load-balancing method (PCMPLB) to efficiently deal with the load imbalance of solution-adaptive finite element application programs on distributed memory multicomputers. The main idea of the PCMPLB method is first to construct a prefix code tree for processors. Based on the prefix code tree, a schedule for performing load transfer among processors can be determined by concurrently and recursively dividing the tree into two subtrees and finding a maximum matching for processors in the two subtrees until the leaves of the prefix code tree are reached. We have implemented the PCMPLB method on an SP2 parallel machine and compared its performance with two load-balancing methods, the directed diffusion method and the multilevel diffusion method, and five mapping methods, the AE/ORB method, the AE/MC method, the MLkP method, the PARTY library method, and the JOSTLE-MS method. An unstructured finite element graph Truss was used as a test sample. During the execution, Truss was refined five times. Three criteria, the execution time of mapping/load-balancing methods, the execution time of an application program under different mapping/load-balancing methods, and the speedups achieved by mapping/load-balancing methods for an application program, are used for the performance evaluation. The experimental results show that (1) if a mapping method is used for the initial partitioning and this mapping method or a load-balancing method is used in each refinement, the execution time of an application program under a load-balancing method is less than that of the mapping method. (2) The execution time of an application program under the PCMPLB method is less than that of the directed diffusion method and the multilevel diffusion method.     

HFPaC: GPU friendly height field parallel compression

In this paper, we present a novel method for fast lossy or lossless compression and decompression of regular height fields. The method is suitable for SIMD parallel implementation and thus inherently suitable for modern GPU architectures. Lossy compression is achieved by approximating the height field with a set of quadratic Bezier surfaces. In addition, lossless compression is achieved by superimposing the residuals over the lossy approximation. We validated the method’s efficiency through a CUDA implementation of compression and decompression algorithms. The method allows independent decompression of individual data points, as well as progressive decompression. Even in the case of lossy decompression, the decompressed surface is inherently seamless. In comparison with the GPU-oriented state-of-the-art method, the proposed method, combined with a widely available lossless compression method (such as DEFLATE), achieves comparable compression ratios. The method’s efficiency slightly outperforms the state-of-the-art method for very high workloads and considerably for lower workloads.     

A Numerical Method for Free-Surface Flows and Its Application to Droplet Impact on a Thin Liquid Layer

We propose a simple and practical numerical method for free surface flows. The method is based various methods, the level set method of an interface capturing method, the THINC/WLIC (tangent of hyperbola for interface capturing/weighed line interface calculation) method of an interface tracking method, the CIP-CSL (constrained interpolation profile conservative semi-Lagrangian) method of a conservation equation solver, VSIAM3 (volume/surface integrated average based multi-moment method) of a fluid solver and the CSF (continuum surface force) model of a surface force model. The level set method and the THINC/WLIC method are combined by using a CLSVOF (coupled level set and volume-of-fluid) framework. The method is applied to Rayleigh-Taylor instability with surface tension force and droplet impact on a thin liquid layer (milk crown).     

一种表示有向图的表方法及其应用

图的表示方法很多,各有其优缺点.采用不同的表示方法,可获得图的不同的时空性能.本文阐述了图的一种新表示方法,该方法用一种命名规则将有向图表示为节点标签表,给出了由节点标签表产生节点链的算法.并用这种称为表方法研究了有向图的回路性质,特别地将它应用于研究de Bruijn回路、欧拉回路和哈密顿回路,给出了计算欧拉回路和哈密顿回路的新方法.本研究表明该方法具有较好的理论和实用价值.