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.     

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.     

“点对多点微波通信机助工程设计系统”的若干技术问题

本文介绍由天津大学电子工程系和天大无线电厂联合开发的“点对多点微波通信机助工程设计系统”。该系统技术方案先进,具有投资省、功能多、设计快、适应范围广、操作方便等一系列特点,是进行点对多点通信工程设计的现代化理想工具。     

A STEP-BASED CAD/CAPP INTEGRATION

ＡＳＴＥＰ－ＢＡＳＥＤＣＡＤＩＣＡＰＰＩＮＴＥＧＲＡＴＩＯＮＺｈｅｎｇＬｉａｎｙｕ；ＤｕＰｅｉＡＳＴＥＰ－ＢＡＳＥＤＣＡＤＩＣＡＰＰＩＮＴＥＧＲＡＴＩＯＮ￥ＺｈｅｎｇＬｉａｎｙｕ；ＤｕＰｅｉＡｂｓｔｒａｃｔＴｈｅｉｎｆｏｒｍａｔｉｏｎｉｎｔｅｇｒａｔ...     

DGPSL：A DISTRIBUTED GRAPHICS LIBRARY

ＤＧＰＳＬ：ＡＤＩＳＴＲＩＢＵＴＥＤＧＲＡＰＨＩＣＳＬＩＢＲＡＲＹＳｈｉＪｉａｏｙｉｎｇ；ＰａｎＺｈｉｇｅｎｇ；ＺｈｅｎｇＷｅｎｔｉｎｇＤＧＰＳＬ：ＡＤＩＳＴＲＩＢＵＴＥＤＧＲＡＰＨＩＣＳＬＩＢＲＡＲＹ￥ＳｈｉＪｉａｏｙｉｎｇ；ＰａｎＺｈｉｇｅｎｇ；...     

一个面向CAD／CAM的演绎数据库管理系统

演绎数据库管理系统ＤＥＤＢＭＳ是工程数据库管理系统ＥＤＢＭＳ／２中的一个子系统。本文着重介绍其产生式语言用户界面、工作流程及功能特点。ＤＥＤＢＭＳ系统的开发，使ＥＤＢＭＳ／２不仅具有工程数据据管理功能，而且具有数据演绎和知识处理能力，从而成为ＣＡＤ／ＣＡＭ系统集成化和智能化的有力支撑工具。     

新型实用布线算法──L─M算法

本文提出新型布线算法，集李氏迷宫法与线搜索法的长处为一体，以饱和带法进行动态排序，以线搜索法确定借孔位置，然后用李氏法进行单层布线，获得最佳路径，从而达到线型好，布通率高的效果。