一类退化拟线性发展方程的初边值问题

研究一类退化拟线性发展方程ua-uxx-β(uxt)x=f(x,t)的初边值问题,其中β(s)∈C1,β(s)≥0.利用单调算子方法,在关于β(s)的增长阶较弱的条件下,得到整体强解的存在性与唯一性,从实质上改进和推广了Prestel[1]的结果.     

康托函数的应用

本文对［ａ，ｂ］上任一连续函数，利用康托函数的特性及构造方法给出一个连续逼近。     

列修正拟Newton法在并行算法中的应用

本文利用解非线性方程组的列修正拟Newton法给出了常微分方程数值解法中的Adams内插公式的并行计算方法,并证明了该方法的收敛性     

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…     

“矛盾”、“自涉”、“意义”、“悖论”漫谈——批判西方多位著名论者

本篇是《评塔斯基的‘层级论’》(《河池师专学报》2003年第4期)一文的姊妹篇，如果上篇通过解悖方案回归自然语言宣判了塔斯基“层级论”的死刑，并使哥德尔的理论也跟着引起我们疑问，那么本篇在两大理论权威之后，略评西方9位专家如何堕进说谎者悖论研究的大误区，也就迎刃而解了。     

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

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

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

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