一种新的基于最小项逻辑优化的软件设计与实现

文章提出了一个新的产生本源蕴涵项的算法,并形成了相应的组合逻辑电路逻辑综合优化软件,测试表明,它在运算速度和存储性能上都是高效的。

关于实质本源蕴涵项的识别问题

本文揭示了ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小化算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。

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

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

软件法化简逻辑代数

阐述了化简逻辑代数的基本原理,针对代数法和卡诺图法化简逻辑代数的不足,提出了一种软件化简逻辑代数的编码方案;详细地介绍了形式变换模块、扩充模块和化简模块的设计过程。通过实验可表明,用软件化简逻辑代数可使化简结果准确、算法高效、适用面广。

平行可分解格中的奇异元

研究了平行可分解格中的奇异元。运用格论中的一些基本方法与技巧 ,对奇异元的一些性质进行了探讨 ,获得了一些重要结果。这些结果对于对平行可分解格的进一步研究是十分有益的。

基于编码算法的组合逻辑电路最优化软件的设计与实现

在组合电路综合领域,逻辑最小化对电路面积及性能起到至关重要的作用。文章提出了一个新的产生本源蕴涵项的算法,并开发了一个最优化软件MININT,实验表明,它在运算速度和存储性能上都是高效的。

中国古代宰相制度的演变及其实质分析

秦朝正式确立宰相制度.两汉时尚书台职权大增,逐渐取代三公.魏晋南北朝时,三省制初步形成,经隋朝的发展,在唐初走向了成熟.经五代十国至北宋,二府三司制最终确立.元朝实行中书省一省制.明初废丞相,不久设内阁辅政.明清内阁有名无实.宰相制度演变具有内朝官向外朝官转化、不断压抑相权以加强皇权、职位的设置由实位转向虚位、分权后又注重事权的相对集中的特点.宰相制度演变的原因在于:君权与相权的矛盾;各种政治力量的变化;客观环境的变化.

关于l-群的扭类E

利用本质子群构造了一种新的扭类E满足A E D ,并对扭类E的结构进行了研究。

群分次环上的分次与无分次性质

利用冲积和分次环上的群环2个工具得到了关于分次环上的分次与无分次性的3个定理,即设G是有限群,R是G分次环,如果R是分次Jacobson环(或分次素本质环或分次本质幂零环),则R是Jacobson环(或素本质环或本质幂零环).

多输出逻辑函数的一种化简方法

多输出逻辑函数的化简，目前还没有成熟的方法．凭经验决定蕴涵项的取舍，往往不能确定方案是否最简．由于将多个输出电路作为一个整体电路看待，每个单输出函数最简单并不能保证整体方案最简单．若能找出各输出函数间的公共项，即使它不是质蕴涵项，由于公用，也可能得到最简的方案一作者提出了一种规范而又切实可行的化简方法，用此方法最终可解决多输出函数的化简问题．

适于编程的逻辑函数的化简方法

本文阐述了一种便于使用的逻辑函数化简方法,该方法适用于计算机编程处理。文中还给出了一个简单的实例。

用关键特征集对逻辑进行优化

提出了一个两级逻辑优化的新算法 .与通过函数质蕴涵集求解覆盖的传统算法不同 ,文中将求解逻辑函数的质蕴涵项与推导覆盖问题相结合 ,直接得出覆盖问题的解 .算法的主要问题可以简化为 :对于立方描述的单元 ,求解最小覆盖 .在这个过程中又提出了一种改进的覆盖吸收算法 :基于关键特征集合的选拔吸收算法 .此算法不用求所有的立方 ,通过标准的测试例子与原来的 Espresso算法作比较 ,对于大电路 ,在计算时间上 。

Quantale中的弱S-素元及其性质

研究了Quantale中的弱S-素元与极小弱S-素元的一些性质.给出了一类Quantale中的弱S-素元的等价刻画,证明了弱S-素元在满足一定条件的映射下的像仍然是弱S-素元以及当S具有左吸收性时,双侧元是弱S-素元当且仅当它是素元.得到了在幂等双侧Quantale中极大元是弱S-素元.同时,定义了本质弱S-素元,探讨了弱S-素元与本质弱S-素元之间的关系.

本质环及其决定的两个特殊根

定义了本质环 ,它同时是亚直不可约环和素环的推广 ;给出了本质环的一些描述及基本性质 ;研究了由本质环所决定的两个特殊根 .

多输出开关函数的比简

本文提出一种化简多输出开关函数的新方法,该方法的主要特点是直接对本质蕴含项进行确定。文中介绍了方法的主要依据,给出了方法的步骤,最后用例子进行说明。

格序群的扭类Bw_0

构造了l-群类Bw0 ,证明Bw0 是一个扭类 ,并刻划了其扭根Bw0 (G) ,得到Bw0 (G) =∩u这一重要结果。同时 ,还详细探讨了Bw0 中的格序群的特点 ,获得了如下主要结论 :( 1)G∈Bw0 ,则G有基 ∩α∈EVα=( 0 ) ,其中 {Vα|α∈E}是G的本质值全体。( 2 )G∈Bw0 , 0 <g∈G ,若 g有一个特殊值 ,则 g必超过一个基元素。最后建立了该扭类与其他已知l-群类的关系 ,得到Bw0 ∩Fv2

分次环的分次素秩和分次反单根

研究对于具有某种性质的Ｇ－分次环Ｒ（Ｇ是有限群），当不考虑分次时，是否具有类似的性质．为此，首先证明了不相容性，即若是Ｒ＃Ｇ＊的两个理想且Ｐ是素的，则作为它的应用，证得分次环的分次素秩与素秩是相等的，其次，得到当时，Ｒ的分次反单根与反单根是一致的．

由卡诺图获取逻辑函数最简POS表达式的两种方法(英文)

讨论了卡诺图在以POS形式化简逻辑函数过程中的应用 。

逻辑函数化简程序的实现

本文论述了用C语言实现重复包含算法的过程 ,利用合并操作实现求全部质蕴涵和用包含操作实现函数的最小覆盖 。

关于素环的几个定理

本文给出了判断本原环，有单位元的单环和除环的充分必要条件，主要结果见定理１—７。