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.     

Dimethylsilane polyamines: cytostatic compounds with potentials as anticancer drugs

Several dimethylsilane tetramines [homologs of spermine with an Si(CH3)2 group in the central carbon chain], a carbon analog of the dimethylsilane tetramines [containing C(CH3)2 instead of Si(CH3)2] and a dimethylsilane hexamine were studied with regard to their cytotoxic activity and their ability to interact with double-stranded DNA. All polyamine analogs exerted cytostatic effects to several cell lines at micromolar concentrations. Their ability to condense DNA was comparable to and their ability to displace ethidium bromide from binding to DNA was superior to that of spermine. Their cytostatic effect was not correlated with the depletion of cellular spermidine concentrations. It is suggested that the new polyamine analogs act mainly by displacing spermidine from binding sites which are essential for the promotion of cell growth.     

Angular memory and frequency interferometry for mean heightprofiling of a rough surface

The polarimetric angular memory effect is applied to obtain the average topographic height of a rough surface. This novel effect improves the height sensitivity while maintaining a good degree of correlation between the sensors. By using a reference flat surface, the interferometric phase is linearly related to the mean topographic height. The combination of angular memory and wideband frequency interferometry (AMFI) is realized and offers a means to design a robust interferometric system. Extension of the technique to the pulse scattering problem is studied through the two-frequency mutual coherence function, and its time-domain transform provides an equivalent way to obtain the mean topographic height by combining both spatial and temporal diversity. Millimeter-wave (MMW) experiments are conducted with rough surfaces of different statistics and scattering media of different types (gravel, sand, and rough surfaces) to prove the effectiveness of the technique     

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.     

E-kernel: an embedding kernel on the IBM victor V256 multiprocessorfor program mapping and network reconfiguration

We present the design of E-kernel, an embedding kernel on the Victor V256 message-passing partitionable multiprocessor, developed for the support of program mapping and network reconfiguration. E-kernel supports the embedding of a new network topology onto Victor's 2D mesh and also the embedding of a task graph onto the 2D mesh network or the reconfigured network. In the current implementation, the reconfigured network can be a line or an even-size ring, and the task graphs meshes or tori of a variety of dimensions and shapes or graphs with similar topologies. For application programs having these task graph topologies and that are designed according to the communication model of E-kernel, they can be run without any change on partitions connected by the 2D mesh, line, or ring. Further, E-kernel attempts the communication optimization of these programs on the different networks automatically, thus making both the network topology and the communication optimization attempt completely transparent to the application programs. Many of the embeddings used in E-kernel are optimal or asymptotically optimal (with respect to minimum dilation cost). The implementation of E-kernel translated some of the many theoretical results in graph embeddings into practical tools for program mapping and network reconfiguration in a parallel system. E-kernel is functional on Victor V256. Measurements of E-kernel's performance on V256 are also included     

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

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