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.     

Unicast-based multicast communication in wormhole-routed networks

Multicast communication, in which the same message is delivered from a source node to an arbitrary number of destination nodes, is being increasingly demanded in parallel computing. System supported multicast services can potentially offer improved performance, increased functionality, and simplified programming, and may in turn be used to support various higher-level operations for data movement and global process control. This paper presents efficient algorithms to implement multicast communication in wormhole-routed direct networks, in the absence of hardware multicast support, by exploiting the properties of the switching technology. Minimum-time multicast algorithms are presented for n-dimensional meshes and hypercubes that use deterministic, dimension-ordered routing of unicast messages. Both algorithms can deliver a multicast message to m-1 destinations in [log ₂ m] message passing steps, while avoiding contention among the constituent unicast messages. Performance results of implementations on a 64-node nCUBE-2 hypercube and a 168-node Symult 2010 2-D mesh are given     

Well-posedness of dual-phase-lagging heat conduction equation: higher dimensions

The dual-phase-lagging heat conduction equation is shown to be of one unique solution for a finite region of dimension n (n?2) under Dirichlet, Neumann or Robin boundary conditions. The solution is also found to be stable with respect to initial conditions. The work is of fundamental importance in applying the dual-phase-lagging model for the microscale heat conduction of high-rate heat flux.     

南化大化肥硝铵库屋面施工防渗漏措施

南化大化肥硝铵库工程 ,于 2 0 0 0年 2月 15日开工 ,2 0 0 0年 10月 10日竣工 ,混凝土杯形基础 ,主体结构为单层、单跨、装配式的排架结构 ,30ｍ预应力折线形屋架 ,大型屋面板 ,氯化聚乙烯防水卷材 ,建筑面积为 162 0ｍ2 。氯化聚乙烯防水卷材是防水新型材料 ,由于防水性能好 ,施工方便 ,近几年得到了广泛的应用 ,在实际操作中往往由于施工人员对操作规程不甚了解 ,或虽有所了解 ,但没有认真对待 ,造成这样那样的质量问题 ,硝铵库作为一个储物库房 ,对防渗漏的要求高 ,那么施工中怎样避免出现渗漏现象 ,确保工程质量呢 ?1　做好施工准备检…     

WDM传输系统中泵浦配置对光纤拉曼放大器增益特性的影响

通过理论分析和模拟运算,研究了光纤拉曼放大器泵浦优化的一般规律。