FLOW OF NEWTONIAN FLUIDS THROUGH SINUSOID ALLY CONSTRICTED TUBES. NUMERICAL AND EXPERIMENTAL RESULTS

Numerical and experimental predictions of pressure drops in the flow of Newtonian fluids through sinusoidally constricted tubes (SCT) are carried out. The numerical evaluations analyzed in this work are obtained from the following methods: Geometric Iteration (GJM), Geometric Iteration with First and Second Upwinds (GIM1, GIM2), Successive Over Relaxation by Line (SORBLM), Global Galerkin Spectral Method (GGSM), Collocation (CM) and Dufort-Frankel (DFM). The GIM1, GIM2 and SORBLM are applied to SCT and explained in this work. The other methods have been previously reported in the literature with the same purpose. Experiments are accomplished for constrictions of approximately 40,60 and 80% of the average tube diameter and results compare well with numerical predictions of the steady flow. It is concluded that special attention should be given to evaluations of the friction factor ƒ for Reynolds numbers Re between the onsets of flow separation and turbulence due to flow instability. Finally, the SCT as a model for porous media (PM) is discussed.     

Data fitting with a spline using a real-coded genetic algorithm

To obtain a good approximation for data fitting with a spline, frequently we have to deal with knots as variables. The problem to be solved then becomes a continuous nonlinear and multivariate optimization problem with many local optima. Therefore, it is difficult to obtain the global optimum. In this paper, we propose a method for solving this problem by using a real-coded genetic algorithm. Our method can treat not only data with a smooth underlying function, but also data with an underlying function having discontinuous points and/or cusps. We search for the best model among candidate models by using the Bayes Information Criterion (BIC). With this, we can appropriately determine the number and locations of knots automatically and simultaneously. Five examples of data fitting are given to show the performance of our method.     

Numerical Modeling of Silicon Photodiodes for High-Accuracy Applications Part I. Simulation Programs

The suitability of the semiconductor-device modeling program PC-1D for high-accuracy simulation of silicon photodiodes is discussed. A set of user interface programs optimized to support high-accuracy batch-mode operation of PC-1D for modeling the internal quantum efficiency of photodiodes is also described. The optimization includes correction for the dark current under reverse- and forward-bias conditions before calculating the quantum efficiency, and easy access to the highest numerical accuracy available from PC-1D, neither of which is conveniently available with PC-1D’s standard user interface.     

基于i860的存储器子系统设计

微处理机系统中的存储器子系统设计对整个系统性能的高低有重要的影响，尤其当微处理器的主频越来越高时。本文结合实际例子，给出了一个基于ｉ８６０处理器（４０ＭＨｚ）的主存设计方案，讨论了实际中需仔细考虑的因素。该设计可为其它高性能ＲＩＳＣ系统设计提供参考。     

45号钢二次枝晶臂间距与冷却速度的关系

本文利用可控平均冷却速度的单向凝固实验炉测定了４５号钢在不同平均冷却速度下的冷却曲线，由此得到其在凝固期间的平均冷却速度Ｒ，相应地测量了不同平均冷却速度下试样的二次枝晶臂间距Ｓ２，通过回归，得到了如下关系式：Ｓ２＝７２７Ｒ－０．４１，并将引式成功地应用于实际生产中。     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

几何造型的自由畸变方法

几何造型是计算机图形学的重要研究内容，ＣＡＤ／ＣＡＭ的核心技术，现行的许多造型系统仅限于造型二次曲面及旋转曲面，没有自由曲面造型能力，本文研究的自由畸变为法，很容易扩展这些系统的自由曲面造型功能，该方法已成功地用于扩展ＭＯＶＩＥ．ＢＹＵ系统的自由曲面造型功能。     

Test Generation for Crosstalk-Induced Faults: Framework and Computational Results

Due to technology scaling and increasing clock frequency, problems due to noise effects lead to an increase in design/debugging efforts and a decrease in circuit performance. This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital combinational circuits. These noise effects can propagate through a circuit and create a logic error in a latch or at a primary output. We have developed a mixed-signal test generator, called XGEN, that incorporates classical static values as well as dynamic signals such as transitions and pulses, and timing information such as signal arrival times, rise/fall times, and gate delay. In this paper we first discuss the general framework of the test generation algorithm followed by computational results. Comparison of results with SPICE simulations confirms the accuracy of this approach.     

FEATURE SOLID MODELING TOOL SYSTEM:FSMTS

In conformity with the principle of Design for Manufacture,feature-based design strate-(?)es have been developed.As the“feature”is relevant to the“macro process plan”and“macro NCprograms”,obviously,“feature”is beyond the power of conventional solid modellers.Neverthe-less,substantial breakthrough has not been made in the solid modeling field,except“feature at-taching”or“feature recognizing”methods have been taken on.In this paper,the theory,concepts,system architecture,and algorithm principles of solid modeling tool system have beenrepresented.The practice of Feature Solid Modeling Tool System (FSMTS) developed atHuazhong University has proved that the tool may be a new foundation of Feature-Based Design.