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.     

武山铜矿主井系统延深改造及效果浅析

武山铜矿主井延深时根据新的采、选工艺要求，在前期工程的基础上，对其箕斗提升系统进行改造，增设坑内破碎。针对该矿特粘的矿石性质和前期工程遗留问题，在具体设计和实施过程中采取特别措施保证系统通畅和安全并注意节省投资。同时对尚存在的问题也提出了新的思考。     

浅淡恶劣环境中可控震源的使用方法

本文着重介绍了可控震源的防寒问题以及在复杂地区作业的施工方法.     

数据包络分析模型及其应用研究

通过对传统的C^2R模型进行研究并加以改进，建立了C2RHZ模型,利用有色金属矿采选业1993-2001年科技创新的相关数据进行了计算分析。说明了C^2RHZ模型的应用价值．     

Experimental Research on Erbium-doped Superfluorescent Fiber Source

The effects of the variations in fiber length, fiber mirror reflectance on efficiency and output power are experimentally investigated for erbium-doped double pass backward superfluorescent fiber sources (SFSs). The influence of fiber length on mean wavelength stability (MWS) has also been demonstrated. By incorporating a short section of un-pumped erbium-doped fiber (EDF) at the output port, the pump power dependent on MWS becomes independent of pumped EDF length. This is a novel phenomenon that hasn‘t been reported up to now,and should be helpful to SFS fabrication and theory analysis. By using a fiber Michelson interferometer as spectrum slicing component,a multi-wavelength fiber source (MWFS) with ～20 channels (from 1542nm to 1559nm) is got. The MWFS has a channel spacing of ～0. 8 nm which satisfies ITUstandard. The intensity fluctuation among channels is less than 0.5dB,and the extinction ratio of all channels is above 14dB. This kind of MWFS should be useful to wavelength division multiplexing systems.     

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

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

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.