逻辑函数最小覆盖唯一性问题

对于存在冒险的逻辑函数，当数组A中元素排列不同时，其最小覆盖并不唯一。     

基于神经网络的逻辑最小造价覆盖算法

提出一种基于神经网络求解逻辑综合中最小造价覆盖问题的优化算法。首先给出了最小造价覆盖问题与能量函数的映射关系，并以此构造了改进的两级Ｈｏｐｆｉｅｌｄ网络模型。然后利用该网络的动态特性，求出最小造价覆盖问题的最优解。最后对算法进行了分析和小结。     

一些Fuzzy逻辑函数最简式唯一性的探讨

通过对一些Fuzzy逻辑函数化简的讨论,得出Fuzzy逻辑函数化简唯一性的普遍规律,其中提出了“不唯一规则”     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

唯一性逻辑及其BP神经网络侦测

创新地提出了唯一性逻辑的概念并给出了其定义。所谓唯一性逻辑,就是判断输入向量中是否存在唯一分量的逻辑。展望了唯一性逻辑可能的应用前景。采用了BP神经网络来建立唯一性侦测与应用模型。计算机实验表明,该文提出的基于BP神经网络的模型可以准确有效地进行唯一性逻辑的侦测与应用。     

基于立方扩展法的多输入多输出逻辑综合算法的实现

逻辑综合是数字系统自动化设计的重要理论之一。本文通过对现有算法的深入研究,介绍一种快速有效的逻辑综合算法,即立方扩展法直接求出多输入多输出函数的最小覆盖,用Delphi6.0编写相应的算法程序。大量的实验证明该算法可以减少存储容量加快程序运行速度,在电子设计自动化中具有广泛的应用前景。     

图的最小覆盖的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法．     

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

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

一类代数体函数的唯一性

本文在有理函数集合 R_k 上,对那些支点增长较慢的代数体函数建立了两个唯一性定理。文中所得结果可以视作亚纯函数有关定理的推广。     

亚纯函数的唯一性定理

本文得到几个关于亚纯函数唯一性的结果,如果两个亚纯函数以及它们的k阶导数取一些复数的值点集合相同。     

基于覆盖的粗糙隶属函数

粗糙隶属函数最初是基于等价类的,然后被推广到拓扑结构上.注意到无论是等价类还是拓扑都构成了论域上的一个覆盖.鉴于此,我们引入了基于覆盖的粗糙隶属函数的概念,研究了其性质,并给出了一个公理化的定义.     

关于多项式唯一性问题

推广了Adam s-Straus关于多项式唯一性的一个定理,得到结果:设p与q皆为非常数的多项式,a1,a2,…,ak及b为k+1个互异有穷复数,若ki=1(p-ai)=0 ki=1(q-ai)=0,p-b=0 q-b=0,并且有d k≠0,i=1(z-ai)dzz=b≠0,则p≡q。     

论戏剧教育在基础教育中的独特功能

戏剧教育在西方发达国家非常受重视,我国自2000年始也把戏剧教育纳入中小学艺术教育范畴之中.戏剧教育作为学校教育中实施素质教育的有效途径之一,其最终目标是人格教育,是培养全面发展的人.对于中小学生来说,戏剧教育除了具有丰富感知、完善人格方面的作用外,还可以提升多方面能力,促进全面发展.     

有限覆盖定理的应用

通过半连续函数及函数项级数等有关性质的证明，介绍了有限覆盖定理的使用方法，说明了它在证明问题中的作用。     

构造性神经网络覆盖算法的模糊化技术及其应用

本文通过将模糊逻辑的结构性定义引入构造性神经网络模式分类系统中,给出模糊神经网络模式分类边界的直观描述方法.在系统信息不完备的情况下,可以获得更为合理的模式分类边界,并提高模式分类的精度.实验结果表明以上方法正确.     

无平方因子奇数DCS的一个必要条件

设A=｛as(ms):s=1, ,k｝为无平方因子奇数不同模覆盖系,设模的最小公倍数N=［m1,m2, ,mk］=p1p2 pn,其中p1相似文献   

覆叠同伦正则态射的若干性质

在点标道路连通CW空间的同伦范畴中,引进了覆叠同伦正则态射的概念,并证明了笛卡尔积保持履叠同伦正则性,继而得到了smash积也保持覆叠同伦正则性,最后讨论了覆叠同伦正则性保函数空间.     

关于某些几何覆盖问题的算法

提出了求覆盖平面点集最小圆的算法与平面点集中最大空圆的算法．其基本思想是，先把点集Ｓ分成若干层，然后逐层求不包围Ｓ中点的最大圆并保留之，最后找半径最大的圆．对于包围点集Ｓ的最小圆问题，本文提出的算法是，先求点集Ｓ的凸包，然后再求包围该凸包顶点的最小圆．     

拟双曲覆盖映射的特征

设ｆ是紧致不带边流形Ｍ上的覆盖映射，证明了ｆ是拟双曲覆盖映射的充分必要条件是（Ｉ－ｆ＊）为单射且有闭值域。