二分图上有限制条件的(g,f) 因子和f 因子

设图G=(X,Y,E)是二分图, g,f是定义在V(G)上的正整值函数, 且对任意的x∈V(G)有g(x)＜f(x), 证明了: 如果图G是(mg,mf-1)-图, M是G的任一含有m条边的对集, 则存在图G的一个(g,f)-因子F, 使F包含M任意给定的一条边, 并且不包含其他的m-1条边; 二分图G是(2m-1)-边连通的(mf)-图, 则图G有一个f-因子包含任意给定的一条边, 并且不包含任意其他的m-1条边.     

闭区间上连续函数性质的推广

添加一些条件将闭区间上连续函数的整体性质推广到开区间上也成立.     

局部域上分式积分算子的加权有界性

文章主要考虑分式积分算子的有界性,讨论它的单权、双权模不等式,给出了分式积分算子从加权Lebesgue空间Lup到Lvp在权函数u(·)及v(·)满足一定条件下的有界性定理,并将有界性定理推广到更一般的空间即加权Lorentz空间。     

具无穷时滞状态依赖变元微分方程解的有界性及概周期性

本文研究了一类具无穷时滞状态依赖变元泛函微分方程dx/dt=F(t,x(t),x(t-ρ((x1))),t≥0 有界解及概周期解的存在性。     

g_λ随机变量间的距离及特征函数的性质

本文给出并证明了关于gλ随机变量的特征函数的唯一性定理;此外还给出了gλ随机变量间的距离的概念及若干性质,并为系统建立Sugeno测度空间上关于gλ随机变量的不确定理论奠定理论基础。     

空间到加权型空间的复合微分前置算子

从算子的性质出发,研究Bloch空间到加权型空间的复合微分前置算子的有界性和紧性,得到了算子有界性和紧性的充分必要条件。     

拟南芥类结瘤素基因At1g01070的生物信息学分析

类结瘤素基因在非结瘤植物生长发育中承担着重要的功能,但仅少数基因的功能被鉴定.本研究对拟南芥类结瘤素MtN21(Medicago truncatula NODULIN 21)家族成员At1g01070进行了生物信息学分析及亚细胞定位验证.结果表明,At1g01070有两种可变剪切体,编码两种蛋白At1g01070.1和At1g01070.2,前者比后者在N端多47个氨基酸,它们的分子量分别为40KD和35KD,等电点分别为9.2和8.9;均含有2个MtN21蛋白的特征结构域EamA(药物/代谢物转运结构域),At1g01070.1比At1g01070.2多一个PLN00411结构域,且其靠近N端的EamA结构域较后者长;三级结构均由7个α-螺旋和一些不规则卷曲组成,分别含有10个和8个疏水跨膜区,均含13个磷酸化修饰位点,亚细胞定位预测主要定位在质膜;进化上,与琴叶拟南芥(Arabidopsis lyrata)亲缘关系最近;亚细胞定位结果显示At1g01070.1定位在质膜,与预测结果一致.推测At1g01070在植物体内可能参与物质运输.     

Bαlog空间到QK(p,q)空间的复合算子

运用复分析和泛函分析的理论与方法,讨论了B_(log)~α空间到Q_K(p,q)空间的复合算子C_ф:C_ф(f)=foф的有界性,得到了该算子有界的充分必要条件。     

从广义加权Bloch空间到Bloch-型空间的积分型算子

设g∈H(B),g(0)=0,φ是Cn中单位球B上的解析自映射.主要研究单位球上的从广义加权Bloch空间到Bloch-型空间的积分型算子P84的有界性和紧性.     

语义网及其应用

面对万维网信息化规模急剧膨胀、信息载体也趋于多元化等原因所带来的诸多困难,语义网的提出为此提供了解决方案及技术支持,它利用对网络上的信息资源添加语义,达到不仅为人们所理解,也可以使机器理解和处理的目的.本文首先介绍了语义网的背景、基本概念、技术框架,然后阐述了语义网的结构框架以及各层次之间的协作关系与作用.结合一个实例...