非光滑稀疏约束优化问题的最优性条件及算法

针对目标函数非光滑的稀疏约束优化问题,给出基本可行性和λ-平稳性两个必要最优性条件,利用所给出的必要最优性条件构造出稀疏次梯度投影算法.在理论上分析了算法的收敛性,证明了由该算法所产生序列的任意聚点都是λ-平稳点.最后,通过两个数值实例验证了算法的收敛性、有效性和优化能力.     

四连杆膝关节假肢的动力学建模与分析

相比于单轴式膝关节,四连杆膝关节具有更好的仿生特性和运动安全性,因而在下肢假肢研究中得到广泛关注. 本研究以一款四连杆膝关节被动假肢为研究对象,主要关注足-地交互作用力以及膝关节单边接触力等强非线性因素对下肢假肢步态的影响. 为此,采用 Kelvin-Voigt 模型和库伦模型描述足-地接触力和摩擦力,并采用 Kelvin-Voigt 模型描述膝关节单边接触力,从而基于第一类拉格朗日方程建立假肢动力学模型. 本研究以步态实验测得的髋关节运动数据为模型的驱动信号,针对假肢的步态特征进行了数值分析. 计算结果显示,当膝关节液压阻尼器的刚度较小时,强非线性作用力会使假肢产生显著的亚谐波响应,进而导致步态周期失谐. 进一步研究发现,提胯行为能够避免步态周期失谐,这也为残疾人行走时的提胯等代偿行为提供了一种新的力学解释. 为了评价假肢步态与健康人实测步态的一致性,本研究进一步定义了步态相关系数并分析了膝关节液压阻尼器刚度、阻尼参数对相关系数的影响. 结果表明,通过合理的刚度、阻尼参数设计,两者步态的相关系数可达到 0.9 以上,这为四连杆膝关节被动假肢进一步优化提供了理论支撑.      

一类具非光滑位势p(x)-Laplace方程解的存在性

在非光滑临界点理论的基础上,利用带非光滑(PS)条件的山路引理,结合嵌入定理和Lebourg中值定理,获得了一类具非光滑位势p(x)-Laplace方程解的存在性.     

一种提高极值点处收敛精度的三阶WENO-Z格式

为了提高三阶WENO-Z格式在极值点处的计算精度，通过理论推导给出三阶WENO格式满足收敛精度的充分条件。采用泰勒级数展开的方式，推导给出所构造格式非线性权重的计算公式，并综合权衡计算精度和计算稳定性确定所构造格式的参数。通过两个典型的精度测试，验证了改进格式在光滑流场极值点区域逼近三阶精度。进一步选用激波与熵波相互作用和Richtmyer-Meshkov不稳定性等经典算例，证实了本文提出的改进格式WENO-PZ3相较其他格式（WENO-JS3和WENO-Z3）不仅具有较高的精度，而且降低了格式的耗散，提高了对流场结构的分辨率。     

基于复化梯形公式的NGM(1,1,k)模型背景值优化

针对经典NGM(1,1,k)在背景值的影响下模型精度(拟合精度与预测精度)不高这一现状,结合复化求积公式中的复化梯形公式,推导了一种新的背景值优化公式.通过7类测试数据和2类实际数据的验证表明:推导的NGM(1,1,k)背景值优化公式显著地提高了NGM(1,1,k)的模型精度和实用性.     

混凝土薄板侵彻贯穿问题的SPH数值模拟

随着混凝土结构强度的不断提高,越来越多的防护工事选择混凝土作为主要建筑材料。在光滑粒子流体动力学方法的基础上,提出了TCK-HJC复合本构模型,对锥形弹刚性侵彻过程中混凝土薄板的变形损伤进行数值模拟,采用拟流体模型处理失效的混凝土碎片,分析了不同侵彻角(0°,60°)下锥形弹侵彻混凝土薄板的变形过程,得到了薄板的压力分布以及失效混凝土碎片的飞散角度,并与实验进行对比。结果表明,数值模拟方法是合理的,为进一步研究脆性材料的力学性能奠定了技术基础。     

微结构固体中孤立波的演变及非光滑孤立波

给出了包含宏观应变和微形变的全部二次项以及宏观应变三次项的一种新的自由能函数.利用新自由能函数并根据Mindlin微结构理论，建立了描述微结构固体中纵波传播的一种新模型.利用近来发展的奇行波系统的动力系统理论，分析了系统的所有相图分支，并给出了周期波解、孤立波解、准孤立尖波解、孤立尖波解以及紧孤立波解.孤立尖波解和紧孤立波解的得到，有效地证明了在一定条件下，微结构固体中可以形成和存在孤立尖波和紧孤立波等非光滑孤立波.此结果进一步推广了微结构固体中只存在光滑孤立波的已有结论.     

Smarandache函数在两数列上的下界估计

设S(n)是Smarandache函数,其中n是一正整数.讨论Smarandache函数S(n)在数列F((2k),1)=F(n,1)=n2n+1(n=2k)与数列G(2n,1)=(2n)2n+1上的下界估计.基于初等方法证明了:当偶数n≥6时,有S(F((2k),1))=S(F(n,1))≥6×2n+1;当n≥4时,有S(G(2n,1))≥6×2n+1.     

大族长度为pq的伪随机k元序列

Mauduit与Sárkzy在一系列论文中研究了κ元序列的伪随机性.本文通过对模pq剩余类环Z_(pq)进行分割,进而结合离散对数的方法,构造了一大族长度为pq的伪随机κ元序列,并证明其具有很好的伪随机性.     

一个二元叠加码M_q(t,k,d)生成的二元等重码

研究了二元叠加码Mq(t,k,d)也是一个二元等重码,给出了它成为最佳等重码的条件,研究了它的检错性.