Nodal sensitivities as error estimates in computational mechanics

Summary This paper proposes the use of special sensitivities, called nodal sensitivities, as error indicators and estimators for numerical analysis in mechanics. Nodal sensitivities are defined as rates of change of response quantities with respect to nodal positions. Direct analytical differentiation is used to obtain the sensitivities, and the infinitesimal perturbations of the nodes are forced to lie along the elements. The idea proposed here can be used in conjunction with general purpose computational methods such as the Finite Element Method (FEM), the Boundary Element Method (BEM) or the Finite Difference Method (FDM); however, the BEM is the method of choice in this paper. The performance of the error indicators is evaluated through two numerical examples in linear elasticity.     

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.     

SOPHO—S的结构分析与线路传输技术

ＳＯＰＨＯ－Ｓ系列数字程控交换机是由飞利蒲公司生产的。本文分析了该系列交换机的总体结构，并了它的线路传输技术。     

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.     

DGPSL：A DISTRIBUTED GRAPHICS LIBRARY

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

程序可视化系统ProVS的设计和实现

本文研究程序代码可视化技术，即从现存的程序生成某种可视化表示，增强程序的易读性、易理解性和易维护性。首先介绍ＰｒｏＶＳ的设计思想和实现技术，然后给出输出例子。     

给水流量控制系统仿真辅助设计

本文将给水流量系统规范化，给出静、动态数学模型，通过计算机仿真计算建立起设计参数Ｓ与系统特性间关系数据库，这些数据可用于控制系统辅助设计。本文还介绍了在Ｓ较小时自动补偿系统增益和时间常数的自适应控制方法并给出仿真结果。     

Optical bistability in reflective fiber gratings

Optical bistability in a nonlinearly reflective fiber grating through the mode coupling between the LP₀₁ and counter propagation LP₀₂ modes (i,e., the reflective LP₀₁&rlhar2;LP₀₂ mode converter) is investigated by using the coupled-mode theory. Both the transmissive and the reflective properties of this nonlinear device are analyzed, which show that the output-versus-input relation exhibits the optical bistability. The switching power and the bistable hysteresis performances are also discussed. In addition, the comparison between the nonlinearly reflective mode converter (LP₀₁&rlhar2;LP₀₂) and the nonlinear fiber Bragg grating reflector (i,e., the LP₀₁ and counter-propagation LP₀₁ modes) is also presented. It is shown that the former has much lower switching power than the latter