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

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

不分明化拓扑中的仿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倍左右;同时,通过正则表达式生成器,尝试解决了正则表达式应用过程中可读性差、用户使用难度大的问题.     

关于剩余格的理想

研究了剩余格的理想,给出了理想的一些基本性质并利用理想的概念在剩余格上构造了一个同余关系,证明了一个剩余格在该同余关系下的商代数还是剩余格,获得正则剩余格上理想的若干等价刻画定理。     

有向强正则图

有向的强正则图以及参数和特征值性质,与无向的强正则图有很多类似的地方.而强正则图的性质学者们早已进行了深入的研究.第二节运用群的理论,点的传递性提出了一类特殊的有向强正则图Cayley图,构造源于shaw的工作.并描述了Cayley图成为有向强正则图的必要条件.