一种新的布尔函数对称检测算法

对称是逻辑综合，逻辑优化以及映象技术领域中的一个十分重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映象技术和等价 有效性，本文提出一种用于ＯＢＤＤ布尔函数对称检测的高效算法。     

一种新的布尔函数对称检测算法

对称是逻辑综合、逻辑优化以及映象技术领域中的一个十分重要的性质－ 对于对称函数, 可以使用特殊的逻辑综合程序来改进设计结果－ 使用对称也可以提高映象技术和等价检测的有效性－ 本文提出一种用于ＯＢＤＤ 布尔函数对称检测的高效算法     

对称逻辑函数的零级核计算问题

对对称逻辑函数的零级核计算问题进行了讨论,并给出了一个计算对称逻辑函数零级核的定理,该定理表明,对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。实际应用显示,应用该定理计算对称逻辑函数的零级核,在计算时间和存储容量上都优于传统的核理论。     

递归学习寻找对称变量

逻辑验证和逻辑综合中，利用对称变量的性质能提高算法整体的效率．通常fx1xj^-=fxjxi-被用来检验变量的对称性．一般先分别建立fxjxi和fxjxi^-的BDD(Binary Decision Diagram)二分决策图，然后通过检查两BDD图是否同构来验证fxjxi=fxjxi^-．但将电路转化为BDD图本身就需要一定的时间，而且对于大的电路，存在BDD图不能建立的可能性，致使同构验证无法进行．本文利用递归学习，无需建立BDD图直接在电路拓扑图上验证fxjxi^-=fxjxi^-递归学习算法执行效率高，可以大大缩减对称变量检测的过程．试验结果表明，利用递归学习算法检测对称变量执行时间减少，并且能将大的电路作为检测对象．     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近量小覆盖的两级与－或网络的自动逻辑综合方法，提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合。     

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

逻辑正弦－余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数的运算规则．逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析、设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近最小覆盖的两级与－或网络的自动逻辑综合方法．提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合     

论逻辑函数变量的二值与格形对称性

格形结构是自然界中普遍存在的一种结构形态。通过对逻辑函数变量的二值与对偶关系以及与之对应的格形对称图的一些性质及其规律的探讨,在两种格形对称图上,找到了最小项与其逻辑相邻项之间的对应关系,从而为用格形对称图法化简逻辑函数提供了捷径和方法。     

逻辑函数结构及组合险象

本文使用混合逻辑代数这个新理论和新方法,定义了逻辑函数的结构,导出了基本逻辑函数,复合逻辑函数及一般逻辑函数的结构表达式,得到了逻辑函数必须遵从的一些特别重要的结构结论。并设计出了无逻辑冒险,无功能冒险的无险象组合电路,布尔逻辑函数理论分析及实验结果与新理论符台得特别好。无疑这种新理论和新方法使计算机电路及离散系统设计增加了新手段。     

重用控制器综合技术实现RTL综合

讨论在RTL综合中重用高级综合中控制器综合技术的可行性,提出一种通过将RTL描述划分为时序逻辑与组合逻辑后,重用控制器综合中的组合逻辑综合和时序逻辑综合实现RTL综合的方法。此方法有效地利用了已有了成熟技术,为缩短RTL综合的开发时间提供了一种有效途径。     

一种基于模拟退火的LUT结构FPGA工艺映射算法

SoPC中提供给FPGA IP核的有限面积使面积优化成为工艺映射的关键目标之一．减少实现电路功能的可编程逻辑单元数可以有效地减小所需芯片面积,还能降低对布线资源的需求．利用模拟退火算法从全局范围对LUT结构FPGA的工艺映射过程进行考虑,针对减少所用LUT数目的目标得出映射结果,实验结果表明用该算法可以快速地得出非常优化的结果．     

通用的FPGA逻辑单元映射工具

提出了基于图模式匹配的逻辑单元映射的新颖思想,开发了针对不同结构的逻辑单元都能适用的映射工具FDUMap.实验中应用FDUMap将测试电路映射到不同的逻辑单元中,该工具比起现有的几种专用的逻辑单元映射工具,有更好的通用性.     

扩展主观逻辑的粗化与细化

为了提高主观逻辑的扩展性和灵活性,文中结合证据理论及信任结构,提出了基于三项事件的扩展主观逻辑.通过重新定义观念空间与事实空间之间的映射关系,给出扩展主观逻辑的粗化和细化映射及相应的计算规则,扩展主观逻辑能够根据实际环境的需要提供不同详细程度的识别框架,并利用粗化和细化映射在扩展主观逻辑上统一对信任函数进行结合,而结果可重新映射回原识别框架.实例及分析表明,利用扩展主观逻辑可以解决不同识别框架之间信任信息的融合问题.     

一种改进的逆向逻辑综合算法

在逆向逻辑综合过程中,为了保证综合结果的准确性,需要将输入全集作为待处理数据集合,大大增加了整个处理过程的时空开销.论文深入分析了现有的逻辑综合基本运算,并结合逆向逻辑综合的数据特点,提出了效能更优的改进广义相容算法,从而较大程度地提高了对部分集进行化简提维的效率.     

测绘技术在土地整理中的应用

土地整理是一项综合性的工作,必须建立在测绘工作的基础上技术提高土地整理规划决策的实效性,大幅度地降低财力的投入并进一步提高了测绘技术水平,更好的服务于土地整理工作,并分析了利用新的测绘技术进行土地整理规划的优势,简要介绍了3S技术,提出采用3S技术获取土地整理基础信息的基本技术路线,详细说明了RS,GPS,GIS技术在土地整理调查、成图、规划设计过程中的应用,指出3S技术一体化为提高土地整理规划决策的实效性,大幅度地降低财力的投入提供了新的方法.     

基于XML数据库的存储及映射研究

XML作为数据库系统,可以把复杂的数据合理的分解,以适应当前的数据库模型,并以其良好的开放性、移动性和适应性等特点,提供了数据库逻辑接口.为了实现XML的潜能,XML的有效存储和映射成为一个必须要解决的技术环节.针对XML数据库研究的现状,介绍了XML数据库存储模式、数据模型及XML与数据库间的映射技术,并给出了实例分析.     

基于FPGA查阅表的面向结构的逻辑优化

介绍了基于现场可编程门阵列（ＦＰＧＡ）查阅表的逻辑优化准则．基于这一准则，讨论了几种重要的逻辑优化运算，例如抽取、分解、约数检查和简化，以按照目标工艺技术估算电路的价格．基于ＦＰＧＡ，利用我们的方法对查阅表进行逻辑优化，可以得到工艺映射中的良好出发点．以２５个基准试验例子为基础，我们的优化电路所需要的构造逻辑方块（ＣＬＢ）比利用ＭＩＳ－ＩＩ的优化电路的情形下少百分之十四，如果两者都利用ＭＩＳ－ｐｇａ顺序映射的话．此外，电路的级数也稍有改进．     

16位超前进位加法器的设计

电子计算机是由具有各种逻辑功能的逻辑部件组成的,加法器就属于其中的组合逻辑电路。如果对传统的加法器电路进行改进,在超前进位链的基础上,用一种新的超前进位链树的设计方法不仅可以克服串行进位加法器速度低的缺点,也可以解决单纯的超前进位加法器带负载能力不足等问题,从而在实际电路中使加法器的运算速度达到最优。根据这种理论,可以推导得到最优的任意位加法器。