关于图的符号边控制数的上界

本文给出了n阶图的符号边控制数的上界，并提出了相关的若干问题和猜想。     

图的上符号控制数的上界

令Гs（G）=max{w（f）｜f是图G的极小符号控制函数}是图的上符号控制数上界,根据最小度最大度等参数改进了上符号控制数的上界,是对Favaron在正则图中给出的上符号控制数上界及Wang C．X．和MaoJ．Z．在几乎正则图中给出的上符号控制数上界的一个推广．与Tang Huajun,Chen Yaojun在[3]中确立的解相比,结果更为精确。     

关于反色数的若干注记

证明文献「１」提出的关于反色数上界的猜想，得到了带宽与反和有关的下界，并给出了几类图的反色数。     

一类图的强最大亏格嵌入

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

在亏格为3的不可定向曲面上的着色定理

任何一个嵌入到Klein瓶上或环面上的图，若无三角形其着色数最多是4，这里证明：在围长不少于6的可嵌入到亏格为2的可定向曲面上或嵌入到亏格为3的不可定向曲面上图的着色数最多是4。     

一般n次系统若干细鞍点全积分公式

为了进一步讨论全三次系统的细鞍点量上界问题，给出了五个细鞍点全积分公式，在公式中，令θ＝2πi就得到相应的细鞍点量公式。     

图的上可嵌入性的一些表征

提出了这样一个事实：在一个简单图Ｇ和它的补Ｇ＾Ｃ中，总有一个是上可嵌入的，同时，也给出了一个图不是可嵌入的一个结构特征。     

关于图的色数与围长

设ｆ（ｍ，ｎ）表示色数为ｍ，围长不小于ｎ的图的最小阶数，本文给出了ｆ（ｍ，ｎ）的下界。并探讨了无三角形图色数的上界。     

基于VxWorks的实时监测系统的嵌入Web服务

介绍了VxWorks实时嵌入系统特点，描述了简单TCP／IP协议栈的架构及其实现过程，给出了基于此TCP／IP协议栈的嵌入Web服务功能的实现方法。     

一类Jacobi矩阵逆特征值问题的扰动分析

利用Jacobi矩阵特征值表示特征向量的方法对于一类Jacobi矩阵逆特征值问题给出了新的扰动上界，这些结果改进和推广了已有的相关结论，对于进一步研究此类问题提供了可靠的理论依据。     

波动方程解的存在性与爆破

根据半群理论,引进修改的能量函数,证明了具有阻尼项和力源项的四阶波动方程的初边值问题解的整体存在性.用补偿能量的方法研究了非线性阻尼项和力源项对解的爆破行为的影响.在初始能量具有足够大的负能量情况下,解在有限时间发生爆破.得到了解的爆破时间跨度的上界.     

一类a+b型浅水波方程的爆破现象和无限传播速度研究

本文研究了一类包含了Camassa-Holm(CH)和Degasperis-Procesi(DP)方程的非线性浅水波方程.首先建立了这类方程在Sobolev空间中解的局部适定性,爆破性.其次,我们讨论了这类方程的无限传播速度:如果初始值u0(·)具有紧支集,那么方程以u0(·)为初值的局部解u(t,·)不再具有紧支集,并且它在存在区间内呈现指数衰减的性质.     

不完整格的格序化

研究了格序决策理论中格序结构不完整的问题．通过定义格上关键元及最小决定集的确定规则，得到了一种直接由偏序集求最小完备格的并、交不可约元(关键元)的方法；从分析最小格的结构着手，应用逆序嵌人映射的方法确定2个不存在最小(最大)上(下)确界的元素的最小(最大)上(下)确界，从而使得不完整格格序化．最后，举例说明了该方法的可行性．     

Kadomtsev-Petviashvili型方程的行波解

研究含有两个参数的K-P型方程.在非线性项满足一定指数增长条件下,利用泛函分析中的没有Palais-Smale条件的山路引理和相应的Sobolev紧嵌入定理,证明了该方程非平凡行波解的存在性.     

含缺陷结构上限极限分析的弹性模量缩减法

为获得含缺陷结构的极限荷载,提出了含缺陷结构上限极限分析的弹性模量缩减法.研究了适用于应力集中条件下的基准承载比算法,建立了含缺陷结构极限分析的弹性模量调整策略,能结合线弹性有限元法构造逼近该类结构极限状态的机动位移场和允许应力场;引入结合虚功原理和基准体概念的上限极限荷载乘子算法,可获得满足上限分析数学规划模型的最优极限荷载解.算例分析表明:该方法可用于含裂纹和凹坑缺陷结构的极限分析;通常可在30个迭代步内得到与解析法及其他数值解相差在5%以内的极限分析结果.      

锯齿形结构面剪切流变及非线性本构模型分析

为了对岩体结构面的蠕变和松弛特性进行比较分析,用水泥砂浆浇筑成不同角度的结构面试样,在岩石双轴流变试验机上对同一应力起点的规则齿形结构面进行剪切应蠕变试验和松弛试验.首先分析了的蠕变与松弛特性,其次对参数非线性流变本构模型的建立和求解进行探讨,最后采用参数非线性流变方程对试验曲线进行拟合. 试验结果表明:结构面剪切蠕变曲线和松弛曲线都可以分为瞬时、衰减和稳定3个阶段;基于能量理论分析蠕变和松弛过程,显示蠕变是能量的注入与耗散过程,而松弛主要是能量的耗散过程;建立非线性流变模型时,应采用流变力学模型理论推导其本构方程;积分法与Laplace变换法求解蠕变方程或松弛方程时,相应的初始条件不相同;考虑黏性系数是与时间相关的非定常参数,提出了参数非线性Maxwell模型的蠕变方程和松弛方程,与试验曲线拟合结果比较理想;蠕变方程和松弛方程的拟合参数值不同,表明蠕变与松弛不等价且不能相互置换.      

奇摄动Volterra型积分微分方程的非线性边值问题

利用微分不等式理论研究了二阶Volterra型积分微分方程非线性边值问题的解的存在性和一致有效估计.以上下解为基础,在适当条件下,构造具体的上下解,得到了解的存在性和一致有效估计.结果表明这种技巧为奇摄动边值问题的存在性和一致有效估计研究提出了新的思路.     

二阶Volterra型积分微分方程Robin边值问题的一致有效估计

利用微分不等式方法研究了二阶Volerra型积分微分方程Robin边值问题解的存在性和一致有效估计．在适当条件下，构造具体的上下解，得到了解的存在性．结果表明这种技巧为奇摄动边值问题的存在性研究提出了新的思路．     

面向鲁棒性的高速铁路网络列车运行调整计划优化模型

针对高速铁路路网中出现区间封锁事件,考虑事件持续时间的不确定性,以列车运行时间和安全间隔时间为约束条件,引入路径选择唯一性约束保证列车运行调整计划的鲁棒性,以所有列车晚点时间之和的期望值最小为目标函数,建立高速铁路列车运行调整计划优化整数规划模型.设计基于优先级规则的启发式算法,求解原模型的可行解.运用拉格朗日松弛算法和最短路径算法求解该模型的松弛模型,得到原模型最优解的下界.根据可行解与最优解下界之间的距离,可以定量地衡量可行解的质量.结果表明,相较于CPLEX数学求解软件,算法求解效率较高;模型与算法能够有效生成鲁棒的列车运行调整计划,为调度员提供必要辅助决策信息.     

UET系统在m台处理机上的一种调度算法及其性能分析

本文介绍了一种UET系统中有效的调度算法,其时间复杂性函数为O(na(n)+e)。该算法对m=2台处理机的调度为最优,而对m≥3台处理机上的未确定调度子问题,其解与最优解之比的最小上界为2-2/m,它也是一个近似程度相当好的有效算法。