期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
融合学习效应和加强约束的混合模型U型装配线平衡
被引量：
7
1
作者
唐秋华
林斌
+1 位作者
张利平
陈平和
《机械科学与技术》
CSCD
北大核心
2015年第1期69-74,共6页
基于U型线的物流运输特性,提出一种新的位置编码及解析方式,来建构起能满足优先约束关系的工位与位置间的关系;基于该编码表示决策变量,描述出在装配生产过程存在的学习效应和加强约束;以工位最小化为目标,建立基于混合整型非线性规划的...
基于U型线的物流运输特性,提出一种新的位置编码及解析方式,来建构起能满足优先约束关系的工位与位置间的关系;基于该编码表示决策变量,描述出在装配生产过程存在的学习效应和加强约束;以工位最小化为目标,建立基于混合整型非线性规划的U型装配线平衡模型;把学习效应表达式离散化、将非线性模型线性化,降低了模型的计算复杂度,以快速有效求解。算例结果表明,所建模型可有效解决融合了学习效应和加强约束的第一类、混合模型U型装配线平衡问题。
展开更多
关键词
学习效应
加强约束
U型装配线
装配线平衡
在线阅读
下载PDF
职称材料
加强约束的布尔可满足硬件求解器
被引量：
1
2
作者
马柯帆
肖立权
+2 位作者
张建民
黎铁军
周善祥
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2018年第6期105-111,共7页
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一...
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。
展开更多
关键词
现场可编程门阵列
布尔可满足性
加强约束
不完全算法
在线阅读
下载PDF
职称材料
题名
融合学习效应和加强约束的混合模型U型装配线平衡
被引量：
7
1
作者
唐秋华
林斌
张利平
陈平和
机构
武汉科技大学机械自动化学院
神龙汽车公司技术中心
出处
《机械科学与技术》
CSCD
北大核心
2015年第1期69-74,共6页
基金
国家自然科学基金项目(51275366
50875190)资助
文摘
基于U型线的物流运输特性,提出一种新的位置编码及解析方式,来建构起能满足优先约束关系的工位与位置间的关系;基于该编码表示决策变量,描述出在装配生产过程存在的学习效应和加强约束;以工位最小化为目标,建立基于混合整型非线性规划的U型装配线平衡模型;把学习效应表达式离散化、将非线性模型线性化,降低了模型的计算复杂度,以快速有效求解。算例结果表明,所建模型可有效解决融合了学习效应和加强约束的第一类、混合模型U型装配线平衡问题。
关键词
学习效应
加强约束
U型装配线
装配线平衡
Keywords
learning effect
mathematical models
sequence-dependent
U-shaped assembly line
分类号
TG95 [金属学及工艺—钳工工艺]
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
加强约束的布尔可满足硬件求解器
被引量：
1
2
作者
马柯帆
肖立权
张建民
黎铁军
周善祥
机构
国防科技大学计算机学院
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2018年第6期105-111,共7页
基金
国家自然科学基金资助项目(61103083
61133007
+1 种基金
61572509)
国家重点基础研究发展计划资助项目(2016YFB0200203)
文摘
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。
关键词
现场可编程门阵列
布尔可满足性
加强约束
不完全算法
Keywords
field-programmable gate array
Boolean satisfiability
enhanced constraint
incomplete algorithm
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
融合学习效应和加强约束的混合模型U型装配线平衡
唐秋华
林斌
张利平
陈平和
《机械科学与技术》
CSCD
北大核心
2015
7
在线阅读
下载PDF
职称材料
2
加强约束的布尔可满足硬件求解器
马柯帆
肖立权
张建民
黎铁军
周善祥
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
