带隔板底水油藏油井临界产量计算公式

本给出了带隔板底水油藏油井的监界产量计算公式，它适用于所有带隔板底水油藏的油井。     

Formation and growth mechanism of TiC crystal in TiC_p/Ti composites

1　ＩＮＴＲＯＤＵＣＴＩＯＮＰａｒｔｉｃｌｅｓｒｅｉｎｆｏｒｃｅｄｔｉｔａｎｉｕｍａｌｌｏｙｍａｔｒｉｘｃｏｍｐｏｓｉｔｅｓ(ＴＭＣｐ)ｈａｖｅｗｉｄｅａｐｐｌｉｃａｔｉｏｎｆｉｅｌｄｓｆｏｒｔｈｅｉｒａｔｔｒａｃｔｉｖｅｈｉｇｈｓｐｅｃｉｆｉｃｓｔｒｅｎｇ     

超高分子量聚乙烯的辐照效应

通过密度测定和ＤＳＣ热分析，观测了超高分子量聚乙烯的辐射效应。实验结果表明：在吸收剂量０—１．１３ＭＧｙ范围内，密度随吸收剂量的增加而增大，熔化热和熔点也有所增加，特别是在低剂量范围内增加十分明显。以上结果都说明，超高分子量聚乙烯在辐照过程中，结晶在完善或有新的结晶形成     

Asymmetric dilation of multiwavelength cross-connect switches forlow-crosstalk WDM optical networks

We predict that, for wavelength division multiplexing optical-network applications, an asymmetrically dilated configuration of a 2×2 cross-connect is significantly better in terms of overall crosstalk when the levels of the bar-port crosstalk and the cross-port crosstalk are significantly different from each other, as is the case with optical-frequency filters which utilize grating-assisted coupling. As a verification, we present a simulation study with 2×2 polarization-diversified acousto-optic tunable filters. We present a recursive method to extend the principle of asymmetric dilation to larger-size cross-connect switches, and make a recommendation for an asymmetrically dilated 4×4 cross-connect configuration     

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.     

A model for evaluation and administration of security inobject-oriented databases

The integration of object-oriented programming concepts with databases is one of the most significant advances in the evolution of database systems. Many aspects of such a combination have been studied, but there are few models to provide security for this richly structured information. We develop an authorization model for object-oriented databases. This model consists of a set of policies, a structure for authorization rules, and algorithms to evaluate access requests against the authorization rules. User access policies are based on the concept of inherited authorization applied along the class structure hierarchy. We propose also a set of administrative policies that allow the control of user access and its decentralization. Finally, we study the effect of class structuring changes on authorization