期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
网络可靠度BDD分析中2种边排序策略的性能比较
被引量：
5
1
作者
潘竹生
莫毓昌
赵建民
《浙江师范大学学报（自然科学版）》
CAS
2013年第1期88-95,共8页
网络可靠度二元决策图(BDD)分析过程包含边排序、BDD生成和可靠度评估3个步骤,其中BDD生成和可靠度评估的计算复杂度和BDD尺度线性相关,而BDD尺度取决于边排序.因此,边排序问题是研究网络可靠度BDD分析的核心.在实现广度优先和深度优先...
网络可靠度二元决策图(BDD)分析过程包含边排序、BDD生成和可靠度评估3个步骤,其中BDD生成和可靠度评估的计算复杂度和BDD尺度线性相关,而BDD尺度取决于边排序.因此,边排序问题是研究网络可靠度BDD分析的核心.在实现广度优先和深度优先2种边排序策略的基础上,针对规则网络(N*N型和M*N型),比较了这2种策略的分析性能.实验数据表明:1)规则网络中广度优先边排序策略优于深度优先边排序策略;2)当M>N时,广度优先边排序策略在M*N型网络中的性能表现优于与之等价的N*M型网络.这些结论为设计更优的启发性边排序策略提供了重要依据.
展开更多
关键词
网络可靠度
二叉决策图
启发性边排序
香农
分解
下载PDF
职称材料
正规式布尔函数NPN等价匹配算法
2
作者
张菊玲
郭文强
+2 位作者
杨晓梅
朱义鑫
杨国武
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2023年第1期102-107,共6页
通过对香农分解代数余子式的运算研究,发现了对称变量和独立变量在NP等价变换中的6个属性,充分利用变量的对称性和独立性NP变换后的不变性、独立变量相位不确定性、在NP匹配中独立变量识别其他变量和其他变量识别独立变量的不可用性,提...
通过对香农分解代数余子式的运算研究,发现了对称变量和独立变量在NP等价变换中的6个属性,充分利用变量的对称性和独立性NP变换后的不变性、独立变量相位不确定性、在NP匹配中独立变量识别其他变量和其他变量识别独立变量的不可用性,提出了一种基于正规式的布尔函数NPN等价匹配算法。通过对大量MCNC标准电路库中电路和随机生成电路的7-22变量布尔函数的匹配实验,在两个实验电路集上本文算法与基于高阶通用特征匹配算法相比,匹配过程中的搜索空间平均减少了58.8%、布尔匹配的速度提高了45.6%,能够为电路优化和电路映射提供更加快速和有效的布尔匹配。
展开更多
关键词
布尔差分
正规式
NPN等价
独立变量
香农
分解
下载PDF
职称材料
基于对称及特征的NPN布尔匹配算法
被引量：
1
3
作者
张菊玲
杨国武
+1 位作者
吴尽昭
郭文强
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2018年第6期876-881,共6页
该文提出了一种基于对称及特征的成对比较的NPN布尔匹配算法,利用变量对称、1阶特征向量及香农分解设计完成了NPN布尔匹配。算法利用具有相同1阶特征向量是两个布尔函数NP等价的必要条件,和具有相同1阶特征是两个变量具有映射关系的必...
该文提出了一种基于对称及特征的成对比较的NPN布尔匹配算法,利用变量对称、1阶特征向量及香农分解设计完成了NPN布尔匹配。算法利用具有相同1阶特征向量是两个布尔函数NP等价的必要条件,和具有相同1阶特征是两个变量具有映射关系的必要条件搜索两个布尔函数之间的候选变换并进行验证。对称及特征的使用降低了候选变换搜索的空间,提高了NPN等价匹配的速度。
展开更多
关键词
NPN等价
香农
分解
工艺映射
变量映射
变量对称
下载PDF
职称材料
题名
网络可靠度BDD分析中2种边排序策略的性能比较
被引量：
5
1
作者
潘竹生
莫毓昌
赵建民
机构
浙江师范大学数理与信息工程学院
出处
《浙江师范大学学报（自然科学版）》
CAS
2013年第1期88-95,共8页
基金
国家自然科学基金资助项目(60903011)
浙江省自然科学基金资助项目(Y1100689)
浙江省计算机软件与理论重中之重学科开放课题资助项目(ZSDZZZZXK24)
文摘
网络可靠度二元决策图(BDD)分析过程包含边排序、BDD生成和可靠度评估3个步骤,其中BDD生成和可靠度评估的计算复杂度和BDD尺度线性相关,而BDD尺度取决于边排序.因此,边排序问题是研究网络可靠度BDD分析的核心.在实现广度优先和深度优先2种边排序策略的基础上,针对规则网络(N*N型和M*N型),比较了这2种策略的分析性能.实验数据表明:1)规则网络中广度优先边排序策略优于深度优先边排序策略;2)当M>N时,广度优先边排序策略在M*N型网络中的性能表现优于与之等价的N*M型网络.这些结论为设计更优的启发性边排序策略提供了重要依据.
关键词
网络可靠度
二叉决策图
启发性边排序
香农
分解
Keywords
network reliability
binary decision diagram （ BDD ）
heuristic edge-ordering
Shannon decomposition
分类号
TB114 [理学—概率论与数理统计]
下载PDF
职称材料
题名
正规式布尔函数NPN等价匹配算法
2
作者
张菊玲
郭文强
杨晓梅
朱义鑫
杨国武
机构
新疆财经大学信息管理学院
电子科技大学计算机科学与工程学院
电子科技大学大数据研究中心
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2023年第1期102-107,共6页
基金
新疆维吾尔自治区自然科学基金(2019D01A27)。
文摘
通过对香农分解代数余子式的运算研究,发现了对称变量和独立变量在NP等价变换中的6个属性,充分利用变量的对称性和独立性NP变换后的不变性、独立变量相位不确定性、在NP匹配中独立变量识别其他变量和其他变量识别独立变量的不可用性,提出了一种基于正规式的布尔函数NPN等价匹配算法。通过对大量MCNC标准电路库中电路和随机生成电路的7-22变量布尔函数的匹配实验,在两个实验电路集上本文算法与基于高阶通用特征匹配算法相比,匹配过程中的搜索空间平均减少了58.8%、布尔匹配的速度提高了45.6%,能够为电路优化和电路映射提供更加快速和有效的布尔匹配。
关键词
布尔差分
正规式
NPN等价
独立变量
香农
分解
Keywords
Boolean difference
canonical form
NPN equivalence
independent variable
Shannon decomposition
分类号
TP302.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于对称及特征的NPN布尔匹配算法
被引量：
1
3
作者
张菊玲
杨国武
吴尽昭
郭文强
机构
电子科技大学计算机科学与工程学院大数据研究中心
新疆财经大学计算机科学与工程学院
广西民族大学广西混杂计算与集成电路设计分析重点实验室
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2018年第6期876-881,共6页
基金
国家自然科学基金(61572109,11371003,61163066)。
文摘
该文提出了一种基于对称及特征的成对比较的NPN布尔匹配算法,利用变量对称、1阶特征向量及香农分解设计完成了NPN布尔匹配。算法利用具有相同1阶特征向量是两个布尔函数NP等价的必要条件,和具有相同1阶特征是两个变量具有映射关系的必要条件搜索两个布尔函数之间的候选变换并进行验证。对称及特征的使用降低了候选变换搜索的空间,提高了NPN等价匹配的速度。
关键词
NPN等价
香农
分解
工艺映射
变量映射
变量对称
Keywords
NPN equivalent
Shannon decomposition
technology mapping
variable mapping
variable symmetry
分类号
TP302.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
网络可靠度BDD分析中2种边排序策略的性能比较
潘竹生
莫毓昌
赵建民
《浙江师范大学学报（自然科学版）》
CAS
2013
5
下载PDF
职称材料
2
正规式布尔函数NPN等价匹配算法
张菊玲
郭文强
杨晓梅
朱义鑫
杨国武
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2023
0
下载PDF
职称材料
3
基于对称及特征的NPN布尔匹配算法
张菊玲
杨国武
吴尽昭
郭文强
《电子科技大学学报》
EI
CAS
CSCD
北大核心
2018
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
