氧化铝陶瓷缺口件循环疲劳及断裂机理

用实验方法研究了Ａｌ＿２Ｏ＿３陶瓷缺口试件在循环载荷作用下的疲劳寿命。结果表明，缺口导致的应力集中效应显著降低了循环疲劳寿命；若用缺口根部最大应力为应力水平，则不同缺口半径陶瓷试件具有相同疲劳断裂规律，说明陶瓷材料的疲劳集中系数和理论应力集中系数相同。本文还分析讨论了陶瓷材料的循环疲劳寿命表达式和循环疲劳断裂机理。     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

An algebraic theory of object-oriented systems

The paper presents an algebraic specification of net objects. By net objects we mean those that are defined in object-oriented paradigms and those defined with nested relations in complex database models. An algebraic specification is set up that involves structures of net objects, accesses of net objects, and some features of object-oriented programming, such as multiple inheritance and polymorphism. Objects and their relationships are then characterized formally in the modeling, which utilizes the hierarchical approach in the algebraic theory of abstract data types, and is further developed by adding mechanisms from existing object systems. Categories of net objects are presented with the properties of accesses among them     

聚氧乙烯油酸酯的合成与物性

论述了合成聚氧乙烯油酸酯的较佳反应条件,探讨了不同EO加成数的聚氧乙烯油酸脂的表面物性规律。     

COATES GRAPH APPROACH FOR GENERATING SYMBOLIC NETWORK FUNCTION

In this paper, symbolic code matrix ,constant matrix and count matrix are defined .The first twomatrices are used to describe the elemental expression of augmented matrix and the nede admittance equa-tion is thus obtained. The third matrix is used to obtain the incoming degree matrix, and according to thematrix all the 1- factors of the Coates graph are given. By using the data code, the determinant is expandedand the same items in the expansion are merged. Thus the symbolic network function in which no term can-cellation occurs is generated.     

新疆伊犁托海水电站拱坝坝体变形监测分析

根据托海拱坝5号坝段、7号坝段例垂线实测资料分析，说明了新疆寒冷地区坝体采取聚胺脂喷涂施工措施后对坝体变形的影响，以及右坝肩渗漏对右坝肩岩体的影响，分析结果为托海水电站通过国家电力公司大坝安全监察中心大坝安全首次定检提供了科学依据。     

薄板坯连铸工艺液芯压下的有限元分析

简要介绍世界几种主要薄板坯连铸工艺。着重叙述应用大型通用商业软件MSC.MARC。模拟液芯压下时铸坯的变形，确定最佳压下方案的有限元分析，液芯压下应该在结晶器出口处及二冷区扇形段开始部分进行，这样能减小铸坯的应变。     

液压系统广义可靠性设计

介绍了广义可靠性和有效度的基本概念，简要论述了对液压系统进行广义可靠性设计的重要性，并从可靠性设计和维修性设计两方面提出了提高液压系统有效度的具体措施。／