期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
超音频感应炉DSP全数字化控制系统设计
1
作者
马鸿文
童敏明
彭威
《实验室研究与探索》
CAS
北大核心
2010年第3期27-29,37,共4页
采用不控整流和移相式谐振逆变主电路满足了超音频感应炉的功率调节需求,避免了传统的可控整流和常规逆变电路的实现方法,采用数字锁相环实现感应炉的频率跟踪,基于TMS320LF2407ADSP芯片设计了超音频感应炉全数字化控制系统的硬件电路,...
采用不控整流和移相式谐振逆变主电路满足了超音频感应炉的功率调节需求,避免了传统的可控整流和常规逆变电路的实现方法,采用数字锁相环实现感应炉的频率跟踪,基于TMS320LF2407ADSP芯片设计了超音频感应炉全数字化控制系统的硬件电路,并给出了软件流程图。控制系统达到了自动调功、调频、在线监测监控的目的。
展开更多
关键词
超音频
感应炉
DSP2407A
移相式谐振逆变电路
数字锁相环
在线阅读
下载PDF
职称材料
基于重启策略的学习子句优化方法
2
作者
李壮
刘磊
+1 位作者
张桐搏
吕帅
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2020年第1期44-48,共5页
以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数,尽可能靠近学习数据库中子句存储量的均衡点...
以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数,尽可能靠近学习数据库中子句存储量的均衡点,从而使学习库的存储量尽可能达到Pareto最优.实验表明:所提的优化方法是有效的,并在随机SAT问题上胜过现有优化方法.该方法既不会因为学习数据库的子句过多而影响单元传播速度,也不会因为学习数据库中的子句过少而破坏学习的整体性.
展开更多
关键词
dpll
子句学习
学习子句数据库
MiniSAT求解器
PARETO最优
在线阅读
下载PDF
职称材料
题名
超音频感应炉DSP全数字化控制系统设计
1
作者
马鸿文
童敏明
彭威
机构
中国矿业大学信电学院
中国矿业大学招投标管理办公室
出处
《实验室研究与探索》
CAS
北大核心
2010年第3期27-29,37,共4页
基金
江苏省教学改革项目(05272)
文摘
采用不控整流和移相式谐振逆变主电路满足了超音频感应炉的功率调节需求,避免了传统的可控整流和常规逆变电路的实现方法,采用数字锁相环实现感应炉的频率跟踪,基于TMS320LF2407ADSP芯片设计了超音频感应炉全数字化控制系统的硬件电路,并给出了软件流程图。控制系统达到了自动调功、调频、在线监测监控的目的。
关键词
超音频
感应炉
DSP2407A
移相式谐振逆变电路
数字锁相环
Keywords
ultrasonic frequency
heating induction furnace
DSP2407A
phase shifting resonant inverter electric circuit
davis putnam logemann lovelend（dpll）
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
基于重启策略的学习子句优化方法
2
作者
李壮
刘磊
张桐搏
吕帅
机构
吉林大学计算机科学与技术学院
出处
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2020年第1期44-48,共5页
基金
国家重点研发计划项目(2017YFB1003103)
国家自然科学基金资助项目(61300049,61763003)
吉林省科技发展计划项目(20180101053JC,20190201193JC)
文摘
以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数,尽可能靠近学习数据库中子句存储量的均衡点,从而使学习库的存储量尽可能达到Pareto最优.实验表明:所提的优化方法是有效的,并在随机SAT问题上胜过现有优化方法.该方法既不会因为学习数据库的子句过多而影响单元传播速度,也不会因为学习数据库中的子句过少而破坏学习的整体性.
关键词
dpll
子句学习
学习子句数据库
MiniSAT求解器
PARETO最优
Keywords
interval multi-objective optimization
interval particle swarm optimization
interval
dpll
(
davis
-
putnam
-
logemann
-Loveland)
clause learning
learnt clauses database
MiniSAT solver
Pareto optimality
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
超音频感应炉DSP全数字化控制系统设计
马鸿文
童敏明
彭威
《实验室研究与探索》
CAS
北大核心
2010
0
在线阅读
下载PDF
职称材料
2
基于重启策略的学习子句优化方法
李壮
刘磊
张桐搏
吕帅
《东北大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2020
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
