线性定常系统的可逆性

一、问题的提出用∑(A、B、C、D)表示如下方程描述的线性定常连续系统: X(t)=AX(t) BU(t) X(0)=0 (1a) Y(t)=CX(t) DU(t)(1b) 而如下方程描述的线性定常离散系统: X(K 1)=AX(K) BU(K) X(0)=0 (2a) Y(K)=CX(K) DU(K) (2b) 则用∑(A、B、C、D)表示。其中:X为n维状态矢量,Y为P维输出矢量或观测矢量,U为m维输入矢量或控制矢量。因而常系数阵A、B、C、D的阶数分别为:n×n,n×m,     

周期生存的血红细胞模型的周期解

本文研究了如下周期生存的带有反馈控制的有时滞血红细胞模型dx(dtt)=-b(t)x(t)+β(t)e-x(t-τ(t))+c(t)u(t-δ(t)),dud(tt)=-η(t)u(t)+α(t)x(t-σ(t))的周期解的存在性,给出了正周期解存在的充分条件。     

关于泛函微分方程 x''(t)=A(t)f(x(t)，x(x(t)))

本文研究方程:x'(t)=A(t)f(x(t),x(x(t)))强解的渐近性态,对Eder,Wang (王克) 等的结果作了部分推广。     

加速电子的E及B的推导

波动方程(见参考文献4)求一个给定源的亘和百的关系,出发点是麦克斯韦方程。麦氏方程是(BI)甲X亘(f,t)=一口百(f,t) 口t(BZ)甲x百(f,t)=拼,J(f,t) 拼,￡,d豆(f,t) 口t(B3)二.亘(f,。)=事。。(f,t), 肠v(B4)甲·豆(f,t)=0-式中变量是第111章中标出的。从现在起,要假定电流源周围媒介导电率是零。(B4)总是真的,因此可以说(BS)百=甲xA,式中A现在还是一个任意向量。将(BS)代入(Bl),并假定A具有旋度算子与时间导数算子可以交换的性质,就得出 0︶ 一一、.、‘J(B6)二X{:‘,,t, 口A(f,t) Jt对任何数量V,甲x甲V=0总是真的,因而不失去一般…     

奇型抛物问题的有限元误差估计

本文引入带权的 Sobolev 空间,讨论了奇型线性问题:(?)((?)u)/((?)t)-1/x~(?)(x~aa(x)u′)′=f(t,x) (x,t)∈1×J(?)/((?)x)u(t,0)=u(t,1)=0 t∈Ju(0,x)=φ(x) x∈I式中 I=(0,1),J=[0,T],0<α<3的有限元方法,并在适当条件下,给出了最佳估计:‖u_(?)-u‖_(0,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}‖u_(?)-u‖_(1,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}     

关于抽样函数列的正交完备性与抽样定理的证明和讨论

一、引言信号时域分析法最核心的内容是抽样定理。抽样定理的内容是:如果代表信号的时间函数S(t)是平方可积的,且不含F赫以上的频率分量,则S(t)在时域内可展开为     

导电媒介格林函数的推导

如果假定导电媒介服从欧姆定律,而且导电率在整个空间是均匀的、对时间是恒定的,则可以导出下列向量及数量位势的波动方程(见第Ⅴ章):(C1)与此相结合的格林函数必须满足下列方程:(C2)正如附录B第二节那样,用拉氏变换方法可以解(C2)。这样做,就找出下列G(,t|,t′)     

加快综采设备折旧是实现矿井现代化行之有效的方法

一、综采机械化现状及发展中存在的问题 综合机械化工艺是1980年首先在一矿试用的,1984年9月从一矿转到二矿,因为二矿的采场条件更适合综采发展的需求。从那时起至1997年底,综合机械化采煤为二矿立下战功,综采1984年9月初到二矿时全矿共有八个炮采队.至今已减成一综一放二炮的格局。1997年产煤182.00万t(选后:164.5万t)全员工效由1984年的1.179t/工,现在增加到2.22t/工,其中:回采工效由1984年的4.4597t/工,1997年增加到10.37t/工。     

一类积分方程若干定理的NSA证明

本文利用NSA理论和方法研究系统X(t)=f(t) integral from n=o to t g(t,s,x(s))ds(1)和x(t)=f(t) integral from n=∞to t g(t,s,x(s)ds(2)解的有关问题.得到有关VOltterra积分方程的基本结果类似于常微分方程中的相应结果,在解决问题的技巧上是独特的.特别是用NSA方法对(2)式的处理比经典理论大为直观和简洁.     

装备参数漂移量与其可靠度的关系

本文从实际出发总结了参数漂移的统计规律,找到了参数漂移量X(t)与参数可靠度R(t)的统计关系,进而给出了利用X(t)的样本估计R(t的计算公式,用于实际简便易行。     

文献索引

7752高射炮火控系统用的激光瞄准具和计算机 (Laser一sight and eomputer for an-ti一a ireraft gun fire eontrol system)—美国专利,3.592,466;29757753火控系统计算与模拟的方法 (An approaeh to fire eontrol sys-tem eomPutations and simulations)--一入D 10 65617GA;1975.8.8 sop7756战斗机用的实时计算机的研制经验 (Development_expcrionees of realt ime eomPuter based system in str-ikeaireraft)—AGARD eonf.pro-eeedin只5 No 149 on Reall’ime Co-ni P u t e r B a 5 e d 5 y 5 t em:\t}1 e ns(二r oe-ee,27一31入l…     

高维无穷时滞NFDE概周期解的存在性和稳定性

讨论高维的中立型泛函微分方程ddtx(t)-∫0-∞q(s)x(t+s)ds=A(t,x)x(t)+f(t,xt)的概周期解问题。利用Ch空间,矩阵测度和Krasnoselski不动点定理获得了其概周期解的存在性与惟一性定理。特别地,当q=0时给出了存在惟一且一致稳定概周期解的条件,推广了文献[1～5]的结果。     

模糊随机过程的可分性与可测性

本文证明了一个模糊随机过程{_t(ω)t∈T}必存在一个与之等价的可分模糊随机过程{_t(ω)t∈T};且若模糊随机过程{_t(ω)t∈T}随机连续,则它存在等价的,可分且可测的模糊随机过程{■_t(ω)t∈T}。     

关于Reich的公开问题

设E是具有一致G -可微范数的实Banach空间 ,D是E的非空闭凸子集 ,T :D→D是非扩张映象 ,F(T)非空。设 {αn} ,{ βn}是 [0 ,1]中满足一定条件的两个序列 ,定义压缩映象St:D→D为 :St(z) =(1-t)x tTz , x ,z∈D , n≥ 1,t∈ (0 ,1) .设zt 是St 的唯一不动点 ,若当t→ 1-时 ,{zt}强收敛于某点z∈F(T) .那么 ,Reich序列 {xn}强收敛于某点z∈F(T) .     

奇型偏微分方程的柯西问题

定解条件给在奇线上的偏微分方程的各种定解问题早已有研究^[1～4],多数作者使用了特殊函数作工具。本文用能量不等式组来解决一类奇型双曲型方程的柯西问题。 本文主要讨论如下问题解尚存在唯一性： Lu≡[(t^a/2?_t-λ₁(x,t)?_x)(t^a/2?_t-λ₂(x,t) ?_x)+a(x,t)?_t+b(x,t)?_x+c(x,t)]u(x,t)=f(x,t) (x,t)∈R×(0,T] u∣_t=0=φ(x),limt^a/2u_t=ψ(x) 这是一个二阶偏微分方程,当 α>0时,?_t²的系数当t=O 时变为零,因而这是一个初始值给在奇线上的柯西问题。我们假定： (A) α为常数,0<α<1;所涉及的都是实函数; (B) α(x,t),b(x,t),c(x,t),λ_j(x,t)(j=1,2)∈C¹([0,T],C²(R)),且上述函数的所有可能的导数都有界; (C) φ(x),ψ(x)∈C₀⁴(R)); （D）f(x,t)∈C((0,T],C₀²(R)),且sup{t^a/2(∣f∣+∣f_x∣+∣f_xx∣}＜+∞（Ⅱ） (E)存在常数δ＞0,使当（x,t)∈R×[0,T]时,有：∣λ₁(x,t)-λ₂(x,t)∣≥δ条件（Ⅱ）中关于实函数的假设不是必要的,作此假设仅为方便。本文主要得到：定理1：在（Ⅱ）的假设下,（Ⅰ）存在唯一弱解u,并 u∈C([0,T),H¹(R))∩C¹((0,T),L₂(R)).为证明该定理作了一系列准备,关键是证得引理1,引理2和引理6。     

四参数寿命分布S(α,β,λ,μ)

本文提出一个具有密度函数 (α>0,β≠0,λ>0,μ≥0)的四参数寿命分布S(α,β,λ,μ),然后证明了它的一些基本性质,据形状参数对(α,β)的不同取值,找出了失效率λ(t)关于时间t的五种变化规律:不变;递减;递增;先增后减;先减后增,并显示出不变失效率是其余四种失效率当(α,β)→(1,1)时的极限。     

二阶中立型含逐段常滞量微分方程的伪概周期解的存在性

讨论下列中立型含逐段常滞量微分方程的伪概周期解d2dt2(x(t)+p(t)x(t-1))=qx(2[t+12])+g(t,x(t),x[t])采用不动点定理和构造伪概周期序列的方法,得到了此方程的伪概周期解的存在性,并推广了文献[5～8]中的有关结果。     

生灭过程及其在排队论中的应用

<正>本文简要地论述了纯生过程、纯灭过程、生灭过程的基本内容,同时讨论了生灭过程在一类排队问题中的应用。 1 纯生过程 在广义的生长研究中,“纯生”可以意译为一个事件,其概率依赖于已然存在的“父母”事件的数目,它既可以表示实际的增值,也可以表示流行病的新病例或组织中出现的新细胞等,更精确地,给定x(t)=i,我们假定(i)在(t,t+τ)内一个新事件发生的条件概率为,其中λ_i是i的某个函数;(ⅱ)在(t,t+τ)内多于一个事件发生的条件概率为o(τ),于是有     

关于复合函数连续性的一个注记

<正>关于复合函数的连续性,文[1]有如下定理:若函数f(X)在点x_0连续,函数g(u)在u_0连续,并且u_0=f(x_0),则复合函数g of在点x_0连续.现在我们考虑的问题是:若函数f(x)与g(u)在点X_0不同时连续时,复合函数g of的连续性会怎样?对于这个问题,其结果并不唯一.具体情形如下:     

基于Z形式化规范的多Agent协作模型研究

用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。