【摘 要】
：
现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种
【机 构】
：
北京科技大学机械工程学院,清华大学自动化系
【基金项目】
：
国家自然科学基金（60674080）和国家高技术研究发展计划（863计划2006AA04Z151,2006AA04Z166）资助项目.
论文部分内容阅读
现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机（Time automata,TA）对多个并发过程建模,并将所需验证的时序约束转化为对TA模型的性质查询。当运行到检测点,依据已知的时间信息更新TA模型,再进行相关性质查询,从而完成时序约束的验证。该方法实用性较强,能够有效处理现实业务环境中资源约束情况下多个业务过程的动态时序验证问题。具有较好的
其他文献
<正> 根据所选用的传感器类型,电子数显量具(简称数显量具)可分为光栅式、容栅式、感应同步器等型式。 各类数显量具国内均有组装或生产,如容栅式数显卡尺、千分尺,感应同步
流动式起重机是臂架类型起重机中无轨运行的起重设备,它依靠自身动力驱动行驶,其机动性强、应用范围广.流动式起重机一般可分为汽车起重机、轮胎起重机、履带起重机和专用流
针对乡镇企业已处于结构调整和体制创新的重要时期的特点,池州市科技部门积极推进农业生产的适度规模经营和集约化发展,重点培育具有较强竞争力和产业带动能力的龙头企业,培
<正> 技术监督部门作为统一管理和组织协调标准化、计量、质量工作的综合管理部门,在企业改革和发展中应大有作为。如何在十五大精神指引下把加强标准化、计量、质量工作与企
以乙醇为工作液体，对声空化作用下直径为20mm的水平铜管的沸腾传热进行试验研究。试验中对空化强度及超声换能棒和试件间的距离进行测定。试验研究发现，声空化对过冷沸腾有显著
为解决组合曲面五轴加工问题提出一种基于计算机图形学Z—buffer技术的圆环面刀具刀位生成算法。首先借助Z-buffer技术确定刀位计算的检测区域，然后在保证圆环面刀具和检测区
目的 探讨复方水蛭滴眼液（SZ）防护紫外线（UV）照射诱导的人晶状体上皮细胞（human lens epithelia cell,HLEC）线粒体跨膜电位的影响.方法采用SZ与HLEC共同孵育,再用UV照射HLEC,以吡喏