一致结构的单子及其应用

讨论了乘积一致结构的单子的刻画 .利用一致结构的单子给出了 Cauchy网及含小集集族的非标准特征 .作为应用给出一致空间几个重要定理的离散化证明 .     

具有衰减测量和概率通讯延迟的随机非线性系统的事件触发分布式一致滤波

文章针对传感器网络下一类具有衰减测量和概率通讯延迟的随机时变非线性系统,研究该类系统的分布式一致滤波算法设计问题.首先,考虑到传感器网络的拓扑结构,状态估计信息可在相关节点间进行交换.注意到相邻节点间的信息传输会产生概率通讯延迟现象,提出事件触发传输方案旨在减少交换传感器节点之间误差较大的估计信息.每个传感器节点使用相邻节点发送的信息来修正自身的状态,从而构造相应的分布式一致滤波器.通过最小化滤波误差协方差上界的迹来求出滤波器增益以及一致增益.此外,对滤波误差协方差上界矩阵的单调性进行理论分析,并通过数值仿真验证所提出的滤波算法的可行性和有效性.     

集值非扩张映象列迭代过程的收敛性及不动点

本文讨论了集值非扩张映象列的Ishikawa迭代过程的收敛性及确保迭代过程收敛到公共不动点的条件．所得结果是单值非扩张映射情形的推广和发展．     

弯曲圆管内漩涡结构分叉现象的理论研究

利用拓扑结构分析方法,分析了弯曲圆管内定常流在横截面上流线的奇点个数及分布规律,给出了二次流的漩涡数目由2个变为4个,流态结构发生分叉现象的理论判据。进而,利用Galerkin方法,得到了弯曲圆管内定常流的流函数和轴向速度的半解析表达式,给出了流态结构发生分叉现象的临界Dean数,所得结果与理论判则一致。     

路与完全图的笛卡尔积图和广义图K(n,m)的关联色数

Richrd A.Brualdi和J.Quinn Massey在[1]中引入了图的关联着色概念,并且提出了关联着色猜想,即每一个图G都可以用△(G)+2种色正常关联着色.B.Guiduli[2]说明关联着色的概念是I.Algor和N.Alon[3]提出的有向星荫度的一个特殊情况,并证实[1]的关联着色猜想是错的,给出图G的关联色数的一个新的上界是△(G)+O(Log(△G)).[4]确定了某些特殊图类的关联色数.本文给出了路和完全图的笛卡尔积图的关联色数,而且利用此结果又确定了完全图Kn的广义图K(n,m)的关联色数.     

单调关联系统模糊可靠度函数的性质

应用可靠性和模糊数的基本理论,给出了单调关联系统的模糊可靠度的定义,并讨论了单调关联系统的模糊可靠度函数的性质。     

不定方程妙解“2009”

关于不定方程的解的组数问题,有以下两个结论： 结论1 不定方程x1＋x2＋x3＋…＋xn=m（m,n∈N^＊）,则此方程的正整数解有Cm-1^n-1组．     

理想单子在非标准饱和模型下的若干应用

通过利用非标准分析中的饱和模型,对其中的理想进行了讨论,从而得到了理想的非标准特征,并进一步利用这一特征证明了单子论中的一些相关定理．     

基于公平与效率的城市应急车辆配置研究

在城市中,消防、医疗、警务等应急车辆的配置是城市管理的一个重要方面.对该问题进行了研究,提出了对其评价的两个标准:公平与效率.作者根据这两个标准建立数学模型,该模型可用于这类车辆的管理.     

多项式基函数法

提出一种新型的数值计算方法--基函数法.此方法直接在非结构网格上离散微分算子,采用基函数展开逼近真实函数,构造出了导数的中心格式和迎风格式,取二阶多项式为基函数,并采用通量分裂法及中心格式和迎风格式相结合的技术以消除激波附近的非物理波动,构造出数值求解无粘可压缩流动二阶多项式的基函数格式,通过多个二维无粘超音速和跨音速可压缩流动典型算例的数值计算表明,该方法是一种高精度的、对激波具有高分辨率的无波动新型数值计算方法,与网格自适应技术相结合可得到十分满意的结果.