Mutlhews-Sumner定理的证明

本文证明了：若Ｇ是２连通无爪图且δ（Ｇ）≥ｎ－２３，则Ｇ是Ｈａｍｉｌｔｏｎ图     

全错位排列问题的基于芯片的DNA计算模型

全错位排列问题作为组合数学中一个重要的问题,到目前为止还没有好的算法.应用DNA芯片技术,提出了全错位排列问题的基于芯片的DNA计算模型,并对模型进行了简要分析.     

一类泛圈图

本证明了如果G是2连通无爪图,G不是圈,n=|V(G)1≥9,G的每个导出子圈A都满足φ（a1,a2),且G中不含同构于Z^ 2的导出子图,则G是泛圈图。     

基于半波法的双向张弦梁结构索力测试试验研究

双向张弦梁结构的索力测试是预应力张拉结构健康监测的核心内容,精确测试拉索的索力关系到整个结构的安全。双向张弦梁结构中拉索长径比较小,且是双向多跨拉索,拉索的撑杆边界条件比较复杂,传统的索力计算方法难以精确地识别出这类拉索的索力。针对这类拉索的索力识别问题,进行了双向张弦梁结构试验模型的索力测试试验研究。利用模态试验给出了模型拉索的模态信息,利用半波法索力识别技术测试了不同长径比的拉索索力。试验结果表明,基于半波法能够精确地测试出双向张弦梁结构拉索的索力,并且采用高阶模态信息计算的索力比低阶模态信息计算的索力要精确。为在役预应力张拉结构的健康监测提供了新的途径。     

幂指型正项级数的判别方法

引人幂指型正项级数的概念,基于比较判别法和正项等比级数的敛散性,建立幂指型正项级数的审敛规则,分析它与Cauchy判别法的关系,并将其推广用以判别普通正项级数的敛散性.实例说明其应用方法.     

单输入多时滞离散系统的线性二次调节问题

研究了单输入多时滞的离散时间系统的线性二次调节问题(LQR问题),给出了求解最优控制输入序列的一种简单有效而又新颖的方法.将该动态的离散时滞系统的LQR最优控制问题最终转化成了一个静态的、不带时滞的数学规划模型——带等式线性约束的严格凸二次规划问题,并利用两种方法解这个二次规划问题,均成功地导出了系统的最优控制输入序列.仿真结果验证了我们的方法的正确有效性.     

Hamilton连通图的一个充分条件

Let G be a3-connected graph with n vertices.The paper proves that if for each pair of verti-ces u and v of G,d(u,v)=2,has|N(u)∩N(v)|≤α（αis the minimum independent set num-ber),and then max{d(u),d(v)|≥n 1/2,then G is a Hamilton connected graph.     

一类泛圈图

本文证明了如果 Ｇ 是 ２ 连通无爪图, Ｇ 不是圈,ｎ＝ ｜ Ｖ（ Ｇ）｜≥９, Ｇ 的每个导出子图 Ａ都满足φ（ａ１,ａ２ ）,且 Ｇ 中不含同构于 Ｚ＋２ 的导出子图,则 Ｇ是泛圈图