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展式往往可以化简成非常简单的形式,从而使电路     

网的收敛与分离公理

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

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

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

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

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

二阶微分包含的边值问题及其应用

在可分的Banach空间中,讨论了一类二阶微分包含的边值问题和一类反馈控制问题.结合不动点定理,对解的存在性和状态控制对的存在性分别给出了充分性条件.     

雨水集蓄型小型水利工程建设经验浅析

对于资源性缺水的山区而言,因地制宜地采取工程措施,切实解决农田灌溉和人畜饮水,对保证当地社会稳定和促进社会主义新农村建设起着至关重要的控制作用。根据六枝特区山区的具体实际,大力推行雨水集蓄型水利工程,产生了较好的效果,对类似地区有一定的借鉴作用。