Ontology-Based Semantic Annotation for Problem Set Archives in the Web

0 IntroductionAsneim mapnotircta nWte pbre i-sco tnhdieti oabnilfiotry r etaoli zainnngotthatee go aWle obf trhe-esources with semanticinformation[1]. However ,annotationtools so far basically allowthe user to annotate with plaintext using the method of information extraction.In manycases ,one can hardly extract semantics from Web docu-ments ,such as problemset archivesinthe Web.Massive problemset archives are availableinthe Web,for example,http://acm.uva.es, while each problemsetarchives pr…     

含第三对称平均值比的一个不等式及其应用

借助于数学归纳法建立了含第三对称平均值比的一个不等式 ,并将此结果用于正定矩阵 ,获得了一个有趣的结果 .     

H0^3（Ω）→L^2n／n—6 （Ω）的最佳嵌人常数

给出了S=inf|∫R^n|D(Δu)|^2dx|u∈Hkc^3(R^n),∫R^n|u|2n/n-6 dx=1|达到函数，并得到了H0^3(Ω）→L^2n/n-6 (Ω）的最佳嵌入常数。     

关于高维系统中Poincαre—Bendixson定理的反例

本文给出了在n(n≥4)维系统中,Poincare-Bendixson定理不成立的多项式系统的反例。     

关于偏序集到方体的嵌入的一个注记

我们通过一个反例说明下述问题的解答是否定的,假若Z-完备偏序集P可用保任意存在交与Z-并映射嵌入到某方体之中,则P是否为Z-拟连续的?     

模代数在多值逻辑系统中的适应范围

一、引言 在二值和多值逻辑的研究中,使用最广泛的代数系统是格代数系统和模代数系统。由于下述原因使模代数系统的研究受到重视:1)多值模代数中的两个基本运算的作用对象和运算结果都为多值信号,因而避免了在采用格代数时必然出现的译码器—二值电路一编码器的夹心面包式电路结构;2)模代数中的基本运算的含义及法则与普通代数相似,因而符合人们的数学习惯;3)一个函数通过GRM展式往往可以化简成非常简单的形式,从而使电路     

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

二维细胞自动机伪随机序列发生方法研究

首先介绍了细胞自动机的基本概念。根据具有输入的细胞自动机的转移特征方程推导出了具有梯形结构的二维垂直邻居受限细胞自动机周期等统计特性。根据这些特性提出了一种二维细胞自动机伪随机序列发生方法。计算机模拟表明 ,具有梯形结构的二维垂直邻居受限细胞自动机伪随机序列发生器实现简单 ,产生的序列具有速度高、周期长和统计特性好等优点。     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。