软件规格说明语言GSPEC

本文总结了图形化软件规格说明语言GSPEC (Graphical SPECification language)的设计思想。在对软件规格说明语言进行需求分析的基础上,提出了新的软件功能分解模式以及代数与一阶谓词相结合的抽象数据类型定义方法。该语言具有形象易读、表达力强和正确可靠等特点,现已在IBM PC/AT和SUN-3工作站上实现。     

继承的一个数学模型

提出了继承的一个数学模型,引入图序类别型构用来表示面向对象语言中程序的代数结构,将继承的形式语义刻划为图序类别型构集上的延拓函数。通过该数学模型,程序之代数结构的性质能反映语言的语法约束,延拓函数的性质能揭示语言中继承的特点.     

基于电子万能试验机的新型压杆稳定实验装置

本文介绍了一种基于电子万能试验机开发的新型压杆稳定实验装置。该装置利用电子万能试验机自身传感设备,通过测量压杆两端受力与绘制端部轴向位移曲线来确定压杆失稳荷载。装置包括上、中、下三个约束部分与压杆试样部分,可实现两端固支、两端铰支、一端固支一端铰支和一端固支一端自由等4种不同端部约束型式,并且能够施加中部固支约束与压杆初始偏心。本文同时讨论了两种铰支型式,即刀刃铰支与轴承铰支对测试精度的影响。实验表明,轴承铰支测量精度比刀刃铰支高。该套装置的整体测量精度高,与理论值的相对误差最高为2%。     

Buckling analysis of woven fabric under uniaxial tension in arbitrary direction

ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｏｒｄｅｒｔｏｄｅｖｅｌｏｐｔｈｅａｐｐａｒｅｌＣＡＤｓｙｓｔｅｍｔｈｅｂｕｃｋｌｉｎｇｏｆｗｏｖｅｎｆａｂｒｉｃｈａｓｒｅｃｅｉｖｅｄｍｕｃｈａｔｔｅｎｔｉｏｎｉｎｒｅｃｅｎｔｙｅａｒｓ[1,2 ].Ｔｈｅｆａｂｒｉｃｓｈｅｅｔｈａｓａｌｗａｙｓｂｅｅｎｒｅｇａｒｄｅｄａｓｅｌａｓｔｉｃｔｈｉｎｐｌａｔｅｉｎｔｈｅｆａｂｒｉｃｍｅｃｈａｎｉｃｓ,ｈｏｗｅｖｅｒ,ｔｈｅｒｅａｒｅｓｏｍｅｐｅｃｕｌｉａｒｂｕｃｋｌｉｎｇｐｈｅｎｏｍｅｎａｗｅｃａｎｓｅｅｉｎｔｈｅｆａｂｒｉｃｂ…     

一种冲击动应力的实验系统与结果分析

为探究以材料力学理论为基础的冲击动应力问题实际与理论结果的差别程度,设计开发了冲击动应力实验装置,并测量了重锤在不同冲击高度下冲击悬臂梁的动荷系数. 同时利用ANSYS/LS-DYNA 软件对同一问题进行了数值模拟. 动荷系数模拟结果与实验值的相对差不超过3.1%,与理论值相对差在14%～23%之间. 实验和数值模拟起到相互印证的作用. 这一结论加强了对冲击动应力问题的模型、理论和误差范围的理解,在实际应用中有助于对误差范围的判断.     

Analysis of phase transformation from austenite to martensite in NiTi alloy strips under uniaxial tension

Phase transformation from austenite to martensite in NiTi alloy strips under the uniaxial tension has been observed in experiments and numerically simulated as a localized deformation.This work presents an analysis using the theory of phase transfor- mation.The jump of deformation gradient across the interface between two phases and the Maxwell relation are considered.Governing equations for the phase transformation are derived.The analysis is reduced to finding the minimum value of the loading at which the governing equations have a unique,real and physically acceptable solution.The equa- tions are solved numerically and it is verified that the unique solution exists definitely. The Maxwell stress,the stresses and strains inside both anstenite and martensite phases, and the transformation-front orientation angle are determined to be in reasonably good agreement with experimental observations.     

加载速率对6020铝合金材料力学性能影响的实验研究

通过拉伸实验研究了加载速率在1mm/min, 10mm/min, 100mm/min以及200mm/min范围内6020铝合金材料的力学性质,结果表明这种材料有近似于理想弹塑性的性质,应力-应变曲线明显地表现为线弹性和线塑性的特点,而且加载速率对于该铝合金材料的力学性质没有明显的影响.作为对比还测试了45#中碳钢在相同的加载速率条件下的力学特性,得出随着加载速率的增加,无论屈服强度还是抗拉强度均有一定的提高,塑性有了一定的降低.最后,根据实验结果确定了该铝合金材料的本构关系.     

汽车板弹簧减振与等强度梁教学实验

 汽车板弹簧减振是等强度梁优良动力特性在工程应 用中的典型例子. 以此为背景，设计了一个等强度梁动 载实验，并与相应的等直梁动载实验对比，介绍了实验 装置、原理、步骤和实验结果. 实验揭示了汽车板弹簧 减振的机理，综合了《材料力学》中“等强度梁”、 “动载荷”和《理论力学》中“质点振动”等内容.     

A MICRO-MECHANICAL MODEL OF KNITTED FABRIC AND ITS APPLICATION TO THE ANALYSIS OF BUCKLING UNDER TENSION IN WALE DIRECTION： MICRO-MECHANICAL MODEL

The typical micro-knitting structure of knitted fabric, which makes it very different from woven fabric, is described. The tensile tests of knitted fabric are reported. The deformations of the micro-knitting structures are carefully studied. The study indicates that when a knitted fabric sheet is subjected to a tension along w-direction an extra compressive stress field inside loop in c-direction is induced. The extra stress field is also determined through analysis. Finally, a micro-mechanical model of knitted fabric is proposed. This work paves the way for the simulations of buckling modes of a knitted fabric sheet as are observed in experiments. The project supported by the National Natural Science Foundation of China (10272079)     

null

本文分别从认识论和方法论两个角度提出了“类似”的两个形式定义:基于公共模型的?-类似和基于类似对应的?_c-类似,并讨论了两者之间的关系,以?_c-类似定义为基础得到了类似对应的分析方法和相应算法。