积分语义学中的积分相似度与伪距离

研究了积分语义学理论的相似度与伪距离，对特殊公式Ｉｎ＝ｐ１∧ｐ２∧…∧ｐｎ，Ｕｎ＝ｐ１∨ｐ２∨…∨ｐｎ的真度值进行了计算，给出了Ｆ（Ｓ）中的积分相似度和Ｆ（Ｓ）上的伪距离的一些性质。得到了：（１）在任何一个逻辑系统中τ（Ｉｎ）＝１ｎ＋１，τ（Ｕｎ）＝ｎｎ＋１；（２）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中，对公式Ａ和正数ε，存在公式Ｂ，使得１－ε〈ξ（Ａ，Ｂ）〈１；（３）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统     

图平均距离的一个上界

设Ｇ为ｎ阶简单图，ｄＧ（ｕ，ｖ）记为顶点ｕ，ｖ之间的距离，称Ｄ（Ｇ）＝（Σｕ≠ｖｄＧ（ｕ，ｖ）／（ｎ２））为Ｇ的平均距离。本文给出了用Ｇ的顶点数和连通度表示的图平均距离的一个上界     

盒子中蛇问题回溯算法

研究了盒子中的蛇问题,即求ｎ方体Ｑ＾ｎ中最大导出环Ｓｎ问题;已知｜Ｓ２｜＝４,｜Ｓ３｜＝６,｜Ｓ４｜＝８,｜Ｓ５｜＝１４,｜Ｓ６｜＝２６,通过回溯算法证明了｜Ｓ７｜＝４８,｜Ｓ８｜≥９４,并给出猜想｜Ｓｎ｜≤２｜Ｓｎ－１｜－２（ｎ≥３）。该猜想对３≤ｎ≤７已成立。     

Gale—Shapley匹配的推广

该文推广了Ｇａｌｅ－Ｓｈａｐｌｅｙ匹配的男孩－最优算法。证明了当男孩挑选时，允许某些男孩可以不挑选，则Ｇ－Ｓ匹配的最大步数为ｎ＾２－ｎ＋１。给出了一般情形下的Ｇａｌｅ－Ｓｈａｐｌｅｙ匹配，即有ｍ个男孩，ｎ个女孩时，男孩－最优算法的最大步数是ｍ（ｍ－１）＋１，或ｎ（ｍ－１）＋１；女孩－最估算法的最大步数是ｎ（ｎ－１）＋１，或ｍ（ｎ－１）＋１。     

具有固定线和的（0,1）—矩阵的最大跳跃数

给出了具有固定线和的（０,１）－矩阵的最大跳跃数的一个上界和一个下界,证实了Ｂｒｕａｌｄｉ的猜想,如果ｋ／ｎ,（ｎ ｍｏｄ ｋ）／ｋ,则Ｍ（ｎ,ｋ）〈２ｎ－１－〔ｎ／ｋ〕。     

简单平面三角剖分图中各生成两部子图的最大次

讨论了简单平面三角剖分图中各生成两部子图的最大次的取值范围,否定了郁星星提出的生成两部子图最大次的上界为常数的猜想,并且得到了下面的主要结果。（１）设Ｇ是简单平面三角剖分图,当ｎ＝３时,ａ０（Ｇ）＝１;当ｎ＝４时,ａ０（Ｇ）＝ａ１（Ｇ）＝ａ２（Ｇ）＝１;当ｎ≥５时,有２≤ａ０（Ｇ）≤ａ１（Ｇ）≤ａ２（Ｇ）≤「△（Ｇ）／」,且下界ａ０（Ｇ）－２能达到。⑵若ｌ是不小于３的整数,则（ａ）存在简单平面三角     

焦磷酸锶镁：锡荧光体的发光特性

用高温固相反应法合成了（Ｓｒ１－ ｘ Ｍｇｘ ）２ Ｐ２Ｏ７ ∶Ｓｎ（３．３×１０－ ２ ）和（Ｓｒ０．９Ｍｇ０．１ ）２ Ｐ２Ｏ７ ∶ｘＳｎ两个体系系列样品,在紫外线激发下,详细地测量了它们的发射光谱,讨论了Ｍｇ 含量对（Ｓｒ１－ ｘ Ｍｇｘ ）２Ｐ２Ｏ７ ∶Ｓｎ 和Ｓｎ 含量对（Ｓｒ０．９ Ｍｇ０．１ ）２Ｐ２ Ｏ７ ∶ｘＳｎ 体系发光性能的影响,认为（Ｓｒ０．９Ｍｇ０．１ ）２Ｐ２Ｏ７ 是Ｓｎ２＋ 较好的一种基质材料．     

关于n维单形宽度的一个结果

证明了关于ｎ维单形宽度的一个不等式，结果是Ｗ≤（ｓｉｎθ）＾１／２αｎ（１／ｎ＋１Σ↑ｎ＋１↓ｉ＝１Ｒｉ＾２）＾１／２。这一结果蕴含并推广了Ｓａｌｌｅｅ－Ａｌｅｘａｎｄｅｒ定理。     

包装树和不含K3的（P,P＋1）图

给出同阶（阶数≥７）树和不含Ｋ＿３的（Ｐ，Ｐ＋１）图可包装的充要条件为｛Ｇ＿１，Ｇ＿２｝不是下述图对之一：（１）｛Ｓ＿ｎ，Ｇ＿２｝，其中Ｓｎ是ｎ阶星图，Ｇ＿２是无孤立点的（Ｐ，Ｐ＋１）图；（２）｛Ｓ＇＿ｎ，Ｇ＿２｝，其中Ｓ＇＿ｎ是由Ｓ（ｎ－１）的任一边上增加一个剖分点得到的ｎ阶树，Ｇ＿２是最小度大于１的（Ｐ，Ｐ＋１）图。     

（0,1）——矩阵类U（R,S）的势函数

讨论了（０，１）－－矩阵类Ｕ（Ｒ，Ｓ）中所含指定的行和向量Ｒ＝（ｒ１，ｒ２，．．．，ｒｍ），列和向量Ｓ＝（ｓ１，ｓ２，．．．，ｓｎ）的（０，１）－矩阵的势ｆｍ，ｎ（Ｒ，Ｓ），给出了求ｆｍ，ｎ（Ｒ，Ｓ）的递归公式。     

一个Heilbron型问题的渐近估计

平面上ｎ个不同的点间的最大距离和最小距离的比记为ｒｎ，ｒｎ的下确界设为Ｒｎ。在本文中我们求得了Ｒｎ的上界，即Ｒｎ＜Ｃ１　＋　，这里Ｃ１＝１．０５００７５…。由此得到渐近估计：Ｒｎ～Ｃ１　．     

关于整数n与n＋1的最大素因子

给出了如下结果的后个直接（新）的证明：对任给的ε〉０，总存在无穷多个正整数ｎ，使得Ｐ（ｎ）〉ｎ＾１－ε，Ｐ（ｎ＋１）〉ｎ＾１－ε。其中Ｐ（ｎ）表示自然数ｎ的最大素因子。     

单圈图的次小特征值

设Ｇ为ｎ阶简单连通单圈图,λｎ－１（Ｇ）为Ｇ的次小特征值,给出了同构于Ｓ３ｎ的Ｇ的次小特征值及λｎ－１（Ｇ）的一个上界．     

n阶树的指数分布

设Ｔｎ表示全体ｎ阶树所构成的集合，记Ｔ（ｎ，ｄ）＝（Ｔ∈Ｔｎ│Ｔ中恰有ｄ（≥１个环），本文证明了Ｔ（ｎ，ｄ）的本质指数集合为Ｓｎｄ，为：Ｓｎｌ＝（２，４，．．．２ｎ－２）；Ｓｎ，ｄ＝（２，３，．．．，ｎ－１）∪（ｎ，ｎ＋１，．．．，２ｎ－２ｄ）∩（２ｉ│ｉ＝１，２，．．．ｎ－ｄ）（ｄ≥２）。并证明了Ｔ（ｎ，ｄ）的幂敛指数集Ｓｎ＝（２，３，．．．ｎ－１），进一步刻划了Ｔ（ｎ，ｄ）中本原指数达到２ｎ－     

只有一个变点模型的跳变度和坡变度的联合分布

对只有一个变点模型ｘ（ｉ／ｎ）＝ｆ（ｉ／ｎ）＋α（ｉ／ｎ），其中，ｆ（ｆｔ）＝「Ｊ１＋Ｓ１（ｔ－ｔ０），０〈ｔ≤ｔ０，Ｊ２＋Ｓ２（ｔ－ｔ０），ｔ０〈ｔ≤１，ε（ｎ／ｎ），…，ε（ｎ／ｎ）独立同分布，Ｊ１，Ｊ２，Ｓ１，Ｓ２，ｔ０为未知参数，讨论了变点ｔ０处，跳变度（Ｊ２－Ｊ１）和坡变度（Ｓ２－Ｓ１）的联合分布。     

∑cos^2n＋1A的全局最大值的迭代算法

给出在△ＡＢＣ中，Ｇ２ｎ＋１＝∑ｃｏｓ＾２ｎ＋１Ａ（ｎ∈Ｎ）的全局最大值的一种迭代算法，运用该算法在ＰＣ机上算得（Ｇ１５）ｍａｘ＝１．１９６４１５５９３…     

n维Oppenheim不等式及其应用

设ａ＿ｉ（ｉ＝１，２，３）为三角形ΔＡ＿１Ａ＿２Ａ＿３的边长，Ｓ为ΔＡ＿１Ａ＿２Ａ＿３的面积，λ＿ｊ（ｊ＝１，２，３）为任一组正数．作者将Ｏｐｌｓｏｎｂｅｉｍ三角形不等式推广到ｎ维欧氏空间Ｅ￣ｎ中的ｎ维单形，从而获得了ｎ维单形的Ｏｐｐｅｎｂｅｉｍ不等式这里Ｖ是ｎ维单形Ａ＿１Ａ＿２…Ａ＿（ｎ＋１）的体积，Ｖ＿ｉ为顶点Ａ＿ｉ所对之侧面的面积，λ＿ｉ为任意一组正数．     

产生 2 元 de Bruijn 序列的一个新算法

ｄｅＢｒｕｉｊｎ序列是一类周期最长的伪随机序列。给出了二元ｄｅＢｒｕｉｊｎ序列的一种新的生成算法，该算法能产生２ＳＮ（ｎ．ｓ）个ｎ级２元ｄｅＢｒｕｉｊｎ序列，其中０≤Ｓ≤２ｎ－７２；当２ｌ－１＜Ｓ≤２ｌ时，Ｎ（ｎ，ｓ）＝ｎ－６－２ｌ－［ｎ－２ｌ－７ｌ＋１］－。     

关于Grassmann流形G2（n＋2）上测地线的一些性质

本文首先针对一类Ｇｒａｓｓｍａｎｎ流形Ｇ２（ｎ＋２），给出它的一种几何实现Ｇ１（ｓｎ＋１），即单位球面Ｓｎ＋１Ｒｎ＋２上的全体大圆所构成的流形．证明了它们之间是等距微分同胚的．同时利用Ｙ．Ｃ．Ｗａｎｇ关于一般Ｇｒａｓｓｍａｎｎ流形上微分几何的研究结果，在Ｇ１（Ｓｎ＋１）上证明了测地线的一些更具体的性质．这些结果都具有非常直观的几何意义．     

二重(n_1,n_2)型循环矩阵和二重(n_1,n_2)型对称循环矩阵及其非异性

给出了二重（ｎ１，ｎ２）型对称循环矩阵的新概念并研究了它们的某些性质，特别是给出了仅用二重（ｎ１，ｎ２）型循环矩阵或二重（ｎ１，ｎ２）型对称循环矩阵第一行的元素就可判断其非异性的一种简便方法