极小-极大-加系统的周期时间的输出反馈独立配置

在数字电路中, 两个时间信号通过逻辑电路的与门相当于极大运算, 通过逻辑电路的或门相当于极小运算. 极小—极大—加系统可用于数字电路的时间分析. 对于一类非线性极小—极大—加系统(F, G, H), 运用极大—加代数和有向图方法得到了在输出反馈作用下的周期时间能独立配置的一个充分条件.     

n≤12阶(k,l)-正则极大平面图

我们知道当图的顶点数n>12时不存在正则极大平面图.相关文献提出了(k,l)-正则极大平面图的概念,并讨论了(5,6)-正则极大平面图的存在性.在相关文献中,作者分别讨论了阶n>12的(k,l)-正则极大平面图的存在条件及构造方法.本文讨论了阶n(≤12)的(k,l)-正则极大平面图的存在性,除两种情况外,本文给出了阶n(≤12)的(k,l)-正则极大平面图的存在条件及其一种构造的例子.     

分数(g,f,m)-覆盖图的充要条件

G是一个图,g和f是两个定义在V(G)上的非负整数值函数,并且对任意的x∈V(G),满足g(x)≤f(x).称图G是分数(g,f,m)-覆盖图,如果存在图G的分数(g,f)-因子G[F_h]满足对任意的e∈E(H)有h(e)=1,其中H是图G的m条边的子图.证明了一个图是分数(g,f,m)-覆盖图的充要条件,并得到了几个推论.     

SL(2,R)上一类极大算子的(H1∞,s,L1)型

本文我们引入了函数类Bδ(G//K)={ψ∈L1(G//K)‖ψ(t)|≤△-1(t)(1+t)1-δ,δ＞0},对f∈Lp(G//K),1≤p≤∞,和极大算子Mδf(x)=sup ε＞0 ψ∈Bδ(G//K) |ψε*f(x)|,证明了这类算子是(H1∞,s,L1)型的.     

3-连通(X,Y)-free图的Hamiltonian-连通性

一个图G称为(X,Y)-free图,如果G不含同构于子图X和Y的导出子图.本文证明了X=K_(1,3)、Y∈{D,W,B}的3-连通(X,Y)-free图是Hamiltonian-连通的.     

关于图是(g,f,n)-临界图的充分条件

设G是一个图. 设g和f是两个定义在V(G)上的整值函数使得对V(G)所有的顶点x有g(x)f(x). 图G被称为(g,f,n)-临界图,如果删去G的任意n个顶点后的子图都含有G的(g,f)-因子. 本文给出了图是(a,b,n)-临界图几个充分条件. 进一步指出这些条件是最佳的. 例如,如果对V(G)所有的顶点x和y都有g(x)＜f(x), n+g(x)dG(x)和g(x)/(dG(x)-n)f(y)/dG(y),则G是(g,f,n)-临界图.     

F(p,q,s)空间的嵌入关系

为得到一类广泛的解析函数空间F(p,q,s)之间的嵌入关系,将每个空间F(p,q,s)对应为三维空间R(F)中一点(p,q,s),从而将空间之间的嵌入关系转化为三维空间中直线的单调性进行了研究,完善了已有的结果.     

(n,k)-排列图的条件连通度(英文)

点连通度是衡量互联网络容错性的一个重要参数.尽管点连通度能正确地反映了系统的容错性能,但是不能正确反映大规模网络的健壮性能.条件连通度通过对各分支附加一些要求(当整个网络被破坏时)来克服这个缺点.给定一个基于图G的网络和一个正整数l,G的R~l-连通度,记为k~l(G),定义为图G的最小节点子集的节点数,使其去掉后,G是不连通的,且每个分支的最小度至少是l.在本文中,我们得到了(n,k)-排列图的条件连通度k~l(A(_n,k))=[(l+1)k-l](n-k)-l,其中k≥l+2,n≥k+l.     

正态条件下带AR(1)-型方差结构GMANOVA-MANOVA模型极大似然估计的小样本特征

研究了一类带一阶自回归(AR(1))-型方差结构的广义多元方差分析-多元方差分析(GMANO VA-MANOVA)模型参数极大似然估计的小样本特征.对带AR(1)-型方差结构GMANOVA-MANOVA模型,文章在正态条件下给出了参数极大似然估计存在的一个充分必要条件,讨论了极大似然估计唯一的充分条件.在该充分条件下,文章证明了相关系数极大似然估计的精确分布只与相关系数有关,并依此给出了自相关系数简单假设H0:ρ=0v.s.H1:ρ≠0的一个不需要叠代计算估计的检验,同时模拟表明该检验为无偏检验且势函数与似然比检验势函数无太大差异.     

(a,b,n)-临界图的几个充分条件

设G是一个图 .设g和f是两个定义在V(G)上的整值函数使得对V(G)所有顶点x有g(x) ≤f(x) .图G被称为 (g ,f,n) 临界图 ,如果删去G的任意n个顶点后的子图都含有G的 (g ,f) 因子 .本文给出了图是 (a ,b ,n) 临界图几个充分条件 ,即度和邻域条件 .进一步指出这些条件是最佳的 .     

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.     

线性定常系统规范结构分解问题的研究

单输入单输出线性定常系统的状态空间按能控性和能观测性进行结构分解,能全面、完整的反映系统的各个子系统特性,理论上揭示状态空间的本质特征.通过规范性分解,不完全能控和不完全能观测的连续时间线性时不变系统可分解为"能控能观测","能控不能观测","不能控能观测","不能控不能观测"四个子空间,但是其分解后子空间的维度受非奇异变换矩阵P_c的影响.提出了一种约束变量的方法,用来选取P_c中列向量的规则,以控制原系统分解后子空间的表现形式.经实例验算,方法简单有效,具有一定的教学和理论意义.     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

图中具有正交（g,f）因子分解的子图

设G是一个 (mg +k ,mf -k) -图 (1≤k 相似文献   

(G,H)-拟正则映照和B-调和方程

本文将双特征拟正则映照化为变化问题,得到其Euler-Lasranse方程,利用它得到B-调和方程的先验估计、拟正则映照的Caccippoli型不等式、正则性和可去性结果．     

On Exponential Stability of Systems with Point,Distributed and Volterra-type Delayed Dynamics

The global uniform exponential stability independent of delay (g.u.e.s.i.d.) is investigated for a wide class of time-delay systems that may involve both point and distributed delays on finite intervals as well as infinitely distributed Volterra integro-differential dynamics. The stability problem is considered as a robust stability one with respect to an auxiliary system which may be defined very freely. The proposed method allows a very important generalisation related to the usual problem statement in the literature when the auxiliary system is defined by deleting the whole delayed dynamics. Conditions are established that ensure that the Laplace operator characterising the system has a bounded inverse on the closed complex right-half plane. The analysis is slightly modified for investigating uniform stability dependent of delay.     

新单圈图H(p,tK_(1,m))的拉普拉斯谱刻画

设图H(p,tK_(1,m))是一个顶点数为p+mt的连通单圈图,它是由圈C_p的依次相邻的t(1≤t≤p)个顶点的每一个顶点分别与星K_(1,m)的中心重合而得到的单圈图.现证明单圈图H(p,pK_(1,5)),H(p,(p-1)K_(1,4))是由它们的拉普拉斯谱确定的,并证明了当p为偶数时,单圈图H(p,2K_(1,4)),H(p,(p-2)K_(1,4)),H(p,(p-3)K_(1,4))也是由它们的拉普拉斯谱确定的.