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

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

对称检测算法的研究

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

VAX中代码数据的共享技术

本文总结了ＶＡＸ机中各种代码和数据的共享技术。如建库、可共享映象、可重入例程、已知映象、ＣＤＤ词典等，给出了实际应用中使用这些共享技术的具体实现方法和技巧。     

VHDL综合系统HLS/BIT中永真式的判定算法

在ＥＤＡ设计工具的ＨＤＬ综合系统中，高级综合、ＲＴＬ级综合和逻辑级综合等都常常需要对逻辑函数进行永真式的判定。本文给出一种高效的永真式判定算法，该算法利用余因子、Ｓｈａｎｎｏｎ展开式和单边函数，对逻辑函数的多维体列阵进行快速有效的递归判定。该算法已经在自行研制的ＶＨＤＬ综合系统ＨＬＳ／ＢＩＴ中实际应用。     

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

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

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

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

信赖域型拟Newton法的全局收敛性

对一般无约束最优化问题从理论上证明了由信赖域型的Ｐｏｗｅｌ－对称－Ｂｒｏｙｄｅｎ拟Ｎｅｗｔｏｎ法与对称秩１拟Ｎｅｗｔｏｎ法产生的点列至少有一极限点是函数的稳定点．对于非线性最小二乘问题，Ｂｒｏｙｄｅｎ－Ｄｅｎｎｉｓ方法、Ｂｅｔｓ方法和Ｂａｒｔｈｏｌｏｍｅｗ－Ｂｉｇｇｓ方法具有同样的全局收敛性     

2-距离空间中一类压缩型映象的不动点定理

在完备的2-距离空间框架下,研究一类涉及4个映象并满足一定压缩型条件的公共不动点的存在性问题.利用广义弱交换映象概念,证明了这类带有对称函数的压缩映象的新型公共不动点定理.最终将相关文献中的结果推广到了2-距离空间中.     

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

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

计算微分方程(组)古典和非古典对称的Ritt-吴-微分特征列集算法理论

给出计算（偏）微分方程（组）（ＰＤＥｓ）对称的Ｒｉｔ－吴－微分特征列集（消元）算法理论．把古典和非古典ＰＤＥｓ对称的计算问题统一在Ｒｉｔ－吴－微分特征列理论框架之下．给出了产生ＰＤＥｓ对称的无穷小方程和验证已知向量场为ＰＤＥｓ对称向量的机械化证明原理．为计算ＰＤＥｓ对称提供了有效的新的算法理论．     

GPS—RTK技术在矿山测绘中的应用

将GPS—RTK技术应用到矿山测绘的过程当中,可以有效降低工作的难度,提高工作效率,对做好矿山测绘工作有着积极的推动作用。简要介绍了GPS—RTK技术的作用、原理和特点,以及GPS—RTK技术在矿山测绘中的实际应用,并提出GPS—RTK技术在矿山测绘中的注意事项。     

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

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

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

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

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，因而也无函数式是否化简到了最简的判别方法。为解决这些难题，提出了“镜像消元法”，给出了化简的具体步骤和方法。对于6个以上变量的逻辑函数的化简，镜像消元法优于卡诺图法。     

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，函数式是否化简到了最简也没有判别方法．文中提出的“准多余项化简法”解决了这些难题，给出了化简的具体步骤和最简式的判别方法．对于６个以上的变量逻辑函数的化简，此法显著优于卡诺图法．     

用MSI数据选择器实现逻辑函数的方法讨论

目的讨论用中规模器件实现组合逻辑函数时,函数变量数小于数据选择器的地址变量数的情况。方法详细阐述了数据选择器的原理及应用,从逻辑函数表达式、真值表和卡诺图3方面进行分析。结果得出用MSI数据选择器设计组合逻辑函数能够实现任意组合逻辑函数,并通过实例验证了其有效性。结论用MSI数据选择器可实现任意组合逻辑函数。     

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

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

基于Dirchlet分布的扩展主观逻辑

针对基于二值逻辑的主观逻辑中存在的一些问题,提出了基于Dirichlet分布的扩展主观逻辑．在利用三值逻辑代替原来二值逻辑的基础上,扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数,并给出了新的扩展合意规则．扩展主观逻辑保留了主观逻辑基于统计推断和概率理论的优点,并考虑了事件结果不确定时的情况,从而可更好地建模和处理信任中的主观性和不确定性．实例分析表明,扩展主观逻辑具有合理的事实根据和理论基础．     

A detection method for logic functions suitable for dual-logic synthesis

Logic functions can be implemented in either AND/OR/NOT-based traditional Boolean (TB) logic or AND/XOR-based Reed–Muller (RM) logic. To the majority of logic functions, it will be beneficial to be partially implemented in both TB logic and RM logic, called dual-logic. In this paper, a detection condition favoring dual-logic synthesis is proposed. A corresponding detection algorithm is developed and implemented in C. The algorithm is applied to test a set of MCNC91 benchmarks for verifying the algorithm. The results show that the proposed algorithm is more efficient than published ones.