热分层流动计算中若干差分格式的比较

本文应用常规的守恒方程及湍流模型，对二维池内热分层流动建立了数学模型，并在Ｐａｔａｎｋａｒ的压力校正法基础上对该数学模型进行了数值计算，计算中的差分格式为乘方格式、一阶迎风、二阶迎风和ＱＵＩＣＫ。通过与实验的比较分析，建议计算应采用ＱＵＩＣＫ格式，并在进行风格独立性试验的基础上使用加密网络。     

The rank one mixed μ problem and ‘kharitonov-type’ analysis

The general mixed μ problem has been shown to be NP hard, so that the exact solution of the general problem is computationally intractable, except for small problems. In this paper we consider not the general problem, but a particular special case of this problem, the rank one mixed μ problem. We show that for this case the mixed μ problem is equivalent to its upper bound (which is convex), and it can in fact be computed easily (and exactly). This special case is shown to be equivalent to the so-called ‘affine parameter variation’ problem (for a polynomial with perturbed coefficients) which has been examined in detail in the literature, and for which several celebrated ‘Kharitonov-type’ results have been proven.     

基于泛布尔代数的结构振动控制机理

本文介绍了泛布尔代数的数学模型、公理体系和化简方法 ;针对高层建筑的特点 ,舍弃寻求被控制对象的精确数学模型 ,提出了“基于泛布尔代数的结构振动控制” ,分析了其的逻辑机理 ,建立了基于泛布尔代数的MR阻尼器的半主动控制算法。应用本文提出的控制方针对 12层的高层结构受控地震反应的模拟仿真 ,结果表明其控制简单、灵活、方便 ,能满足这种结构的控制要求。     

NUMERICAL SIMULATION OF STRATIFIED FLOW WITH BOTH VERTICAL TEMPERATURE GRADIENT AND VERTICAL SALINITY GRADIENT

Density stratified flow with both the vertical temperature gradient and the verti-cal salinity gradient is simulated numerically, in which turbulent terms are calculated by a sim-plified turbulence stress/flux algebraic model. The feature of stratification and turbulence is de-scribed correctly by the model. The computational results agree well with the experimental data.However, the k-e turbulence model is not so successful.     

Instability due to Viscosity Stratification Downstream of a Centerline Injector

A common injector geometry upstream of a static mixer is the centerline injector. A flow instability can arise due to viscosity differences between the injected core‐flow and the outer co‐flow. This instability can adversely affect the effectiveness of the mixing operation. An experimental investigation of miscible viscosity‐stratified flow in a circular geometry was performed using Laser Induced Fluorescence (LIF) and Particle Image Velocimetry (PIV). The experimental results for the stable region agree with the analytical results. The unstable region exhibits different modes depending on the viscosity ratio, volume flux ratio, and Reynolds number. The modes include wavy core‐flow with fissures and wavy core‐flow with core breakup. The time‐averaged experiment velocity profiles for the unstable core indicate a broadening of the jet at the centerline, which is consistent with the LIF visualization.     

Logical errors in database SQL retrieval queries

SQL is often used to express questions imposed by users. It is well known that this process is not error-free in that it may result in syntactically or semantically incorrect SQL queries. This article is meant to probe deeper into SQL queries that are incorrect, due to delusion errors. A classification of natural language questions will be introduced. The purpose of this classification is two-fold. Firstly, it gives insight into possible errors and enables us to distinguish between types of errors. Secondly, it is a means of determining the influence of measures (for instance, SQL training) that can be taken to reduce the number of aforementioned errors. For discussion, several of these measures will be presented and related to the classification.Abbreviations RA Relational algebra - SQL structured query language     

利用射线路径反演层状介质速度的方法

本文根据欧拉方程对于连续层状介质进行了方程推导，得出一个波传播的射线路径公式，利用中 公式导出了ＶＳＰ资料处理中的速度反演公式。     

形态学边缘检测的新算法及其应用

提出了一种基于数学形态学的边缘检测的所算法，该算法具有简便和灵活可编程控制等优点，比原来主算法更国完善，在实际应用中有着很好的前景，并给出了实验结果。     

再论变化电磁场中带电超微粒子的精确量子论

利用创新的SU(1 ,1 )Lie代数理论及SO(3)Lie代数理论 ,得到变化电磁场中带电超微粒子的精确量子论 ,由此进一步明确微观领域中的时空概念     

A stability classification method and its application to pipelined solution of linear recurrences

A new method of classification for numerical stability of parallel algorithms is proposed based on the theoretical foundation of forward error analysis. It partitions the algorithms according to their asymptotic stability—a measure introduced to relate the limiting behavior of the stability to the size of the problem. Using this method, the stability aspect of the pipelined solution technique for first-order and second-order linear recurrences—the core of a tridiagonal linear equation solver—is studied. In particular, it shows that the pipelined solution method of the first-order linear recurrences has the same degree of stability as the commonly used sequential evaluation algorithms. The stability problems of sequential and pipelined solution methods of the second-order linear recurrences are also studied.