具有给定稳定数和连通性的极值图(Ⅱ)

讨论了一些相关问题：（1）已知连通度特征化极（非哈密尔顿）图；（2）特征化已知独立数极（非哈密尔顿）图；（3）特征化极（非哈密尔顿）图；（4）特征化极BC－闭图。     

基于DNA自组装模型解决图的最大独立集问题

为了寻找图的最大独立集问题,先利用DNA自组装模型解决可满足性问题,再把最大独立集问题转化为可满足性问题,从而解决最大独立集问题。整个过程只用到凝胶电泳操作,在很大程度上减少了误差。     

某型航空发动机的最大和加力状态调节计划分析

战争从平面走向立体,争夺制空权成了战争最重要的一环。争夺制空权离不开高性能的战斗机,而战斗机最重要的组成部分——发动机,决定着飞机的安全和性能。飞机性能的不断提高,对动力装置的要求越来越高,为了满足燃油控制系统的功能要求,有必要对发动机的调节计划进行分析。本文分析了某型发动机最大和加力状态的控制计划。通过分析调节计划,对于提高发动机性能、增强发动机可维护性,都具有非常重要的意义。     

机械零件测绘中有关尺寸圆整问题的探讨

<正>在机械零件测绘中,经常会遇到零件尺寸被测量之后,如何确定公称尺寸和公差的问题。本文,笔者对尺寸圆整、尺寸换算、尺寸协调的方法进行了探讨,以便在实际机械测绘中能够方便地确定基本尺寸、公差和偏差。一、圆整概念1.尺寸圆整。即根据实测尺寸数据,分析、推断并确定原设计尺寸的公称尺寸和公差的过程。在测绘过程中,因为存在着     

图S_m∨S_n的均匀全色数

一个全染色满足||Ti|-|Tj||≤1时称为均匀的,其中|Ti|为染第i种颜色的元素数,所需最少染色数称为均匀全色数,记为χet(G)。文中得到了Sm∨Sn的均匀全色数。     

图谱理论中一些定理的新证明

利用非负矩阵理论并结合图论性质,给出图谱理论中3个重要定理的证明,给出的证明方法比之前文献的证明更为简洁、易懂.     

对一种快速双重指数模算法的复杂度研究

最近提出了一种采用标准符号数二进制码(canonic signed-digit binary representation,CSDBR)来计算AXBY(modN)的快速双重指数模算法.该算法声明当指数的长度为k时,该算法平均仅需要1.306k次模乘.由于已知的此类算法至少需要1.503k次模乘,该算法具有明显的性能优势.然而,无论是该算法的提出者还是其他研究者均没有给出正确的复杂度分析.本文通过利用马尔科夫链模型对该算法进行正式的复杂度研究并进行一定规模的统计实验后证实,实际上该算法平均需要1.556k次模乘.这项研究的意义在于揭示到目前为止,基于标准符号数位码的双重指数模算法的最高性能仍然无法降低到1.5k次模乘以下.     

稳定核素线性7核素的分布

在坐标单位是氘氚结团的正方形核素图中分析了稳定核素区线性7核分布.稳定区的下、中、上区域中各有7列线性7核,这些核素列的分布具有系统性.跨区域的3类参量S-2H,3S-2H,3S-H的核素列各有3列的始点联系在坐标S轴上,这些点在S轴上排列成(10,0),(12,0),…,(26,0)的9个坐标.通过坐标变换可看出下区的系列7核素列随参量逐层分布.     

伸张函数增长阶的估计

设h(x)是实轴的保向同胚,满足h(±∞)=±∞,它的拟对称函数为ρ(x,t).fh(x,y)是一个上半平面到自身的扩张,以h(x)为边界值.给出了当ρ(x,t)在递减函数ρ(t)控制下时,fh(x,y)的伸缩商的估计.     

耗散KDV型方程的渐近吸引子

摘 要:本文考虑了耗散KDV型方程 的渐近吸引子,即构造了一个有限维解序列.首先利用数学归纳法证明了该解序列不会远离方程的整体吸引子；其次，证明了它在长时间后无限趋于方程的整体吸引子, 并且给出了渐近吸引子的维数估计.