-
题名SMT中焊膏使用常见问题分析
被引量：5
- 1
-
-
作者
张玉民
-
机构
北京工业职业技术学院
-
出处
《北京工业职业技术学院学报》
2005年第4期45-47,共3页
-
文摘
SMT是现代电子产品追求小型化,特别是大规模、高集成电路(IC),不得不采用的一项组装技术。 作为新兴技术,在实际应用中总存在一些问题,就其使用的焊锡膏在实际应用中出现的问题进行了分析,供 从事SMT人员借鉴。
-
关键词
smt
焊锡膏
问题
分析
-
Keywords
smt
soldering paste
problem
analysis
-
分类号
TG441.1
[金属学及工艺—焊接]
-
-
题名AOI技术在SMT生产上的实施技巧与策略
被引量：3
- 2
-
-
作者
鲜飞
-
机构
烽火通信科技股份有限公司
-
出处
《电子工业专用设备》
2003年第2期56-58,共3页
-
文摘
简要介绍了当今SMT应用的先进自动光学检查技术,通过分析SMT生产方式,有针对性地提出了配合SMT柔性生产模式的实施技巧与策略,并分析了其在SMT生产上的应用应注意的几个问题和工艺要点。
-
关键词
AOI技术
smt
自动光学检查技术
印刷电路
-
Keywords
AOI
smt
problem
Key technology
-
分类号
TN41
[电子电信—微电子学与固体电子学]
-
-
题名SMT优化系统的设计与实现
- 3
-
-
作者
鲜飞
-
机构
华中数控股份有限公司
-
出处
《电子工业专用设备》
2011年第12期26-33,42,共9页
-
文摘
基于SMT系统优化的旅行商问题（TSP）进行了分析和研究,对SMT系统优化进行了系统分析设计,介绍了如何减少X-Y工作台运动,提出两种针对环球HSP贴片机最优路径的优化算法,并基于一种方法编程实现了基本方案。最后在HSP贴片系统上使用本解决方案,大幅度提高了生产效率,证明了本解决方案的优越性和高效性,同时也为用其它算法解决SMT系统优化问题提供了一种可参考的思路。
-
关键词
表面组装技术
数据准备
计算机辅助设计
旅行商问题
-
Keywords
Surface Mount Technology（smt）
Data preparation
Computer assistant design（CAD）
travelling salesman problem（TSP）
-
分类号
TP271.2
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于改进迭代局部搜索的多SMT产线多目标优化
被引量：1
- 4
-
-
作者
肖惠霞
柳炳泉
杨宏兵
-
机构
苏州大学机电工程学院
-
出处
《组合机床与自动化加工技术》
北大核心
2024年第11期7-12,共6页
-
基金
国家自然科学基金项目(72201186)
苏州市产业技术创新专项(民生科技)项目(SS201704)。
-
文摘
针对多PCB订单在多条SMT生产线上的生产调度问题,同时考虑SMT生产线治具约束、生产线停线计划约束,建立以最小化总拖期为主目标和最大完工时间为子目标的数学模型。基于问题特性,提出了一种基于问题邻域知识的多目标迭代局部搜索算法求解问题模型,设计带约束的局部搜索在优化主目标函数时,将子目标函数限制在一定的允许量内,设计4种局部搜索算子局部寻优,扰动产生多个扰动解取Pareto最优解作为下一次的迭代解,增加算法全局搜索能力。在相同的计算资源下,对问题规模大于100×5(PCB订单数×SMT生产线数)的测试集,所提出的算法在主目标总拖期优化上相比传统迭代局部搜索算法提升35%以上,验证了算法的有效性。
-
关键词
多smt生产线
问题邻域知识
多目标优化
迭代局部搜索
-
Keywords
multi-smt production line
neighborhood knowledge of the problem
multi-objective optimization
iterative local search
-
分类号
TH165
[机械工程—机械制造及自动化]
TG659
[金属学及工艺—金属切削加工及机床]
-
-
题名SMT贴片技术常见问题及应对措施研究
被引量：1
- 5
-
-
作者
段瑶
-
机构
深圳市恒立泰科技有限公司
-
出处
《今日自动化》
2021年第11期91-92,共2页
-
文摘
在SMT贴片材料加工行业中,表面的技术贴装是电子产品主板安装的重要操作流程。因此,SMT贴片材料一直是社会所关注的一门工艺产品,并且在现实生活中SMT贴片材料的低廉的造价费用以及高额的收入回报十分受企业青睐,所以其发展一直呈上升趋势,但随着时代的转变,SMT贴片技术逐渐成了电子装联技术的主流,人们对于科技产物创新的不断追求,SMT贴片设备在制作中也会出现常见性的错误,文章主要探究SMT贴片技术在生产过程中遇到的常见问题及应对应对措施。
-
关键词
smt贴片技术
常见问题
应对措施
研究
-
Keywords
smt patch technology
common problems
countermeasures
research
-
分类号
F426.63
[经济管理—产业经济]
-
-
题名电子工艺生产性实训问题及对策
被引量：2
- 6
-
-
作者
邵玫
-
机构
广州铁路职业技术学院
-
出处
《南方职业教育学刊》
2011年第4期81-83,87,共4页
-
文摘
广州铁路职业技术学院SMT生产实训车间是校内生产性实训基地。该基地的开设是探索"校企合作、工学结合",培养高技能、实用型人才的创新之举。通过生产真实产品,培养了学生的职业技能和职业素养。在基地的运作过程中,企业生产计划与学校教学计划、学生技能训练与企业经济效益等方面存在一些问题。通过3年的探索实践,有效解决了上述问题。
-
关键词
smt生产实训车间
生产性实训
问题
对策
-
Keywords
smt production practice workshop
productive Practice
problems
strategies
-
分类号
G4
[文化科学—教育技术学]
-
-
题名求解一类特殊的极小化距离和问题的方法
- 7
-
-
作者
周莉
-
机构
苏州科技学院数理学院
-
出处
《苏州科技学院学报（自然科学版）》
CAS
2009年第2期10-15,共6页
-
文摘
将一类特殊的极小化距离和问题转化为与之等价的单调线性变分不等式,提出了一类预测校正方法,采用Gauss-Seidel迭代形式产生预测值,由校正步产生新的迭代点,并把这种算法应用于Steiner最小树问题。
-
关键词
单调变分不等式
预测-校正方法
smt问题
-
Keywords
monotone variational inequality
prediction-correction method
smt problem
-
分类号
O221
[理学—运筹学与控制论]
-
-
题名共识协议的形式化验证研究现状与展望
被引量：2
- 8
-
-
作者
葛宁
贺俞凯
翟树茂
李晓洲
张莉
-
机构
北京航空航天大学软件学院
北京航空航天大学计算机学院
软件开发环境国家重点实验室(北京航空航天大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2023年第11期4989-5007,共19页
-
基金
国家重点研发计划(2018YFB1402700)
国家自然科学基金(61902011)
北京航空航天大学软件开发环境国家重点实验室开放课题(SKLSDE-2021ZX-01)。
-
文摘
分布式系统在计算环境中发挥重要的作用,其中的共识协议算法用于保证节点间行为的一致性.共识协议的设计错误可能导致系统运行故障,严重时可能对人员和环境造成灾难性的后果,因此保证共识协议设计的正确性非常重要.形式化验证能够严格证明设计模型中目标性质的正确性,适合用于验证共识协议.然而,随着分布式系统的规模增大,问题复杂度提升,使得分布式共识协议的形式化验证更为困难.采用什么方法对共识协议的设计进行形式化验证、如何提升验证规模,是共识协议形式化验证的重要研究问题.对目前采用形式化方法验证共识协议的研究工作进行调研,总结其中提出的重要建模方法和关键验证技术,并展望该领域未来有潜力的研究方向.
-
关键词
共识协议
形式化验证
限界模型检测
定理证明
布尔表达式可满足性理论
可满足性模理论
-
Keywords
consensus protocol
formal verification
bounded model checking
theorem proving
Boolean satisfiability problem(SAT)
satisfiability module theory(smt)
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
