Research on Dynamic Micro-Deformation under Laser Point Source

The dynamic micro-deformation of the specimen under laser point source is measured using a laser beam reflex amplifier system and numerically simulated by Msc.Marc software. Compared with experimental result and calculated result, the final deformation direction of the specimen depends on the result of the thermal strain and the phase transformation strain cooperation, away from the laser beam or towards the laser beam, the final deformation angle depends on temperature gradient in the thickness direction and the geometry constraint of the specimen. The conclusion lays the foundation for further research on the mechanism of laser bending. At the same time, it is proposed that the model of calculation based on classical Fourier heat transfer theory cannot be enough to simulate the dynamic micro-deformation of the specimen under laser point source, the model of calculation should be modified in the future.

Research on the Temperature Field in Laser Hardening

Temperature field in the laser hardening process was numerically simulated by MSC.Marc software. The influence of energy density on laser hardening effect is analyzed. Simulation result is verified through the thermocouple temperature transducer measuring the specimen surface temperature under the laser irradiation. Experimental curves of temperature versus time are in agreement with simulation results. The simulation results can be regarded as a basis for choosing laser technological parameters.

固体火箭发动机柔性接头弹性件力学性能研究

针对固体火箭发动机柔性接头中的橡胶材料，研究了在进行这种橡胶结构有限元计算中橡胶材料的力学行为的表征。进行了单轴拉伸与简单剪切材料力学性能试验，根据不同材料模型对试验曲线进行了拟合，并用MSC／Marc软件模拟了超弹性材料的单轴拉伸与简单剪切变形过程。结果表明：采用单轴拉伸试验数据预测材料剪切性能会造成明显误差，而简单剪切试验得到的模型可以比较准确描述材料的拉伸和剪切变形，针对柔性接头这种以剪切变形为主的结构，应选取剪切试验数据；当应变大于150％时，不同材料模型与试验数据的选用范围对计算结果具有明显影响。

Residual Stress And Deformation Analysis Of Anodic Bonded Multi-Layer Of Glass And Aluminum

The bonding of glass wafer to aluminum foils in multi-layer assemblies was made by the common anodic bonding process. The bonding was performed at temperatures in the range 350-450 degrees C and with an applied voltage in the range 400-700 V under a pressure of 0.05 MPa. Residual stress and deformation in samples of two-layer (aluminum/glass) and three-layer (glass/aluminum/glass) were analyzed by nonlinear finite element simulation software MARC. The stress and strain varying with cooling time were obtained. The analyzed results show that deformation of the three-layer sample is significantly smaller than that of the two-layer sample, because of the symmetric structure of the three-layer sample. This has an important advantage in MEMS fabrication. The maximum equivalent stresses locate in the transition layer in both samples, which will become weakness in bonded sample.

薄板激光弯曲温度场的数值模拟与校验

采用MSC.Marc非线性有限元软件，对薄板激光变曲过程中的温度场进行了数值模拟，得到了引起薄板激光弯曲形的温度场的变化规律。通过温度传感器测量与激光扫描线相对应的薄板下表面温度变化的规律来验证数值模拟的结果。模拟值与实测值基本吻合，表明数值模拟结果可作为激光加工工艺参数选择的依据。

激光点热源作用下动态微变形的数值模拟与校验

采用MSC．Marc非线性有限元软件，对试件在激光点热源作用下动态微变形过程进行了数值模拟。通过激光反射放大系统测量了试件在激光点热源作用下的动态微变形过程。模拟值与实测值的结果表明：热应力和相变应力的共同作用使得试件产生微变形，最终试件的变形方向取决于热应变和相变共同作用的结果，朝向激光束或背向激光束。比较实验值和模拟值，发现变形的最大值相近，变形过程却略有不同。考虑到激光点热源作用下有限厚度的试件内，温度场分布出现的反常效应，即内部的温度大于边界温度，提出采用波动理论修正经典的热传导计算模型，可望有效地提高模拟过程的计算精度。结论为进一步研究薄板激光弯曲的变形机理及变形过程莫定了基础。

板料激光弯曲过程的数值模拟

采用MSC.Marc非线性有限元软件,对板料激光弯曲过程进行了数值模拟.试验与数值模拟的相互印证表明:数值模拟的模型正确,计算过程可靠,计算结果可为板料激光弯曲工艺参数的选择提供依据.通过模拟多道次直线照射的过程可知,变形效果受照射路径次序的影响很大,应选择从固定端向自由端方向交替的双向照射路径,以保证板料在宽度方向上变形的均匀.模拟结果可为带筋结构壁板激光弯曲成形提供实用方案.

Modelling the long-term sustainability of indigenous hunting in Manu National Park, Peru: landscape-scale management implications for Amazonia

P> Widespread hunting throughout Amazonia threatens the persistence of large primates and other vertebrates. Most studies have used models of limited validity and restricted spatial and temporal scales to assess the sustainability. We use human-demographi

构建度量区间时序逻辑的时间自动机

实时系统的安全性至关重要，使用模型检测工具对其进行形式化分析是提高 其安全性的重要手段。我们已有的实时系统模型检测工具CTAV 目前可以验证 LTL 描述的性质。本文工作的最终目的是让CTAV 能够验证实时时序逻辑，即， 使得CTAV 同样可以直接验证由实时时序逻辑描述的连续时间域上的实时性质。 度量区间时序逻辑MITL 是常用的一种关于实时系统的性质规范语言。已有 不少文献讨论过MITL 到时间Büchi 自动机的转换，但由于过程较复杂，大多数 仅限于理论研究，并没有与时间Büchi 自动机的空性判定过程结合成为一个可用 的关于MITL 的模型检测工具。 为了开发可用的关于MITL 性质的模型检测工具，本文采用与CTAV 中待验 证系统模型一致的pointwise 语义模型，选取了MITL 的一个可以较高效的进行模型检测的子类——MITL≤/<。在表达能力方面，这个子集能够描述实时系统模 型检测实际过程中常见的实时性质。 本文给出了将MITL≤/<公式转化为等价的基于迁移的扩展时间Büchi 自动机 的算法过程，并讨论了转化中逻辑公式重写规则的正确性和完备性问题。基于迁 移的扩展时间Büchi 自动机是时间Büchi 自动机的一种变体。二者最主要的区别在于它们采用了不同类型的Büchi 接受条件。文中给出的构造算法是将原先应用于非实时领域的Tableau 方法扩展调整，并应用于实时连续领域。Tableau 方法的关键之一是公式重写规则。而为了保证结果自动机仅存在有限多个状态，在重写规则中定义不动子公式是至关重要的。本文给出的在pointwise 语义模型下的公式重写规则，借用了此前在continuous 语义模型下已有的将时钟变量作为时序算子的约束直接引入公式中来保证重写规则中存在不动子公式的思想，并对其进行了修改，使原先性质自动机的时钟递减变为时钟递增，与系统自动机中的时钟行走方式一致。这省去了下一步将性质自动机和系统自动机相乘判空时，因为时钟行走方式不一致而引起的麻烦。另外，本文将MITL≤/<中的某些公式扩展为包含时钟约束的新的公式。这样，在定义重写公式时，不仅保证重写规则中存在不动子公式，也保证结果自动的前进性。 本文还根据构造算法实现了转化工具MITLCon。与Marc Geilen 和Dennis Dames 实现的逻辑转化工具相比，MITLCon 显著地减少了结果自动机节点和迁 移的数量，从而降低了结果自动机的大小，有利于进一步的模型检测过程。