一类图的强最大亏格嵌入

图的嵌入理论是拓扑图论中一个中心课题.图的最大亏格嵌入的刻画和研究已较完善.但对于强嵌入,这方面的讨论却很少.本文对于平面上的不含不交(指无公共节点)圈的图以及完全图K5,利用构造强最大亏格嵌入的方法,给出了强最大亏格.同时,也给出了完全二部图K3,k(k≥3)的不可定向强最大亏格的一个下界.     

地表移动破坏裂缝特征及其控制方法

通过分析地下开采的影响，黄土覆盖层变形裂缝规律，提出以开采方法和工艺方式来控制或减弱地表变形裂缝破坏程度，并在保护地表建筑物的前提下，最大限度回收“三下”呆滞煤炭     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

一类振荡积分渐近可展条件

本文讨论了一类振荡函数积分的渐近展开的充要条件 ,改进了一些已知的结果     

视觉与材质——油画颜料的视觉效果

本文通过对佛兰德斯和北欧、意人利和南欧的色层语言的分析,可以看出油画这种艺术形式之所以能长时期吸引人们,与它的材质密切相关。这种由材质形成的色层语言不仅生动地表现了对自然的摹仿,而且体现出它独特的色层美感。     

长春市园林木本地被植物的应用与发展

通过对长春市园林木本地被植物应用的调查研究表明，目前长春市园林绿化常见木本地被植物共有21种：其中，木质藤本地被植物有4种，隶属2科，3属；矮灌木地被植物有10种，隶属5科7属；整形木本地被植物有7种，隶属4科6属。本文介绍了木本地被植物的园林应用及生态型，并提出发展长春市园林地被植物的建议。     

弱左型B半群的真覆盖

弱型B半群是在半富足半群范围内的广义逆半群.该文利用弱左型B半群真覆盖的定义,给出了弱左型B半群真覆盖的相关性质.特别地,得到了相应于弱左型B半群作用在幂单幺半群上的真覆盖的结构定理.     

关于凸过程的有界性和可测性*

设Ｘ是实序列完备的局部凸拓扑向量空间,Ｙ是拓扑向量空间．设Ｔ：Ｘ→２Ｙ是凸过程（ＣｏｎｖｅｘＰｒｏｃｅｓｓ）,且它的定义域Ｄｏｍ（Ｔ）是Ｘ的闭子空间．本文证明了若对Ｘ上的每一可分子空间Ｍ,Ｔ在Ｍ上的限制是绝对可测的,则Ｔ是有界的．     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

A surface-based DNA algorithm for the minimal vertex cover problem

Abstract DNA computing was proposed for solving a class of intractable computational problems, of which the computing timewill grow exponentially with the problem size. Up to now, many achievements have been made to improve its performance and increase itsreliability. It has been shown many times that the surface-based DNA computing technique has very low error rate, but the technique hasnot been widely used in the DNA computing algorithms design. In this paper, a surface-based DNA computing algorithm for minimal ver-tex cover problem, a problem well-known for its exponential difficulty, is introduced. This work provides further evidence for the abilityof surface-based DNA computing in solving NP-complete problems.