多目标学习的图像滤波电路函数级进化方法

针对图像滤波的可硬件化和细节保留中存在的问题,提出一种多目标学习的图像滤波电路函数级进化设计方法.首先建立平均绝对误差最小和高误差点数量最少的多目标滤波学习模型,以函数级基因表达式为进化电路个体的表征;采用离线进化模式搜索近似目标的最优进化电路个体,并对该个体的基因表达式进行VHDL转换,再将转换的VHDL移植于可编程逻辑器件上实现滤波电路.与多种滤波方法在边缘保留、峰值信噪比-均方误差的比较结果表明,电路在细节和边缘保留上有较大的提高,视觉效果更好.     

一种基于逻辑最小项化简的非线性函数实现方法

神经网络的数字VLSI实现中,非线性激活函数是计算部件设计中的难点.区别于其他模拟近似方法,本文提出的LMN方法使用逻辑最小项化简,对查找表(即函数真值表)进行有效压缩,提炼出函数最简逻辑表达式后,可直接生成结构规整的门级电路,且除线延时外,电路只有数个门级延时.该方法使用程序实现,简化了设计过程.结果表明当定点位数小于12时,该方法在速度及误差方面具有更好的性能.     

有向图基因表达式程序的电路演化模型

为提高组合逻辑电路的进化速率和成功率,在基因表达式的基础上,结合图形结构提出了有向图基因表达式(GGEP)模型.其中基因表达式包含符号和连接两部分,通过基因显示型映射得到的连接非循环有向图可以很好地描述进化电路,最大正确输出且逻辑门数最少的电路为最优电路;提出了中立变异算法,使变异发生在基因表达式的非编码区域,产生电路进化的中立效果,并分析了该算法的复杂度,测试了中立对电路演化的影响.电路实验结果证明:GGEP模型比其他方法成功率高,演化速率快4～20倍;中立存在的GGEP模型的收敛速率和成功率都要比非中立变异的演化模型高出近一倍.     

复合表达式的特殊功能与应用

通常所谓的表达式有三种,即算术表达式、关系表达式和逻辑表达式。算术表达式用于算术运算,其结果为数型值,关系表达式和逻辑表达式用于逻辑判断,它们的结果均为逻辑值1或0(1表示为真,0表示为假),一般说来,后两种表达式仅出现在IF/THEN等控制程序分支的语句中。如果你稍加留意,就不难觉察到:表示真假的1和0依然也是数型值,那么它们同样可以     

基于改进NB分类方法的网络异常检测模型

在神经网络的数字VLSI实现中,激活函数及乘累加等计算部件是设计中的难点.区别于使用乘法器及加法器的传统方法,该文提出的LMN方法基于查找表(即函数真值表),使用逻辑最小项化简提炼出函数最简逻辑表达式后,可直接生成结构规整的门级电路,除线延时外,电路只有数个门级延时.以非线性函数为例对该方法进行了介绍,结果表明当定点数位数较少时,算法在速度及误差方面具有更好的性能.     

神经网络计算部件的数字VLSI优化设计

在神经网络的数字VLSI实现中，激活函数及乘累加等计算部件是设计中的难点。区别于使用乘法器及加法器的传统方法，该文提出的LMN方法基于查找表(即函数真值表)，使用逻辑最小项化简提炼出函数最简逻辑表达式后，可直接生成结构规整的门级电路，除线延时外，电路只有数个门级延时。以非线性函数为例对该方法进行了介绍，结果表明当定点数位数较少时，算法在速度及误差方面具有更好的性能。     

谈"逻辑函数多边形简化法"

<正> 《电子技术应用》83年第8期"逻辑函数多边形简化法"一文(以下简称(《该文》),运用图论数学工具,提出了逻辑函数多边形简化法的几何模型及其简化方法.该文在逻辑函数最小化问题上探索出一条新的解决途径,看后很受启发.但我觉得《该文》中的简化步骤尚不够完善,从而使得在有些情况下简化后的逻辑表达式还会存在冗余项.下面就上述问题谈些看法.     

基于变粒度的大规模真值表快速知识约简

在大规模逻辑电路的分析与设计中,直接由大规模真值表得到最简逻辑函数表达式的过程往往比较复杂。针对此问题,提出了一种基于变粒度的大规模真值表快速知识约简算法。随着真值表的输入逻辑变量的粒度变化,通过引入标记矩阵和启发式算子,对大规模真值表进行知识约简,从而得到最简逻辑函数表达式。最后,通过实例分析并详述算法过程,且通过数据集进行对比实验,验证了该算法的快速性与有效性。     

基于余子式的组合逻辑电路覆盖等效性检测算法

覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式;然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式;最后根据重言式判别结果确定两电路间是否覆盖等效关系.该算法通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度.电路测试结果表明,文中算法是稳定有效的;对EXPRESSO软件集成的3种算法所得电路的测试结果表明,与基于真值表和BDD的2种检测算法相比,该算法具有明显的速度优势.     

ECL串级门逻辑设计的一种方法——二分树法

射极耦合逻辑(ECL)电路由于速度上的优越性,有着广泛的应用。与其他型式电路不同的是ECL电路可运用串级门技术。这种技术的引入,使ECL电路的功耗、速度、元件数等各项指标都得到很大的改善。目前,大多数ECL电路的产品都采用了串级门的结构。串级门电路的逻辑功能取决于电路的结构,也就是电路中元件的连接方式。对于串级门电路的逻辑分析与综合是以元件(晶体管、电阻等)为对象的。因此,这种分析与综合完全不同于一般意义下的以逻辑门为基础的分析与综合。本文介绍一种利用二分树进行分析与综合的方法。把串级门变换成二分树的形式。可以给逻辑设计带来很大的方便。在分析电路时,可以通过在图中找路的方式得出逻辑表达式。在设计电路时,可以对二分树先进行化简,然后再将化简的结果转换成实际电路。而且,二分树的数据结构计算机处理起来十分方便,这样也给计算机辅助设计提供了一种有效的手段。     

大电路固定极性Reed-Muller逻辑快速转换算法

针对已有的列表技术在极性转换中只能解决中小规模电路的问题,提出一种基于不相交乘积项列表技术的快速转换算法.首先将待处理的逻辑函数表示为不相交乘积项之和形式;然后通过对已有的基于最大项的列表技术进行分析和改进,使得改进后的列表技术可以实现将逻辑函数从不相交乘积项的AND?OR形式向固定极性XNOR?OR形式的Reed-Muller逻辑转化.文中算法用C编程实现,并用MCNC标准电路进行测试.实验结果表明,该算法可以快速实现大电路的极性转换,并且具有运算速度对电路的输入变量数不敏感的特点.     

数字双极电路的开关级逻辑模拟

本文描述双极数字电路逻辑模拟的一种新方法。该方法是以晶体管开关电平模型的发展和用开关图表示电路为基础的。它自动地把电路划分为子电路,然后根据子电路的输入和初始条件表示的结点逻辑状态产生符号逻辑表达式。因此,该法从晶体管网络表或布局中提出了一个门级功能描述。利用求得的逻辑表达式或开关图模型能够完成逻辑和故障模拟。该法对共模逻辑(CML)双极电路设计的逻辑模拟已用计算机程序实现。     

数字电子钟的设计与仿真

本文介绍了一种数字电子钟的设计与仿真。数字电子钟的设计涉及到模拟电子技术与数字电子技术。其中,绝大部分是数字部分:逻辑门电路、数字逻辑表达式、计算真值表与逻辑函数间的关系、编码器、译码器显示等基本原理。是典型的时序逻辑电路,包含了计数器、二进制数、八进制数、十六进制、二十四进制、十进制数的概念。     

具有多个输出的逻辑函数的化简

<正> 具有相同输入变量而有多个输出的逻辑网络的化简,如果只是孤立的将单个输出函数化简,然后直接拼在一起,有时并不能保证这个多输出网络为最简。因为对于这种网络有时存在能够共享的部分。为使多输出网络得到最简化表达式,通常使用的Q—M法或卡诺图法,都相当复杂。本文介绍的化简方法,是将卡诺图法作了较大的改进,使化简过程更加简便。     

局部流型分析的哈密顿系统小参数正则变换

表达二维不可压缩流动的流速分量与流函数关系的微分方程组是典型的具有一个自由度的哈密顿系统.将流函数用Taylor级数展开,应用非线性系统动力学方法对流型及其分岔进行了分析.对退化临界点,基于流动平面的小参数正则变换,导出了流函数的正形表达式和简化的微分方程,并对简化系统的一般特性进行了分析.     

再论Excel在寿险精算中的应用

寿险精算中大量而繁杂的计算工作可通过Excel程序来完成,其实质是每一替换函数值用一单元格来代替。针对替换函数值与引用的单元格列行号不一致而必须先转换后才能计算的局限性,文章将探讨如何克服这一局限性而构建新替换函数表的方法,并通过示范举例达到进一步简化寿险精算中计算的目标:只需形式地输入替换函数表达式。     

一个函数/逻辑语言RELNF的设计与实现

RELNF是我们自行设计与实现的一个基于扩展的图归约计算模型的函数/逻辑语言。本文较详细地介绍了RELNF的语法,表达式的编译及解释实现技术。     

分辨矩阵在逻辑优化中的应用

真值表的化简对于逻辑电路的分析与设计具有及其重要的意义.对真值表的化简问题进行研究,提出了一种利用分辨矩阵从真值表中获取最小布尔表达式的粒分辨矩阵方法,实现其在逻辑优化中的应用.首先,将真值表视为逻辑信息系统,将真值表的化简问题转化为逻辑信息系统的最简规则发现问题.然后,在传统分辨矩阵的基础上,利用等价关系模型构造粒分辨矩阵,找出可以组织成最小布尔表达式的信息粒,利用信息粒的析取合取运算获得逻辑信息系统的最小布尔表达式.为进一步加快算法的收敛速度,引入启发式信息的概念,给出了组织信息粒的判定法则,避免在最小布尔表达式的获取中出现冗余逻辑项,使得布尔逻辑表达式最简,同时提高最小布尔表达式的获取效率,解决大规模逻辑电路的优化问题.最后,给出了详细的算法,并通过实例和理论证明说明了该方法的正确性和有效性.     

求解相同PDE不同边值问题的一种简化D-N交替法

本文构造了一种简化的D-N交替法来求解Poisson方程带有不同边值问题。先求两个方程系数矩阵,函数值差额的先验估计矩阵,再用简化的D-N交替法求解。本文的算法简化了,而且可以同时求解不同的边值问题,从而提高计算效率。文中还得出与Richardson迭代法具有最优特性等价的松弛因子θ_n以及简化D-N交替法对应问题的真解u的表达式。     

力标准机码盘的定位检测

分析了EE1- 10 0型力标准机砝码加载机构的工作原理和砝码挂起后间距偏差对定位检测的影响 ;提出了用光电编码测距方式取代原固定位置检测的方式 ;设计了测量电路以及一种符合EE1- 10 0型力标准机工作特点的倍频鉴相电路并给出了逻辑分析结果 ;设计了置数计数定位电路 ,使系统装调简化 ,工作可靠。