在通信网络中,组播是一种重要的通信方式,是一种一对多的连接类型的通信方式。随着网络技术的发展,组播在分布式系统、视频点等多......

给定一个合取范式CNF,合取范式中的每一项都是布尔变元的析取,SAT问题(Boolean Satisfiability Problem)是判断这个CNF是否可满足;......

提出了蕴含图基集的概念 ,研究了基集的一些性质...

分析了一个例子的基础上，给出蕴含图的概念，并介绍利用蕴含进行状态分配的方法，该方法可获得较佳获得分配，得到较简单的电路。......

图论作为数学的一个重要分支,在计算机科学中也扮演着非常重要的角色。随着大数据时代的到来,图数据的规模也随之增大,因此图算法......

控制器综合中状态编码这个课题，已经有过不少的研究。人们都试图设计出能够得到“最佳编码”的方法或者是算法，来达到节省门电路、触......

本课题主要以广西南北壮语5个方言点(南部:靖西、田阳;北部:武鸣、东兰、贵港)的不定代形式为研究对象。一般而言,语言中的不定代......