特殊状态特殊修理的可修系统可靠性和诊断策略

本研究了特殊状态需要特殊修理的可修系统的可靠性和诊断策略。假设系统有三种运行状态：正常状态、异常状态、故障状态，有些异常状态和故障状态需要特殊的修理，系统处于哪个状态需要诊断才能知道。每当系统开始正常工作状态后，每隔一段随机时间T进行一次诊断，直到系统故障或被诊断为异常。利用概率分析和向量马尔科夫过程方法，求得了系统的可靠性指标并研究了最优诊断策略。     

单重休假闸门服务的Geom/G/1离散时间排队系统

文章研究了单重休假的Geom/G/1闸门服务系统,推导出稳态下系统队长的母函数,FCFS规则下的等待时间的母函数,使用离散时间队长和剩余工作量的分解性质,求出剩余工作量的母函数,最后给出服务周期的性能指标的母函数,及系统处在各种状态的概率.     

状态变权向量的等效分析以及一类均衡函数的构造

进一步讨论变权综合理论的基本性质和均衡函数的构造方法。首先证明了一个状态变权向量等效的充要条件。然后，以两个反例分别说明变权向量不一定都能表示成因素常权向量与状态变权向量的归一化的Hadamard乘积；状态变权向量并非都是均衡函数的梯度向量。最后，引入因素状态向量离散度的定义，并由此得到了一类新的均衡函数。     

遍历性及其应用──(Ⅰ)基本性质(英)

在一般意义下，给出了函数的遍历性定义．指出遍历函数是比概周期函数、渐近概周期函数及弱概周期函数更广的一类函数．文章讨论了遍历函数的一些性质，其中一个主要结果是给出了一个不等式的明确表达式．     

基于免疫函数的输入死区未知严格反馈非线性系统投影自适应指令滤波反步控制

为解决含有未知项以及输入死区的严格反馈非线性系统跟踪控制问题,提出一种基于免疫函数的投影自适应指令滤波有限时间控制方法.该方法使用免疫函数构造扩张状态观测器对具有输入死区控制系统中的未知项进行逼近,并使用指令滤波解决反步法中微分爆炸问题,建立滤波误差补偿机制降低滤波误差对跟踪精度的影响,同时使用投影算子保证了自适应参数的有界性.与现有文献中基于障碍李雅普诺夫函数的自适应反步约束控制相比较,文章可同时约束系统状态、补偿跟踪误差以及自适应参数在预设的范围内,保证了闭环系统中所有信号有界,结合有限时间控制加快了控制系统的收敛速度.最后仿真结果表明了文章控制方法的有效性.     

齐次生产函数条件下长期成本函数的确定方法

文章研究一般性齐次生产函数条件下长期成本函数的确定方法，证明了长期成本函数是关于产量的幂函数，并指出了长期边际成本函数和长期平均成本函数之间的特殊关系。     

随机环境中马氏链转移函数的收敛性

本文研究了随机环境中马氏链转移函数的收敛性．利用Doeblin条件，得到了随机环境中一般状态马氏链转移函数弱收敛及强收敛的一些条件，以及收敛速度的一个估计．     

马尔可夫状态转换加随机波动瞬时利率模型实证研究

文章对中国瞬时利率动态行为进行了实证研究,比较了一类马尔可夫状态转换加随机波动扩散模型。与以往研究不同,文章对模型所有参数采用基于Gibbs抽样的马尔可夫链蒙特卡罗模拟方法进行估计。同时,通过MAE(绝对误差平均值)、MRSE(平方误差均值)、调整R~2、对数损失函数LL以及非参数Wilcoxon检验对各种模型的样本内与样本外预测能力进行了分析与比较,结果表明:中国利率市场确实存在马尔可夫状态转换现象,其中Smith模型更适合刻画国内瞬时利率动态行为。     

M(o)bius不变的Qp空间:结果、技巧和问题

本文是关于Mobius不变的Qp函数空间方面的综述文章，给出了近10年来有关Qp函数空间的若干结果、技巧和问题。     

用非标准离散函数和差商定义新广义函数

在非标准分析框架下，用离散函数定义新广义函数，用差商定义其导数．对Schwartz广义函数以及更广的Gevrey超广义函数，文章证明了广义导数可以用差商表示．此外还给出了此新广义函数和Sobolev理论的关系．     

Givental symmetries of Frobenius manifolds and multi-component KP tau-functions

We establish a link between two different constructions of the action of the twisted loop group on the space of Frobenius structures. The first construction (due to Givental) describes the action of the twisted loop group on the partition functions of formal (axiomatic) Gromov-Witten theories. The explicit formulas for the corresponding tangent action were computed by Y.-P. Lee. The second construction (due to van de Leur) describes the action of the same group on the space of Frobenius structures via the multi-component KP hierarchies. Our main theorem states that the genus zero restriction of the Y.-P. Lee formulas coincides with the tangent van de Leur action.     

Hierarchies of exact solutions for the discrete third Painlevé equation

In this paper, we construct hierarchies of rational solutions of the discrete third Painlevé equation (d-PIII) by applying Schlesinger transformations to simple initial solutions. We show how these solutions reduce in the continuous limit to the hierarchies of rational solutions of the third Painlevé equation (PIII). We also study the solutions of d-PIII which are expressed in terms of discrete Bessel functions and show that these solutions reduce in the continuous limit the hierarchies of special function solutions of PIII.     

Free fermions, <Emphasis Type="Italic">W</Emphasis>-algebras,and isomonodromic deformations

We consider the theory of multicomponent free massless fermions in two dimensions and use it to construct representations of W-algebras at integer Virasoro central charges. We define the vertex operators in this theory in terms of solutions of the corresponding isomonodromy problem. We use this construction to obtain some new insights into tau functions of the multicomponent Toda-type hierarchies for the class of solutions given by the isomonodromy vertex operators and to obtain a useful representation for tau functions of isomonodromic deformations.     

From Lie algebra crossed modules to tensor hierarchies

The present paper, though inspired by the use of tensor hierarchies in theoretical physics, establishes their mathematical credentials, especially as genetically related to Lie algebra crossed modules. Gauging procedures in supergravity rely on a pairing – the embedding tensor – between a Leibniz algebra and a Lie algebra. Two such algebras, together with their embedding tensor, form a triple called a Lie-Leibniz triple, of which Lie algebra crossed modules are particular cases. This paper is devoted to showing that any Lie-Leibniz triple induces a differential graded Lie algebra – its associated tensor hierarchy – whose restriction to the category of Lie algebra crossed modules is the canonical assignment associating to any Lie algebra crossed module its corresponding unique 2-term differential graded Lie algebra. This shows that Lie-Leibniz triples form natural generalizations of Lie algebra crossed modules and that their associated tensor hierarchies can be considered as some kind of ‘lie-ization’ of the former. We deem the present construction of such tensor hierarchies clearer and more straightforward than previous derivations. We stress that such a construction suggests the existence of further well-defined Leibniz gauge theories.     

Weight distributions and weight hierarchies of two classes of binary linear codes

Linear codes with a few weights can be applied to communication, consumer electronics and data storage system. In addition, the weight hierarchy of a linear code has many applications such as on the type II wire-tap channel, dealing with t-resilient functions and trellis or branch complexity of linear codes and so on. In this paper, we present a formula for computing the weight hierarchies of linear codes constructed by the generalized method of defining sets. Then, we construct two classes of binary linear codes with a few weights and determine their weight distributions and weight hierarchies completely. Some codes of them can be used in secret sharing schemes.     

Construction of Corner Singularities for Agmon-Douglis-Nirenberg Elliptic Systems

Corner singularities in plane domains are characterized by certain singular exponents and angular functions. Our construction of singularities is based on two Cauchy integrals at two different levels of symbolic calculus. This construction yields new information about the angular functions and also more explicit formulas for the computation of the singular exponents.     

q-Difference intertwining operators and q-conformal invariant equations

We first recall a canonical procedure for the construction of the invariant differential operators and equations for arbitrary complex or real noncompact semisimple Lie groups. Then we present the application of this procedure to the case of quantum groups. In detail is given the construction of representations of the quantum algebra U _q (sl(n)) labelled by n–1 complex numbers and acting in the spaces of functions of n(n–1)/2 noncommuting variables, which generate a q-deformed SL(4) flag manifold. The conditions for reducibility of these representations and the procedure for the construction of the q-difference intertwining operators are given. Using these results for the case n=4 we propose infinite hierarchies of q-difference equations which are q-conformal invariant. The lowest member of one of these hierarchies are new q-Maxwell equations. We propose also new q-Minkowski spacetime which is part of a q-deformed SU(2,2) flag manifold.     

The bayesian formulation of incomplete information — The non-compact case

In a game with incomplete information, a player may have beliefs about nature, about the other players' beliefs about nature, and so on, in an infinite hierarchy. We generalize a construction of Mertens & Zamir and show, that if nature is any Hausdorff space, and beliefs are regular Borel probability measures, then the space of all such infinite hierarchies of the players is a product of nature and the types of every player, where a type of a player is a belief about nature and the other players' types.     

Robust state estimation and fault diagnosis for uncertain hybrid nonlinear systems

Robust state estimation and fault diagnosis are challenging problems in the research of hybrid systems. In this paper, a novel robust hybrid observer is proposed for a class of uncertain hybrid nonlinear systems with unknown mode transition functions, model uncertainties and unknown disturbances. The observer consists of a mode observer for discrete mode estimation and a continuous observer for continuous state estimation. It is shown that the mode can be identified correctly and the continuous state estimation error is exponentially uniformly bounded. Robustness to unknown transition functions, model uncertainties and disturbances can be guaranteed by disturbance decoupling and selecting proper thresholds. The transition detectability and mode identifiability conditions are rigorously analyzed. Based on the robust hybrid observer, a robust fault diagnosis scheme is presented for faults modeled as discrete modes with unknown transition functions, and the analytical properties are investigated. Simulations of a hybrid three-tank system demonstrate that the proposed approach is effective.     

Hierarchies of operators in constructive metric spaces

Infinite hierarchies of operators in constructive metric spaces (CMS's) are constructed, based on the convergence of an approximate representation of the operators. Under fairly general restrictions on the CMS (these restrictions are satisfied by, e.g., a CMS of constructive real numbers and a CMS of general recursive functions) it is shown that these hierarchies are nondegenerate. The hierarchies constructed are used for studying the complexity of operators on general recursive functions. Operators of superposition and bounded and unbounded minimization are considered, along with diverse recursion operators.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 60, pp. 183–193, 1976. Results announced May 15, 1975.