基于CPLD的倒数计数器

用VHDL在CPLD器件上实现一种数字频率计测频系统,能够用十进制数码管显示被测信号的频率及其他多种物理量.整个频率计设计在1块CPLD芯片上,与其他方法做的频率计相比,具有体积小、可靠性高、功耗低的特点.     

基于分解图检测特殊函数的新方法

特殊布尔函数在电路设计中有着独特的优点．本文从特殊函数的定义出发，导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理，着重介绍了基于分解图的相关定理在特殊函数检测中的应用，并以实例加以说明．本文为超大规模集成电路中单元电路的设计与化简提供了新的方法，对进一步完善布尔代数系统具有一定的实际应用意义．     

基于Haar变换的冗余函数和线性函数的检测

给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系．在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法．该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作．     

基于谱技术的旋转对称函数检测

推导了旋转对称函数的Rademacher-Walsh变换（RW变换）谱系数的性质,在此基础上提出了基于RW变换检测旋转对称函数的方法.该方法具有操作简便、易于计算机编程操作以及能检测多种特殊逻辑函数等优点.     

整函数与亚纯函数的级与型

研究了当整函数或亚纯函数f1(z)与f2(z)具有相同增长级和不同型时,f1+f2,f1f2,f2/f1的增长级与型,得到了一些结果,完善了原有的一些结果。     

基于表格法的CRM型对称函数检测

分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明．与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效．     

基于混值系统的同步计数器

提出用纯二值结构的三值T触发器和普通的二值触发器一起构造混值N进制计数器的设计方案。该方案的引入,可以使N进制计数器可能产生的最大冗余态从原来的2~(m-1)-1个减少到2~(m-2)-1个(m=[ln(N-1)/ln2+1])。而它的输出状态完全与普通的二值计数器相同。     

某一类迭代级亚纯函数与整函数的复合

研究某一类迭代级亚纯函数与整函数的复合,在亚纯(整)函数f(z)以及函数g(z)满足一定的条件下得到了复合函数f(g(z))的增长性,推广了原有的一些结果。更多还原     

基于四元数尺度函数的边缘检测方法

四元数解析信号是解析信号在四元数意义下的推广,其由原信号、四元数方向Hilbert变换和四元数交叉项Hilbert交换构成。通过四元数解析信号的极坐标表示,可得信号的特征表示,如局部相位角和局部振幅,其中局部相位角包含信号的结构信息。研究了右四元数解析信号,给出了其二维延拓定理,得到右四元数尺度函数,并将其局部特征应用于彩色图像的边缘检测,提出了基于局部相位角和局部振幅的边缘检测方法,通过对比实验,证明了基于局部相位角的边缘检测方法在抗噪上具有鲁棒性。     

基于归一化Haar变换检测旋转对称函数的新方法

讨论了旋转对称函数在归一化Haar变换域中的谱特性,提出了基于归一化Haar变换检测旋转对称函数的新方法．该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点．     

基于图形方法的冗余函数与自反函数检测

冗余函数和自反函数是特殊的布尔函数，本文阐述了冗余函数和自反函数的定义，提出了冗余函数和自反函数的性质，讨论了冗余函数和自反函数的图形检测方法．并用实例说明之．通过计算机编程操作．可以得到用于多变量冗余函数和自反函数检测的快速算法．     

基于布尔e导数的特殊逻辑函数检测方法

布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.     

迭代级整函数复合的正则增长性

研究了两个迭代级整函数f(z),g(z)复合以后的增长性,主要包括复合函数f(g(z))的迭代下级,增长指标,并且在内外函数满足一定条件下研究了复合函数f(g(z))的正则增长性。更多还原     

无限级亚纯函数的Hayman方向

研究亚纯函数的Hayman方向.应用Ahlfors覆盖曲面理论,证明了复平面上满足一定条件的无限级亚纯函数对应于Hayman不等式的奇异方向的存在性,将杨乐等有关有限级亚纯函数的相关结论推广到了无限级的情形。     

基于表格方法的冗余函数、自反函数及自双反函数的检测

基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数．讨论了表格法作为检测特殊函数的易用性和可编程性．     

基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.     

实系数α级星形函数族与实系数α级凸形函数族的支持点

以A记单位圆盘(?):|z|<1内所有正则函数所成的集合,它关于局部一致收敛拓扑成一局部凸线性拓扑空间.对α<1,以S~*(α)记(?)内形为f(z)=z α_2z~2 …且满足条件Re(zf’/f)>α的函数(称为α级星形函数)全体;以K(α)记(?)内形为f(z)=z α_2z~2 …且满足条件Re(zf”/f’ 1)>α的函数(称为α级凸形函数)全体.以 S~*(α)_R与K(α)_R分别记S~*(α)与K(α)的实系数函数所成的子族.它们都是A的紧子集.设F(?)A,f∈F,f在F中的一个变分是指一个依赖于ε>0的函数f~*,f~*∈F,而     

基于函数映射的二维形状内蕴对称检测算法

针对现有的二维形状内蕴对称检测方法表现欠佳的问题,提出了基于函数映射的二维形状内蕴对称稠密点对应谱优化（FM-2DSISD）方法。首先,设计了对噪声数据鲁棒的稀疏特征对称点对提取算法。其次,利用特征对称点对和函数映射框架,建立了以保持函数映射矩阵每个主子矩阵对角正交性为优化目标的数学模型,证明了该优化目标能保持内蕴对称映射的等距性。借助谱上采样技术,通过频谱域和空间域交替迭代优化函数映射矩阵和逐点映射矩阵。数值实验表明,FM-2DSISD方法对二维光滑形状和噪声形状的检测效果均优于现有检测方法。     

基于谱系数图检测特殊逻辑函数的图形方法

阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理, 给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程. 实例表明该方法具有直观、简单等特点.     

基于分解图检测含任意项特殊逻辑函数的方法

特殊逻辑函数在电路设计中有着独特的优点．从特殊函数的定义出发,提出了检测舍任意项特殊逻辑函数的方法,并以实例加以说明．为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义．