Locale的紧正则极不连通反射

本文从任一给定LocaleA,构造出一个紧正则极不连通Locale J(A),且证明了:(1)A是J(A)的稠子locale当且仅当A是正则极不连通(2)对是范畴Loc到子范畴KREDLOC的函子(3)J是子范畴KREDLOC到范畴EDLOC的包含函子的左伴随函子,(即KREDLOC是范畴EDLOC的可反射子范畴。     

逻辑函数的卡诺图化简

本文针对卡诺图逻辑函数中不易掌握极易出错之处,提出了和常规化简方法不同的化简方法。     

子分子格上子算子诱出的余拓扑与相对余拓扑之间的关系

本文讨论分子格上几种算子(闭包算子、-远域算子和-强导元算子等)在子分子格上诱出的子算子确定的余拓扑与相对余拓扑之间的关系。     

MKdV方程、SG方程与非线性Schrǒdinger方程的关系

ＭＫｄＶ方程和ＳＧ方程是描述非线性波动具有代表性的两个重要方程。本文通过对这两个方程进行小振幅下的Ｆｏｕｒｉｅｒ展开分析和呼吸子解分析，得出在小振幅慢变位相情形下都满足非线性Ｓｃｈｒｄｉｎｇｅｒ方程，从而揭示了非线性波动方程的一些共同特性和内在联系．     

VAX系列计算机在通讯方面的应用

本简单介绍ＶＡＸ Ⅱ计算机在通讯方面是如何实现的。     

NEHARI技巧在HAMILTON系统的极小周期解的存在性问题中的应用

利用关于约束极值的Ｎｅｈａｒｉ技巧和完备Ｆｉｎｓｌｅｒ流形上满足Ｐａｌａｉｓ－Ｓｍａｌｅ条件的下有界连续可微泛函存在极小值点的定理，研究了非凸二次和超二次二阶Ｈａｍｉｌｔｏｎ系统的极小周期解的存在性。     

拟正则图的最大线图连通度及其应用

引入了则（ｐ，ｑ）图的最大线图连通度Ｒ（ｐ，ｑ），得到上、下界至多相差１的Ｒ（ｐ，ｑ）的取值范围：２ｍ－２≤Ｒ（ｐ，ｑ）≤２ｍ－２＋［２ｍｒ＋ｒ／ｍｐ＋ｒ］，其中ｍ＝［２ｑ／ｐ］，ｒ＝（２ｑ）ｍｏｄｐ。将此结果应用于容错多总线系统的最优设计，提出了两类最优容错设计，推广了已有结果，并揭示出处理机个数相对于总线条数较大时最优容错设计的广泛存在性。     

高T_c超导氧化物中受激载流子的飞秒弛豫过程

飞秒泵浦探测技术通过研究超导体中光激发的非平衡载流子的瞬态弛豫过程,可以直接测量BCS理论中的电声耦合常数λ.人们已经用这种技术对常规的金属超导体进行了广泛的研究,获得了常规超导体中非平衡载流子的弛豫动力学和电声相互作用的信息.高温氧化物超导体问世以来,其超导电性的微观机制仍不甚清楚.最近,对高T_c氧化物超导体的飞秒瞬态谱的研究已经得到了一些有意义的结果.但是,这些结果并未揭示高T_c超导体中电     

球面中具有低指标的极小超曲面

设M~n为S~(n+1)中的n维紧致定向极小超曲面,M~n的第二变分的Jacobi算子为L=△+s+n,其中s是M~n的第二基本形式模长的平方,△为M~n关于诱导度量的Laplace算子.M~n的指标IndM~n定义为L的负特征值的个数(按重数计).M~n为稳定等价于IndM~n=0.Simons证明了.IndM~n≥1且等号成立当且仅当M~n为全测地,维数n=2时,Urbano利用Dirichlt积分的     

关于HOVEY的一个猜想

证明了Ｈｏｖｅｙ在１９９１年的一篇文章中提出的一个猜想，并弥补了Ｈｏｖｅｙ在同一篇文章中一个定理证明中的漏洞．类比ｋ－忠实标号对图的调和标号的推广，优美标号做了进一步的推广。