A note on the Gauss-Jacobi quadrature formulae for singular integral equations of the second kind

A fast and efficient numerical method based on the Gauss-Jacobi quadrature is described that is suitable for solving Fredholm singular integral equations of the second kind that are frequently encountered in fracture and contact mechanics. Here we concentrate on the case when the unknown function is singular at both ends of the interval. Quadrature formulae involve fixed nodal points and provide exact results for polynomials of degree 2n − 1, where n is the number of nodes. Finally, an application of the method to a plane problem involving complete contact is presented.     

哈得4联合站技术改造

位于塔克拉玛干大沙漠腹地的哈得4油田,2004年成为全国最大的沙漠油田,2005年产量达到200×104t。在对联合站存在问题逐一分析的基础上,提出了技术改造的措施。现场采集的运行数据表明技术改造效果明显,增强了流程可靠性,提高了自动化水平,降低了能耗。     

在二(2-乙基己基)磷酸钠的微乳液中金属萃合物对水增溶的影响

测算了由二（2－乙基己基）磷酸钠，金属盐（CoSO4,NiSO4,ZnSO4,MgCl2或Cr(NO3)3)水溶液，正辛醇和正辛烷组成的微乳液中正辛醇从连续油相到界面的ΔGo→i^o和水的极限增容量φ'H2O。用金属萃取络合物反胶束的形成及其亲油性解释了金属离子对φ'H2O和ΔGo→i^o的影响。     

煤矿生产、安全调度LED电子大屏幕显示系统的设计

通过比较煤矿生产、安全调度显示方式的优缺点，提出和分析了适合于煤矿生产安全调度的ＬＥＤ电子大屏幕显示系统配置、功能及特点。     

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.     

In Situ ceramic particle-reinforced aluminum matrix composites fabricated by reaction pressing in the TiO2 (Ti)-Al-B (B2O3) systems

Particulate TiB₂ reinforced aluminum-based metal matrix composites (MMCs) were successfully fabricated by means of the reaction processing method. TiB₂ particulates were formed in situ through the reaction of Ti and B in Ti-Al-B, TiO₂ and B in TiO₂-Al-B, and TiO₂ and B₂O₃ in TiO₂-Al-B₂O₃ systems. The results showed that in situ TiB₂ particulates formed in the Ti-Al-B system had a size of 5 μm and they exhibited block and rodlike structures. Moreover, coarse Al₃Ti blocks several tens of micrometers in size were also formed simultaneously. On the other hand, equiaxed Al₂O₃ and TiB₂ particulates with a size of less than 2 μm were formed in situ in the TiO₂-Al-B and TiO₂-Al-B₂O₃ systems. The Al₃Ti phase was completely eliminated in the TiO₂-Al-B system with increasing B content. Tensile tests revealed that the Al₂O₃ · TiB₂/Al composite fabricated from the TiO₂-Al-B system exhibits excellent mechanical properties. The yield strength of the Al₂O₃ · TiB₂/Al composite appeared to increase with increasing TiB₂ content. The yield strength of the Al₂O₃ · TiB₂/Al composite could be further increased by introducing CuO into the TiO₂-Al-B system. Such an increment in mechanical strength arose from the strengthening effect caused by the Al₂Cu precipitates. The incorporation of CuO had no effect on the in situ reaction process of the TiO₂-Al-B system. Finally, the effect of SiC addition on the microstructure and mechanical properties of the composites fabricated from the TiO₂-Al-B and TiO₂-Al-B-CuO systems was also investigated.     

Control of peak sidelobe level in adaptive arrays

Adaptive beamforming techniques are now widely used to reject interference (jammer/clutter) signals in radar, communication, and sonar applications. In adaptive arrays using the sample matrix inversion (SMI) algorithm, inadequate estimation of the covariance matrix results in adaptive antenna patterns with high sidelobes and distorted mainbeams. In this paper, a method is proposed to precisely control the peak (rather than average) sidelobe level of adaptive array patterns. The proposed method is also generalized to adaptive array antennas with moderate bandwidth and large random amplitude and phase errors. Theoretical analysis and simulation results are provided to illustrate the performance of the method proposed     

测评软件生成系统的设计与实现

本文讨论了一个具有通用性的测试评估软件生成系统的设计思想和实现方法，给出了该生成器的系统组成、数据组织结构、查询搜索方式以及用户界面的设计。该系统具广泛的应用领域和实用意义。     

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.