基于运动补偿的机械扫描式高频超声成像技术

由于高频相控阵超声成像系统和多阵元高频超声探头工艺复杂,成本较高、实现难度大,单阵元的机械扫描式高频超声成像探头因其结构简单、实现方便、成本低的特点仍具有较高的理论研究和实际应用价值。但目前机械扫描式成像系统的机械扫描的非均匀性是阻碍其性能进一步提升的主要问题,因此文章设计了一种高精度运动补偿的机械扫描式高频超声成像探头和系统,通过理论计算分析、运动系统结构设计加工、扫描成像系统搭建实现了高精度的扫描成像。最后,线靶和仿体的成像实验结果显示,经运动补偿后,系统能够有效克服传统机械扫描成像的伪影和失真,实现的横向几何位置精度误差为1.34%,纵向几何位置精度误差为1.33%,面积测量精度误差为3.15%,为高精度、高频超声成像算法和系统研究提供了一种有效的手段。     

Adaptive neural control for uncertain stochastic nonlinear strict-feedback systems with time-varying delays: A Razumikhin functional method

This paper addresses the problem of adaptive neural control for a class of uncertain stochastic nonlinear strict-feedback systems with time-varying delays. A novel adaptive neural control scheme is presented for this class of systems, based on a combination of the Razumikhin functional approach, the backstepping technique and the neural network (NN) parameterization. The proposed adaptive controller guarantee that all the error variables are 4-Moment semi-globally uniformly ultimately bounded in a compact set while the system output converges to a small neighborhood of the reference signal. Two simulation examples are given to demonstrate the effectiveness of the proposed control schemes.     

DP780镀锌钢激光焊接性能与工艺

针对0.8 mm的车用DP780镀锌双相钢,采用4 kW的连续光纤激光器对材料进行激光搭接试验,通过调节两板间的预留间隙、激光功率、焊接速度、离焦量,研究了工艺参数对焊接接头焊缝的成形影响规律,同时分析各工艺参数对焊缝下塌量、抗拉强度、气孔状况的影响规律;最后基于焊缝抗拉强度、焊缝下塌量以及焊接过程中气孔状况评价焊接质量.结果表明,功率在3 800 W、焊接速度在95~100 mm/s,离焦量在-2~2 mm,预留间隙在0.2~0.25 mm区间的工艺参数条件下,焊接成形较好,此时的抗拉强度保持在180 MPa以上,下塌量总量在0.35~0.45 mm,以及飞溅和外部气孔较少.建立抗拉强度—焊缝下塌量—气孔状况方法评价焊接质量,采用此方法,能够改善气孔缺陷,提升焊接效率.     

大型落地镗铣床工作台床身有限元分析和优化设计

运用ANSYSWORKBENCH对落地镗铣床的工作台床身进行参数化建模,并对其进行静态结构的有限元分析,根据分析的结果对床身进行了轻量化设计。结果表明:在保证床身刚度基本不变的情况下,通过调整床身导轨面和加强筋的厚度,将床身质量降低了6.8%,有效地降低了产品的成本。     

Gridless compressive sensing method for line spectral estimation from 1-bit measurements

This paper considers the problem of recovering frequency sparse signals which consist of a few complex sinusoids and estimating the frequency components from 1-bit quantized measurements. Unlike previous grid-based 1-bit compressive sensing approaches, we present a gridless convex method to recover frequency sparse signals form 1-bit measurements via binary atomic norm minimization (BANM). And the frequencies can take any continuous values in the frequency domain, which overcomes grid mismatches caused by the off-grid problem. We further propose a dual polynomial method to achieve continuous frequency estimation. Moreover, we present an efficient algorithm to solve BANM for large scaled problem. Numerical experiments are performed to demonstrate the effectiveness of our method compared with the grid-based compressive sensing algorithm.     

Security in Mobile IPv6: A survey

Secure mobile communication is essential for the pervasive accessibility of critical information infrastructure. Connecting control systems with the business enterprise, wireless telemetry and mobile user interaction with critical infrastructure systems are examples of services that motivate the need for secure mobile communication. Mobile IPv6 is being touted to provide communication support for such services. The security of Mobile IPv6 poses key challenges impeding its wide-scale adoption. Several security mechanisms have been proposed in the literature. This paper surveys security vulnerabilities of Mobile IPv6, provides a taxonomy for the main existing and proposed solutions, and then extends to outline some open issues.     

Optimal learning control of oxygen saturation using a policy iteration algorithm and a proof-of-concept in an interconnecting three-tank system

In this work, “policy iteration algorithm” (PIA) is applied for controlling arterial oxygen saturation that does not require mathematical models of the plant. This technique is based on nonlinear optimal control to solve the Hamilton–Jacobi–Bellman equation. The controller is synthesized using a state feedback configuration based on an unidentified model of complex pathophysiology of pulmonary system in order to control gas exchange in ventilated patients, as under some circumstances (like emergency situations), there may not be a proper and individualized model for designing and tuning controllers available in time. The simulation results demonstrate the optimal control of oxygenation based on the proposed PIA by iteratively evaluating the Hamiltonian cost functions and synthesizing the control actions until achieving the converged optimal criteria. Furthermore, as a practical example, we examined the performance of this control strategy using an interconnecting three-tank system as a real nonlinear system.     

环形束激光熔覆CuPb10Sn10减摩涂层组织性能调控

目的 为了从原理上改良汽车关键零部件特定表面的减摩性能,提出环形激光熔覆高质量CuPb10Sn10铜合金异质涂层提升零部件耐磨减摩性能的方法。方法 设计单层熔覆、顶部重熔、逐层重熔3种制备方案,采用环形束激光熔覆技术在42CrMo钢表面制备熔覆层。分析试样的表面形貌、孔隙率、物相构成,并分析熔覆层–基材的结合强度及耐磨减摩效果。结果 基于环形激光熔覆单层熔覆层设计的逐层重熔和顶部重熔制备工艺方法均能在42CrMo钢表面实现厚1mm减摩涂层的成功制备。单层熔覆在熔覆过程及环境参数改变范围内的质量提升效果有限,缺陷分布明显且难以控制;顶部重熔过程中热量分布特征导致的Marangoni效应未使熔覆质量实现有效优化,熔覆层内部孔洞、裂纹、热影响区（HAZ）等缺陷未显著减少;逐层重熔法制备的熔覆层质量大幅提升,制备过程显微组织变化过程为：不均匀网状分布–独立棒状分布–“芝麻”状分布,且发现“芝麻”状分布SPP（富铅第二相粒子）的减摩效果优于独立棒状分布SPP。熔覆层出现偏析分层,且凝固过程晶粒长大生成柱状枝晶。逐层重熔法制备的CuPb10Sn10熔覆层孔隙率不高于0.5%,摩擦因数较原始基材表面...     

时效时间对Cu/In-Sn-2.5Ag/Cu焊点组织形貌及剪切性能的影响

研究了Cu/In-Sn-2.5Ag/Cu复合钎料焊点在125 ℃时效不同时间后的微观组织和剪切性能。结果表明:随着时效时间的延长,Cu/In-Sn-2.5Ag/Cu焊点界面金属间化合物(IMCs)层厚度呈现增加的趋势,焊点界面IMCs层组织先生成Cu₆(In, Sn)₅相,同时焊点中生成少量的Ag₉In₄相,随着时效时间的延长,钎料与Cu原子进一步反应生成Cu₃(In, Sn),部分Ag₉In₄转变为Ag₃In。当时效时间为168 h,形成全IMCs焊点。焊点剪切强度随时效时间延长呈现先增大后减小的趋势,时效时间为120 h时剪切强度最大,达到15.38 MPa。     

Predictor-based control for an uncertain Euler–Lagrange system with input delay

Controlling a nonlinear system with actuator delay is a challenging problem because of the need to develop some form of prediction of the nonlinear dynamics. Developing a predictor-based controller for an uncertain system is especially challenging. In this paper, tracking controllers are developed for an Euler–Lagrange system with time-delayed actuation, parametric uncertainty, and additive bounded disturbances. The developed controllers represent the first input delayed controllers developed for uncertain nonlinear systems that use a predictor to compensate for the delay. The results are obtained through the development of a novel predictor-like method to address the time delay in the control input. Lyapunov–Krasovskii functionals are used within a Lyapunov-based stability analysis to prove semi-globally uniformly ultimately bounded tracking. Experimental results illustrate the performance and robustness of the developed control methods.