支持大规模变量集的最小覆盖迭代搜索算法

两级逻辑综合中的多输出逻辑电路最小覆盖的求解是一个NP难解问题,在输出变量集合和质蕴含项集合规模较大的情况下,会出现空间需求过大、处理时间太长等问题,影响多输出最小覆盖求解的可行性．在精选法的基础上,提出一种多输出最小覆盖迭代求解算法．将一次性求解最小覆盖的模式转换为多次迭代逼近最优解的过程,使得在有限的时间和空间范围内获得尽可能优化的最小覆盖结果．同时,对影响算法复杂度的单输出到多输出函数的阵列合并、极值的选择这2个主要环节进行了改进,大幅度降低了多输出最小覆盖求解算法的时间和空间复杂度．     

一种优化逻辑函数的程序设计与实现

论文提出了EDA中易于计算机实现的逻辑函数优化方法,即在优化过程中引入删劣运算,用锐积运算求质蕴涵项,用选择提炼极值法求最小覆盖,并对循环函数进行处理的优化方法。设计了相应的组合逻辑电路逻辑综合优化程序,大量的测试证明了该方法的正确性和易于计算机实现的有效性。     

一种改进的快速逻辑综合算法

逻辑综合是数字系统自动化设计的重要理论之一。通过对经典的改进Q－M算法的潜心探索和深入研究，结合在线式PLD芯片解析这一实际问题，提出了几点改进，使得软件在运行速度和空间占用上有了很大改进。经过实践检验，该软件运行结果正确，符合PLD解析系统的要求。     

逻辑结点函数的优化覆盖

本文提出多级组合逻辑结构中逻辑结点函数的优化覆盖算法、证明了该算法在多级逻辑优化过程中的有效性。     

逻辑结点函数的优化覆盖*

本文提出多级组合逻辑结构中逻辑结点函数的优化覆盖算法，证明了该算法在多级逻辑优化过程中的有效性．     

逻辑函数的双逻辑综合与优化

针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合;同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔逻辑综合结果相比,在绝大多数情况下文中算法可使电路面积获得进一步优化.     

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

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

部分K值逻辑函数中准完备集之最小覆盖的一些结果

多值逻辑是计算机科学与技术的一个重要分支。目前的计算机结构和计算机程序大多基于二值逻辑，但由于多值逻辑有着许多独特的功能和广阔的应用前景，随着计算机科学与技术的不断进步，多值逻辑得到了前所未有的发展。     

一种求解多值逻辑函数接近最小覆盖的算法

1.引言 本文研究Allen-Givone多值逻辑代数系统中的“积之和”形式的函数的简化算法。首先,在讨论符合目前多值逻辑函数实现特点的合理代价标准基础上,提出了一种折衷的代价标准,按着这个标准不求所有质蕴涵项集合,直接求解无冗余覆盖。这个算法以减少文字门的个数为依据,在确定某些质蕴涵项和实现文字数较少之间进行权衡,它在一个位     

多输出逻辑函数最小化的一个算法

本文描述一个多输出逻辑函数的最小化算法。函数解中积项总数的多少被看作是衡量算法优劣的最重要指标。因此，我们努力使解中的积项被尽可能多的组成函数共享。本文求本源蕴涵项的方法与［１］是相似的。因此，本文也可看成是［１］向多输出函数的延伸。     

Research on the logic coverage method of white-box testing

Software testing is an effective and direct way to improve the reliability of software. This paper presents a class of white-boxes testing methods-the logic coverage testing methods, and discuses how to design testing cases of the various programmes by using condition coverage method with examples. And makes condition coverage method, statement coverage method and decision coverage method in-depth and detailed comparison. At last, analyzes the current software testing methods.     

基于逻辑行和最大接纳距离的网页正文抽取

网页正文抽取是很多互联网应用的基础工作和必须解决的问题。目前的主流方法是基于DOM树结构,此方法需要解析出网页的DOM树结构。对于目前互联网上的网页来源众多、结构众多的情形,基于DOM树的处理方法除了性能不足以外,还会遇到抽取精度上的问题。针对这些问题,该文提出了一个网页正文抽取的新方法,该方法不依赖DOM树,而是考虑人们编写网页的方式形成一些启发式规则,并结合相关的统计规律,以逻辑行为基本处理单位,基于最大接纳距离进行网页正文抽取。实验表明,论文的方法能够高效、高精度地抽取出网页正文。     

Image processing for boundary extraction of remotely sensed data

Image processing algorithms for analysing remotely sensed data are developed. The algorithms proposed in the paper provide means for autoregressive texture modelling and for boundary detection of uniform subimage areas. The boundary detection methods make use of a semicircular entropy operator and of the binary hypothesis testing of the Poisson counting process. The proposed algorithms are applied to the pattern analysis of the isothermal distribution in the oceanic environment.     

对称区域边界处理方法及基于表面粒子提取的表面张力计算

流固边界处理一直是流体模拟的研究重点,边界力法和虚粒子法是研究流固边界 的常用方法。边界力法通过对铺设在边界上的粒子施加排斥力防止粒子穿透,但边界力的计算 限制了模拟速度。虚粒子法在边界处生成虚粒子,随着粒子数的增加所需的虚粒子数也随之增 加,导致计算速度下降,且会出现流体与边界分离的现象。为此,提出一种对称区域边界处理 方法,在保证逼真度的前提下满足实时性要求,随着粒子数的增加,其耗时增长也明显比其他 传统方法慢,更适合对复杂场景的模拟,同时避免了边界处流体与边界分离的现象。CSF 方法 是处理表面张力常用的方法,可将表面张力看作体积力进行计算,大大减弱了表面形状对曲率 计算的影响,而事实上曲率的计算只与表面的形状有关。为此,对CSF 方法进行了改进,提出 了一种基于表面粒子提取的表面张力计算方法,减小了传统CSF 方法计算曲率的误差,提高了 计算速度。模拟仿真的效果验证了该方法的有效性。     

Design and optimization of parallel computers for processing mass data

Problems of high-performance processing of mass cluster data are considered. Estimates of execution times of parallel data processing programs and a heuristic algorithm of optimization of cluster architectures for such problems are proposed. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 117–129, July–August 2006.     

A new automated design and optimization method of CMOS logic circuits based on Modified Imperialistic Competitive Algorithm

This paper proposes a novel evolutionary approach based on modified Imperialist Competitive Algorithm for combinational logic circuits designing and optimization. The Imperialist Competitive Algorithm operates on real values and is not applicable to logic circuits optimization problems. So a modified version of ICA is proposed to overcome this shortcoming. Modification of the algorithm depends on random cell replacement between Imperialist and its colonies as assimilation policy. Also a multi-objective evaluation mechanism in the form of a weighted cost function is introduced to obtain optimized circuits in case of circuit area and propagation delay. To evaluate the effectiveness of this method some general benchmark circuits are used in which the circuits with fewer logic cells (minimized space) and lower propagation delay are obtained. The simulation results of our proposed method are compared with some conventional and heuristic methods. Simulation results show that our proposed method significantly improves the performance factor which represents both circuit area and propagation delay.     

基于烟花爆炸优化算法的测试数据生成方法

针对面向路径覆盖的测试数据生成问题,提出基于烟花爆炸优化算法的测试数据生成方法。首先使用关键点路径表示法表示路径,由理论路径、易覆盖路径和不可行路径得出难覆盖路径,并记录难覆盖路径邻近的易覆盖路径及其测试数据。这些测试数据将作为部分初始烟花以利用其提供的启发信息,其余初始烟花则随机生成。接着根据个体的适应度值设计自适应策略的爆炸半径以提高收敛速度,对爆炸产生的越界火花则使用边界值测试的思想进行修正。与加了启发信息的自适应爆炸半径的烟花算法（NFEO算法）、烟花爆炸优化（FEO）算法、F-method、NF-method等七种基于优化的测试数据生成算法进行了仿真对比实验,实验结果表明：所提算法在测试数据生成时间和迭代次数上都最优。     

基于因素逻辑的分类推理法重构

为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义,以适应广泛的系统结构反分析问题,引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式,赋予其因素逻辑推理能力,从而提升其数学层次,应用于广泛的问题分析。论文给出了空间故障树中分类推理法的基本过程和描述;使用因素逻辑重构该方法的相关定义,并给出了极小析取范式步骤,即重构分类推理法步骤。使用原方法和重构方法分析了实例,证明两种方法得到的系统结构相同,而后者具有更高的逻辑数学层次和广泛的应用能力。