工作流技术及建模方法研究

本文介绍了工作流参考模型及基本概念,在此基础上分析了工作流建模工具,阐述了基于不同Petri网的工作流建模方法.     

R上Sobo1ev类由二重样本的最优插值

本文研究Sobolev类Wpr在Lρ(R),1相似文献   

基于．Net的企业信息集成（EII）技术的研究与实现

提出了企业信息集成（EII）的概念，对EII的实现作了详尽的分析，并通过实例说明了EII在．Net下的实现方法。     

树扩图生成树数的界

连通图的生成树是指该图的极小连通生成子图．在Cayley公式的基础上，给出树扩图生成树数的上下界．     

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

Petri网精细化操作及其在系统建模中的应用

为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。     

素环上的广义导子

设R是素环,对于环R上的一个可加映射g,如果有R上的导子go使得g(xy)=g(x)y+xgo(y),#x,y∈R,就说g是R上的广义导子.本文主要讨论素环上的广义导子,并相应地推广了素环上的导子情况。     

分布式仿真中可视化对象的描述及应用

本文介绍了一种采用Petri网改进后的面向对象模型，并将它运用到化工集团公司监控指挥调度仿真系统的可视化对象的建模和分析中，这样不仅可以解决系统结构的复杂性和抽象性问题，又使得所设计系统具有更好的可扩充性和易维护性。     

一种LFM信号波形下的序贯EKF算法

研究在LFM信号波形下把径向速度测量引入Kalman滤波的新方法,分析了LFM信号波形下距离和径向速度测量的统计特性.在分析位置测量更新后状态估计误差与径向速度测量噪声统计相关性的基础上,导出了等价的径向速度测量方程,其测量噪声与位置测量更新后的状态滤波误差统计不相关,由此而得到序贯处理的EKF算法.蒙特卡罗仿真结果表明,采用这一新算法引入径向速度测量,可以有效地消除距离-多普勒耦合引起的偏差,提高状态估计精度,而且其估计性能优于传统的EKF.     

扩展幂级广播方案中的暂停控制

提出了一种为轮播方案及扩展幂级广播方案(ExtendedExponentialBroadcasting,EEB)提供暂停控制的技术预缓存技术,该技术通过利用轮播方案和EEB方案的周期性,在客户端增加少量的缓存用于在执行暂停操作时预取部分数据,可以实现实时的暂停和继续操作·与传统的通过开辟额外信道的方法相比,具有资源占用量小,实现简单等特点