由软件和硬件构成的串联可修计算机系统的适定性及渐近稳定性

讨论由软件和硬件构成的串联可修计算机系统的时间依赖解,运用C_0-半群理论及算子理论,证明系统的适定性和时间依赖非负解的存在唯一性.通过研究系统相应算子的谱特征,得到系统时间依赖解的渐近稳定性.     

基于可靠性指标的冷贮备可修系统与单部件可修系统关系分析

讨论冷贮备可修系统与单部件可修系统在可靠性指标方面的关系,具有理论价值和实际意义.首先讨论由两部件组成的冷贮备可修系统与单部件可修系统的关系,假设冷贮备可修系统的每个部件的工作寿命都服从一般分布,部件故障后的修理时间服从指数分布,得到在稳态可用度、稳态故障频度、瞬时可用度和瞬时故障频度等指标方面冷贮备可修系统等价于相应的单部件可修系统,推导了若干个定理和推论,给出了相应结论;然后探讨带有冷贮备的多部件串联系统在求解可靠性指标时转化为相应单部件系统的思路:将带有一个冷贮备的多部件串联可修系统等价为一般的串联系统,进一步等价单部件可修系统.为工程上广泛存在的带有冷贮备的多部件系统的可靠性指标计算提供基础及相应公式.     

一类可修复计算机系统的最优控制问题

利用Banach空间的相关理论,讨论了一类可修复计算机系统稳态解的最优控制问题,并证明了最优控制元的存在性与唯一性.结果表明,计算机系统的稳态可用度在有限时间内总能到达其期望值.     

多服务台可修系统的优化分析

机器可修系统是可修排队的一个重要研究方向,研究了具有止步,中途退出和服务台可发生故障的M/M/R机器可修问题.利用矩阵几何解法,得到了稳态概率的矩阵几何解,在此基础上建立了系统的费用模型,并进行了数值分析.     

具有不同失效率和修理率的n中连续取k的可修系统

研究了具有不同失效率和修理率的,2中连续取k的可修系统．在假设失效部件的修理规则为后到先修,且修复如新的条件下,得到了具有不同失效率和修理率的n中连续取k的可修系统各状态的概率,并进一步获得了这类可修系统的一些重要的可靠性指标或者其Laplace变换．     

具有可变修复率的M/M/R可修系统的优化分析

机器可修系统是可修排队的一个重要研究方向,本文研究了具有止步,中途退出和服务台可发生故障的M/M/R机器可修问题。利用矩阵几何解法,得到了稳态概率的矩阵几何解,在此基础上建立了系统的费用模型,并进行了数值实例分析。     

电子计算机的硬件系统简介

为了在中学逐步推广计算机教学,本文将从使用的角度出发对计算机进行简单介绍,重点介绍电子数字计算机的硬件系统。为便于理解,先简单介绍一下计算机系统的工作概况。 计算机系统可分为硬件、软件两大部分。     

可变环境下的离散时间单部件可修系统

研究离散时间可修系统,讨论了一个可在不同环境下工作的单部件可修系统,其所处环境的改变服从马尔可夫更新过程;利用马尔可夫更新理论,得到了系统的可用度, 故障频度和可靠度等各项指标．     

一类具有可修故障和不可修故障的两部件并联可修系统的系统主算子的性质

研究了一类具有可修故障和不可修故障的两部件并联可修系统.运用C_0半群理论,通过修复率均值的观念,对系统主算子的谱上界进行了估值,并得到该谱上界即为各修复率均值的最小者的相反数.然后运用了共尾的概念及相关的理论,得到了系统主算子的谱上界与系统主算子产生的半群的增长界相等,从而得到其增长界也是各修复率均值的最小者的相反数.     

可变环境下的离散时间串联可修系统

本文研究离散时间的可修系统,讨论了一个可在两种不同环境下工作的N部件串联可修系统,利用马尔可夫更新理论和母函数作为工具,得到了系统的可用度,故障频度和可靠度等各项指标.     

Solvability of the super KP equation and a generalization of the Birkhoff decomposition

Summary The unique solvability of the initial value problem for the total hierarchy of the super Kadomtsev-Petviashvili system is established. To prove the existence we use a generalization of the Birkhoff decomposition which is obtained by replacing the loop variable and loop groups in the original setting by a super derivation operator and groups of infinite order super micro- (i.e. pseudo-) differential operators. To show the uniqueness we generalize the fact that every flat connection admits horizontal sections to the case of an infinite dimensional super algebra bundle defined over an infinite dimensional super space. The usual KP system with non-commutative coefficients is also studied. The KP system is obtained from the super KP system by reduction modulo odd variables. On the other hand, the first modified KP equation can be obtained from the super KP system by elimination of odd variables. Thus the super KP system is a natural unification of the KP system and the modified KP systems.Research supported in part by NSF Grant No. DMS 86-03175     

On the consistency of linear and quadratic systems

A system of linear inhomogeneous inequalities is examined. An algorithm is presented for isolating all the consistent subsystems in this system that are maximal with respect to inclusion, and justification of this algorithm is given. A criterion for the consistency of a system of quadratic inhomogeneous equations and inequalities is proposed.     

机器人与其连带安全装置系统的可靠性与可控性研究

本文主要研究由机器人与其安全装置组成的系统. 利用泛函分析方法将原系统的偏微分方程组转化成Banach空间中抽象的Cauchy问题.通过代数理论和$C_0$半群理论得到系统的瞬态可靠度和稳态可用度,利用转换变量证明了系统的可靠性和零状态可控性.最后利用Maple软件模拟出系统瞬态可靠度和稳态可用度图形.     

一个Bargmann系统与耦合Burgers族解的对合表示

本文给出耦合Burgers族的换位表示，并通过对耦合Burgers族Lax系统的非线性化得到一个Bargmann系统，证明该系统为Liouville完全可积的，还给出耦合Burgers族解的对合表示.     

Analysis of the reliability and the maintenance cost for finite life cycle systems subject to degradation and shocks

This paper deals with a deteriorating system subject to two different causes of failure: internal continuous degradation and sudden shocks. The degradation process is modelled using a gamma process. It is assumed that the system fails when the deterioration level reaches a critical threshold. Furthermore, sudden shocks arrive at the system at random times following a non-homogeneous Poisson process. When a sudden shock takes place, the system fails. To control the system reliability, a condition-based maintenance is applied. Under this maintenance policy, availability measures of the system are obtained. It is shown that these measures fulfil Markov renewal equations. A recursive method is developed to compute these measures. Furthermore, the maintenance cost of this system is analysed. Traditionally, the maintenance cost is analysed assuming an infinite time span. However, most systems have a finite life cycle and the application of the asymptotic approach is questionable. In this paper, the maintenance cost is analysed considering a finite life cycle. A recursive method, which combines numerical integration and Monte Carlo simulation, is developed to obtain the expected cost rate in the finite life cycle and its associated standard deviation.     

边界元凝聚解法解的存在唯一性条件

本文讨论了周边界元法分析三维弹性有摩擦接触问题形成的方程组。并对方程组进行凝聚，证明了凝聚后方程组解的存在唯一性的充分必要条件。     

养老保险基金收支监测预警系统的设计与实现

探讨了养老保险基金收支监测预警系统的关键技术问题,提出系统的设计框架和功能模块设计方法。系统的实施有利于开展养老保险基金的非现场监督,有利于提高监督工作质量和水平,对完善社会保险基金监管体系具有重要意义。     

系统集成项目的工期风险传递算法及评价控制

系统集成作为项目来管理越来越引起人们的关注。由于大的系统项目是由一个个具体的子项目集成的。且每个子项目都有其自身的特殊性和不确定性。为整个项目的实施带来了一定的困难和风险。而系统集成项目的工期是决定项目能否成功并获得预期收益的至关重要的因素。因此如何有效地进行工期风险评价控制成为一个非常关键的问题。基于此，本提出了一种风险传递算法。从而得出系统集成项目的总工期风险。并进一步从关键风险单元的识别人手进行工期风险的调整、优化和控制。其目的是为系统集成项目的成功实施提供有效的决策支持。     

Canonical models and the law of requisite variety

The law of requisite variety from cybernetics is shown to be related to the reachability and observability properties of a dynamical control system. In particular, it is established that the transmission of all input variety to the system output is possible if and only if the system is canonical, i.e., completely reachable and completely observable.Dedicated to G. LeitmannThis work was partially supported by the National Science Foundation under Grants Nos. CEE-81-00491 and CEE-81-10778.     

Global well-posedness and the classical limit of the solution for the quantum Zakharov system

In this paper, we study the quantum Zakharov system, which describes the nonlinear interaction between the quantum Langmuir and quantum ion-acoustic waves. The global well-posedness result of this system in the energy and above energy spaces is obtained in the case d = 1, 2, 3. Moreover, the classical limit behavior of the quantum Zakharov system is also investigated as the quantum parameter tends to zero.