半线性抛物方程差分解的长时间行为

考虑带齐次D irichlet边值条件的半线性抛物方程ut-(pux)x=f(u)的初边值问题,研究了其在[0,1]×(0,+∞)上全离散Euler隐格式解的稳定性.在适当的假设条件下证明了离散系统在H1(Ωh)空间上存在连续的Liapinov泛函,并验证了离散系统的平衡点集在H10(Ωh)上是有界集,从而得到离散动力系统在H10(Ωh)上存在整体吸引子.     

一种求解一维对流扩散方程的高精度紧致隐式差分格式

提出了数值求解一维非定常对流扩散方程的一种两层四阶紧致隐式差分格式,其截断误差为O（τ^2＋h^4）.采用von Neumann方法证明了格式是无条件稳定的,并且由于每一时间层上只用到了3个网格点,所以可直接采用追赶法求解差分方程.数值实验结果验证了该方法的精确性和可靠性.     

基于隐含边界描述的连续体拓扑优化

基于隐含边界描述的水平集方程推动几何边界,结合形状导数、拓扑导数等工具,实现了柔性目标函数的连续体结构拓扑优化设计.进一步通过引入Von Mises应力作为产生新拓扑结构的策略,给出了单独使用Von Mises应力开孔的算例.算例结果表明,基于隐含边界描述的连续体拓扑优化设计方法,它具有独特的处理拓扑变化能力及消除拓扑优化结果对网格和初始拓扑结构猜测的依赖性.这一类方法具有优秀的高维设计拓展能力,在工程实际和多材料设计等方面具有很好的应用前景.     

k-连通图中存在哈密尔顿圈的一个隐度条件

文中给出了强基本独立集的概念,并证明了如下定理:设G是一个具有n个顶点的k-连通图,其中k≥2.如果对任意一个具有k个顶点的强基本独立集S,都有max{d1(x)|x∈S}≥n/2,则G是哈密尔顿图.此定理推广了已有的几个有关图中哈密尔顿圈存在性的定理.     

一致凸Banach空间上有限个非扩张映象的隐式迭代过程

对有限个具有公共不动点的非扩张映象引入具误差的隐式迭代序列,并在不同条件下证明了具误差的隐式迭代序列分别弱收敛,和强收敛于这有限个非扩张映象的某一公共不动点。     

基于隐式梯度模型的混凝土损伤的数值模拟

分析了局部损伤模型在进行混凝土应变软化模拟时存在的问题:网络依赖性和零能量损耗问题;分别应用隐式梯度模型和局部模型对混凝土应变软化进行了模拟。计算表明该隐式梯度模型可较好避免有限元在应变软化模拟时的网络依赖性,预测出的荷载-位移响应与实际情况吻合较好。     

修正辅助技术求解广义混合隐拟变分不等式

研究了Hilbert空间上一类广义混合隐拟变分不等式．利用KKM原理的思想,证明了解的存在,惟一性定理,并且建立了相应的近似解迭代算法,对算法作了收敛性分析．研究的问题更具一般性,同时推广了有关于这类问题的迭代算法．     

工程机械零件离散复杂曲面求交算法

针对离散多样化的工程机械复杂零件,为快速准确地描述其曲面特征,提出了一种隐式曲面之间的求交方法。将其中的一个隐式曲面离散成许多三角面片,判断每个三角面片是否与另一个隐式曲面相交,求出交线,所有交线构成了隐式曲面之间的交线;进一步给出了一种交点的精确计算方法,使所得交线更加准确。试验结果表明:该方法迅速准确地描述了复杂曲面的特征性能,简单实用,为复杂曲面的五轴联动加工提供了可靠的加工中心刀位轨迹。     

云计算环境下隐私保护方案

云计算中的用户隐私保护问题是云计算安全应用的挑战之一。现有的隐私保护方案大多面向用户可用数据的保护而忽视了个人身份信息的保护。为了解决这个问题,该文首先针对可用数据保护提出基于二次混淆的隐式分割机制;同时针对用户身份信息的保护提出基于可信服务器的云存储架构,实现数据存储和用户个人信息管理隔离。云服务器利用可信服务器提供的存储认证码判断用户的存储权限,用户的身份信息存储于可信服务器。安全分析表明:该架构能够隐藏存储在云服务器上的数据子块的特征,并且能对用户身份信息进行有效保护。     

锆板轧制模拟的显式动力与隐式静力有限元法比较

针对用作核燃料元件金属包壳的锆合金板建立三维有限元模型,分别运用显式动力与隐式静力有限元法实现了轧制加工的数值模拟.对两种模拟方法下轧制后工件的几何尺寸、接触面上的轧制压力分布等计算结果进行了分析与比较.研究结果表明:通过选取合理的质量放大因子,显式算法的计算效率远高于隐式算法;而隐式静力方法的计算结果比显式动力方法更加平滑;在轧板中部和远离接触表面处,两种方法所得轧制后工件的尺寸吻合得很好;并且两种方法所得稳定轧制阶段的工件表面接触压力分布总体上较为吻合.所做工作可为核燃料元件轧制数值模拟方法的合理选取提供参考.