2006年, 第34卷, 第6期 刊出日期:2006-06-25
  

  • 全选
    |
    论文
  • 索志勇, 李真芳, 保铮
    电子学报. 2006, 34(6): 977-980.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文对干涉SAR处理的关键步骤-相位展开-进行了讨论和分析,提出了利用残点识别和环路积分校正的相位解缠绕方法.进行了仿真和实测数据的处理,验证了该方法的有效性,最后给出了本文方法与分支截断法和区域增长法的结果比较,并对几项性能指标进行了对比,结果表明本文方法具有更好性能.
  • 范小军, 刘锋, 秦勇, 张军
    电子学报. 2006, 34(6): 981-984.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在"当前"统计模型(CS)的基础上,提出了一种新的机动目标自适应跟踪算法STF-CS.该算法通过引入强跟踪滤波器(STF)的渐消因子,实时调节滤波器增益,增强了系统对突发机动的自适应跟踪能力,同时保留了"当前"统计模型跟踪算法对一般机动目标跟踪精度高的特点.仿真结果表明,在跟踪一般机动目标时,其误差和"当前"统计模型算法相当;在跟踪突发机动目标时,本文算法的误差明显小于"当前"统计模型及自适应算法.
  • 王成, 胡卫东, 杜小勇, 郁文贤
    电子学报. 2006, 34(6): 985-990.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    多频段雷达信号融合是提高目标距离分辨率的一种有效方法,在稀疏子带观测条件下,由于信号频带稀疏,传统的相位补偿和融合成像方法难以应用,为此本文在线性调频信号体制下,基于修正的多重信号选择(MUSIC)算法提出了一种新的参数化融合成像方法.该方法首先对信号离散序列进行均匀采样处理,然后对多个频带的雷达信号统一建模,将相位补偿参数与目标散射中心参数一起估计,理论分析和仿真结果表明该方法能够有效融合多频段的雷达观测信号,改善目标一维距离像的分辨率.
  • 刘梅, 权太范, 姚天宾, 李海昊
    电子学报. 2006, 34(6): 991-995.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对多站无源测向交叉定位在复杂环境下会产生大量虚假定位点问题,本文提出了一种对目标进行无源定位跟踪的新方法,即先通过数据聚类,确定目标数量;由此动态建立多模弹性神经网络,去除了大部份虚假点;再通过建立航迹树的方法来动态跟踪目标,去除弹性网络未去除的虚假点.该方法解决了大量虚假点存在的情况下,目标数量的确定难题、弹性网初始化难题及动态剔除虚假点难题,进而有效地解决了多干扰机目标相关、虚假点的剔除问题.仿真分析试验表明:该方法计算量低,弹性网络收敛速率快,目标正确锁定率及虚假点剔除率高.
  • 汪雄良, 冉承其, 王正明
    电子学报. 2006, 34(6): 996-1001.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基追踪方法是信号稀疏表示领域的一种新方法.它寻求从超完备的基集合(字典)中得到信号的最稀疏的表示,即用尽可能少的基尽可能精确地表示原信号,从而获得信号的内在本质特性.本文将基追踪方法的应用扩展到SAR(Synthetic Aperture Radar)图像的超分辨问题上来.首先在相位历史域依据SAR目标属性散射模型构造了一类紧致字典,从而大大减小了所求解问题的维数,其次设计了一种新的迭代算法进行快速求解,得到SAR图像中各散射中心位置和幅度的高精度估计,最后依据相位历史域SAR目标属性散射模型,生成更大尺度的相位历史数据,对生成的相位历史数据成像即得到更高分辨率的SAR图像.仿真算例和MSTAR实测数据计算表明,基于紧致字典的基追踪方法能够快速稳定实现,同时具有良好的超分辨性能.
  • 周峰, 邢孟道, 保铮
    电子学报. 2006, 34(6): 1002-1007.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了能够得到较理想的无人机SAR图像,本文通过对无人机SAR系统的运动误差分析,提出了一种有效的运动补偿方法,该方法是通过天线伺服系统来补偿载机的转动误差,而平动误差是根据对所建立的误差模型的分析,从SAR数据的瞬时多普勒调频率中估计得到,并且平动误差补偿是对数据在包络和相位上进行分别校正.结合实测数据处理的结果表明该方法可得到质量较高的无人机载SAR图像.
  • 余国文;王宏远
    电子学报. 2006, 34(6): 1008-1011.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    强干扰和低信噪比环境下,根据接收信号循环平稳特性,本文提出一种基于周期时间平均的正弦信号检测和频率线性估计算法(LSFD),可以准确估计信号频率,有效抑制干扰和噪声,且具有盲性.计算机仿真结果证明了LSFD算法的正确性,其弱信号检测性能优于FFT算法,收敛速度优于循环相关系数算法.
  • 张昆帆;程翥;皇甫堪
    电子学报. 2006, 34(6): 1012-1015.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在一定的信噪比下,二次差频测距法只有增加频点数才能增大测距范围或提高测距精度.本文从二次差频测距的基本原理出发详细推导了二次差频法正确测距对输出信噪比的要求,给出了测距精度与输出信噪比之间的关系,然后提出了一种新的差频测距算法——频差组合法,在相同的信噪比和频点数不增加的情况下,提高了测距性能.最后通过仿真,验证了该算法的有效性.
  • 赵永波;水鹏朗;张守宏
    电子学报. 2006, 34(6): 1016-1019.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在假设事先估计得到不相关干扰信号方向的条件下,本文提出了一种能有效接收相干信号的波束形成方法.该方法首先利用估计得到的不相关干扰信号的方向构造变换矩阵,然后基于变换矩阵估计得到期望信号和相干干扰信号的合成导向矢量,最后利用得到的合成导向矢量和阵列相关矩阵求得波束形成的权矢量.计算机仿真结果证实本文所提方法基本上达到理论上的最优性能,且能快速收敛.
  • 王雪松, 王剑, 王涛, 李永祯, 徐振海, 施龙飞
    电子学报. 2006, 34(6): 1020-1025.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    目标极化特性的瞬时测量是极化雷达探测与目标识别等领域非常关心的基础性问题.本文针对频移脉冲波形,研究了互易条件下目标极化特性瞬时测量问题.建立了瞬时极化测量雷达的目标回波模型,在深入分析了目标回波极化特性的基础上,提出了一种基于离散时间傅立叶变换的完整极化散射矩阵频域估计算法,证明其为无偏估计,给出了估计精度的理论公式和实验结果.
  • 李朝伟;周希元;陈卫东;周一宇
    电子学报. 2006, 34(6): 1026-1030.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于单脉冲雷达跟踪目标过程中受到多目标干扰这一背景,根据主波束内多目标都会持续一段时间这一特点,提出了一种新的检测方法,即广义似然比检验(GLRT)与序列寄存器相结合的检测方法.依据经典概率论知识对新检测方法的检测性能进行了理论分析.分析结果和实验仿真结果表明,与GLRT方法相比,新方法对多目标具有更高的检测概率.
  • 晋军, 王华力, 朱德生
    电子学报. 2006, 34(6): 1031-1035.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    建立了直接辐射阵列多波束天线波束形成的数学模型.提出一种改进的复数编码遗传算法,在算法的初期和后期采用不同的配对方案,在奇数代和偶数代分别采用外推、内插和正交外推内插算子,克服了已有算法的早熟和对初始群体依赖等缺陷,提高了算法的全局收敛能力.采用记忆算子使算法能够对抗位置跳变干扰.模拟实验结果表明,该波束空间自适应调零新方法能够应用于LEO卫星抗干扰,且调零分辨率高、性能稳定可靠,可以获得比传统自适应波束形成算法更好的干扰抑制性能.
  • 赖晓平
    电子学报. 2006, 34(6): 1036-1040.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    考虑二维线性相位矩形对称FIR滤波器的约束最小二乘设计问题,即在通带和阻带逼近误差不超过给定值的约束下使逼近误差平方和最小.提出一个投影最小二乘算法,它是一个交替地更新有效约束集及将二次误差无约束极小点(最小二乘解)逐次投影到有效约束边界的迭代过程.通过二维FIR低通圆形滤波器和方形滤波器的设计例子,对算法的性能进行了仿真,并与基于内点算法和有效集方法的设计程序进行了比较,结果表明本文算法具有很高的效率.
  • 朱岩;杨永田;叶志远;邹维;冯登国
    电子学报. 2006, 34(6): 1041-1047.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    数字指纹的透明性是指在购买者不知道指纹存在的情况下实现数字指纹对多媒体的保护,它是电子交易的一项重要要求.依据所提出的安全二进制定点补码表示方法以及具有加法同态性质的密码系统,本文提出了一种基于扩频编码的非对称指纹方案,通过分析表明方案具有购买透明性、缺席审判、不可否认性和陷害性等特点.
  • 郭云彪;尤新刚;张春田;周琳娜
    电子学报. 2006, 34(6): 1048-1052.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    图像位平面复杂度与人的视觉感受有着密切得关系,研究图像位平面复杂度对图像信息隐藏研究意义重要.本文提出了复杂度度量的新方法,把图像位平面的信息熵作为图像复杂度测度.研究了随机序列游长统计规律,并给出理论推导,利用图像位平面的游程统计规律与随机序列游程统计规律的接近程度,定量地描述了图像复杂度,并从实际应用的角度分析了其合理性,说明了图像位平面复杂度可以作为图像信息隐藏的性能评价指标.
  • 廖羽, 戴瑜兴
    电子学报. 2006, 34(6): 1053-1057.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过分析服务器对静态内容和动态内容处理过程的不同,在给出分布式网络服务器系统结构模型的基础上,提出了一个新的将静、动态内容分配都考虑在内的周期更新动态负载分配算法;通过将其加载在所建立的仿真平台上进行测试得到的最终结果可以看出,所给的负载平衡算法能有效的使系统达到并且保持负载平衡.
  • 修晓宇, 卓力, 沈兰荪
    电子学报. 2006, 34(6): 1062-1065.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文基于PID控制器提出了一种高效的H.264比特率转码方案.该方案采用简化的像素域级联转码结构,在保证视频重建质量的同时降低了运算的复杂度,然后在图像层引入PID控制器保证了输出比特率与目标比特率一致.实验结果表明:本文提出的比特率转码方案具有较高的比特率转换精度,是一种高效的比特率转码方案.
  • 朱士信;孙琳
    电子学报. 2006, 34(6): 1066-1068.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文定义了k个从k元n级de Bruijn-Good图到k元n-1级de Bruijn-Good图的满同态映射Da,利用这些同态映射,我们证明了n级非奇反馈函数f(x1,x2,…,xn)与以Da(Gf)为状态图的n-1级非奇反馈函数g(x1,x2,…,xn-1)的一个关系定理,给出了k元de Bruijn序列的反馈函数的一个升级算法,特别当k=2,a=0时,利用映射D在 Z 2上运算的简单性,本文给出了一个从2元n-2rde Bruijn序列反馈函数直接生成2元n级de Bruijn序列的反馈函数的有效算法.
  • 熊伟, 廖巍, 张帆, 景宁, 陈宏盛
    电子学报. 2006, 34(6): 1069-1073.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    内务处理是用来优化空间连接处理提炼步骤的I/O代价,属于NP-难的问题,现有求解方法复杂度太高.本文将页面聚簇和聚簇调度问题分别归约为图的k划分和最长路径问题,提出了改进的遗传算法和基于最大生成树的近似算法进行求解.对经典遗传算法的进行了修正以满足页面聚簇划分约束.近似算法的解大于最优解的一半.理论分析和仿真实验验证了算法的可行性和有效性.
  • 叶红霞, 金亚秋
    电子学报. 2006, 34(6): 1074-1079.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    用粗糙面上方有目标和无目标时空间散射场的差值计算的雷达散射截面,称为差场雷达散射截面.本文推导TE波入射下电场积分方程(EFIE),直接求解散射差场.本文提出目标与粗糙面之间的互耦迭代的计算方法,散射场纳入了目标与粗糙面之间复杂的相互作用,给出了迭代过程中纳入的粗糙面长度的选择.用Monte-Carlo方法,计算了P-M谱粗糙海面上方二维圆柱和方柱的散射,说明目标的几何结构对散射方向图的影响.
  • 林宝勤, 郑秋容, 袁乃昌
    电子学报. 2006, 34(6): 1080-1084.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    运用谱域Galerkin法对含电磁双各向异性介质衬底的频率选择表面(FSS)进行了分析,概述了算法的基本实现过程,直接以Maxwell方程为基础,逐步推导出该周期结构中的谱域格林函数.文中在衬底介质参数的变动下,对一系列FSS反射系数进行了有效计算,计算结果表明了介质衬底的电磁各向异性特性对FSS频率选择特性的影响.
  • 韩冰, 高新波, 姬红兵
    电子学报. 2006, 34(6): 1085-1089.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    镜头边界检测是实现基于内容的视频检索的一个重要步骤.为了将视频分割成镜头,现有的方法大都是首先提取大量的特征然后构造相异性测度函数.然而,太多的特征就会降低算法的效率.因此,有必要对镜头边界检测的规则进行特征约简.本文将粗糙集中的属性重要性和模糊粗糙集中的分类精度相结合定义了模糊粗糙算子,并构造了相异度检测函数.最后给出了镜头边界检测的一般性规则.由于本文检测方案的自适应性,因此适合于各种类型的新闻视频.用来自中央电视台的3个多小时的新闻视频所做的镜头边界检测实验获得了95.4%的查全率和96.1%的准确率.
  • 伍春洪, 杨扬, 游福成
    电子学报. 2006, 34(6): 1090-1095.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    Integral Imaging(II)是一种能够记录和显示全真三维场景的图像技术.该技术采用微透镜阵列记录空间场景,空间任意一点的深度信息只需通过一次成像即可直接获得.本文研究结合多基线立体匹配算法采用II直接获取物体空间信息的方法.其结果既可为下一代基于II的三维电视图像的数据处理提供应用基础,同时也可望应用于开发新型的深度测量工具.
  • 吴爱民, 须德, 王海霞, 吴静
    电子学报. 2006, 34(6): 1096-1103.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    知觉恒常性是人类感知世界最重要、最突出的方面,它为解决计算机图像理解和物体识别等经典计算机视觉难题提供了新的思路.大小恒常性是最重要的知觉恒常性之一.正确的图像物体大小恒常性感知的关键在于准确计算物体在图像中的感知深度.本文总结了人眼使用的各种图像深度线索,提出了这些线索融合与冲突的解决方案,然后用数学方法建立了图像物体大小恒常性计算模型.实验结果表明该模型是有效的.本文是应用视觉心理学来解决计算机视觉问题的一次成功而有益的探索.
  • 赵延文, 聂在平, 徐建华, 武胜波
    电子学报. 2006, 34(6): 1104-1108.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    时域电场、磁场和混合场积分方程已被广泛用来分析散射体的时域散射响应.基于适当的空间积分方法和隐式的时间步进算(MOT)法在求解时域磁场和混合场积分方程时总是稳定的,然而在求解TDEFIE时则是不稳定的.在本文中,时域电场积分方程的非奇异性积分采用标准的高斯求积法来计算;而利用参数坐标变换和极坐标变换将其奇异性积分转换成为可以分区域精确快速计算的非奇异性积分.通过数值实验表明,利用该方法可以非常精确稳定地求解时域电场积分方程,即使是在时间迭代后期也不必采用任何求平均的过程;另外,该方法可以用于任意时间基函数并可以推广到高阶空间基函数的情形.
  • 彭沛夫, 林亚平, 胡斌, 张桂芳
    电子学报. 2006, 34(6): 1109-1113.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    蚁群算法是一种新型的模拟进化算法,重点始于组合优化问题的求解.作者运用该算法优化PID控制参数,但在基本蚁群算法中,存在收敛速度较慢,易出现停滞,以及全局搜索能力较低的缺陷.论文提出了一种具有遗传因子的自适应蚁群算法最优PID控制参数的方法,设计出参数优化图.该方法克服了基本蚁群算法的不足,能够满意地实现PID控制参数优化.仿真结果与Z-N法、遗传算法、基本蚁群算法相比较,优化效果明显得到改善.实验表明,该方法对于控制其他对象和过程也具有应用价值.
  • 张品, 李乐民, 王晟
    电子学报. 2006, 34(6): 1114-1118.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    QoS保证下的多播服务对于许多多媒体实时应用程序是重要的,QoS约束下的多播路由协议要求寻找连接源节点和目标节点集的支撑树使得端到端的QoS约束得以满足同时优化网络资源消耗,延迟约束最小代价树DCST是其中的关键问题.本文提出一个关于DCST的分支优化算法,该算法的核心思想是通过反向分支调节过程调整不满足QoS约束的路径并且减少对原支撑树结构的影响.仿真显示本文的算法对于实际网络是有效的.
  • 陈文驰
    电子学报. 2006, 34(6): 1119-1122.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在对编队目标的ISAR成像中,由于目标之间的间距很小,各目标回波常常在距离域和多普勒域都有重叠,难以进行多目标回波分离和分别成像.本文提出一种适用于编队目标的ISAR成像实现方法.对多目标回波统一进行径向加速度补偿和Keystone变换,完成多目标的距离对齐.在横向作多普勒分辨时,考虑各目标散射点子回波可近似为线性调频信号,引入修正离散Chirp-Fourier变换,并结合CLEAN技术,同时得到多目标的距离-多普勒像.仿真实验结果证明了该方法的有效性.
  • 金谋平, 官伟, 郭俊, 齐美清, 郭艳
    电子学报. 2006, 34(6): 1127-1129.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文介绍了一种宽带光控相控阵天线实验系统,阐述了采用光学技术控制的S波段96单元阵列的系统设计与性能,重点说明该系统的宽带特性.该系统采用了一种基于RF开关的五位光延迟网络实现宽的瞬时带宽.实验结果表明,在2.5GHz~3.5GHz频带内,波束指向未出现偏移.
  • 林茂六, 孙洪剑, 姜靖, 吴群
    电子学报. 2006, 34(6): 1130-1133.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文阐述了在任意两个复信号谐波相关情况下,通过引入第三个复信号作为参考,使得在计算复信号比值时能保持时不变相位的计算方法.从理论上证明了以基波作为参考复信号能消除相位模糊的方案是行之有效的,并用简单的例子进行验证.接下来,将这种方案应用到射频大信号网络来分析非线性散射函数,在实际应用中体现了这种算法具有广阔的应用前景.
  • 陆必应;梁甸农
    电子学报. 2006, 34(6): 1134-1137.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    天基稀疏孔径实现地面运动目标指示具有很大吸引力,如何简单准确地估计空时自适应处理器的杂波自由度是一个重要的课题.针对天基稀疏孔径的两种常用类型——稀疏子阵列和非全向性阵元稀疏阵,基于空时等效理论,从等效的虚拟空间阵列角度分析了阵列的杂波自由度,得到了预测杂波自由度的简单方法,仿真结果验证了方法的有效性.最后从杂波自由度得到分布式小卫星雷达实现地面运动目标指示的基本设计约束条件.
  • 王大海, 王俊
    电子学报. 2006, 34(6): 1138-1141.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    首先分析了无源雷达成像系统的目标回波形式,得到了目标散射分布函数和雷达接收信号之间的傅里叶变换对关系;对单个外辐射源的情况,提出了利用部署多个接收站等效合成大的孔径对目标进行成像的方法.由于采集的数据非均匀分布且数据量很少,本文采用极坐标格式对数据进行处理,充分利用了原始精确数据,有效提高了成像质量.理论推导和计算机仿真结果说明该方法是可行的.
  • 雷德明, 严新平, 吴智铭
    电子学报. 2006, 34(6): 1142-1145.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    设计了多目标混沌进化算法(MCEA),在每一代遗传操作和外部档案调整完成之后,该算法从外部档案中随机选择部分个体,对这些个体的拷贝进行混沌搜索,以产生更多非劣解.将强度Pareto进化算法(SPEA)和SPEA2分别与基于Logistic映射的混沌搜索结合而产生的MCEAs应用于一些复杂多目标优化问题,计算结果表明,混沌的加入,明显改善了多目标进化算法(MOEA)各方面的性能.
  • 江滨浩;刘永坦
    电子学报. 2006, 34(6): 1152-1155.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    精确有效地计算索末菲尔德型积分是分析导电媒质半空间电磁波辐射和散射问题的关键.本文给出求解有限导电媒质平面上方垂直磁偶极源赫兹位函数的解析方法.利用圆柱波函数的球面波函数展开式和超几何函数理论,位函数中的索末菲尔德积分被表示成快速、绝对收敛的球面波展开式;展开系数是以物性参数为复宗量的勒让德多项式.该展开式易于电磁场的计算和分析,并且不受场点和源点的位置、媒质的物性参数和频率等条件的限制.
  • 焦世龙, 冯暐, 陈堂胜, 范超, 李拂晓, 叶玉堂
    电子学报. 2006, 34(6): 1156-1158.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    采用0.5 μ m GaAs PHEMT工艺研制了一种单电源偏置光接收机跨阻抗前置放大器.放大器-3dB带宽约为9.5GHz;在50MHz~7.5GHz范围内,跨阻增益为43.5±1.5dB Ω ,输入输出回波损耗均小于-10dB;带内噪声系数在4dB~6.5dB之间,由此得到的最小等效输入噪声电流密度约为17.6pA/ Hz ;输入12Gb/s NRI伪随机序列时,放大器输出眼图清晰,眼开良好.
  • 游海龙, 贾新章, 张小波, 董萍
    电子学报. 2006, 34(6): 1159-1162.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    集成电路的设计与优化常需要指标与参数简单、直接的模型,即电路的元模型.本文将试验设计与计算机仿真相结合构造集成电路的元模型.讨论了构造元模型中使用的4种试验设计类型与3种模型.结合低功耗集成运算放大器性能指标静态功耗元模型的构造,分析比较了不同方法的各自特点.从结果可以看出,将拉丁超立方抽样与Kriging模型相结合最适合仿真试验中的电路元模型的构造.
  • 庞善臣, 闫春钢, 蒋昌俊,
    电子学报. 2006, 34(6): 1163-1168.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.