数据流管理系统研究现状分析

近年来,在很多应用领域中出现了一种新的数据模式,其数据不是以传统的有限数据集,而是以连续的数据流形式出现。数据流管理的理论与算法,以及系统实现和开发技术都非常重要,需要深入研究。目前,     

M{2,3},M{2,4}和M{2,3,4}的有效刻画（英文）

集合A到集合B上的一个一一映射f称为B的一个有效刻画。本文提出的选逆象指标法(SIIIM)给出集A_1={α:α=(I_s,η)~T∈C_s~(n×s)}到象集B_1={β:β=α(α~*α)~(-1)α~*,α∈A_1}的一个有效刻画公式,并证明了B_1是I{2,3}_s的稠密子集,且I{2,3}_s的每个元素都与B_1的某个元素置换相似,利用上述结果,分别建立了I{2,3}和长方阵广义逆矩阵类M{2,3}.的有效刻画公式。再利用等式I{2,3}_s=I{2,4}_s=I{2,3,4}_s,进一步获得了M{2,4},M{2,3,4}的有效刻画公式.算法3.1可用于无重复地计算I{2,3}_s的任一个元素.     

Halin图的消圈数及点染色问题

Tutte关于3-连通图的结构定理表明:每一个3-连通图都可由某个轮图(也是Halin图)经顶点分裂逐步得到.这表明了Halin图在图结构研究中的地位和作用.首先研究得到了近正则Halin图的消圈数的上、下界并证明了上述界是紧的,接着得到了最大度为k或最小度为k的Halin图的消圈数所满足的界;此外还研究了Halin图的点染色问题,给出了它的点色数定理的一个新证明.     

线性时滞系统稳定的充分必要条件

运用复变函数理论,将特征方程转化为幅值条件和相位条件,通过分析得到幅值与相位之间的单调特性。将系统的稳定条件对应右半复平面特征方程无解,获得了单时滞系统稳定的充分必要条件。其结论与相关参考文献比较,稳定性条件与时滞之间的关系是显式的,不需要试算。文末给出的数值实例说明了结果的简洁性与有效性。     

基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.     

存在部分连通断层的线性复合油藏井底压力动态研究

针对存在部分连通断层的线性复合油藏研究较少,用现有的试井解释模型对具有部分连通断层边界的油藏试井资料进行解释所得到的结果不理想的现状,本文引入界面表皮概念,将部分连通断层视为一个无限薄的表皮边界,建立了两区无限大线性复合油藏中存在部分连通断层的试井解释模型,并利用Fourier指数变换和Laplace变换等方法进行求解,绘制了井底压力响应特征曲线,并用实例对模型进行验证。分析表明,界面表皮越大,曲线上翘越多,当它足够大时,表现为封闭断层的特征;厚度比、流度比越大,曲线表现出定压边界的特征;导压系数比越小,Ⅱ区的储集能力越大,相应的压力及压力导数曲线位置越靠下。     

线性滑动光滑法对非线性数据处理结果的影响

利用线性滑动方法中的一阶五点公式、处理了一组物理实验数据。结果对比分析表明,对物理实验中的原始数据先经过必要的数据预处理,能提高实验数据处理结果的精度,增强物理实验的验证效果。     

关于交叉路口灯控设置判据的研究

基于自组织理论中的设使原理，找出交通流系统中的序参量，通过在交通流仿真系统中进行仿真，得出了以序参量为基础的交叉路口灯控制置判据，并对序参量在交叉路口灯控设置判据中所起的重要作用进行分析，进一步论证用自组织理论进行通流研究的可行性。     

非独立准则的MCDM问题权重确定方法

在很多多准则决策(MCDM)问题中,准则之间都是存在关联的.由于准则的替代和互补关系,综合评价时不仅要确定准则的权重还要确定准则间的相互关系,因此给决策者的工作带来很大困难.文章在分析了准则间非独立的MCDM问题的性质的基础上,提出了利用已知的样本数据以及专家事先给定的部分偏好权重信息情况下确定相关联准集权重的方法,并在最后给出算例.     

一类高阶周期线性微分方程解的性质

研究了一类高阶周期系数线性微分方程在其系数A1起控制作用时,方程f(k)+Ak-2f(k-2)+…+A1f′+A0f=0的解f(z)和f(z+2pi)的线性相关性.