激光冲击强化6061铝合金的耐磨性能及电化学性能

利用激光冲击强化(LSP)处理了6061铝合金,研究了LSP对试样耐磨性能及电化学性能的影响,并对试样的显微硬度和残余应力等进行了测试与分析。结果表明,LSP能有效提高试样的力学性能;LSP试样的表面没有发生物相变化,但硬度与残余应力显著增大,耐腐性明显提高;LSP前后试样的摩擦系数相近,但LSP试样的磨损量减小,耐磨性得到提升

Trustworthiness Evaluation Method for CPS Software Based on Software Architecture Energy Consumption Modeling

信息物理融合系统（Cyber Physical Systems ，CPS ）是一种计算系统和物理环境紧密结合的网络化嵌入式系统，软件作为其重要的使能部件，如果在其设计阶段能够考虑能耗影响等问题，则能有效提高软件及系统的可信性。软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导，对CPS软件体系结构能耗进行建模，分析和评估能耗对CPS软件可信性的影响，可以在设计阶段发现其体系结构能耗设计缺陷，并重新设计软件体系结构，从而有效提高CPS软件可信性。基于此，首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型，并分析了影响CPS软件可信性的能耗问题；针对这些问题，将分析得到的能耗数据作为建立可信性指标模型的基础，提出了基于能耗指标模型的CPS可信性评估方法；最后通过实例建模和分析，进一步说明该方法的有效性。 CPS is a kind of networked embedded system .Its trustworthiness and cost are impacted by energy consumption . Because software is the main component of CPS ,it is influenced by the energy consumption of CPS .So it has become a major chal-lenge for CPS development to design low-power ,high trustworthiness CPS software .Existing analysis and evaluation methods have problems such as the experimental high cost and big price .If the trustworthiness problem of software can be found in the design phase ,it can effectively reduce the cost and improve development efficiency .So modeling ,analyzing and evaluating the software ar-chitecture energy consumption of the CPS software architecture design stage can help find the energy consumption design defects .It can effectively improve the trustworthiness of the CPS software and reduce development costs .Against this ,first build the CPS soft-ware architecture energy consumption based on the energy consumption time Petri nets ;then by analyzing the trustworthiness prob-lems of the CPS software influenced by the energy consumption ,propose the evaluation method for CPS software based on the ener-gy consumption model ;finally ,indicate the effectiveness of the proposed methods through an instance

同轴水射流辅助激光加工效率及锥度试验研究

激光加工利用高功率密度的聚焦激光束照射工件,工件材料被熔融或气化,实现工件材料的去除,具有速度快、效率高、精度好等优势。但是,激光与工件材料相互作用过程中产生的热量导致加工表面热影响层(HAZ)、再铸层等的产生,工件需要二次加工。本文研究了液体环境下同轴水射流辅助激光加工技术,探讨了其材料去除机理,建立了同轴水射流辅助激光加工试验平台,通过试验研究了激光能量、水射流初始流速及喷口与工件间隙对加工效率和锥度的影响规律,采用SEM对加工表面微观结构进行了检测。同轴水射流辅助激光加工技术中,激光光束通过水射流聚焦于液体环境中工件加工表面,其中激光光束与水射流同轴分布,水射流高速流向并冲击加工区域。通过控制激光光束或工件的运动轨迹可实现不同轮廓微细结构的加工。高速水射流可及时带走激光加工区域产生的热量、热熔渣等,获得表面清洁、热影响区小的加工表面。高速水射流可及时冲刷加工区域产生的光致等离子体、热熔渣等,减小等离子体对激光的屏蔽效应,提高激光加工效率。另外,液体环境中悬浮粒子(气泡、热熔渣、杂质等)对激光光束具有一定的散射效应,有利于减小激光加工产生的锥度。搭建了同轴水射流辅助激光加工试验装置,其主要包括:五轴运动平台、水射流与激光同轴耦合装置、高功率纳秒激光器、激光光束传输系统、去离子水增压系统、控制系统,精密水过滤系统等。为减小去离子水中杂质对激光传输效率的影响,试验系统采用去离子水与激光光束同轴耦合。本文通过试验研究了深孔加工效率、加工锥度随激光能量、水射流流速和喷口与工件间隙的变化规律,试验结果表明:同轴水射流辅助激光加工效率随激光能量、水射流流速的提高呈增大趋势,当喷口与工件间隙为3mm左右时加工效率较高;加工微孔的锥度随激光能量、水射流流速的提高呈减小趋势,随喷口与工件间隙的提高呈增大趋势,并当间隙大于5mm时,加工锥度基本保持不变。利用优化工艺参数,加工出锥度约2°,无热影响层、再铸层和微裂纹等表面完整性好的微孔

同轴水射流辅助激光加工效率及锥度实验研究

对液体环境条件下的同轴水射流辅助激光加工技术及其加工机理进行了初步研究,并建立了加工实验装置,分别研究了加工效率和加工锥度随激光能量、水射流流速、喷口与工件间隙的变化规律。实验结果表明:同轴水射流辅助激光加工效率随着激光能量、水射流流速的增加而提高,当喷口与工件间隙约为3 mm时加工效率较高;加工微孔的锥度随着激光能量、水射流流速的增加而减小、随着喷口与工件间隙的增加而增大,当间隙大于5 mm时锥度基本保持不变。最终,利用优化的工艺参数,加工出锥度约为2°且无热影响层、再铸层和微裂纹的表面完整性好的微孔

validation of web service composition based on probabilistic model checking

Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性

新型水导激光水-气缩流机理分析及初步加工试验验证

水导激光加工技术因加工材料表面热影响小,加工深度能力强等优点展现出优越的加工能力。研究基于水导激光加工机理,提出一种新型水导激光缩流导光方法,分析了缩流机理,并通过激光与缩流层流水柱高效耦合试验与材料加工试验验证其加工方法可行性。试验结果表明,保持气压不变,随着水压的增大,缩流层流水柱的速度、直径及长度不断增大;保持水压不变,随着气压的增大,层流水柱速度逐渐增大,直径和长度逐渐减小。同时,通过调节激光与层流水柱耦合最优传导激光条件下进行加工试验。对比空气中加工结果,水-气缩流传导激光加工技术在热影响区和热堆积上有明显的改善,初步验证新型水-气缩流传导激光加工技术的可行性

非线性双端固支梯形梁压电俘能器结构设计与特性分析

设计了一种非线性双端固支梯形梁压电俘能器,用于收集环境中的振动能量,并将振动能转换为电能,为微小型电子元器件供能。自然环境中振动源的振动频率大多在100 Hz以下,该俘能器采用引入非接触磁力的方法,降低其谐振频率、拓宽俘能频带并提高输出性能。在理论分析的基础上,建立了Matlab/Simulink仿真模型并进行试验测试,对比分析了线性及非线性双端固支梯形梁压电俘能器的谐振频率、带宽及输出性能,同时研究了输出性能在3个参数(固定磁铁与质量块磁铁间距d、外接负载电阻R、外界激励加速度a)变化时的响应。仿真与试验结果表明,引入的非接触磁力使压电俘能器谐振频率降低了9 Hz,俘能带宽拓宽了20%,输出功率提高了7. 5%