断裂韧性测试系统技术研究

随着生产技术的发展,越来越多的机器和设备要求选用高强度材料进行制造。然而,产生断裂失效成为这类构件的主要危险,依据材料的断裂判据进行设计,势在必行。金属材料的断裂韧性值是断裂设计思想的核心,断裂力学是一门实践性极强的学科,是进行科学研究的基础。     

软件规格说明语言GSPEC

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

NDHD软件自动产生系统的核心语言L_0

NDHD 软件自动产生系统是一个基于系统程序设计语言和自展技术的系统。核语心言 L_0的自编译程序 AC_0(用655机的机器语言编写的)是这个系统的基础。利用自展技术,可依次自动产生出以下各层语言 L_1,…,L_n 的自编译程序。目前,已由本系统成功地产生出第一代和第二代自编译程序。结果表明,不仅生产率提高了四倍,而且编译程序的功能亦有显著扩充。本文给出了核心语言 L_0的定义。     

继承的一个数学模型

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

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

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

近似计算中的捨入误差问题

在电子数字计算机上解题时,一个计算过程中往往包含大量的算术运算。因此,研究捨入误差积累的一般规律,从而提出估茸算捨入误差的简易方法是具有一定实际意义的。L.Lukaszewicz曾经研究过这类方法,并提出了两种估算总捨入误差的方法。本文作者认为:L.Lukaszewicz所提出的第一种方法,即直接估算法,在应用时有所不便,因而提出了另一种直接估算法;其次,在本文中推广了L.Lukaszewicz的第二种     

Buckling analysis of woven fabric under uniaxial tension in arbitrary direction

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

系统程序设计语言XCY的设计和实现

一、引言如所熟知,采用系统程序设计语言作为计算机软件的主要生产工具,不仅可以显著提高软件的生产率,而且可以提高其易读性,易维护性和可靠性。一九七八年夏全国计算机操作系统会议上专门讨论了这个问题,并决定起草“系统程序设计语言”试用文本。这就是系统程序设计语言XCY的由来。