基于归结方法的会计摘要分析方法

会计记帐凭证输入是会计电算化的瓶颈环节，以往有摘要码输入法和摘要对应会计科目的模板块技术，本文在摘要模板块技术的基础上提出基于归结方法的摘要分析方法，在摘要模板块技术中引进语法规则，使摘要模板块适用范围更加广泛，而且减少了模板存储量，使用更灵活，方便。     

广义支撑集归结原理

广义归结是对Ｊ．Ａ．Ｒｏｂｉｎｓｏｎ普通归结的推广，支撑集策略是提高归结效率的有效方法，本文将支撑集策略引入广义归结中，提出了广义支撑集归结方法，并证明了它的完备性。     

最孤寂的星球

北京的春天来了,但是我却丝毫感受不到。不知道为摹十么最近都会有一种孤独和凄凉的感觉,我只能把这一切都归结为暖气停了。都说春天是精神疾病高发的季节,为了让自己高兴起来,分别用了逛街和吃甜品的方法,最后的结局——你们也知道的,只会让我越来越胖。突然有一天看见一个人说,如果你不开心,首先别吝惜自己的眼泪,其次也是最重要的一点就是看看别人,你就会觉得一切都会好的。尽管有些不道德,我还是挑了一部叫《最孤寂的星球》这部电影,希望看看别人是怎么孤寂的。     

归结原理及其在数学定理证明中的应用

对归结原理的基本概念与推理规则进行了讨论,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。     

格值命题逻辑系统LP(X)中广义文字的α-归结域

格值命题逻辑系统LP（X）中广义文字的α-归结域的研究，是基于格值命题逻辑系统LP（X）的α-归结原理研究的继续．该逻辑系统的逻辑真值域是格蕴涵代数．讨论了LP（X）的常量、命题变元和一些广义文字的性质，并得到了它们的α-归结域。