基于CAE的模态综合法误差分析

为研究用模态综合法进行发动机舱前端模型NVH分析时的误差,用整体计算法和模态综合法分别进行截止频率为100,200,300,1 000,2 000和3 000 Hz的模态计算,并基于模态计算结果进行原点传递函数计算.结果表明:考虑静态补偿的模态综合法计算误差小于不考虑静态补偿的计算误差;子系统模态计算截止频率大于2倍原点传递函数频率时,模态综合法计算误差小于10%;当传递函数频率是截止频率的1/3时,误差可以降低到5%。     

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of knowledge they contain (i.e., the level of support they provide) and in their ability to learn (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out. First-order Horn logics (e.g., Prolog) are not, however, well suited to higher-order applications. Instead, we employ Prolog, a higher-order logic programming language, as our basic framework for realizing higher-order EBG. In order to capture the distinction between domain theory and training instance upon which EBG relies, we extend Prolog with the necessity operator of modal logic. We develop a meta-interpreter realizing EBG for the extended language, Prolog, and provide examples of higher-order EBG.     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

焊接构造对T型接头超低周疲劳性能的影响

为了研究焊接细节对钢结构超低周疲劳性能的影响,以T型接头为对象,在通用有限元程序Abaqus平台上,开发基于Arlequin算法的结构多尺度计算程序. 利用多尺度算法,开展焊接接头的局部弹塑性有限元分析. 比较焊趾半径、厚钢板未熔透长度及焊趾表面凹凸对局部塑性应变履历的影响,利用Coffin-Manson模型对T型接头的超低周疲劳特性进行定性讨论. 数值计算结果表明,焊趾位置是焊接接头的超低周疲劳易损位置,厚钢板的未熔透长度对焊接部位局部塑性应变的影响不大;焊趾半径对焊趾局部塑性应变有较大的影响,增大焊趾半径可以有效提升钢结构在循环荷载下的超低周疲劳性能;焊趾表面的平整性是影响焊趾局部塑性应变履历的重要因素,尖锐的凹坑会明显降低焊接接头的超低周疲劳性能,磨平的焊趾表面可以减少局部塑性应变,提高接头的超低周疲劳强度.     

高强度结构钢的韧性启裂和稳态扩展

研究了具有一定韧度的高强度结构钢裂纹早期扩展阻力与材料的微观组织结构、应力状态、变形历史和应变特性之间的关系。结果表明:裂纹扩展阻力(指J_R阻力曲线中的J_i和dJ/da)主要决定于裂纹尖端的塑性约束程度和应力应变场中消耗的弹性能和塑性功。这与三轴应力状态函数σ_mσ~(1/2)有关。材料的流变曲线描述了形变过程中的变形历史和应变特性,有明显的阶段性,其中第Ⅱ阶段的变形历史和应变特性制约着裂纹的启裂过程,第Ⅲ阶段的变形历史和应变特性制约着裂纹的扩展过程。应变硬化率dσ/dε可以敏感地反映出材料内部的应力分布和微观断裂机制。     

管无芯弯曲中塑性变形规律的研究

通过大量管材弯曲试验,分析了沿弯曲线的切向和管壁厚方向的应力应变状态,给出弯管内、外侧管壁厚变化量和切向应变的近似计算公式。在后续试验的基础上,逐步将修正公式适用于实际生产。同时,为管材弯曲成形机理研究作了相应的基础准备工作。     

On certain aspects of strain rate sensitivity of sheet metals

The formability of a material depends upon the strain hardening and strain rate hardening of the material. In this study, constitutive parameters using the power law constitutive equation are determined for six different strength steels and two aluminum alloys over different strain ranges, including approximations of the postuniform elongation range. Constitutive parameters are found to be different at different strain ranges. The strain hardening of steels increases with strain at low strain levels (less than 5%) and decreases at high strain levels (greater than 10%). Strain rate hardening decreases with strain for all steels and aluminum alloys. Uniform elongation depends only on strain hardening, and postuniform elongation depends only on strain rate hardening. However, the total elongation depends on both strain hardening and strain rate hardening.     

Ti-22Nb-6Zr(at%)合金的超弹性和形状记忆效应

用弯曲法和拉伸法测定Ti-22Nb-6Zr（at％）合金的超弹性和形状记忆效应，研究固溶处理温度对Ti-22Nb-6Zr合金组织结构及性能的影响。结果表明：固溶处理后Ti-22Nb-6Zr合金的室温组织为单一的β相，晶粒尺寸随固溶处理温度升高而增大；合金的静态弹性模量小于30GPa；Ti-22Nb-6Zr合金具有良好的超弹性和一定的形状记忆效应。室温下变形，合金的超弹性和形状记忆效应随固溶处理温度升高而提高。900℃固溶处理后的合金在室温下拉伸变形，应变为5％时，总的最大回复应变达4．12％，其中超弹性回复应变为3．91％，记忆回复应变为0.21％。     

铸钢件准固态区域应力,应变数值模拟及热裂机制

对ＺＧ４５实验热裂试棒的数种工况进行了应力－应变的数值模拟，对热裂形成机制进行了讨论。研究认为：热裂起源于Ｂｉｎｇｈａｍ体，是塑性变形超过Ｂｉｎｇｈａｍ体塑性储备值所致。     

Analytical and experimental analysis of deep drawing process for bimetal elements

The paper presents the concepts of solving of deep drawing process for bimetal elements of sheet materials. The inertia forces, plastic hardening behaviour of the deformed material and dynamic stress are utilized in the problems of plasticity. The experimental results and general conclusion are presented at the end of the paper.