摘要：针对单输入单输出不确定非线性系统提出了一种自适应鲁棒模糊控制算法.该算法通过设计观测器来估计系统的状态向量,因此不要求假设系统的状态向量是可测的.在这个算法中,主要的假设为最优逼近参数向量与标称参数向量之差的范数和逼近误差的界限是未知的.通过只对未知界限估计的调节,该算法减轻了在线计算量并且提高了系统的鲁棒性.所设计的自适应鲁棒模糊控制算法保证了闭环系统的所有信号是一致有界的并且跟踪误差估计收敛到一个小的零邻域内.仿真例子证实了所提方法的可行性.

摘要：TRD(Trench cutting Re-mixing Deep wall)工法构建的等厚度水泥土搅拌墙可内插型钢作为基坑止水和挡土结构,在基坑工程实践中得到了越来越广泛的应用。作为两种刚度差异较大材料的组合结构,TRD工法型钢水泥土搅拌墙承载变形性状和作用机理较为复杂,现阶段的工程实践尚缺乏理论计算的支持。以上海典型软土地层为背景,采用三维"m"法对型钢和水泥土的相互作用和承载变形性状进行了理论分析,主要通过对其变形、弯矩分担和局部抗剪的规律研究,对工程设计中的相关问题予以明确,并结合实测工程墙体变形进行了对比。

摘要：润扬长江公路大桥是目前国内跨度最长的悬索桥,它的锚碇基础也是目前国内最大的。南锚碇基础深基坑支护采用了钻孔灌注桩排桩加多道支撑挡土,2 m厚冻土薄壁隔水的新型设计和施工工艺,称为排桩冻结法。这种方法是国际首创,必然面临许多未知问题和挑战。其中主要是冻胀和冻胀力,开挖后产生的温度应力和锚体混凝土的设计等问题。通过一系列的研究和工程实测,得到了若干初步结论。

摘要：为了给现有的波浪推进无人艇研制辅助动力装置,对有桨轴型集成电机推进器进行了相关的设计,包括电机设计、水动力性能和桨叶结构强度计算。首先进行电机的设计和螺旋桨的选型,并通过流固耦合方法对集成电机推进器周围的流场和桨叶应力场进行了计算。然后使用Star ccm+重叠网格法计算了水翼抬离水面工况无人艇模型的静水阻力,并与拖曳试验结果进行比较,验证了CFD计算方法的可行性。最后使用体积力法替代螺旋桨的作用,对安装了首固定水平翼和一个集成电机推进器的波浪推进无人艇在静水和迎浪规则波中航行时的航速进行了预报。

摘要：将机器学习方法应用于U-Mo合金等温分解参数的快速设计,以合金硬度为设计指标,基于少量数据建立了合金硬度与上述参数之间的机器学习支持向量机模型。在对硬度预测的基础上,比较了基于预测值和基于预期提高的2类实验设计算法在优化效率方面的差异。结果表明,基于预期提高的实验设计算法通过少量迭代试验能够明显提高合金硬度,而基于预测值的设计算法对硬度提高不明显。应用上述机器学习辅助设计方法,通过4次实验成功地确定了该合金等温分解最佳参数组合为时效温度565℃,时效时间20 h以上,均匀化处理温度为900~950℃,Mo含量为6%(质量分数),在该工艺窗口下处理的合金硬度最高,制粉率最高。本研究对利用机器学习方法快速优化U基合金工艺参数进行了初步尝试,这类基于数据的方法能够有效提高材料研发效率。

摘要：超大面积深基坑工程周边环境条件多样,在满足基坑安全和环境保护要求的前提下,多种围护结构的结合应用更为合理和有效。本文以杨浦大学城一期基坑工程为背景,对采用“中心顺作、周边一明一暗顺逆作结合”的方法进行施工的基坑工程的围护结构设计进行了详细的介绍和分析。该工程采用了除型钢水泥土搅拌墙以外上海地区目前常用的所有围护结构形式,多种围护结构形式在基坑工程的整体设计中通过合理的平面组合和空间结合,在工程安全性、合理性、经济性等方面都发挥了更好的作用,为同类基坑工程的设计提供借鉴和参考。

摘要：最后一公里分销网络可以帮助企业达成高响应性的供应链管理目标,集成最后一公里四方物流网络设计问题成为网络设计的一个重要研究方向.解决该问题需要对分销中心的位置,三方物流的选择、分配以及其车辆路径规划进行决策.在满足车辆路径规划、流守恒等约束条件下,以最小化网络构建费用为目标建立混合整数规划模型.由于该问题的NP-难特性,可将该问题分解成两个子问题并设计两阶段启发式算法,通过迭代算法解决两个子问题.在数值实验中,将启发式算法分别与CPLEX和粒子群优化算法求出的解进行比较,实验结果验证了启发式算法的有效性;同时,将提出的启发式算法成功地应用到实际规模的问题中,表明所提出的算法能够为解决集成最后一公里四方物流网络设计问题提供有效的工具.

摘要：针对阵地地貌测量重构中的相机参数标定问题,基于相机的内参数模型提出了一种多相机并联阵地地貌测量标定方法。该方法基于主动视觉原理,利用测量支架在线性独立位置安装4部相机,并采用并联装置驱动相机同时拍摄,从而实现与三次独立线性平移效果相同的拍摄。根据该标定方法设计了阵地地貌测量标定实验,实验结果表明两个方向尺度因子比值的相对误差<3.87%,主点坐标绝对误差在4个像素的范围内线性,畸变因子的变化范围在3倍以内,该方法方便、快捷,适合于阵地地貌测量的标定。

摘要：模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略 ,并给出解决状态爆炸问题的主要方法 ;然后介绍了针对实时系统以及面向对象设计的模型检验方法 ;对每种方法都介绍了相应的典型工具 .

摘要：The electrochemical dissolution and passivation of laser additive manufactured Ti6Al4V were investigated through Tafel polarization,potentiostatic polarization and AC impedance *** results show that the solution treatment−aging(STA)process aggravates the element micro-segregation compared to the annealing process,leading to varied Al and V contents of the phases from different *** is proven that either Al-rich or V-rich condition can highly affect the electrochemical dissolution behaviors due to thermodynamical instability caused by element *** dissolution rate in the metastable passivation process is controlled by the stability of the produced film that is affected by phases distribution,especially the difficult-to-dissolve *** then,the dissolution rate of the phases in the transpassivation region is consistent with the rank in the activation process because the dense film is not capable of being *** to the annealed sample,the higher dissolution rate of the STA sample is beneficial to the electrochemical machining(ECM)of Ti6Al4V.