Local Exact Particle Tracing on Unstructured Grids

For analyzing and interpreting results of flow simulations, particle tracing is a well established visualization method. In addition, it is a preliminary step for more advanced techniques such as line integral convolution. For interactive exploration of large data sets, a very efficient and reliable particle tracing method is needed. For wind channel experiments or flight simulations, large unstructured computational grids have become common practice. Traditional approachs, based on numerical integration methods of ordinary differential equations however fail to deliver sufficiently accurate path calculation at the speed required for interactive use. In this paper we extend the local exact approach of Nielson and Jung in such a way that it can be used for interactive particle tracing in large data sets of steady flow simulation experiments. This will be achieved by sophisticated preprocessing using additional memory. For further visual enhancement of the streamline we construct an implicitly defined smooth Bézier curve that is used for ray tracing. This allows us to visualize additional scalar values of the simulation as attributes to the trajectory and enables the display of high‐quality smooth curves without creating any visualization geometry and providing a good impression of the spatial situation at the same time. ACM CSS: I.3.3 Computer Graphics—Line and curve generation; I .3.7 Computer Graphics—Raytracing; G.1.2 Numerical Analysis—Spline and piecewise polynomial approximation     

Seeking the truth about ad hoc join costs

In this paper, we re-examine the results of prior work on methods for computing ad hoc joins. We develop a detailed cost model for predicting join algorithm performance, and we use the model to develop cost formulas for the major ad hoc join methods found in the relational database literature. We show that various pieces of “common wisdom” about join algorithm performance fail to hold up when analyzed carefully, and we use our detailed cost model to derive op timal buffer allocation schemes for each of the join methods examined here. We show that optimizing their buffer allocations can lead to large performance improvements, e.g., as much as a 400% improvement in some cases. We also validate our cost model's predictions by measuring an actual implementation of each join algorithm considered. The results of this work should be directly useful to implementors of relational query optimizers and query processing systems. Edited by M. Adiba. Received May 1993 / Accepted April 1996     

DSS research and practice in perspective

The aim of this paper is to assess the state-of-the-art in the Decision Support Systems (DSS) field from both a research and a practice perspective. Three main dimensions of DSS research and practice are addressed: 1) supporting human decision-making processes, 2) integrating DSS into the organizational context, and 3) identifying new application domains. The related analysis and discussion provides a better understanding of past developments in the DSS field and insights into future evolution patterns.     

球罐活性缺陷的模糊评定方法

根据国内外有关标准和文献,利用模糊数学中的模糊描述和隶属度等概念,首次采用多级模糊综合评定理论,分层次地把活性缺陷的主要监测信息(即声发射源信息)和专家们的经验考虑在内,建立在用球形贮罐声发射源严重度多级模糊综合评定模型和方法,并编制计算机数据分析和处理程序,使评定结果趋于更合理和可靠.并给出在用球形贮罐声发射源严重度多级模糊综合评定算例,结果表明,该评定方法可以达到定量化的程度,与局部无损复验结果有良好的一致性.     

寻找非构造油气藏的新思路

目前,一种新的理论体系和研究方法已经形成,并正在发展和逐步完善。那就是层序地层学和油气成藏系统理论的诞生和发展;以及由计算机的快速发展带动起来的地震测井资料的采集、处理、显示和各种地质问题的计算机模拟技术,使得地质学和石油地质学都在朝着从定性到定量,从推测到更科学的预测方向发展。在今后的5～10年中,中国的石油地质家们不仅要注意方法和技术方面的进步,还应当重视在陆相层序地层学和陆相层序中油气成藏机制等基本理论方面的研究。     

Information systems effectiveness: research designs for causal inference

Abstract. This paper examines the capacity of the research designs of 37 empirical studies of information systems (IS) effectiveness to provide a basis for the development of theories about behaviour related to IS effectiveness. The power of each study to support causal inference was evaluated in terms of (a) its handling of the time dimension, (b) its ability to weigh differences and (c) its resistance to internal validity threats that pose alternative explanations for its reported findings. Of the reviewed studies, 29.7% could account for the time dimension, 32.4% employed a comparison group and 16.2% were not susceptible to any internal validity threats. Only 13.5% of the studies combined an accounting for the time dimension with the use of a comparison group. Of these, however, only 5.4% were also invulnerable to internal validity threats. The research designs of nearly 95% of these published studies were deficient in supporting causal inference. In those studies, suggestions that one variable was causally related to another variable could not be substantiated. Encouragement for the future capacity of IS effectiveness research to support causal inference was found in a trend towards the use of quasiexperimental designs. Recommendations are made regarding ways to increase the inferential capacity of research designs employed in the study of IS effectiveness.     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

符号运算在求解车辆传动系扭振中的应用

介绍符号运算方法在用拉普拉斯变换方法求解车辆传动系扭振过程中的作用．针对弹性联轴器的匹配计算，给出了具体求解实例．实践表明，与传统的纯数值计算方法相比，符号运算方法可以方便准确地处理车辆传动系统扭振分析中的非线性等复杂问题，具有推广应用价值．     

Verification of wind resource study of a Scottish region

In a survey of the practical wind energy resource present in the Tayside Region of Scotland it was estimated that over 1500 km² of land is suitable for wind energy development in the Region after consideration of a range of physical, technical and institutional factors. Wind speed data for this survey was obtained from the Energy Technology Support Unit (ETSU) UK Wind Speed Data Package. To verify the wind speeds obtained from the ETSU package a representative sample of sites in and around the identified areas of potential in Tayside were modelled for mean annual wind speed using the Wind Atlas Analysis and Application Program (WA^sP). The wind speeds for the sites obtained from the WA^sP analysis were compared with those obtained from the ETSU UK Wind Speed Data Package and conclusions drawn as to the reliability of the Tayside wind energy survey and the general applicability of the ETSU package for broad wind energy resource assessment.