合成己二腈反应技术研究——(Ⅴ)己二腈工业反应过程模拟与反应器改造

对己二腈工业反应器提出了两釜串联带回流的模型,通过模拟计算得出模型的级间返混系数 f=6的结论。该模型能较好地预测工业反应器中物料组分浓度变化和气、液两相的流动特性;指出了现工业反应器的鼓泡中和段体积偏小是造成己二酸浓度偏高的关键;提出了可以通过增加串连一个鼓泡预反应段的改造方案,能有效地降低己二酸的浓度,从7%降至4%左右,从而能较好地减缓腐蚀和结焦。     

Cd-ZSM-5沸石催化剂的制备、表征和芳构化催化性能

采用离子交换、浸渍和混合三种方法制备镉改性ZSM-5沸石催化剂,考察了改性方法和镉含量对催化剂的表面酸性和Cd状态以及芳构化性能的影响。结果表明,加入镉降低了B酸性,Cd~(2+)与沸石结合形成了L_(1612)酸中心,其生成量取决于改性方法和Cd含量,并与芳构化活性提高有直接关系。     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

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

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

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.