DISCHARGING FUNCTION AND THE THREE COLOUR PROBLEM

由于Ｇｒｏｔｚｓｃｈ，下面的构形是三色可约的：一个五边形连接４个３度的顶点．在Ｇｒｏｔｚｓｃｈ三色定理和Ｇｒｕｎｂａｕｍ三色定理的证明过程中，证明上述构形的存在性是关键的一步．本文运用ｄｉｓｃｈａｒｇｉｎｇ函数加以证明．     

discharging函数和三色问题

由于Ｇｒｏｅｔｚｓｃｈ，下面的构形是三色可约的：一个五边形连接４个３度的顶点。在Ｇｒｏｅｔｚｓｃｈ三色定理和Ｇｒｕｅｎｂａｕｍ三色定理的证明过程中，证明上述构形的存在性是关键的一步。本文动作２ｄｉｓｃｈａｒｇｉｎｇ函数加以证明。     

关于《On right continuity of a family of two-parameter σ-fields》一文若干问题的探讨

探讨《Ｏｎｒｉｇｈｔｃｏｎｔｉｎｕｉｔｙｏｆａｆａｍｉｌｙｏｆｔｗｏ－ｐａｒａｍｅｔｅｒσ－ｆｉｅｌｄｓ》（刊登在杂志ＳｔｏｃｈａｓｔｉｃＰｒｏｃｅｓｓｅｓａｎｄｔｈｅｉｒＡｐｐｌｉｃａｔｉｏｎｓ，１９９７，６６：１０７～１１３）所讨论的问题，指出该文主要命题的证明推导过程存在实质性错误．     

重组质粒pPRS—1超声转化蓝藻Chroococcus sp.的研究

介绍了超声转化蓝藻的方法，并用此方法获得了重组质粒ｐＰＲＳ－１转化Ｃｈｒｏｏｃｏｃｃｕｓ ｓｐ．的转化藻落。从这些转化藻落中检测到重组质ｐＰＲＳ－１。此结果证明重组质粒ｐＰＲＳ－１是一种Ｅ．ｃｏｌｉ和Ｃｈｒｏｏｃｏｃｃｕｓ ｓｐ．之间均可转化的穿梭质粒。     

重组质粒pPRS－1超声转化蓝藻Chroococcussp．的研究

介绍了超声转化蓝藻的方法，并用此方法获得了重组质粒ｐＰＲＳ－１转化Ｃｈｒｏｏｃｏｃｃｕｓｓｐ．的转化藻落。从这些转化藻落中检测到重组质ｐＰＲＳ－１．此结果证明重组质粒ｐＰＲＳ－１是一种Ｅ。ｃｏｌｉ和Ｃｈｒｏｏｃｃｕｓｓｐ．之间均可转化的穿梭质粒。     

交叉余积的性质和对偶定理的应用

给出了ｃｏ－Ｆｒｏｂｅｎｉｕｓ余代数上的交叉余积的重要性质，同时给出了Ｍａｓｃｈｋ定理的一种简单证明，并且还刻划了交叉积的半单性与半素性。     

关于∑cos~3A／2及其几何不等式

证明和推翻了关于三角形几何不等式∑ｃｏｓ￣３的若干猜想，解决了在等腰三角形、直角三角形及一般三角形等有关条件下∑ｃｏｓ￣３的上、下限问题，建立了关于∑ｃｏｓ￣３的一系列新几何不等式。     

关于L＿P（1≤P＜∞）空间上Gauss测度的一些注记

给出了Ｒａｊｕｐｔ的关于Ｌｐ空间上的Ｇａｕｓｓ测度的特征的一个简化证明．在这个证明中，没有用到Ｌｐ空间Ｓｃｈａｕｄｅｒ基的存在性．     

相对于挠理论的Jacobson环的Morita不变性

设τ是一个挠理论。本文定义了τ－Ｊａｃｏｂｓｏｎ环，证明出τ－Ｊａｃｏｂｓｏｎ环具有Ｍｏｒｉｔａ等价不变性，即若模范畴Ｒ－ｍｏｄ≈Ｓ－ｍｏｄ，则Ｒ是τ－Ｊａｃｏｂｓｏｎ环，当且仅当Ｓ是σ＝θ（τ）－Ｊａｃｏｂｓｏｎ环。     

丢番图方程（1＋ck）~r＝（1＋cn）~r

本文证明了当ｎ，ｒ为正整数，ｓ为非负整数，ｃ＝８０ｓ＋９，丢番图方程（１＋ｃｋ）ｒ＝（１＋ｃｎ）ｒ，无整数解     

Microsoft Access及其应用系统设计

介绍了一种新型的关系数据库管理系统Ｍｉｃｒｏｓｏｆｔ Ａｃｃｅｓｓ的主要特点，并给出了利用Ａｃｃｅｓｓ设计应用软件系统的一种有效的方法。     

不动点理论和广义补问题

在本文中利用Ｉｓａｃ引入的保序投影锥的性质，点值和集值映象的已知不动点定理，对广义补问题ＧＣＰ（Ｆ、Ｋ）和广义隐补问题ＧＩＣＤ（Ｆ，ｇ，Ｋ）证明了解的存在性定理．且改进和推广了Ｉｓａｃ和Ｉｓａｃ－Ｎéｍｅｔｈ的最近结果。     

小波包频谱结构的数值分析

在一些文献中都给出了小波包能将小波频谱进一步细分这一论断，但并没给出数学上的证明，本文通过数值计算的方法，以Ｄａｕｂａｃｃｈｉｅｓ小波为例，给出小及相应小波包的频谱，通过比较频谱图验证了这一论断的正确性。     

四川盆地晚侏罗世蜥脚类一新种

文章记述了在四川盆地上侏罗统上沙溪庙组采到的一批巨型蜥脚类恐龙化石新材料,建立了一新种——井研马门溪龙（Ｍａｍｅｎ－ｃｈｉｓａｕｒｕｓｊｉｎｇｙａｎｅｎｓｉｓｓｐ．ｎｏｖ．）。新种的发现进一步证明马门溪龙属（ＭａｍｅｎｃｈｉｓａｕｒｕｓＹｏｕｎｇ,１９５４）及马门溪龙科（ＭａｍｅｎｃｈｉｓａｕｒｉｄａｅＹｏｕｎｇｅｔＣｈａｏ,１９７２）的分类位置应归勺齿蜥龙超科（Ｂｏｔｈｒｏｓａｕｒｏ－ｐｏｄｏｉｄｅａＹｏｕｎｇ,１９５８）。     

热凝多糖产生菌及其所产多糖的研究

野外采样分离筛选得到一株热凝多糖产生菌ＱＬ１０９菌株，该菌株非粪产碱菌（Ａｌｃａｌｉｇｅｎｅｓｆａｅｃａｌｉｓｖａｒ．ｍｙｘｏｇｅｎｅｓ）．经摇瓶发酵得到ＱＬ１０９菌株产生的多糖，该多糖经红外光谱等的初步分析，结果表明：ＱＬ１０９菌株产生的多糖与ＳＩＧＭＡ公司的标准品热凝多糖（Ｃｕｒｄｌａｎ）结果一致，证明ＱＬ１０９菌株是热凝多糖产生菌．进一步的实验证明，该菌株所产生的热凝多糖具有良好的流变学性质．     

带量词的合一算法

Ｒｏｂｉｎｓｏｎ于 １９６５年提出了归结原理，其主要工作是 Ｕｎｉｆｉｃａｔｉｏｎ算法。这个算法只能处理不带量词的子句公式，它不能用来发现定理的自然演绎证明。本文的算法能处理量词，它能用在基于自然演绎的定理证明系统上。文中给出合一定理的证明，基于此算法的自动自然演绎系统已实现，用它证明了Ａｎｄｒｅｗｓ；Ｂｌｅｄｓｏｅ和Ｐｅｌｌｏｔｉｅｒ挑战性问题。     

在Minkowski时空中的具质量项的Yang—Mills—…

讨论了具质量项的Ｙａｎｇ－Ｍｉｌｌｓ－Ｈｉｇｇｓ方程，证明一类径向解的大范围解的存在唯一性，其Ｃａｕｃｈｙ数据依赖于一对任意函数。     

陈—Mobius变换与Mobius函数的Kroneckerδ函数展开

给出Ｍｏｂｉｕｓ函数的Ｋｒｏｎｅｃｋｅｒδ函数展开式，由此用组论证明陈－Ｍｏｂｉｕｓ反演变换。根据Ｋｒｏｎｅｃｋｅｒδ函数展开式， 将Ｍｏｂｉｕｓ函数推广到任意幺半群的情况并给出相应的反演公式。     

网络信息过滤中的固定文章集表达方法

为解决在信息过滤（ｉｎｆｏｒｍ ａｔｉｏｎ ｆｉｌｔｅｒｉｎｇ）中表达用户的信息需求困难的问题，提出了一种新方法——固定文章集法（ｆｉｘｅｄ ｄｏｃｕｍ ｅｎｔｓｅｔ， Ｆ Ｄ Ｓ）。在这种方法中，用户可以通过评价一些专门选择的文章来表达自己的信息需求。这避免了用户选择关键词的困难，扩大了用户信息需求表达的空间，同时可以应用于处理多语种信息过滤和社会化过滤问题。选择固定文章集使用选择文章基因法（ｓｅｌｅｃｔｄｏｃｕｍ ｅｎｔ＇ｓｇｅｎｅ， Ｓ Ｄ Ｇ），实验证明， Ｓ Ｄ Ｇ 的性能较其它方法有明显优势     

关于一致非方的Orlicz空间

给出了Ｍ．Ｍ．Ｒａｏ和任重道的专著《Ａｐｐｌｉｃａｔｉｏｎｓ ｏｆ Ｏｒｌｉｃｚ Ｓｐａｃｅｓ》第二章第三节定理１和定理２的证明,从而完成了关于Ｊａｍｅｓ意义下Ｏｒｌｉｃｚ空间一致非方性质的讨论。