Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

大型风力机叶片三维建模及模态分析

对大型风力机叶片开展了三维建模和模态分析。先确定叶片几何参数,再将其翼型平面坐标转换为空间坐标,并通过Proe生成叶片三维几何模型。采用模态提取方法 Block Lanczos法对叶片进行模态分析,得出了叶片的前10阶模态,结果显示叶片的主要振动形式为挥舞和摆振,有较强的抗扭转能力,设计中应加强叶片的弯曲刚度。这为大型风力机叶片的设计和优化提供参考。     

基于HPSO优化LS-SVM的混凝土梁损伤诊断模型

针对传统结构损伤智能诊断方法所存在的缺陷,提出一种基于混合粒子群算法(HPSO)优化最小二乘支持向量机(LS-SVM)的结构损伤识别模型,并以混凝土梁为例,以模态参数及其相关量作为输入量,以损伤位置和程度作为输出量,建立起适应的映射模型。此外,为提高LS-SVM的泛化能力,应用HPSO对其核函数参数进行了优化。结果表明:应用HPSO优化LS-SVM所构建的模型具有识别精度高的特点。     

基于模态应变能变化率结构损伤定位法的改进

根据结构损伤前后单元模态应变能的变化,改进了基于单元模态应变能变化率的结构损伤定位法。为了验证该法的有效性,利用有限元软件ANSYS10.0建立一个三层空间刚架模型,设置了单损伤和多损伤两种损伤工况。经过数值验算发现,该方法能够定位不同的损伤工况,且方法简便,具有较高的精度。     

基于轴向振型差变化率的空间刚架结构损伤研究

通过结构动态特性参数对损伤位置和损伤程度的敏感性分析,提出以轴向振型差变化率为标示量的空间刚架损伤识别方法。应用ANSYS建立了空间刚架结构无损伤和有损伤的有限元模型,选取轴向振型差变化率作为损伤标示量进行结构损伤识别。结果表明：一阶轴向振型差变化率不但能很好地对单一或多个损伤的损伤位置进行识别,而且可以初步识别损伤程度。将此方法应用到实验刚架模型中,实现了对刚架损伤位置的识别。轴向振型差变化率具有敏感性高、回避空间振动方向性、减少工作量等优点,是一种较理想的空间刚架损伤标示量。     

大跨径钢箱梁在温度影响下的振型分析

近年来,大跨径钢箱梁桥得到了飞速的发展,同时,在施工中发现温度对它的影响不容忽视．钢箱梁桥在太阳照晒下,箱梁顶部与底部会产生较大的温差,由此而产生的温度应力,会给该桥梁带来初始缺陷,并影响钢箱梁桥的振型变化．自振频率是桥梁结构动力特性的模态参数,也是评价桥梁动力性能的重要依据．以大跨度连续刚箱桥为例,进行建模分析,得出在温度荷载影响下的振型变化情况,对桥梁的设计与施工具有一定的参考价值．     

长距离大运量带式输送机机头架的模态仿真

为真实有效地反映长距离大运量带式输送机机头架的整体性能,更方便地设计输送机机头架,对机头架进行了模态仿真.运用模态分析理论和ANSYS软件对机头架建立了有限元模型,并仿真分析研究了机头架前6阶的固有频率和振型图.结果表明,在不同固有频率下,机头架结构出现立柱振动变形、横梁振动变形和斜撑处振动变形,为保证机头架系统的安全性,应避免受到接近35⁴5 Hz和接近66 Hz载荷的作用.研究结果为整个带式输送机机头架系统的动态特性分析提供了重要参考,同时也为结构的设计和优化提供了理论依据.     

自动化立体仓库高层货架瞬态动力学分析

建立了自动化立体仓库高层货架的有限元模型．通过对该模型分析计算,得到了前十阶固有频率和相应的振型,为结构设计提供了依据,可以避免在动力载荷作用下发生共振,提高高层货架系统的稳定性和可靠性．     

工程车辆驾驶室声学特性预测研究

建立某型工程车辆驾驶室的结构有限元模型、空腔声学有限元模型。对驾驶室结构和室内空腔声场进行模态分析,得到结构振动特性和声学特性。计算分析驾驶室声一结构耦合模型在特定频率激励下的噪声分布情况,同时考虑吸声材料对驾驶员耳旁声压级值的影响,总结出在新车型开发阶段进行车内噪声预测和控制研究的有效方法。     

GA735-190型剑杆织机主轴系统的有限元建模及其动力学分析

建立了GA735-190型剑杆织机主轴系统的力学模型;由Combi214单元模拟轴承支撑,在ANSYS平台上对该主轴系统进行有限元建模;考虑陀螺效应,在多载荷步作用下对其进行模态分析,计算出了前5阶复模态,绘制了该主轴系统的campbell图及轴心轨迹图,并计算了300～2000 r/min范围内的临界转速,为该型织机主轴系统的动力学分析及速度控制提供了参考.