On a large-gain theorem

The aim of this paper is to give a general quantitative requirement which the loop gain must satisfy in order to stabilize a given unstable (possibly nonlinear and time-varying) plant, namely that the gain must exceed one.     

椭圆型偏微分方程的加法Schwarz方法

1.引 言 古典加法Schwarz方法(ASM)对于一般问题收敛很慢,在大多数情况下, ASM只能作为预条件子.另一方面,ASM的并行性能非常好,尤其适合大规模粗粒度并行计算,近年来随着并行机系统及并行计算的兴起,ASM重新受到重视.许多学者研究了怎样提高ASM的收敛速度[1,2,4].他们发现加法Schwarz方法之所以收敛慢是由于在内边界上采用     

CO2 emissions in Greece for 1990–2002: A decomposition analysis and comparison of results using the Arithmetic Mean Divisia Index and Logarithmic Mean Divisia Index techniques

This paper deals with the decomposition analysis of energy-related CO₂ emissions in Greece from 1990 to 2002. The Arithmetic Mean Divisia Index (AMDI) and the Logarithmic Mean Divisia Index (LMDI) techniques are applied and changes in CO₂ emissions are decomposed into four factors: income effect, energy intensity effect, fuel share effect and population effect. The period-wise and time series analyses show that the biggest contributor to the rise in CO₂ emissions in Greece is the income effect; on the contrary, the energy intensity effect is mainly responsible for the decrease in CO₂ emissions. A comparison of the results of the two techniques gave an insight in the intricacies of energy decomposition. Finally, conclusions and future areas of research are presented.     

电子束、离子束与蓝宝石相互作用的研究

研究了电子束、离子束作用于Al2O3表面时成分的变化，表明无论电子束或离子束都能使Al2O3发生分解，产生导电的元素Al。实验在PHI610·SAM上进行，电子束轰击下（3keV，O．5μA，入射角60°）10s就有元素Al分解出来，2min以后就达到饱和，分解析出量随时间成a（1－e－bt）的关系。离子束轰击下同样发生元素Al的分解，但当Ei＞3keV时，由于剥离速率加大，溅射5min时表面Al峰反而比1min时要弱。这时表面Al含量处于分解析出与溅射剥离的动态平衡中。实验还发现了Al2O3的解析与表面成分有关（如碳的含量）。最后讨论电子束与离子束的解析机理。     

线性时变系统的区间稳定性与鲁棒稳定性

本文应用向量比较定理研究线性时变系统的区间稳定性和具非线性时变摄动的线性时变系统的鲁棒稳定性，所得的新结果包含文献的一些主要结果作为特例，本文的研究方法说明向量比较方法是分析区间稳定性和鲁棒稳定性的一种自然而有力的工具。     

An ideal topology type convergent theorem on scale effect algebras

The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic the- ory.     

关于粉体成球机盘体几何形状的研究

通过对粉体小球在粉体成球机盘底上运动轨线的研究,利用Euler定理,结合其参数特点,得到了不同几何形状的盘底在成球过程中对粉体小球运动的影响,球面盘底较平面盘底更有利于成球的结论。     

Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

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.     

电站并联运行的不对称非线性振荡

本文给出一个结构不完全对称并联电网的等价定理,它把双输入双输出非线性耦合的微分方程组等价为单输入单输出的非线性微分方程,然后用渐近方法和谐波线性化方法求其一次近似解,得到一些新的物理性质,有助于合理选择电网结构,以提高其结构稳定性.