期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于SDH的电力ASON性能和功能测试
被引量:
3
1
作者
李芹
黄鑫
+1 位作者
仇勇
何晓阳
《光通信技术》
北大核心
2019年第3期59-62,共4页
针对电力系统广域保护业务对通信网络的安全性和可靠性的高要求,根据电力系统业务的功能需求及保护传输链路的路由约束规则,建立一种电力自动交换光网络(ASON)测试模型。在此基础上进行性能及功能测试用例的设计,并给出不同制造商在ASO...
针对电力系统广域保护业务对通信网络的安全性和可靠性的高要求,根据电力系统业务的功能需求及保护传输链路的路由约束规则,建立一种电力自动交换光网络(ASON)测试模型。在此基础上进行性能及功能测试用例的设计,并给出不同制造商在ASON中基于电力ASON测试模型的性能和功能测试案例及结果分析,有效验证制造商产品对于电力业务功能设计的符合性和可靠性,避免潜在应用风险。
展开更多
关键词
SDH
ASON
路由约束
SPC
先拆后建
下载PDF
职称材料
路由约束下的高效可靠虚拟骨干网构建算法
2
作者
罗锦晖
刘春颜
+2 位作者
王越涛
李洋
赵蕴龙
《应用科技》
CAS
2023年第6期93-100,共8页
大规模无线传感器中通常采用虚拟主干网来实现信息的有效传输,如何构建具备高效传输和一定容错性的虚拟骨干网成为当前学术界的研究热点之一。构建虚拟骨干网问题可以转化为图论中的构造连通控制集问题来解决,求解最小连通控制集(minimu...
大规模无线传感器中通常采用虚拟主干网来实现信息的有效传输,如何构建具备高效传输和一定容错性的虚拟骨干网成为当前学术界的研究热点之一。构建虚拟骨干网问题可以转化为图论中的构造连通控制集问题来解决,求解最小连通控制集(minimum connected dominating set,MCDS)问题已经被证明是非确定性多项式(non-deterministic polynomial,NP)完全问题,通过严格的理论分析和验证可以将近似算法多项式时间内求得的连通控制集规模限定在特定的约束范围内。本文提出一种同时考虑高效路由和容错性的虚拟骨干网构建算法,该算法采用m重控制来提高路由的容错性,时间复杂度为O(n 3)。通过理论分析和仿真实验发现,在二维平面内,设Mopt(1,m)为二维空间下最小m重连通控制集问题的最优解,当m≤5时,该连通控制集近似比为(240/m+5)Mopt(1,m);当m>5时,该连通控制集近似比为54Mopt(1,m)。
展开更多
关键词
虚拟骨干网
连通控制集
图论
容错性
路由约束
无线
传感器网络
最小路由约束
下载PDF
职称材料
布线约束下的低功耗扫描测试
被引量:
1
3
作者
黄宁
朱恩
+1 位作者
刘文松
林叶
《东南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012年第2期239-243,共5页
分析了扫描测试过程中功耗产生的原因,研究了扫描触发器跳变对内部组合逻辑锥的影响,并对其进行建模,将计算得到的影响函数值作为扫描链重排序的依据.然后,基于扫描链结构的特殊性,分析了布线约束对扫描链重新排序的影响,并将布线约束简...
分析了扫描测试过程中功耗产生的原因,研究了扫描触发器跳变对内部组合逻辑锥的影响,并对其进行建模,将计算得到的影响函数值作为扫描链重排序的依据.然后,基于扫描链结构的特殊性,分析了布线约束对扫描链重新排序的影响,并将布线约束简化,提出了一种同时兼顾低功耗和布线约束的算法.该算法不需要迭代,通过一次运行即可得到扫描链重排序的结果,在保证后端设计可行性的前提下,尽可能减少了高影响值扫描单元上的跳变次数,实现了对扫描测试功耗的优化.基于电路测试算例以及ISCAS89基准电路集中的电路s298和s5378,进行了仿真实验,结果表明:所提算法可以使扫描测试功耗降低12%,对故障覆盖率以及测试时间没有任何影响,而且不需要任何硬件开销,可应用于芯片的量产测试.
展开更多
关键词
扫描链
逻辑锥
低功耗
布线约束
重排序
下载PDF
职称材料
一种加速FPGA布线的不可满足子式求解算法
4
作者
张建民
黎铁军
+1 位作者
马柯帆
肖立权
《电子学报》
EI
CAS
CSCD
北大核心
2021年第6期1210-1216,共7页
随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,...
随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较,结果表明局部搜索算法在运行效率方面显著优于分支限界算法与贪心遗传算法,而局部搜索算法也能得到最小不可满足子式;并且深入分析了不可满足子式在FPGA详细布线中的作用,能够加速芯片的设计与验证过程.
展开更多
关键词
FPGA布线
布线约束
布尔可满足性
不可满足子式
局部搜索
消解否证
下载PDF
职称材料
机型指派与飞机路线一体化建模及算法研究
被引量:
5
5
作者
朱星辉
朱金福
高强
《科学技术与工程》
北大核心
2012年第6期1329-1333,共5页
通常航班计划都是分阶段完成的,即航班时刻表→机型指派→飞机排班→机组排班,每一个问题都相对独立的建模并求解。通常无法得到全局最优解甚或无解,对后续问题求解造成很大困难。为了克服这种困难及改善航班计划的次优性,将机型指派、...
通常航班计划都是分阶段完成的,即航班时刻表→机型指派→飞机排班→机组排班,每一个问题都相对独立的建模并求解。通常无法得到全局最优解甚或无解,对后续问题求解造成很大困难。为了克服这种困难及改善航班计划的次优性,将机型指派、飞机路线问题综合考虑,建立多机型的一体化飞机排班多商品网络流模型。为实现模型的有效求解,提出了基于约束编程的动态列生成算法;即用约束编程快速求解航班连线(航班串)并计算各航班串简约成本,动态选择列集并与限制主问题进行迭代。最后,利用国内某航空公司干线航班网络实际数据验证模型和算法的有效性,并与航空公司实际排班和分阶段优化情况进行比较研究。
展开更多
关键词
机型指派
飞机路线
约束编程
动态列生成算法
下载PDF
职称材料
面向混合约束模型的线缆布线技术研究
被引量:
1
6
作者
李春泉
王弘扬
+1 位作者
尚玉玲
周远畅
《机械设计与制造》
北大核心
2018年第7期52-54,58,共4页
线缆布线是一个基于约束空间的求解过程,而影响线缆布线的约束因素又是复杂多变的,根据不同的约束条件能得到不同的布线路径。在分析了工程领域的线缆布线问题的基础上,首先提出了约束因子、约束集合等概念,并应用这些概念对影响线缆布...
线缆布线是一个基于约束空间的求解过程,而影响线缆布线的约束因素又是复杂多变的,根据不同的约束条件能得到不同的布线路径。在分析了工程领域的线缆布线问题的基础上,首先提出了约束因子、约束集合等概念,并应用这些概念对影响线缆布线的约束因素进行分析,通过将功能相似的约束因子进行组合,使其形成约束集合,进而建立布线混合约束模型,其次基于该模型分别采用模拟退火算法、蝙蝠算法及粒子群算法进行仿真,最后对计算结果进行对比,进而验证了该模型的可行性。
展开更多
关键词
约束因子
约束集合
布线混合约束模型
模拟退火算法
下载PDF
职称材料
基于量子粒子群算法的时延受限组播路由问题研究
7
作者
宋书强
叶春明
《计算机应用与软件》
CSCD
2009年第10期186-188,共3页
对具有延时约束的最小代价的组播路由问题进行研究,提出一种收敛速度快、全局性能好、不易陷入局部最优的智能迭代算法—量子粒子群算法来实现该问题的求解。该算法采用整数编码方式,将路由优化问题转化成准连续优化,并采用惩罚函数处...
对具有延时约束的最小代价的组播路由问题进行研究,提出一种收敛速度快、全局性能好、不易陷入局部最优的智能迭代算法—量子粒子群算法来实现该问题的求解。该算法采用整数编码方式,将路由优化问题转化成准连续优化,并采用惩罚函数处理约束条件。最后通过具体算例,对该算法进行了仿真验证,结果表明,在求解延时约束的组播路由问题时,量子粒子群算法要优于遗传算法、克隆算法,从而验证了该算法的可行性和有效性。
展开更多
关键词
量子粒子群算法
组播路由
路由优化
延时约束
下载PDF
职称材料
题名
基于SDH的电力ASON性能和功能测试
被引量:
3
1
作者
李芹
黄鑫
仇勇
何晓阳
机构
南瑞集团(国网电力科学研究院)有限公司
智能电网保护与运行控制国家重点实验室
出处
《光通信技术》
北大核心
2019年第3期59-62,共4页
文摘
针对电力系统广域保护业务对通信网络的安全性和可靠性的高要求,根据电力系统业务的功能需求及保护传输链路的路由约束规则,建立一种电力自动交换光网络(ASON)测试模型。在此基础上进行性能及功能测试用例的设计,并给出不同制造商在ASON中基于电力ASON测试模型的性能和功能测试案例及结果分析,有效验证制造商产品对于电力业务功能设计的符合性和可靠性,避免潜在应用风险。
关键词
SDH
ASON
路由约束
SPC
先拆后建
Keywords
SDH
ASON
routing
constraint
SPC
break-before-make
分类号
TM73 [电气工程—电力系统及自动化]
下载PDF
职称材料
题名
路由约束下的高效可靠虚拟骨干网构建算法
2
作者
罗锦晖
刘春颜
王越涛
李洋
赵蕴龙
机构
南京航空航天大学
出处
《应用科技》
CAS
2023年第6期93-100,共8页
基金
国家自然科学基金面上项目(62072236)
江苏省双创博士计划项目(KFR20021).
文摘
大规模无线传感器中通常采用虚拟主干网来实现信息的有效传输,如何构建具备高效传输和一定容错性的虚拟骨干网成为当前学术界的研究热点之一。构建虚拟骨干网问题可以转化为图论中的构造连通控制集问题来解决,求解最小连通控制集(minimum connected dominating set,MCDS)问题已经被证明是非确定性多项式(non-deterministic polynomial,NP)完全问题,通过严格的理论分析和验证可以将近似算法多项式时间内求得的连通控制集规模限定在特定的约束范围内。本文提出一种同时考虑高效路由和容错性的虚拟骨干网构建算法,该算法采用m重控制来提高路由的容错性,时间复杂度为O(n 3)。通过理论分析和仿真实验发现,在二维平面内,设Mopt(1,m)为二维空间下最小m重连通控制集问题的最优解,当m≤5时,该连通控制集近似比为(240/m+5)Mopt(1,m);当m>5时,该连通控制集近似比为54Mopt(1,m)。
关键词
虚拟骨干网
连通控制集
图论
容错性
路由约束
无线
传感器网络
最小路由约束
Keywords
virtual
backbone
network
connected
dominating
set
graph
theory
fault
tolerance
routing
constraint
wireless
sensor
network
minimum
routing
cost
分类号
TP393.0 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
布线约束下的低功耗扫描测试
被引量:
1
3
作者
黄宁
朱恩
刘文松
林叶
机构
东南大学射频与光电集成电路研究所
出处
《东南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012年第2期239-243,共5页
基金
国家高技术研究发展计划(863计划)资助项目(2009AA11Z219)
文摘
分析了扫描测试过程中功耗产生的原因,研究了扫描触发器跳变对内部组合逻辑锥的影响,并对其进行建模,将计算得到的影响函数值作为扫描链重排序的依据.然后,基于扫描链结构的特殊性,分析了布线约束对扫描链重新排序的影响,并将布线约束简化,提出了一种同时兼顾低功耗和布线约束的算法.该算法不需要迭代,通过一次运行即可得到扫描链重排序的结果,在保证后端设计可行性的前提下,尽可能减少了高影响值扫描单元上的跳变次数,实现了对扫描测试功耗的优化.基于电路测试算例以及ISCAS89基准电路集中的电路s298和s5378,进行了仿真实验,结果表明:所提算法可以使扫描测试功耗降低12%,对故障覆盖率以及测试时间没有任何影响,而且不需要任何硬件开销,可应用于芯片的量产测试.
关键词
扫描链
逻辑锥
低功耗
布线约束
重排序
Keywords
scan
chain
logic
cone
low
power
routing
constraint
reordering
分类号
TN407 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
一种加速FPGA布线的不可满足子式求解算法
4
作者
张建民
黎铁军
马柯帆
肖立权
机构
国防科学技术大学计算机学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2021年第6期1210-1216,共7页
基金
国家自然科学基金(No.62072464,No.U19A2062)
并行与分布处理国家级重点实验室开放基金(No.WDZC20205500116)。
文摘
随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较,结果表明局部搜索算法在运行效率方面显著优于分支限界算法与贪心遗传算法,而局部搜索算法也能得到最小不可满足子式;并且深入分析了不可满足子式在FPGA详细布线中的作用,能够加速芯片的设计与验证过程.
关键词
FPGA布线
布线约束
布尔可满足性
不可满足子式
局部搜索
消解否证
Keywords
FPGA
routing
routing
constraint
Boolean
satisfiability
unsatisfiable
subformula
local
search
resolution
refutation
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
机型指派与飞机路线一体化建模及算法研究
被引量:
5
5
作者
朱星辉
朱金福
高强
机构
南京航空航天大学民航学院
出处
《科学技术与工程》
北大核心
2012年第6期1329-1333,共5页
基金
国家自然科学基金联合基金(61079014)
中国民用航空局科技项目(MHRD20100842)资助
文摘
通常航班计划都是分阶段完成的,即航班时刻表→机型指派→飞机排班→机组排班,每一个问题都相对独立的建模并求解。通常无法得到全局最优解甚或无解,对后续问题求解造成很大困难。为了克服这种困难及改善航班计划的次优性,将机型指派、飞机路线问题综合考虑,建立多机型的一体化飞机排班多商品网络流模型。为实现模型的有效求解,提出了基于约束编程的动态列生成算法;即用约束编程快速求解航班连线(航班串)并计算各航班串简约成本,动态选择列集并与限制主问题进行迭代。最后,利用国内某航空公司干线航班网络实际数据验证模型和算法的有效性,并与航空公司实际排班和分阶段优化情况进行比较研究。
关键词
机型指派
飞机路线
约束编程
动态列生成算法
Keywords
fleet
assignment
aircraft
routing
constraint
programming
dynamic
column
generation
分类号
F560.81 [经济管理—产业经济]
下载PDF
职称材料
题名
面向混合约束模型的线缆布线技术研究
被引量:
1
6
作者
李春泉
王弘扬
尚玉玲
周远畅
机构
桂林电子科技大学机电工程学院
出处
《机械设计与制造》
北大核心
2018年第7期52-54,58,共4页
基金
国家自然科学基金项目(51465013)
桂林电子科技大学研究生创新项目(GDYCSZ201443
+1 种基金
GDYCSZ201480)
广西自动检测技术与仪器重点实验室主任基金(YQ15109)
文摘
线缆布线是一个基于约束空间的求解过程,而影响线缆布线的约束因素又是复杂多变的,根据不同的约束条件能得到不同的布线路径。在分析了工程领域的线缆布线问题的基础上,首先提出了约束因子、约束集合等概念,并应用这些概念对影响线缆布线的约束因素进行分析,通过将功能相似的约束因子进行组合,使其形成约束集合,进而建立布线混合约束模型,其次基于该模型分别采用模拟退火算法、蝙蝠算法及粒子群算法进行仿真,最后对计算结果进行对比,进而验证了该模型的可行性。
关键词
约束因子
约束集合
布线混合约束模型
模拟退火算法
Keywords
constraint
Factor
Constrained
Set
routing
Mixed
constraint
Model
Simulated
Annealing
Algorithm
分类号
TH16 [机械工程—机械制造及自动化]
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于量子粒子群算法的时延受限组播路由问题研究
7
作者
宋书强
叶春明
机构
上海理工大学管理学院
出处
《计算机应用与软件》
CSCD
2009年第10期186-188,共3页
文摘
对具有延时约束的最小代价的组播路由问题进行研究,提出一种收敛速度快、全局性能好、不易陷入局部最优的智能迭代算法—量子粒子群算法来实现该问题的求解。该算法采用整数编码方式,将路由优化问题转化成准连续优化,并采用惩罚函数处理约束条件。最后通过具体算例,对该算法进行了仿真验证,结果表明,在求解延时约束的组播路由问题时,量子粒子群算法要优于遗传算法、克隆算法,从而验证了该算法的可行性和有效性。
关键词
量子粒子群算法
组播路由
路由优化
延时约束
Keywords
Quantum
particle
swarm
optimization(QPSO)
Multicast
routing
routing
optimization
Delay
constraint
分类号
TP393.4 [自动化与计算机技术—计算机应用技术]
TS210.3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于SDH的电力ASON性能和功能测试
李芹
黄鑫
仇勇
何晓阳
《光通信技术》
北大核心
2019
3
下载PDF
职称材料
2
路由约束下的高效可靠虚拟骨干网构建算法
罗锦晖
刘春颜
王越涛
李洋
赵蕴龙
《应用科技》
CAS
2023
0
下载PDF
职称材料
3
布线约束下的低功耗扫描测试
黄宁
朱恩
刘文松
林叶
《东南大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012
1
下载PDF
职称材料
4
一种加速FPGA布线的不可满足子式求解算法
张建民
黎铁军
马柯帆
肖立权
《电子学报》
EI
CAS
CSCD
北大核心
2021
0
下载PDF
职称材料
5
机型指派与飞机路线一体化建模及算法研究
朱星辉
朱金福
高强
《科学技术与工程》
北大核心
2012
5
下载PDF
职称材料
6
面向混合约束模型的线缆布线技术研究
李春泉
王弘扬
尚玉玲
周远畅
《机械设计与制造》
北大核心
2018
1
下载PDF
职称材料
7
基于量子粒子群算法的时延受限组播路由问题研究
宋书强
叶春明
《计算机应用与软件》
CSCD
2009
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部