基于ANSYS-Workbench的汽车水箱散热器护风罩模态分析

介绍了汽车水箱散热器的作用,并采用Pro/e对某型号水箱散热器护风罩造型。利用ANSYS-Workbench对其进行静力学及模态分析,求得了该型护风罩的六阶固有频率及相应的变形云图。     

某型飞机肘形导管断裂故障分析与改进验证

针对某型飞机液压四通管路结构中肘形导管根部多次出现裂纹故障进行研究。根据裂纹位置和断口形貌，确定是由于过大弯曲应力和与平管嘴磨损综合作用下的快速疲劳断裂失效。通过模态分析，发现肘形导管的弯曲模态正好与发动机开车频段重叠，出现了以横向弯曲为主的共振振型，产生了较大弯曲应力，导致管壁磨损，与故障现象吻合。对此提出了3种改进方案：调整浮动卡箍位置、降低初始安装应力以及减小肘形导管长度。经过仿真分析和综合对比，得到了改进方向。基于应变测量方法，对肘形导管进行了机上发动机开车测试，通过试验数据验证了改进方向的可行性与有效性。     

卧式加工中心试验模态分析

应用变时基采样的锤击法对卧式加工中心进行了试验模态分析，研究了该加工中心的动态特性，获得了感兴趣低频段的加工中心低阶固有频率。通过对整机各阶模态振型的分析，找到了加工中心结构的薄弱环节，为进行结构的优化设计指出了改进的方向。     

输气管道矫正设备的模态试验与振动分析

针对煤炭采空塌陷引起的输气管道沉降问题,研发了一套输气管道智能矫正设备。采用SolidWorks和ANSYS Workbench工程软件对该设备进行了模态仿真分析,分析结果表明:智能矫正设备前6阶模态频率随阶数的提高呈递增趋势,并在设备的1、2、3、6阶出现扭转现象,此时传动模块的大轮上发生条状形变。在模态仿真分析后进行了模态试验,并将试验数据与仿真数据对比,得知智能矫正设备两种测验方法所得数据相差很小,证明了所得数据具有较强的可靠性。最后为了了解智能矫正设备的振动特性而进行了振动试验,试验结果表明:设备的振动频率集中在0.53、50.06、80.97、99.92、171.38、194.65 Hz附近,与设备固有频率相差甚大,保证了该智能矫正设备在运行时不会出现共振现象。     

机床模态特性的有限元分析

采用了ANSYS软件对机床模态特性进行了有限元分析。在有限元模型中引入了用户自定义单元来模拟结合面的刚度。重点分析了机床固定立柱和底座结合面的刚度对机床模态的影响，为机床的下一步设计提供了参考。     

Eliminability of cut in hypersequent calculi for some modal logics of linear frames

Hypersequent calculi, introduced independently by Pottinger and Avron, provide a powerful generalization of ordinary sequent calculi. In the paper we present a proof of eliminability of cut in hypersequent calculi for three modal logics of linear frames: K4.3, KD4.3 and S4.3. Our cut-free calculus is based on Avron's HC formalization for Gödel–Dummett's logic. The presented proof of eliminability of cut is purely syntactical and based on Ciabattoni, Metcalfe, Montagna's proof of eliminability of cut for hypersequent calculi for some fuzzy logics with modalities.     

A hybrid data-fusion system using modal data and probabilistic neural network for damage detection

This paper addresses a novel hybrid data-fusion system for damage detection by integrating the data fusion technique, probabilistic neural network (PNN) models and measured modal data. The hybrid system proposed consists of three models, i.e. a feature-level fusion model, a decision-level fusion model and a single PNN classifier model without data fusion. Underlying this system is the idea that we can choose any of these models for damage detection under different circumstances, i.e. the feature-level model is preferable to other models when enormous data are made available through multi-sensors, whereas the confidence level for each of multi-sensors must be determined (as a prerequisite) before the adoption of the decision-level model, and lastly, the single model is applicable only when data collected is somehow limited as in the cases when few sensors have been installed or are known to be functioning properly. The hybrid system is suitable for damage detection and identification of a complex structure, especially when a huge volume of measured data, often with uncertainties, are involved, such as the data available from a large-scale structural health monitoring system. The numerical simulations conducted by applying the proposed system to detect both single- and multi-damage patterns of a 7-storey steel frame show that the hybrid data-fusion system cannot only reliably identify damage with different noise levels, but also have excellent anti-noise capability and robustness.     

A coupling algorithm for partitioned solvers applied to bubble and droplet dynamics

Bubbles and droplets both consist of a liquid in contact with a gas. In this paper, we consider the interface between the incompressible liquid and the gas as a zero thickness structure. The position of the interface is determined by the equilibrium between surface tension effects and the fluid pressure difference across the interface. So, the structure interacts with the fluids on either side. The behaviour of a limited number of bubbles and droplets can therefore be simulated as a Fluid-Structure Interaction (FSI) problem.Most existing techniques frequently used for studying bubble and droplet dynamics, such as Level Set or Volume Of Fluid, use monolithic schemes. The flow on both sides of the interface and the position of the interface are calculated in a single code. In this contribution, a partitioned approach is presented. The position of the interface is calculated with a structural solver. Given a displacement of the interface, a separate flow solver calculates the flow on the liquid side of the interface with the Arbitrary Lagrangian-Eulerian (ALE) technique. The structural solver uses a reduced order model of the flow solver to obtain implicit coupling between both solvers. This reduced order model is built up during the coupling iterations of a time step. Grid and time converged solutions of two axisymmetric problems are calculated: an oscillating water droplet in air and the growth and detachment of an air bubble from the outlet of a vertical needle, submerged in quiescent water.     

A linear translation from CTL* to the first-order modal μ -calculus

The modal μ-calculus is a very expressive temporal logic. In particular, logics such as LTL, CTL and CTL* can be translated into the modal μ-calculus, although existing translations of LTL and CTL* are at least exponential in size. We show that an existing simple first-order extension of the modal μ-calculus allows for a linear translation from LTL. Furthermore, we show that solving the translated formulae is as efficient as the best known methods to solve LTL formulae directly.     

基于uMSD的Web服务组合验证方法研究

手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法.如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题.鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义.以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了u...