正规链的停时性质

针对通过Ray-Knight紧化得到的强Markov过程,即正规链,说明了其停时性质.     

规则波致剪切波的时空变化

基于物理模型试验、小波变换理论及剪切不稳定理论等,研究入射波为规则波、地形为平直斜坡情况下的剪切波时空变化特性。通过对15个不同波况下的剪切波流速时间历程的小波谱进行分析,得出如下结论:入射波为规则波、地形为平直斜坡情况下可以观测到剪切波,但是时空变化不明显;剪切波产生后随时间的变化呈现连续性;剪切波在沿岸方向的能量谱中比在垂直岸线方向能量谱中占优势;地形坡度增加会使剪切波产生的区域减小;无论是1∶40坡还是1∶100坡,由剪切不稳定引起的剪切波频率都在约0.015 Hz左右变化。     

命题推理的新图式(英文)

本文引进新图式的概念,并且给出一个关于命题推理有效判定的方法。它解决了证明论中命题逻辑部分的一个重要问题。由于此方法直观,机械,可用于计算机对人工智能问题的处理。     

不分明化拓扑中的仿S—闭性

在不分明化拓扑中定义了正闭集,并用正则闭集和半开集刻画了仿Ｓ－闭性。．     

交换Fuzzy正则语言注记

在探讨形式语言的交换性质的基础上,提出了AbelianFuzzy正则语言的概念,探讨了AbelianFuzzy正则语言在并、交和补算子下的封闭性,并得到了Fuzzy正则语言是半交换的的几个等价条件.由于Fuzzy正则语言的交换性质是形式语言之中一种较好的性质,对它的研究将有助于Fuzzy正则语言的机器实现.     

HOPF模代数的根

我们构造了Hopf模代数的一种H根——JH根,并证明了它是所有极大弱正则H左理想之交,也是所有H本原理想之交,特别,我们得到了Hopf模代数的各种H根与其不变子代数的Jacobson根之间的一些关系。     

正多边形幕结构计算理论研究

在已有的四边形幕结构设计计算理论的基础上,以承受正则荷栽的正六边形幕结构屋盖为例．分析了正多边形幕结构的受力机理,提出了在均布荷栽作用下的正多边形幕结构内力的实用计算方法,与有限元分析结果对比,吻合较好。     

关于J-环的强正则性

 研究J-环的强正则性。利用SF-环,GP-V-环及GP-V′-环,得到了强正则环的一 些等价刻画,推广了相关结论。     

地球的韵律——谈气候脉动的自然机制及影响

文章试图通过对太阳周期性变化影响下的各类气候事件、小冰期、冰期——间冰期周期性气候脉动规律的均衡趋势及全球气温均衡规律的研究,揭示全球变暖对于全球繁荣的积极意义,以及全球变冷对于造成全球萧条及更加严重的人类文明终结的事实.而文章试图阐述全球变冷的消极意义对于全球的危害更加严重.     

正则表达式在汉英对照中国文化术语抽取中应用

运用正则表达式的字符串匹配功能对特定数据库中的汉英对照中国文化术语进行了抽取.抽取过程中,由于规则中特殊字符有11个,正则表达式中的一个字符可能要经过11次才能判断与待搜索文本中对应字符是否匹配.为加快抽取速度,根据待搜索文本的实际情况,选择使用了3个元字符,建立了符合特定需要的正则表达式,在保证相同正确率的前提下,抽取速度提高了1倍左右;同时,通过正则表达式生成器,尝试解决了正则表达式应用过程中可读性差、用户使用难度大的问题.