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.     

子波变换理论及其在信号处理中的应用

子波分析的形成是傅里叶分析发展史上里程碑式的进展，子波分析优于傅里叶交换的地方在于它在时域和频域同时具有良好的局部化性质，从而可以把分析的重点聚焦到任意的细节，被人们誉为数学显微镜，成为近年来在工具和方法上的重大突破。本文将子波理论中的主要定理、结论、变换特性和一些重要概念加以综述，以促进子波理论的应用。本文的重点在于介绍多分辨率分析和子波分析及其实现、子波变换及其算法、子波和滤波器组等的重要内容，并介绍其在信号处理中的应用及研究动态。     

纳米级BaAl_2O_4微粉的制备和性质

分别用溶胶 -凝胶法、低温固相反应法 ,制得了纳米级BaAl2 O4微粉 ,用电镜观察了其形貌和粒径的大小 ,用X-射线衍射仪进行了物相分析 ,测定了其纯度与晶型 ,讨论了制备方法与粒度大小的相互影响     

基于过程能量综合优化的延迟焦化装置扩大生产能力改造策略

根据延迟焦化流程的特点，分析了延迟焦化装置扩大生产能力的瓶颈，探讨了基于能量综合优化的装置扩能解除瓶颈的策略方法，基于过程能量综合优化，运用流程模拟技术，通过配套的加热炉优化，分馏塔操作优化，换热网络柔性设计等手段，实现了装置扩大生产能力的目的，并运用所提出的策略对某延迟焦化装置进行了基于能量系统优化的扩能改造，在原流程与设备的基础上，装置处理量增大18．2％，装置物耗，能耗大幅度降低，改造设备投资少，说明能量综合优化对工艺装置扩能改造具有重要意义。     

The near-zone field characteristics of an E-polarization plane wavepenetrating through cylindrical multiple apertures (non) coated withlossy and lossless media

The direct integral equation is formulated for describing the current on the multiple perfectly conducting strips in cylindrical geometries for an E-polarization plane wave of normal incidence. By using the Galerkin's method, the surface currents on the conducting strips are expanded in the form of a series of Chebyshev polynomials of the first kind, while the unknown expanding coefficients are solved by a set of matrix equations of finite order with a fast convergence rate and a high accuracy. Furthermore, numerical results are presented to demonstrate the variation of the penetrated near-zone field in the presence of one, two, three, four and six cylindrical apertures, and the hybrid effects of both aperture number and aperture angular widths on the penetrated fields are investigated in detail     

An efficient mixed algorithm of L-MEI and DDM for the wavescattering by a concave cylinder

In this paper, a localized MEI method (L-MEI) is developed and combined with the domain decomposition method (DDM) for the simulation of scattering by a concave cylinder. In the L-MEI, the whole domain is decomposed into many subdomains. Different from the conventional MEI method, the MEI coefficients of the L-MEI method in each subdomain are only dependent on the localized metrons that are defined in the subdomain. The localization of metrons has the following advantages: (1) speeding up the calculation of MEI coefficients and saving memory, (2) making the MEI method available for concave structures, and (3) obtaining a band sparse matrix directly without any modification     

激光晶体Nd:YVO4的形貌及生长缺陷

本文报道了应用环境扫描电镜（ESEM）和同步辐射X射线白光形貌术对采用提拉法生长出的Nd:YVO4晶体进行的形貌及生长缺陷的分析,获得了该晶体的开裂表面的ESEM形貌像以及取自晶体肩部和中间部位的（001）面的同步辐射白光形貌像,观察到了位错、包裹物等缺陷,可为生长高质量的Nd:YVO4晶体提供重要的启示.