一类可修复计算机系统的稳定性和可靠性

研究一类可修复计算机系统模型,利用常微分方程的稳定性理论,证明了系统的稳定性.同时,在假定故障率和修复率均为常数的前提下,讨论了系统的可靠性.     

半群方法在发汗控制问题中的应用

本文研究在高速飞行体飞行中出现的热防护发汗控制模型导出的自由边界问题，引入变换将其化为发展方程，研究其相应产生的发展系统，用半群方法证明了发汗控制边值问题解的存在性，唯一性。其方法对一般抛物算子非线性自由边界问题及高维问题也适用     

半群方法在发汗控制问题中的应用

本文研究执防护发汗冷却控制中的自由边界解的存在性、唯一性，应用算子半群方法得出了解的存在性、唯一性，所用的方法对一般非线性、抛转型偏微分方程和高维情形也适用．     

带有缓冲库的串联CIMS渐近稳定性分析

讨论了一个可靠机器,一个不可靠机器和一个缓冲库构成的计算机集成系统(CIMS),利用由该系统所决定的算子A+E生成的Banach空间中的正压缩C0半群,证明了此系统的非负稳定解恰是算子A+E的0本征值所对应的规范化后的本征向量;同时通过对算子A+E的谱点分布的分析,证明了算子A+E的谱点均位于左半平面且在虚轴上除0点外无谱,作为线性算子半群稳定性的一个直接结果,得出了该系统解的渐近稳定性.     

关于细长飞行器弹性振动系统的镇定和极点配置

如果忽略气动和内结构阻尼效应,采用角速度反馈控制律作为外力控制,则不失一般性,细长体飞行器弹性振动系统可用下面的偏微分方程描述:     

一类可修复计算机系统的数学模型

利用增补变量方法,将可修复计算机系统的状态转移过程转换成一个广义Markov过程,并在此基础上建立系统的数学模型.与此同时,根据系统分析的需要,将系统模型转换成为Banach空间上的抽象Cauchy问题.     

基于支持向量机的ERP软件供应商选择

为了选择合适的ERP软件供应商,提出了一种基于支持向量机建立ERP软件供应商评价系统的方法,给出了ERP软件供应商评价指标体系及具体量化方法,采用支持向量机的分类策略建立ERP软件供应商的评价模型,最后通过一个中型造纸企业对ERP软件供应商选择的实例证明了基于支持向量机的ERP软件供应商评估系统的可行性和实用性。     

ASYMPTOTIC EXPANSION AND ASYMPTOTIC BEHAVIOR OF THE SOLUTION FOR THE TIME-DEPENDENT NEUTRON TRANSPORT PROBLEM IN A SLAB WITH GENERALIZED BOUNDARY CONDITIONS

In this paper,the time-dependent neutron transport integro-differential equationin a nonuniform slab with generalized boundary conditions and initial value is considered forgeneral cases concerned with an arbitrary nonhomogeneous medium possibly with cavity,withthe anisotropic scattering and fission,and with continuous energy varying from null to any finiteconstant or from one positive constant to another positive constant.We prove that the correspon-ding neutron transport operator A has finite Spectrum points in any strip {λ|β_1≤R(?)λ≤β_2}whereβ_2>β1>-λ~*(λ~* is the essential infimum of v∑(x,v)),and obtain the asymptotic expansion ofthe time-dependent solution which exists and is unique.Furthermore,we give the existence ofthe dominant eigenvalue and indicate the asymptotic behavior of the neutron density as t→+∞.     

A NONLINEAR POPULATION EVOLUTION SYSTEM

A nonlinear age-dependent population model,which allows for consideration of theeffects of crowding and resource limitation,is presented.The basic properties of solution,such asexistence,positivity,uniqueness,and ultimate behavior,are discussed.Also,the condition of stabilityand controll-ability of the nonlinear population system is obtained.     

发汗控制第三边值问题解的稳定性

本文研究文献［１］导出的一类活动边界域上分布参数非线性控制系统，其背景是热防护中的发汗冷却系统。这类系统有第三类边界条件：活动的外边界。在域内还可以出现活动的弱间断面，文献［１］从计算机仿真证明了一维系统的适定性、稳定性、可测性和可控性，文献［２］、［３］从理论上证明了第二类边界条件下系统的解的存在性、唯一性和稳定性。本文证明了第三类边界条件下系统解的存在性、唯一性以及解的稳定性。