首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 640 毫秒

1.  一种求解多值逻辑函数接近最小覆盖的算法  被引次数:3
   王志海 马光胜《计算机学报》,1990年第13卷第11期
   1.引言 本文研究Allen-Givone多值逻辑代数系统中的“积之和”形式的函数的简化算法。首先,在讨论符合目前多值逻辑函数实现特点的合理代价标准基础上,提出了一种折衷的代价标准,按着这个标准不求所有质蕴涵项集合,直接求解无冗余覆盖。这个算法以减少文字门的个数为依据,在确定某些质蕴涵项和实现文字数较少之间进行权衡,它在一个位    

2.  一种优化逻辑函数的程序设计与实现  
   李建红  梁光胜《计算机工程与应用》,2006年第42卷第13期
   论文提出了EDA中易于计算机实现的逻辑函数优化方法,即在优化过程中引入删劣运算,用锐积运算求质蕴涵项,用选择提炼极值法求最小覆盖,并对循环函数进行处理的优化方法。设计了相应的组合逻辑电路逻辑综合优化程序,大量的测试证明了该方法的正确性和易于计算机实现的有效性。    

3.  基于蕴涵度和蕴涵率的蕴涵型命题真值求法  
   廉师友《计算机工程与应用》,2006年第42卷第7期
   文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。该方法统一了确定性和不确定性蕴涵型复合命题的真值求法,填补了不确定性蕴涵型复合命题真值计算的空白,因而将在机器推理特别是不确定性推理中发挥重要作用。    

4.  一种新的计算机辅助逻辑设计算法--参数启发式扩展算法  
   朱燕平《微电子学》,1999年第29卷第6期
   提出了数字电路组合逻辑设计的一种算法。该算法是直接求取函数无冗余覆盖的算法,参数选择原则较为稳定,全过程以最终减少未被算法的最小项数目和降低蕴涵项造价为宗旨,比现有的求解函数覆盖问题的算法更为优越。    

5.  使用L集合的询问求值  
   姜云飞《计算机学报》,1995年第18卷第7期
   本文提出了L集合的概念以及一种新的使用L集合的一阶数据库询问求值方法。因为这种方法对原数据库只增加一个新字句,所以询问求值的效率大为提高,而且因为可以直接使用L集合回答对数据库的询问,求值过程比较简单。    

6.  一个判别必要质蕴涵项的E算法  
   薛宏熙 张燕安《计算机辅助设计与图形学学报》,1990年第2卷第4期
   用精选法求布尔函数的最小化解时,传统的作法是先求出质覆盖Z,然后从Z中挑选必要质蕴涵项。本文提出的E算法在勿需求出质覆盖的情况下,就可以判断出多输出二值布尔函数的一个质蕴涵项是否是必要质蕴涵项,从而节省计算机的存储空间和运算时间。    

7.  组合函数无冗余覆盖的优算法  
   刘春和  顾秋心  陈宏陆《计算机学报》,1984年第2期
   本文提出了“相邻点分布密度”及质蕴涵项“生成元”的概念,从而使函数质蕴涵项的生成在选点及方向上,为形成无冗余覆盖有了依据,并进而提出了一个产生函数无冗余覆盖的较优算法,从理论和实践上验证了根据本算法编制的程序条数少、速度快、存储量少。    

8.  样本先验知识在神经网络训练中的应用  被引次数:2
   许少华  路阳  席海青  孙素艳  李欣《大庆石油学院学报》,2004年第28卷第6期
   提出了一种利用样本先验知识与BP算法相结合的网络训练新方法.该方法可把样本蕴涵的先验知识转化成对权值的约束条件,融合到网络的目标函数中;也可根据样本蕴涵的先验知识构造带参数的隐层神经元激励函数,应用BP算法调节激励函数的参数和权值,完成对网络的训练.与普通BP算法相比,该方法可提高网络规模、收敛速度、推广能力等.仿真实验证明了该方法的有效性.    

9.  模具市场的加工作业统一调度问题研究  被引次数:2
   孙慧平  胡建林《模具工业》,2004年第11期
   由于模具市场作业排序过程非常复杂,现提出了一种复合式模具市场作业排序方法,依据基本优先规则首先完成单一工序作业,然后对多工序作业用改进遗传算法进行工艺优化,求出最优解和次优解,再使用评价函数法选择最佳作业路线的排序方法。本方法在生产试验中取得了良好的成效,能够较好满足模具用户和加盟企业两方面的需要。    

10.  利用遗传算法进行H∞电力系统稳定器的权值优化  被引次数:3
   蔡超豪  高志达《沈阳工程学院学报(自然科学版)》,2006年第2卷第1期
   在H∞电力系统稳定器的设计中针对加权函数最优性问题,利用遗传算法对加权函数进行优化的方法,研究了加权函数优化的目标,选择了加权函数的结构形式和取值范围,推导出性能指标和适应值函数,并用实例表明本方法的有效性与实用性.    

11.  基于Shanks’信号模型技术的分数阶滤波器设计  
   孙海洋  滕建辅《电路与系统学报》,2012年第17卷第4期
   本文采用脉冲响应不变法和Shanks’信号模型进行分数阶滤波器的设计。首先选择效果比较好的生成函数,利用采样脉冲的初始值求出其离散的脉冲响应函数,然后基于脉冲响应不变法使用Shanks信号模型方法将分数阶微积分运算转换到IIR型滤波器运算。最后通过对信号的Matlab仿真验证了本算法的有效性和实用性。    

12.  竞选优化算法实现及其仿真研究  
   贺春华  张湘伟  吕文阁  谢庆华《计算机仿真》,2011年第28卷第5期
   研究寻找一种合适的优化算法是求解复杂优化问题成功的关键.传统数值方法对初始值的选择很敏感并需要对函数求导,许多现有的现代优化算法则存在容易陷人局部最优解或收敛速度较慢、计算效率较低的问题.一种新的智能优化竞选算法是模拟人类竟选活动中追求更高支持率所蕴涵的优化思想而建立的一种新的启发式优化算法.首先提出了算法的原理和实现步骤.然后为了验证算法的可行性和有效性,运用典型的测试函数进行仿真研究.一维和多维典型函数优化问题的仿真测试结果表明,竞选算法能够快速收敛于全局最优解,并具有较好的稳定性.    

13.  整经—拉伸—上浆工艺进展述评  
   R.C.Mears  戎健珍《国外纺织技术(纺织针织服装化纤染整)》,1988年第6期
   本文对机织和经编针织准备工程在整经一拉伸和上浆阶段所应用的最新实用体系作了检验,本检验系以欧洲第一流的织造公司一意大利Val Lesina安装并在使用中的设备为依据。 Val Lesina现有三种准备工程体系并定名如下:WDS,机织用的整经—拉伸—上浆    

14.  遗传算法求f(x)=x·sin(Aπ·x)+B最大值  
   郑彦树《现代计算机》,2005年第9期
   本实验主要用于求形如f(x)=x·sin(Aπ·x) B的函数在某指定区间中的最大值.由于此函数有多个极值点,一般方法不易找到其最优解,故在本实验中使用GA算法,通过进化寻找其最大值.    

15.  关于实质本源蕴涵项的识别问题  被引次数:5
   王波《计算机研究与发展》,1995年第32卷第12期
   本文揭示ESPRESSO算法和Muroga等提出的求绝对最小算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。    

16.  改进的Q-M逻辑函数化简方法  
   徐俊平  程利新《计算机工程》,2011年第37卷第20期
   为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。    

17.  模糊推理中相异因子的研究  
   付利华 何华灿《计算机科学》,2004年第31卷第2期
   本文首次提出“相异因子r”的概念。并在“使解B*的相异程度最小”的思想指导下,改进了三Ⅰ算法单纯地求满足条件的最小模糊集的方法。并分别讨论了在Lukasiewicz蕴涵算予和Zadeh蕴涵算予之下的FMP规则以及相应的算法表达式。    

18.  逻辑函数的计算机化简  被引次数:7
   朱幼莲《计算机应用与软件》,2003年第20卷第2期
   本文针对中型逻辑函数,提出了易于计算机实现的化简方法,即在化简过程中引入代数拓扑运算,在用星积运算求素项的基础上,用选择极值法求最小覆盖,大量的实验证明了该算法的正确性和易于计算机实现的有效性。    

19.  逻辑函数化简语义树  
   王杰华 王波《微电子学》,1998年第28卷第5期
   提出了一种逻辑函数化简语义树算法,其特点是在求全部本源蕴涵项和从本源蕴函项集合中选取最小覆盖两步中都采用同一算法,因此,算法程序的编写可较为简单,最后,从解题质量和解题速度等方面对该算法进行了评价。    

20.  KMP模式匹配算法的研究  被引次数:1
   俞文洋  张连堂  段淑敏《郑州轻工业学院学报(自然科学版)》,2007年第22卷第5期
   通过对字符串模式匹配KMP算法的分析,基于next和nextval函数值的意义,给出了求nextval函数值的计算公式.    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号