具反馈控制单种群食物有限模型稳定性研究

研究具有反馈控制的食物有限模型.首先探讨了该系统的平衡点的局部稳定性态,其次借助于Bendixson-Dulac判别法证得系统不存在闭轨线,由此知系统的正平衡点是全局吸引的.

无限域波动问题中有限模型与无限模型差异的定性分析

本文从理论上研究了用有限模型和无限模型模拟无限域中的波动问题时所存在的差异。文中给出的有关分析结果表明:(1)在弹性介质情况下,无限摸型可对系统给出复数形式的复频响应函数或位移分布,这与无限域中波动问题的解析解相吻合;而有限模型只能对系统给出实数形式的复频响应函数,这与无限域中波动问题的解析解不相符合。说明在弹性介质情况下,有限模型不能反映无限域中的波动特性。(2)在粘弹性介质情况下,即使有限地基范围取得较大,有限模型所给出的数值结果与解析解的误差仍然很大,说明在用有限元法对无限域问题进行动力计算时,一般不宜采用有限模型,而应采用无限地基模型。

食物有限模型的全局吸引性

考虑食物有限模型N′(t) =r(t)N(t) 1-N(t-τ)1-λN(t-τ) ,t≥ 0 ,其中λ∈ [0 ,1)、r(t)∈C([0 ,+∞ ) ,(0 ,+∞ ) ) ,τ>0 ,给出了保证方程每一解N(t)满足limt→∞ N(t) =1的一族充分条件 ,推广和改进了已有文献 [1-

多元模态逻辑在有限模型语义下的■os-Tarski定理

证明了模态逻辑中■os-Tarski定理的有限模型论版本仍然成立,即:在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式.

有限模型的自动构造

计算机科学的很多领域引入了形式化方法,逻辑公式经常出现在各种技术中。有时需要判定一个逻辑公式的协调性(可满足性),并对可满足的公式给出一个具体的模型。本文介绍计算机科学和数学中的一些模型构造问题,以及有限摸型的自动构造技术。

具有脉冲的非自治离散的食物有限模型解的振动性与非振动性

考虑具有脉冲的非自治离散的食物有限模型 Δx(n)+∑mi=1ri(n)x(n-Li)x(n-Li)+1/+λ[x((n-Li)+1]=0，n≠nki;x(nk+1)-x(nk)=bx(nk),k=1,2,… 给出了方程不存在最终正解与存在非振动解的充分条件.

介导信息处理的能力有限模型对优化政治传播效果的启示

介导信息处理的能力有限模型是一个信息处理模型。它直接适用于人脑对介导信息的处理方式的研究。该模型中有关"制造信息"、定向反应原理以及政治传播载体的内容信息与结构信息的阐述,对于政治传播中的"制造同意"理论的发展、电视新闻的政治修辞的改进以及各政治传播载体的政治传播效果的优化,具有启示与借鉴意义。

具随机扰动食物有限模型正解的全局吸引性及参数估计

研究随机食物有限型模型N.(t)=N(t)[(K-N(t))/(K+CN(t))](r+αB.(t)),其中B(t)是一维Brown运动,B(0)=0,初值满足0<N(0)=N0<K。利用随机微分方程、统计学、数值模拟相结合的方法,研究了正解的全局吸引性,对其具体模型作了数值模拟,模拟的结果与定理的结论一致,并对模型中的参数α2、r进行了估计,在正态分布的假设下,极大似然估计值和真实值之间没有明显区别。

有限模型下的模态概率逻辑

模态逻辑语义学是经典逻辑语义学的一个扩张,对"可能"、"必然"等词进行了刻画,而概率从某个角度来说是对"可能"的更加精确的表示。本文试图在模态逻辑语义学的基础之上,形式化地刻画如下直观思想:每一个在某一世界上有一定概率发生的事件都一定会在其可通达的某个(或者某些)可能世界上发生。

广义食物有限模型的全局吸引性

考虑广义“食物有限”模型， 其中ｒ（ｔ）＞０在任何有限区间上可积，α＞１为两奇数之比，获得了保证方程每一正解Ｎ（ｔ）趋于１的若干充分条件，推广和改进了已有的相应结论。

有限元方法在脑震荡领域的热点:脑损伤模型、测试方法与防护装备的改进

背景:由身体接触性运动或交通事故造成的脑震荡远比人们想象的更为严重与常见,近年来引起了媒体、医学界及体育界的广泛关注与高度重视。目的:采用文献计量学方法对有限元方法在脑震荡领域的研究热点与趋势进行可视化分析,从而为中国在该领域的研究提供一定的参考。方法:基于Web of Science核心集数据库进行文献检索,检索主题词策略为(TS=(Concussion)) AND TS=(Finite element),利用CiteSpace 6.2.R4可视化工具对纳入文献的作者、国家、机构、关键词及被引文献等进行可视化分析。结果与结论:(1)共计纳入215篇文献,发文量与被引量总体上呈上升趋势;学科分布涉及生物医学工程、生物物理学、运动科学、临床神经学及神经科学等学科,呈现多学科交叉融合的趋势;发文量最多的作者是来自爱尔兰都柏林大学的Gilchrist M,发文量最多的机构是渥太华大学,发文量最多的国家是美国。(2)通过关键词分析发现研究的热点聚焦于脑损伤模型的建立用来模拟和预测脑震荡的损伤;脑震荡损伤机制的解析;防护设备和装置的优化设计。(3)通过文献共被引分析发现脑损伤的预测与评估是该领域的知识基础亦是研究热点。(4)有限元方法运用在脑震荡领域的研究热点主要围绕头部损伤预测为主题展开,结合探索大脑损伤机制以及防护装备的设计与改进。(5)随着人工智能与材料学的进步,未来有限元方法在脑震荡损伤领域的研究热点将集中于脑损伤模型、测试方法与防护装备的改进。

基于三维有限元模型的人体全腰椎振动特性研究

振动暴露被认为是诱发腰椎退行性病变和下腰痛的重要原因,本研究旨在探寻振动载荷对腰椎生物力学的影响。基于人体腰椎L1节段至骨盆(L1-pelvis)的CT扫描数据,重构L1-Pelvis三维几何模型。对该几何模型进行网格划分和材料特性赋值,建立L1-Pelvis三维有限元模型,并利用可获得的实验数据对模型的有效性进行验证。基于该有限元模型,通过瞬时动态分析计算出腰椎各运动节段在幅值40 N,频率5 Hz轴向正弦振动载荷作用下的力学响应,并与-40 N和+40 N轴向静态载荷作用下的结果进行对比,响应参数包括椎体轴向位移、纤维环膨出变形和纤维环基质冯·米塞斯应力。研究结果表明,相比于静态载荷,振动载荷下腰椎各运动节段的椎体轴向位移、纤维环膨出变形、纤维环基质冯·米塞斯应力的幅值分别增加了0.550~1.020 mm、0.124~0.251 mm、0.043~0.099 MPa,最大增幅分别可达195.0%、175.7%、151.4%。从量化角度说明振动载荷下腰椎发生损伤的风险更高。

基于等效模型的砖石古塔有限元模型修正方法

针对砖石古塔实体有限元模型节点众多导致修正效率低下问题,提出了一种将实体模型和杆系模型相结合的有限元模型快速修正方法。基于古塔结构的测试输出信号,使用随机子空间法识别了塔的自振频率。使用整体连续式方法建立了ABAQUS有限元模型,基于实测结果,使用萤火虫算法修正了塔的弹性模量、密度。修正后的有限元模型的计算结果与实测结果对比,能够较好吻合,说明修正后的模型可靠,可以作为后续抗震性能分析的基础。

基于Kriging模型的多次尝试差分进化贝叶斯有限元模型修正

标准差分进化自适应Metropolis(differential evolution adaptive Metropolis,DREAM)算法需进行多条马氏链并行计算,存在收敛效率低和计算成本高的问题。为此,提出一种基于Kriging模型的多次尝试差分进化贝叶斯有限元模型修正(multiple-try differential evolution adaptive Metropolis with“ZS”,MT-DREAM(ZS))框架。该框架在DREAM的基础上引入历史向量差分采样、斯诺克更新以及多次尝试Metropolis抽样,并利用Kriging模型代替有限元模型进行随机抽样,实现利用极少数并行链便可快速探索多维修正参数后验分布。利用固结钢板梁模型试验,比较了DREAM和MT-DREAM(ZS)的修正效果。结果表明:MT-DREAM(ZS)可实现马尔科夫链的快速收敛,其收敛效率较DREAM提升了3.42倍,且修正结果精度和稳定性有提升;Kriging模型可大幅度降低计算成本。所提框架为解决多参数不确定模型修正中的收敛效率低和计算成本高等问题提供了一种新思路。

SMW工法桩施工过程中变形监测与三维有限元数值模型的建立

SMW工法桩是基坑工程中的一种组合支护形式,兼具挡土与止水的作用,具有造价低、施工便捷、对基坑周边影响较小等优势。依托广东江门某基坑工程,通过现场监测和建立三维有限元模型数值模拟的方法对SMW工法桩施工过程中的变形进行研究。结果表明:围护结构桩顶水平位移的模拟值与实测值两者之差在3 mm以内,桩顶竖向位移模拟值与实测值两者之差在1 mm以内;实测数据与数值模拟结果基本拟合,所建立的三维有限元数值模型与实际工程结构较为相符,在施工过程中将现场监测与数值模拟相结合,以确保工程施工的质量与安全。

小半径曲线梁桥的无缝线路有限元模型简化研究

为更简便地建立小半径曲线梁桥的无缝线路有限元模型,降低计算成本并保证计算精度的可靠性,本文比较分析不同简化程度的模型。首先,依据已有桥上无缝线路模型的形式,通过不同程度简化桥梁上部结构,由简到繁确立了单刚臂模型、多刚臂模型、准梁格模型、平面壳模型、空间壳模型、实体模型共6种模型,并通过扣件横向和纵向阻力试验取得了模型的关键参数;其次,以曲线半径为200 m的(40+50+50+40) m连续梁桥为实例,计算了桥上无缝线路在伸缩、挠曲、制动和断轨等其他组合工况下的结果;最后,以实体模型的计算结果为基准,将前5种模型的计算结果与实体模型的进行对比,通过欧几里得距离量化分析了各模型的计算精度。研究结果表明:综合考虑模型复杂程度和计算精度,多刚臂模型和准梁格模型相比于空间壳模型性价比更高,梁格法在桥梁工程中被大量用于异形桥梁计算,且支座分布以及边界条件更符合实际情况。因此,推荐在进行小半径曲线梁桥的无缝线路计算时采用准梁格模型。

考虑非饱和土基质吸力-回弹指数相关性的弹塑性本构模型及有限元实现

非饱和土压缩指数受基质吸力影响明显,回弹指数是土的临界状态本构模型中的重要变形参数。但在本构模型理论研究中,回弹指数随基质吸力的变化影响往往被忽略。为解决这一矛盾,以杭州地区重塑粉土为试样,使用GDS非饱和直剪系统的竖向加载功能,对试样进行50、100、200 kPa 3种定吸力条件下一维固结回弹试验,获取不同基质吸力非饱和回弹指数κ(s),并拟合得到κ(s)函数关系,对比已有试验研究,验证了拟合结果的合理性。进而将κ(s)表达式引入非饱和土扩展剑桥弹塑性本构模型,形成一种考虑回弹指数随基质吸力变化的非饱和土弹塑性本构模型。应用子增量步显示积分算法将该模型编辑成ABAQUS有限元UMAT子程序,最后基于ABAQUS有限元平台结合自编UMAT子程序进行固结回弹数值试验,模拟实际试验过程,对比两者试验结果,验证了该UMAT子程序的正确性。实现了一种考虑回弹指数随基质吸力变化的非饱和土弹塑性本构模型的数值化,为其进一步应用建立基础。

基于web技术的有限元模型和成果可视化方法研究

在水利水电工程设计及运行阶段,经常使用有限元分析方法进行结构受力变形分析。以往多数情况下都是高校或科研单位将有限元分析结果以固定图表的成果形式以研究报告的方式呈现给设计或运管单位,倘若边界条件或材料参数发生变化,设计或运管单位无法实时了解新的计算成果。随着Web技术的发展,使得将有限元模型和分析成果以可视化、交互式的方式向设计及运管人员进行实时呈现成为可能。借用基于WebGL技术封闭的Three.JS框架,实现了拱坝三维有限元网格模型及分析成果在用户浏览器上的可视化呈现,能够让用户通过交互式方式对有限元模型及分析成果进行动态浏览和查看,方便用户全面了解计算成果。该方法为数字孪生水利工程建设提供了计算分析成果在线查询技术,具有广泛的应用价值。

振荡器驱动方板的有限元模型和克拉尼图形

振荡器驱动的方板在稳态振动时所形成的克拉尼图形(驻波节线图形)在噪声源识别和颗粒移动操控等领域得到广泛应用。现有的对方板克拉尼图形的研究多采用实验和近似的理论分析方法。基于参数分析建立振荡器驱动方板的简化有限元模型和适当的边界条件,进而通过固有频率和振型分析,根据振型有效质量的大小预测和再现多组实验中出现的共振频率和克拉尼图形。对薄板在任意驱动频率下的稳态振动,通过振型叠加法快速准确计算出其振幅节线图形,与实验中相同频率下的克拉尼图形几乎相同。振荡器驱动的方板在共振频率下的克拉尼图形可解释为固有频率对应的振型,在非共振频率下的克拉尼图形可以解释为多个振型的叠加。通过建立具有适当边界条件的有限元模型,对振荡器驱动方板的克拉尼图形给出具有明确物理意义解释。

大跨径石拱桥动力特性分析与有限元模型修正

【目的】研究云南省开远市长虹桥动力性能及得到较为准确的有限元分析模型。【方法】通过环境激励法对长虹桥进行动力特性测试,并分析该桥实测模态参数;根据实测模态参数结果,对有限元模型中的弹性模量、泊松比等参数进行修正;基于理论与实测的模态分析结果,得出长虹桥较为准确的有限元分析模型。【结果】结果表明:石拱桥的跨中、L/4、3L/4、L/8和7L/8处的振动变形较大,在运营监控和检测时,应该在这5个位置布置测点,以便进行实时监测;在环境激励下,该桥没有产生侧向弯曲振动和竖向弯曲振动强度相当的扭转振动,说明结构具有良好的抗扭刚度;各阶阻尼比均在合理范围内。利用模态参数修正后的频率相关性从55.2%降至最低0.6%,数值计算结果与试验结果基本一致,参数依然具有物理意义,修正后的有限元模型能够较为准确地反映结构低阶动力特性。相关性最大为-2.4%,最小为0.6%,满足相关性在±5%以内,可作为桥梁后续检测工作的理论模型。【结论】长虹桥动力性能良好,修正后的有限元模型贴合实际桥梁。