一种高效快速的高密度椒盐噪声消除算法

本文提出了一个简单高效的消除高密度椒盐噪声的算法.在该算法中,对于图像中的每一个椒盐像素,计算以该像素为中心的窗口内非椒盐像素的平均值,并且在不同的阶段对其更新.实验结果表明,对于污染度为10%到90%的图像,本文的算法都有良好的噪声消除能力,所得到的恢复图像能够较好地保持原始图像的细节.另外,本文的算法计算时间较少,具有较大的实用价值.

数字集成电路的时序分析

文章对数字集成电路设计中的时序分析作了一个概要的介绍。对一些时序分析算法进行了讨论 ,同时 ,指出伪路径是时序分析中的一个重要问题。因此 ,为了进行有效的时序分析 。

OBDD在组合逻辑电路测试中的应用研究

传统的组合逻辑电路测试方法在搜索过程中都不可避免地要进行反向回溯 ,由于反向回溯的次数过多 ,往往会降低算法的效率 .文中利用 OBDD来表示电路中每个节点所代表的逻辑函数 ,把传统算法中的反向回溯过程转换为 OBDD图的问题 ,从而加快了故障测试的速度 .同时 。

利用累积分布函数的亮度保持均衡算法

为了解决对比增强算法中的亮度保持问题,提出一个有效的基于直方图的亮度保持和对比增强算法.首先利用累积分布函数计算关键点,这些关键点对亮度保持有重要影响;然后基于关键点将直方图分割为几个子直方图,并对每个子直方图进行均衡;最后将均衡之后的子直方图合并,得到增强的图像.实验结果表明,与已有的一些基于直方图的算法相比,该算法能够更为准确地实现亮度保持,且图像的对比增强效果较好.

基于二分图完美匹配的布尔匹配算法

提出了一种改进的基于二分图完美匹配的布尔匹配算法 .该算法通过把布尔变量之间的匹配问题转换为二分图的完美匹配问题 ,避免了原算法中因乘积项过多而导致计算时间过长的缺点 .对 MCNC标准测试电路的实验结果表明 :与原算法相比 ,改进后的算法可以减少 2 1%左右的计算时间 .同时 ,文中提出了布尔变量强匹配的概念 ,它是对传统布尔匹配概念的引申 .

Kapur多级分割的阈值相关性及其快速实现算法

基于Kapur算法所产生的多级阈值之间是相互联系的性质,提出了Kapur多级分割的快速实现算法.该算法利用一个给定的初始阈值,采用迭代的步骤分别计算多级阈值;当满足收敛条件时,得到多级分割的阈值.实验结果表明,无论是计算时间还是计算结果的准确性,文中算法都超过了许多已有的算法;且该算法计算相当简单,对内存要求也较低,能够满足实时计算的要求.

一种改进的多级逻辑优化算法

基于变换化简法 ,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法 .通过计算逻辑网络中门或连线处的可观测性无关项 ,可迅速得到最大允许函数集 ,从而节省了计算时间 ,并且提高了原算法的适用性 .实验结果表明 ,改进后的算法可用于大规模集成电路的设计 .

节点电压法和修改节点电压法的探讨

本文对"电路分析"课程中的节点电压法和修改节点电压法进行了讨论,通过例子说明修改节点电压法比节点电压法更容易形成电路方程。同时,对如何形成修改节点电压法中的电路方程进行了阐述,该方法也适合于计算机辅助电路分析。本文的介绍和分析对讲授"电路分析"中的节点电压法有一定价值,可供教学参考。

子图像加权的彩色图像对比度增强算法

为了更好地实现彩色图像的对比度增强,提出一种有效的基于亮度保持的子图像加权对比度增强算法.首先利用基于亮度保持的双直方图均衡(BBHE)算法定义了2个子图像;然后根据输入图像以及2个子图像的亮度均值,给出一种基于亮度保持的权重系数的计算方法;最后对2个子图像进行加权求和,得到输出图像.对具有不同对比度的彩色图像的实验结果表明,与其他算法相比,文中算法能够有效地实现对比度增强,并且不会出现局部过度增强以及细节丢失等噪声问题,使得输出图像显得更为自然.

基于亮度保持的子图像加权对比度增强

本文提出了一种有效的基于亮度保持对比度增强算法.利用BBHE(brightness preserving b-i histogram e-qualization)算法产生的两个子图像,对两个子图像进行加权求和,从而得到输出图像.同时,根据输入图像以及两个子图像的亮度均值,给出了一种基于亮度保持的权重系数的计算方法.实验结果表明,与其它亮度保持对比度增强算法相比,本文算法能够更准确地保持输入图像的亮度均值以及较好地实现对比度增强.另外,本文算法计算简单,能够满足实时性的要求.

数字电路教学中的时序分析

时序分析在数字电路的设计中有非常重要的作用。本文对数字电路中时序分析的一些基本概念作了简单介绍。在讲授数字电路课程时,这些基本概念也可以作为对教材中基本内容的一种补充,学生能够对数字电路中的时序分析有一个比较清楚的认识。同时,由于目前许多广泛使用的EDA工具中都大量使用这些基本概念,我们认为,掌握这些基本概念,将会对学生了解EDA工具、完成数字电路实验以及从事具体的工作有较大的帮助。

组合逻辑电路时序安全可替换性

讨论了组合逻辑电路的时序安全可替换性问题 ,即如何判断一个组合逻辑电路可以替换另一个组合逻辑电路而电路的速度不会降低 .提出了一种新的判断时序安全可替换性的方法 .该方法通过计算组合逻辑电路的延迟特征函数的蕴涵关系来判断时序安全可替换性 ,避免了直接计算电路的精确延迟特征 ,从而提高了算法的效率 。

基于动态标记的FPGA延迟优化算法

DAG- MAP是一个面向延迟优化的 FPGA工艺映射算法 ,其中的标记过程是该算法的核心 .文中对原算法中的标记过程进行了研究 ,提出了一个改进的标记方法 .对 MCNC标准测试电路所做实验的结果表明 ,该算法比原算法更为有效 。

对称逻辑函数的零级核计算问题

对对称逻辑函数的零级核计算问题进行了讨论 ,并给出了一个计算对称逻辑函数零级核的定理 .该定理表明 ,对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核 .实际应用显示 ,应用该定理计算对称逻辑函数的零级核 。

一种新的计算最大允许函数集的方法

变换化简法是一种通过计算逻辑网络中门或连线处的最大允许函数集来消除网络中冗余门或连线的多级逻辑优化算法。文中提出了一种新的计算门处最大允许函数集的方法。该方法通过计算逻辑网络中门处的可观测性无关项较为容易得到最大允许函数集。实验结果表明，该方法在计算时间上明显优于原来的计算方法。

对DAG-MAP算法的研究

DAG－MAP是一个面向延迟优化的FPGA工艺映射算法,其中的标记过程是该算法的核心.文章对原算法中的标记过程进行了研究,并且提出了一个改进的标记方法.通过对MCNC标准测试电路的实验结果表明该算法比原算法更为有效,并且算法所用时间没有明显的增加.

OBDD在组合逻辑电路测试中的应用研究

由于传统的组合电路测试方法 ,如 D算法、PODEM算法和 FAN算法等 ,在搜索过程中都不可避免地要进行反向回溯 ,因此严重地影响了算法的效率。而 OBDD是一种表示和操纵布尔函数的有效方法 ,用 OBDD来表示电路中每个节点所代表的逻辑函数 ,可以把反向回溯过程转换为 OBDD的 satisfiability问题 ,从而避免了反向回溯过程 ,加快了故障测试的速度。同时 ,OBDD在测试矢量集的生成以及 necessary assignment的确定中也显示出一定的优越性。

基于动态计算可观测性无关项的OBDD变量序算法

OBDD是一种表示和操纵布尔函数的有效方法。由于许多布尔运算都可以转换为 OBDD图的运算 ,因此 ,OBDD在集成电路设计领域 ,如逻辑综合、验证以及测试生成等 ,得到了广泛的应用。但是 ,OBDD的大小则严重依赖于变量序 ,为了实现 OBDD的有效操作 ,寻找一个好的变量序是非常重要的。基于此 ,文章提出了一个新的寻找 OBDD变量序的启发式算法 ,它通过动态计算原始输入变量的可观测性无关项来确定一个好的变量序。实验结果表明 ,对于大部分电路 。

电磁层析成像技术的研究

本文从电磁层析成像（ＥＭＴ）技术的原理入手，对成像技术中的正问题给出了解析解，并利用Ｈｏｐｆｉｅｌｄ网络模型对其逆问题进行了定性的求解。在一定程度上为研究电磁层析成像技术提供了一条可行的途径。

学龄前儿童游戏界面设计初探

随着时代的发展,使用移动端智能设备的儿童逐渐增多,各类儿童游戏也在爆炸性增长,但是有些儿童游戏质量低下,给儿童造成不良影响,所以规范儿童类应用很有必要。本文主要从学龄前儿童游戏为出发点,讨论儿童游戏的界面设计,分析影响儿童游戏界面设计的因素,包括儿童学习心理和儿童认知心理,总结儿童类游戏的界面设计原则和方法,从而让儿童游戏更利于儿童的成长。