涂装车间提升密封胶机器人节拍的系统方法

精益生产、效率提升已经成为了很多汽车从业者日常工作的职责,效率提升、消除浪费更是很多企业降本增效的常见有效手段。但是对于涂装车间,尤其对于密封胶机器人,系统的提升密封胶机器人工作效率的方法在行业中少有人提及。本文对于提升涂装车间密封胶机器人效率,提升密封胶机器人节拍的方法进行了系统的介绍。     

高压富水岩层井巷综合治水技术研究

郭屯煤矿副井井筒采用围岩、壁后、壁内综合注浆技术堵水;井底车场采用高压注浆锚杆锚注的方案治水;临时水仓采用停止掘进,设置止浆垫注浆堵水等方案。这3种治水方案取得了良好的治水效果,对深井治水具有开创性的意义。     

CFRP/TC4激光连接工艺及接头组织和性能

针对碳纤维增强树脂基复合材料(CFRP)和TC4钛合金的激光焊接开展研究,分析了工艺参数对接头力学性能的影响,并进行接头断面分析;观察了接头微观结构及界面键合特征,分析了接头连接机理。结果表明：CFRP和TC4在激光的作用下能够获得良好的接头,在试验工艺范围内,当激光功率为650 W、焊接速度为10 mm/s时,接头剪切力最大值为926 N。接头通过TC4以及树脂的相互渗透能形成机械互锁效应,接头断裂模式主要为粘结断裂和内聚断裂,通过分析接头微观结构发现CFRP受热分解形成气泡,同时接头界面发生了元素扩散并在界面发生反应生成TiO₂、CTi_0.42V_1.58组织,同时出现-OH键,从而构成稳定的接头组织。     

协同应用中组通信服务的研究与设计

为了有效地支持办同应用的开发和集成,如ＣＡＤ工具的集成,在对分布对象技术及组通信技术深入研究的基础上,设计实现了一个支持组通信的分布式集成环境ＤＩＥ／ＧＣＳ。文中首先讨论了ＣＯＲＢＡ和组通信模型的优缺点,指出两者具有互补性,它们的结合将能够很好地满足分布式作应用的需求,其次,描述了ＤＩＥ／ＧＣＳ的框架结构以及ＧＣＳ的组成部分和ＧＣＳ的实现;最后,提出了一个成员开发框架,以方便分布式协同应用中成员的     

一种求解极小诊断的遗传模拟退火算法

基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问题.尽管人们提出了不少算法,但是各种算法的效率仍然不是十分理想.通过将该问题映射到0/1整数规划问题,提出了将遗传算法与模拟退火算法相结合的问题求解思想.在给出遗传模拟退火(genetic simulated anncaling,简称GSA)算法和算法各个参数的同时,对算法的性能和求解精度进行了测试.GSA算法不仅比传统的算法效率有很大的提高,而且在冲突集基数大于35的情况下,较单独使用GA的算法在效率上提高约1/3～1/2.在求解精度上,GSA算法在大多数情况下能够求出98%～100%的极小诊断.     

基于信誉机制的域间路由安全协同管理方法

如何抑制虚假路由的传播和恶意路由行为的发生,是域间路由安全管理的重要研究内容,对自治系统路由行为进行可信性评价和监督是其中的关键技术.设计了一种用于评价自治系统路由行为可信性的分布式协同信誉机制.该机制基于历史路由的有效性统计结果,采用后验概率分析的方法,由多个自治系统按照自组织协同的方式完成对目标自治系统的信誉计算,并将信誉计算结果作为度量该自治系统路由行为可信性的依据.实验结果表明,该机制能够抑制不良路由行为,有效提高域间路由系统的总体安全性,还能够为路由可信性分析和故障诊断提供依据,支持渐进式部署,     

结合静态分析与动态符号执行的软件漏洞检测方法

动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率。然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通向漏洞。提出一种基于静态分析的有导动态符号执行方法,并实现了一个工具原型SAGDSE。该方法通过静态分析识别目标程序中调用危险函数的指令地址,在动态符号执行过程中遇到这些指令地址时收集危险路径约束,再通过约束求解生成走危险路径的测试用例,这些测试用例将更可能触发程序漏洞。实验结果表明了该方法的有效性。     

多维时序数据中的相似子序列搜索研究

由于动态时间弯曲距离较之欧氏距离有更好鲁棒性,因此被广泛用作时序数据相似子序列搜索研究领域中的相似性度量.在单一维度上的相似子序列搜索可能不能获得足够的匹配结果作为继续深入分析的依据,因此通过引入在多维数据分析中常用的数据立方体模型将相似子序列搜索问题扩展到了多维场景之下,从而在多个维度上得到搜索结果以获取更多有价值的知识.在此基础上利用数据立方体相邻层次单元间的相关性对基本的搜索算法进行了改进,在保证准确性的基础上提高了搜索效率.在真实网络安全数据集上的实验验证了所提方法的有效性.     

分布式数据流上低通信开销的连续极值查询方法研究

数据流本质上是分布的,很多时候必须考虑通信开销.基于滑动窗口模型,考虑分布式数据流上的精确连续极值查询问题,对降低通信开销的策略进行了研究.分析了滑动窗口和极值查询的特性,提出了一种数据裁剪策略,系统只需保存少量数据即可满足极值查询的需求,并从理论上证明了该裁剪是存储最优的.远程节点在保证全局结果正确性的前提下尽量延迟数据传递,从而尽可能对局部数据流进行裁剪过滤,达到降低通信量的目的.理论分析和实验结果证明了上述方法的有效性.