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定理不成立的多项式系统的反例。     

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

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

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

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

网的收敛与分离公理

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

平方损失下区间有界的位置参数函数极小极大估计

给出了位置参数θ区间有界时，函数ｈ（θ的极小极大估计存在的一个充分条件，并据此对一些分布的参数估计进行了讨论。     

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

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

p-可分解群的一个定理

极小子群在有限群的研究中占据着重要的地位．本文利用了极小子群的弱c-正规性刻画了极小子群对有限群构造的影响，得出了p-可分解群的一个结果．     

体育专业课教师教学能力综合评价研究

体育专业课教师教学能力评价是高校教育科学管理工作的一个重要环节.多年来,我国一些高校在评价体育专业课教师教学能力时,往往采用主观定性的方法进行语言描述,缺乏量化指标的科学评价指导,难以使人信服.为了贯彻落实《高等学校体育专业课程评估工作》的精神,建立一套比较完整的体育专业课教学竞争机制,调动教学双方的积极性,以提高教学质量.特研究与实施本项评价方案.1 建立评价指标体系