知识网格中基于WSRF标准的分布式知识的发现

为了从网格超大规模数据集中快速方便地查找到有价值的知识,提出了一种基于WSRF标准的知识网格环境(K-Grid),使得各种K-Grid服务更加简洁、均质化,屏蔽了资源自身的异构性和复杂性,最后描述了客户端在这种知识网格环境下快速发现分布式知识的过程。     

G-凸空间中的抽象广义变分不等式及应用

在非紧设置下的G-凸空间中得到一类新的广义R-KKM型非空交定理;利用已知的不动点定理和得到的非空交定理在非紧设置下的G-凸空间内得到抽象广义变分不等式解的存在性定理.证明了G-凸空间内鞍点存在性定理,这些定理都是新的且推广了最近的一些结果.     

二维条码PDF417译码技术

对二维条码PDF417的基本概念、用途、优势作了系统的介绍，着重分析了PDF417条码的具体译码过程，并给出该条码作为多进制码，进行R-S纠错译码时所要注意的有关域运算及模运算。     

特征为2的有限域上正交几何中对偶子空间的维数及其类型

设Fq是一个q元有限域，其中q是2的一个方幂，用Fq^(n)表示Fq上的n维正交空间。本文计算了Fq^(n)中任一个子空间的对偶子空间的维数，并确定了这种子空间的类型。     

强、弱囿变函数的几个判定定理

文[1-3]对取值于空间的抽象函数进行了若干讨论，得到了强、弱囿变函数的几个充要条件，本文继续对此进行了一些研究，又得到了不同于文[1-3]关于强、弱囿变函数的几个判定定理。     

时序系统命题μ演算算法设计与实现

以μ演算方法研究命题时序逻辑模型,设计实现了命题μ演算中μ演算公式输入以及对输入公式的检查、编译、分析和计算,并通过模型输入及μ演算公式算法实现规格说明验证.同时,通过CTL公式与命题μ演算公式的转换,将用CTL表示的需验证的公式转化为由μ演算公式,以验证系统的规格说明,算法复杂性为O((|f|.n)d),其中d是公式f中不动点算子μ和ν的交替长度,n为状态数.     

努力把学报办成高水平的学术理论刊物_本刊编辑部召开创刊三十周年座谈会

9月 27日下午,本刊辑编部召开庄谈会,纪念学报册刊互千淘牟。出席座谈会的有本刊编斡部全体捣斡人员和工作人员,庄谈会由学报主编何桂嘉同志主持。 与会同志回顾了学报创刊三十年来走过的道路,认真总结了经验。一致认为,我校学报于1956年10月创刊至今三十年来,特别是党的十一届三中全会以来,在校党委的关怀和领导下,在广大作者、读者以及我校印刷厂等单位的热倩支持下,取得了一定的成绩。学报作为学术成果的园地,学术交流的窗口和人才培养的阵地,对繁荣学术,提高我校教学、科研水平都太了积板哟促进作用。首先,学报坚持正确的办刊方向。学报…     

Banach空间上算子谱的精细划分

给出巴拿赫空间上算子谱的精细划分,证明了巴拿赫空间上的算子T有σ0p(T)＝ψ0(T)∩(T),σ(T)＝σB(T)∪σ0p(T)＝σW(T)∪(ψ0(T)∩σ(T)0)∪σ0p(T).     

有约束的线性模型下的最小二乘估计与最佳线性无偏估计的比较

研究了无约束的线性模型M={Y,X(,(2V}的最小二估计ＯＬＳＥ与在相应的有约束的线性模型Mr={Y,X(|R'(=0,(2Ｖ}下Ｘ(的最佳线性无偏估计ＢＬＵＥ(Ｘ()的比较问题,建立了在Ｍｒ下这两个线性无偏估计量相等的充要条件．     

非正规节点Marcinkiewicz-Zygmund型不等式和样本定理

证明了有限带Ｌｐ函数空间非正规节点的Ｍａｒｃｉｎｋｉｅｗｉｃｚ－Ｚｙｇｍｕｎｄ型不等式,并对经典的Ｗｈｉｔｔａｋｅｒ－Ｋｏｔｅｌｎｉｋｏｖ－Ｓｈａｎｎｏｎ样本定理作的推广：设σ〉０,１〈ｐ〈∞,在对等距节点组作微小扰动（扰动程度与σ,ｐ有关）的情况下,Ｂσ,ｐ中函数可以在Ｌｐ范数意义下由可列个非正规节点的Ｌａｇｒａｎｇｅ插值重构,并指出插值序列（ｋπ／σ）ｋ∈Ｚ的稳定性。