一类燃烧问题的奇摄动解

讨论了一类燃烧问题.利用奇摄动方法构造了问题解的边界层和内层.指出了相应问题存在内部冲击波,并得到了解的渐近展开式.最后通过一个具体例子描述了问题解出现的火焰冲击波的性态.     

一类0-1背包问题算法程序的形式化推导

0-1背包问题是经典的组合优化问题与NP完全问题,具有重要的应用价值与理论意义.本文使用PAR(Partition and Recurrence)方法形式化推导了0-1背包问题的高效动态规划箅法程序.通过类比分析.该问题的若干变形问题的算法也可推导得到.算法通过PAR平台的自动生成系统转换成可执行语言程序并运行通过,保证了该类0-1背包问题算法的正确性和可靠性.本文主要的贡献是将PAR方法推广到能处理带约束条件的组合优化类问题,大大扩展了PAR方法的应用范围,为形式化开发高效高可信组合优化类算法开辟了一条新途径.     

周期弹性平面裂纹探测的复变方法

利用复变函数的办法讨论一个周期平面弹性力学中的逆问题.应用第一基本问题应力函数的封闭解公式,证明了在已知主应力的情况下,裂纹的位置及其上面的应力分布可以由外边界上的应力分布探测出来.讨论了逆问题的稳定性和该逆问题的一些特殊情形.     

应急决策中基于问题与解关系的案例调整方法

针对应急方案调整问题,提出了一种基于案例问题与解决方案之间关系的决策分析方法.通过混合相似度法计算目标案例与历史案例间的综合相似度,并将其融入历史案例的问题与解决方案属性中,进而根据向量余弦夹角定义计算问题与解决方案之间的关系.应急方案调整除需考虑问题与解决方案之间的夹角关系,还需考虑问题与解决方案的模的大小.最后,用算例说明该应急案例调整方法的有效和实用性.     

解互补约束优化问题的一种新的光滑化近似方法

互补约束优化问题应用十分广泛.利用Sigmoid函数的积分函数提出了一种新的光滑化近似算法,将互补约束优化问题转化为一般的非线性规划近似问题,通过求解近似问题的一系列光滑子问题得到原问题的近似解.在线性独立约束规范和其他一些较弱的假设条件下：无须上水平严格互补和渐进弱非退化,证明了光滑近似问题的KKT稳定点序列收敛于原问题的C-稳定点.进而考虑弱二阶必要条件,证明了上述KKT稳定点序列收敛于原问题的S-稳定点.最后,设计了相应算法,并对MacMPEC测试题库中的一些算例进行了数值实验,将得到的结果与其他算法的结果进行比较,显示本方法是有效的.     

自适应memetic算法求解集合覆盖问题

集合覆盖问题是一个经典的NP困难的组合优化问题,有着广泛的应用背景.首先,采用动态罚函数法将集合覆盖问题等价转化为无约束的0-1规划问题.然后,基于集合覆盖问题的结构特征,设计了初始种群构造方法、局部搜索方法、交叉算子、动态变异算子和路径重连策略,提出了一个高效求解该0-1规划问题的自适应memetic算法.该算法有效平衡了集中搜索和多样化搜索.通过45个标准例子测试该算法,并将其结果与现有遗传算法进行了比较,表明该算法能够在可接受的时间内找到高质量的解,能够有效求解大规模集合覆盖问题.     

二重错排与拉丁矩的计数

错排问题是组合数学中禁位排列的重要内容.基于3行拉丁矩计数问题的考虑,提出了条件更强的错排问题,即所谓的二重错排问题,并给出二重错排的相关计数公式及其在3行拉丁矩计数问题中的应用.同时给出ménage问题的2种推广形式.     

关于弱散逸多值映射的不动点定理的一个注记

J. P. Aubin和J. siegel[1]提出了弱散逸多值映射的不动点问题。本文对这个问题给出了一个注记。     

带服务器的Flow Shop问题

经典的 Flow Shop问题是排序理论中一个得到广泛研究的问题. 本文研究的是带服务器的Flow Shop问题. 证明了 F2,S∥Cmax 是强 N P-C的 ,并构造了一个渐近比为 2的近似算法. 此外,还讨论了它的两种多项式可解的条件.     

一种求解Robin反问题的边界型无网格方法

给出一种求解非齐次稳态热传导方程Robin反问题的边界型无网格方法. 该方法首先利用Newton法则将Robin反问题转化为Cauchy问题,然后用边界粒子法处理非齐次项以避免区域内部的离散节点,并结合基本解方法分别求得近似特解以及相应齐次问题的近似解. 鉴于所考虑问题的不适定性,引入截断奇异值分解和L-曲线准则来求解离散后得到的高度病态的线性方程组. 最后给出数值例子说明该方法的稳定性和有效性.     

基础设施BOT(build-operate-transter)项目特许权期决策的Bargaining博弈模型

特许权期是基础设施BOT项目融资建设中的一个重要决策变量,但目前缺乏计算特许权期的理论方法.SHEN等建立了特许权期的决策模型(BOTCc M),得出了特许权期的可行区间,但BOTCc M模型未能提供在该区间内选择具体的特许权期时间点的方法.这是该模型在应用中的一个重要缺陷,需要进一步改进和完善.应用博弈论原理,建立了特许权期决策的Bargaining博弈模型,克服了BOTCc M模型的缺陷,求出了特许权期决策的具体时间.最后,通过算例演示了特许权期决策的Bargaining博弈模型.研究结果表明,Bargaining博弈模型能为政府和企业进行特许权期决策提供有效的计算方法.     

赋权拟阵的最小基图

本文引入赋权拟阵最小基图的概念．它是最小树图概念的自然推广．证明了它是另一拟阵的基图从而具有很多好的性质如泛圈性、连通度等于最小度．此外，还将另一些赋权图的结果推广到赋权拟阵．     

平均曲率L~2范数有界的双极小子流形

证明了满足一定曲率条件的黎曼流形中平均曲率L2范数有界的双极小子流形必是极小子流形,并讨论了一个更一般的结果和几个推论.     

避免二阶导数计值的迭代族在一阶Frechet可微条件下的收敛性

介绍一族避免二阶导数计值的带两个参数的迭代法来近似Banach空间中非线性方程的解.在与Newton法收敛相同的Lipschitz条件下,通过用一个递推关系证明了此迭代族的收敛,并给出了非线性算子方程解的存在惟一性定理.     

线性二次型最优控制的并行算法和软件

构造了线性二次型最优控制的并行算法，介绍了这个并行算法在武汉大学“ＷＵＤＰ９１”并行分布式处理系统上试算的数值应用软件的框图．本软件适用于既定动态系统的平衡问题．对于经济系统，可通过政策控制变量来调节和改善其状态和响应．对于自治系统可找出最优控制使得消耗函数达到最小值．通过对一系列例子进行试算，结果证实，所构造的并行算法和相应的数值软件是有效的，其加速比约为７．     

带放气阀的增压系统性能研究

带放气阀的增压系统是一种简单而有效,较适合我国现状的实现高增压的方案。本文分析了该增压系统的工作原理,在B6135-ZG20柴油机上进行了泄放增压空气的试验研究,采用数值模拟方法作了进一步的性能研究,最后为某舰用柴油机给出了一个增压系统的初步设计。     

中国薹草属(莎草科)植物资料增补Ⅲ

在采集、整理和鉴定我国7个植物标本馆中收藏的中国莎草科Cyperaceae薹草属Carex标本的过程中,发现了1个中国新记录种和15个省级分布新记录种.玄界萌黄薹草Carex genkaiensis为在浙江省发现的中国分布新记录;陕西新记录种有肿喙薹草C.oedorrhampha,甘肃新记录种有华山薹草C.huashanica和泽库薹草C.zekogensis,河南新记录种有华山薹草,安徽新记录种有眉县薹草C.meihsienica,浙江新记录种有等高薹草C.aequialta和褐穗薹草C.sabynensis,江西新记录种有硬果薹草C.sclerocarpa和横纹薹草C.rugata,广西新记录种有茶色薹草C.fulvorubescens,湖北新记录种有反折果薹草C.retrofracta,湖南新记录种有拟穿孔薹草C.foraminatiformis、肿喙薹草、反折果薹草和近蕨薹草C.subfilicinoides,四川新记录种有华山薹草和毛囊薹草C.inanis,重庆新记录种有拟穿孔薹草,贵州新记录种有拟柔果薹草C.submollicula,云南新记录种有硬果薹草,西藏新记录种有密花薹草C.confertiflora.     

基于移动Agent的分布式网管系统安全认证机制

在实现基于移动Agent的分布式网管基本系统的基础上,分析了Agent系统所面临的安全威胁.针对Agent系统的特点,提出了一个完整的3层相互信任关系模型.深入研究了Agent系统的认证机制,提出并实现了具有系统授权Tickets功能的证书签发协议及其安全迁移认证方法.采用该方法,可以在不显著增加移动Agent系统的复杂性的前提下加强其安全可靠性.     

关于右GP-V-环

主要研究GP-V-环（GP—V-模）,它是P—V-环（P—V-模）的推广．讨论了这一类环的某些性质,例如：设R是GP—V-环,则对主右理想U=αR的任意极大子理想K,存在n∈Z^＋和R的极大右理想H使得H∩α^nR=K∩α^nR;右GP—V-环的每个主右理想都是幂等的;右GP—V-环的直和项仍是右GP—V-环;等等．此外,还讨论了右GP—V-环什么时候是Von Neumann正则环．     

向量集值优化中的二次最优性条件

考虑集值向量优化中的二次最优性条件.引进了新的集值映射的二次切上导数概念,并利用这个概念给出了在无约束条件下弱有效点对,Henig有效点对,整体有效点对和f-有效点对的充分和必要条件,以及Benson有效点必要条件;还给出了有约束条件前四种有效点对的必要条件.