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…     

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

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

Diracδ函数的微观分析及其应用

本文以非标准分析为工具,研究了核子上的积分与求导,并从实例出发,引出了Heaviside函数,又论证了Heaviside函数的导数就是Diracδ函数;从而给出了Diracδ函数一个精确的表示方法。之后又进一步研究了它的性质及应用。     

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

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

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

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

网的收敛与分离公理

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

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

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

关于“增乘开方及其相关问题的再探讨”一文的点评

中国传统数学历史悠久，成就辉煌，即使在明末《几何原本》前六卷(1607)、《同文算指》(1644)等西方几何知识与笔算方法传人中国以后，中国传统数学仍不断吸取西方数学精华以完善自身体系并不断有所发现．清代乾嘉以降的古算复兴所产生的诸多成果以及研究西方传人的新课题所得成果均可说明，中国传统数学以其自     

开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.