Horn集上的语义正单元归结

Ｌ． Ｈｅｎｓｃｈｅｎ证明了语义归结对 Ｈｏｒｎ集是完备的［１］。但是语义归结不是正单元归结。本文的主要结果是不可满足的Ｈｏｒｎ子句集合Ｓ有这样一个反驳，对于这个反驳的每一个归结来说，或者一个祖先子句是正单元，而且该正单元在 Ｉ上是假的；或者一个祖先子句是正单元，而且从另一个祖先子句和这个归结式中删去他们的正义字后剩下的子句在 Ｉ上都是假的．其中 Ｉ是 Ｓ的任何一个解释。     

关于单元证明的几个结果

本文讨论了基本子句集合有单元(线性-单元、输入-单元、输入-正的单元)反驳的条件,证明了子句的文字不超过两个的不可满足的Horn集有输入-单元反驳.     

Horn—Johnson定理的推广及其R.C.Thompson定理的简化证明

本文首先推广了Ｒ．Ａ．Ｈｏｒｎ和Ｃ．Ｒ．Ｊｏｈｎｓｏｎ的一个奇异值不等式定理，从而简化证明了Ｒ．Ｃ．Ｔｈｏｍｐｓｏｎ定理。同时指出，Ｈｏｒｎ－Ｊｏｈｎｓｏｎ定理和Ｔｈｏｍｐｓｏｎ定理等价。     

r重gcd－closed集合上的LCM矩阵

设Ｓ＝｛ｘ１，ｘ２，…，ｘｎ｝为一个ｎ元正整数集合．Ｂｏｕｒｑｕｅ和Ｌｉｇｈ猜想最大公因子封闭（ｇｃｄ－ｃｌｏｓｅｄ）集合Ｓ上的最小公倍（ＬＣＭ）矩阵［Ｓ］ｎ是非奇异的．作者引进ｒ重ｇｃｄ－ｃｌｏｓｅｄ集合来研究上述猜想．证明了当ｎ≤５时上述猜想成立．当ｎ≥６时，（ｎ－５）重最大公因子封闭集合Ｓ上的ＬＣＭ矩阵［Ｓ］ｎ是非奇异的     

Signature算子的局部指标定理的非直接证明

１９６７年Ｍｃｋｅａｎ－Ｓｉｎｇｅｒ（２）把局部指标定作为一个猜测提了出来。１９７１年Ｐａｔｏｄｉ（３，４）一举证明了ｄｅ Ｒｈａｍ－Ｈｏｄｇｅ算子，Ｒｉｅｍａｎｎ－Ｒｏｃｈ算子的局部指标定量，１９７３年Ｇｉｌｋｅｙ证出了一个“消去”定理，并且大家都认为Ｓｉｇｎａｔｕｒｅ算子局部指标定理是Ｇｉｌｋｅｙ定理的推论，用Ｇｉｌｋｅｙ定理的推理，用Ｇｉｌｋｅｙ定理来给出Ｓｉｇｎａｔｕｒｅ算子的局部指标定理     

Acerbi—Fusco定理的一个新证明

Ａｃｅｒｂｉ－Ｆｕｓｃｏ利用Ｓｏｂｏｌｅｖ空间ＷＰ（Ｇ，Ｅ＾Ｎ）中函数的逼定理得到了拟凸泛函Ｉ（ｕ，Ｇ）＝∫Ｇｆ（ｕ）ｄｘ，Ｕ∈ＷＰ（Ｇ，Ｅ＾Ｎ），Ｐ≥２，Ｎ〉１极小的部分正则性，Ｅｖａｎｓ－Ｇａｒｉｅｐｙ利用Ｒａｄｏｎ测度的性质重新证明了Ａｃｅｒｂｉ－Ｆｕｓｃｏ定量，本文我们给出一个较为简捷的证明，既不用Ｗ（Ｇ，Ｅ＾Ｎ）中的逼近定理，也不用Ｒａｄｏｎ测度的任何性质。     

caccc半序集及其不动点性质

旨在寻找ｃａｃｃｃ半序集Ｐ的一个新子集合,使这个集合的不动点性质与Ｐ的不动点性质一致,采用了序集理论中的不动点方法,证明了若Ｐ是ｃａｃ半序集,则Ｄ（Ｐ）＝｛ｘ∈Ｐ：存在≤≤－极大元ｙ,满足ｙ≤≤ｘ｝＝Ｐ,并对李伯渝的论文“Ｔｈｅ ａｔｎｔｉ－ｏｒｄｅｒ ｆｏｒ ｃａｃｃｃ ｐｏｓｅｔｓ”（Ｄｉｓｃｒｅｔｅ Ｍａｔｈｅｍａｔｉｃｓ,１９９６,１５８：１７３－１８４）的结论和证明作了简化。     

带量词的合一算法

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

DF命题的矩阵归结

对DFL归结方法作进一步的研究,阐述了DF命题的矩阵归结的理论．对任一DF命题归结反演,得到对应的子句集,采用⊙运算分离DF数和DF命题得到原DF命题的命题归结矩阵,由子句集的不可满足性条件,应用鲁宾逊归结原理,得出DF命题的矩阵归结方法,证明了矩阵归结法的成立定理,并给出了矩阵归结方法的一个推论．     

连续参数集值下鞅的收敛定理

首先给出了连续参数集值下鞅的定义．继而证明了连续参数集值下鞅的三个等价定理：（ａ）Ｌ１ｗｋｃ（Ｘ）值下鞅等价于任给τ１＜τ２,τ１,τ２∈Ｔ,∫ΩＦτ１ｄＰ∫ΩＦτ２ｄＰ;（ｂ）Ｌ１ｆｃ（Ｘ）值下鞅等价于任给ｓ,ｔ∈Ｒ＋,ｓ＜ｔ,Ｓ１Ｆｓ（Ｆｓ）ｃｌ｛Ｅ（ｇ｜Ｆｓ）,ｇ∈Ｓ１Ｆｔ（Ｆｔ）｝;（ｃ）Ｘ可分时,闭凸集值下鞅等价于任给ｓ,ｔ∈Ｒ＋,ｓ＜ｔ,Ａ∈Ｆｓ,ｃｌ∫ＡＦｓｄＰｃｌ∫ＡＦｔｄＰ．最后给出了弱紧凸集值随机集族的弱收敛定理和Ｘ有ＲＮＰ,Ｘ可分时闭凸集值右连续下鞅的弱收敛定理．     

p－反演算子及拓扑度计算

设Ｘ是实Ｂａｎａｃｈ空间，Ω（Ｘ）是非空有界开集，θ对Ｐ≠１，令称Ω＿ｐ为Ω的ｐ－反演集．设Ｆ：→全连续，在ｂｄ（Ω）上没有不动点，定义Ｆ＿ｐ：→Ｘ为称Ｆ＿ｐ为Ｆ的ｐ－反演算子．证明了：定理１ｄｅｇ（Ｉ－Ｆ＿ｐ，Ω＿ｐ，θ）＝ｓｉｇｎ（１－ｐ）·ｄｅｇ（Ｉ－Ｆ，Ω，θ）．定理２　若存在ｘ＿０∈Ω，使对任意ｘ∈ｂｄ（Ω），λ≥１，有则ｄｅｇ（Ｉ－Ｆ，Ω，θ）＝ｓｉｇｎ（１－ｐ）．     

无线广播网络的可靠性的一个算法

提出了一个无线广播网络（Ｒａｄｉｏ－ＢｒｏａｃｄｃａｓｔＮｅｔｗｏｒｋ，ＲＢＮ）的概率有向图模型，利用该模型，证明了计算ＲＢＮ的２终点可靠性是个ＮＰ－困难问题，进而提出几个保何靠性约化（Ｒｅｌｉａｂｉｌｉｔｙ－ＰｒｅｓｅｒｖｉｎｇＲｅｄｕｃｔｉｏｎ）和一个计算ＲＢＮ的２－终点可靠性的因子算法。     

线性算子半群的新的生成定理

证明了一个连续函数成为某个函数ｆ（ｔ）的Ｌａｐｌａｃｅ变换的一个新的充要条件，从而得到了不同于Ｈｉｌｌｅ－Ｙｏｓｉｄａ定理的算子半群生成定理。     

Hα空间中的函数逼近度

用Ｆｏｕｒｉｅｒ级数和Ｔｃｈｅｂｙｃｈｅｆｆ－Ｆｏｕｒｉｅｒ级数的（Ｈ）算子，证明了一个新定理。本文的结果包含了一些作者的最新成果，尤其文「２」中的定理Ａ是本定理推论中的一个非常特殊的情形。     

∑cos~3A／2＜2与Kooistra不等式

证明了若－π≤Ａ，Ｂ，Ｃ≤π且Ａ＋Ｂ＋Ｃ＝π，则（４＋２３）ｃｏｓ３Ａ２＋（５－２３）ｃｏｓ２Ａ２≤１８，由此导出了陈计１９９２年的猜测ｃｏｓ３Ａ２＜２及推广了Ｋｏｏｉｓｌｔｒａ不等式ｃｏｓ２Ａ２＞２     

λ-演算的一种扩充

对任一固定的集合ＡＮ（Ｎ表示自然数集）,本文定义了λ－演算的一种扩充λＡ－演算．证明了λＡ－演算具有Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质,从而是协调的．并证明了λＡ－可定义全函数与Ａ－递归函数是等价的．     

Ahlswede-Cai不等式极端情形的再研究

Ａ．Ｊ．Ｒａｄｃｌｉｆｅ和Ｚｓ．Ｓｚａｎｉｓｚｌó关于Ａｈｌｓｗｅｄｅ－Ｃａｉ不等式极端情形的研究,给出了ｋ＝１和ｋ＝２时,（Ａ,Ｂ）为极系对的必要条件．本文证明了若（Ａ,Ｂ）为满足上述必要条件的集系对且Ｘ∈Ｕ（Ａ）＼Ｄ（Ｂ）,则ＷＡ（Ｘ）＝０,从而根据Ａｈｌｓｗｅｄｅ－Ｃａｉ不等式,得出上述必要条件亦为极系对的充分条件,并使得ｋ＝１和ｋ＝２时极系对的结构定理在叙述上得到统一,同时纠正了Ａ．Ｊ．Ｒａｄｃｌｉｆｅ和Ｚｓ．Ｓｚａｎｉｓｚｌó文章中的两个错误．     

Antivirale Therapie und Monitoring,Mglichkeiten der Frhintervention nach Nadelstichverletzungen oder Sexueller Exposition

ｏｅｂｅｌＦ．Ｄ．（ＭｅｄｉｚｉｎｉｓｃｈｅＰｏｌｉｋｌｉｎｉｋｄｅｒＬｕｄｗｉｇ－ＭａｘｉｍｉｌｉａｎｓＵｎｉｖｅｒｓｉｔｔ，Ｍüｎｃｈｅｎ８０３３６）ＭｉｔｄｅｒｈｅｕｔｅｖｅｒｆüｇｂａｒｅｎＺｗｅｉ－，Ｄｒｅｉ－ｏｄｅｒｇａｒＶｉｅｒｆａｃｈ...     

有限域上具有少数不动点的Dickson多项式

设（ｎ，ｑ＾２－１），则Ｄｉｃｋｓｏｎ多项式Ｄ（ｘ，１）是有限域Ｆｑ上的一个轩换多项式。本文证明了：如果ｑ是一个素数的幂（ｑ≥５），则存在正整数ｎ，（ｎ，ｑ＾２－１）＝１，ｎ＜ｃ１（ｌｏｇｑ）＾ｃ２，使得Ｄｎ（ｘ，１）在Ｆｑ上恰有５个不动点，这里ｃ１，ｃ２是绝对常数。     

In Vitro Konstruktion und Erfolgreiche Transplantation von Kryokonservierten Membran-Zel-Transplantaten(MZT) auf Vollhautwunden Athymischer Nacktmuse

Ｋｏｐｐ，Ｊ１，２）Ｊｉａｏ，Ｘ．Ｙ．１，３）Ｃｈｅｎ，Ｙ．Ｌ．１，２）Ｓｔａｒｋ，Ｇ．Ｂ．１，２，３）（１）ＡｂｔｅｉｌｕｎｇＰｌａｓｔｉｓｃｈｅｕｎｄＨａｎｄｃｈｉｒｕｒｇｉｅ，ＣｈｉｒｕｒｇｉｓｃｈｅＵｎｉｖｅｒｓｉｌｔｓｋｌｉｎｉｋ，Ｆｒｅｉ...