期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Rademacher-Walsh变换谱系数的对称性检测算法
1
作者 谢川 厉晓华 《科技通报》 2018年第11期24-27,共4页
为简化逻辑函数中对称变量的检测过程,研究了基于Rademacher-Walsh变换谱系数的对称性检测算法。该算法从逻辑变量6类对称性的定义出发,分析了对称变量的谱系数特征。提出了基于rademacher-walsh变换谱系数检测N(xi|xj)、E(xi|xj)、S(xi... 为简化逻辑函数中对称变量的检测过程,研究了基于Rademacher-Walsh变换谱系数的对称性检测算法。该算法从逻辑变量6类对称性的定义出发,分析了对称变量的谱系数特征。提出了基于rademacher-walsh变换谱系数检测N(xi|xj)、E(xi|xj)、S(xi|xj)、S(xi|)、S(xj|xi)、S(xj|)6类对称变量的算法。应用实例表明,该算法简便高效,易于编程操作。 展开更多
关键词 Rademacher-Walsh变换 谱系数 对称变量 逻辑函数
下载PDF
递归学习寻找对称变量 被引量：1
2
作者 张镭 林争辉 吕宗伟 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第12期1709-1712,共4页
逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立 fxixj和 fxjxi的 BDD( Binary Decision Diagram)二分决策图 ,然后通过检查两 BDD图是否同构来验证 ... 逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立 fxixj和 fxjxi的 BDD( Binary Decision Diagram)二分决策图 ,然后通过检查两 BDD图是否同构来验证 fxixj=fxjxi.但将电路转化为 BDD图本身就需要一定的时间 ,而且对于大的电路 ,存在 BDD图不能建立的可能性 ,致使同构验证无法进行 .本文利用递归学习 ,无需建立 BDD图直接在电路拓扑图上验证 fxixj=fxjxi.递归学习算法执行效率高 ,可以大大缩减对称变量检测的过程 .试验结果表明 ,利用递归学习算法检测对称变量执行时间减少 ,并且能将大的电路作为检测对象 . 展开更多
关键词 逻辑集成电路 对称变量 递归学习算法 测试生成 逻辑函数 二分决策图
下载PDF
利用不等BDD检测对称变量
3
作者 张镭 林争辉 吕宗伟 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第2期101-104,共4页
变量的对称性在逻辑综合与优化、工艺映射中起着非常重要的作用 .如果事先得到变量对称的信息 ,就可以减小解空间 ,提高逻辑验证的效率 .过去 ,人们通常用公式 fxixj=fxjxi检验变量的对称性 .这需要分别建立 fxixj和fxjxi的 BDD... 变量的对称性在逻辑综合与优化、工艺映射中起着非常重要的作用 .如果事先得到变量对称的信息 ,就可以减小解空间 ,提高逻辑验证的效率 .过去 ,人们通常用公式 fxixj=fxjxi检验变量的对称性 .这需要分别建立 fxixj和fxjxi的 BDD图 ,然后检查两 BDD图是否同构 .文中提出一种新算法 ,整个算法流程仅需建立一次 BDD.任何变量对称性的判别遍历 BDD一次即可完成 ,从而减小了算法的空间复杂度和时间复杂度 . 展开更多
关键词 对称变量 不等蕴含项 不等BDD EDA 大规模集成电路
下载PDF
对称性在积分计算中的应用 被引量：4
4
作者 马志辉 《高等数学研究》 2017年第1期102-105,共4页
阐述了对称性在在多元函数积分下的性质,并借助于实例说明对称性在重积分、曲线积分和曲面积分计算中的应用.
关键词 对称性 轮换对称性 积分
下载PDF
积分的轮换不变性在曲面积分计算中的应用 被引量：4
5
作者 张香伟 王建平 《高师理科学刊》 2014年第3期13-16,共4页
提出了积分区域关于变量的轮换对称性的定义,讨论了曲面积分关于变量的轮换不变性,给出了具体的性质,并通过具体例子说明了轮换对称性在曲面积分计算中的作用.
关键词 轮换对称性 轮换不变性 曲面积分
下载PDF
非线性反应扩散方程新形式分离解（英文）
6
作者 贾化冰 《宝鸡文理学院学报（自然科学版）》 CAS 2015年第2期1-9,共9页
目的研究非线性反应扩散方程的新形式泛函分离解。方法利用广义条件对称方法研究了方程与空间变量相关的泛函分离解。结果与结论导出了方程具有新形式分离解应满足的条件,并且,获得了一些导出方程的对应精确解。
关键词 广义条件对称 与空间变量相关泛函分离解 非线性反应扩散方程
下载PDF
等变量极值与其应用
7
作者 潘晓东 《台州师专学报》 1996年第6期12-16,共5页
引入等变量函数的极值概念与其判定方法后,可以将多元函数f(x_1,x_2,…,x_n)求等变量极值转化为求二元函数的等变量极值,简化了计算,同时可用初等方法求得多元函数的等变量极值。这对解证不等式有其显著的效果。
关键词 极值 等变量极值 变量对称性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部