期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
工作流合理性验证中的事件平衡分析 被引量:16
1
作者 罗海滨 范玉顺 吴澄 《软件学报》 EI CSCD 北大核心 2002年第8期1686-1691,共6页
工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件... 工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度. 展开更多
关键词 工作流合理性验证 事件平衡 工作流管理系统
下载PDF
基于工作流建模过程中的验证技术的分析
2
作者 杨刚 黄迪明 秦巧 《福建电脑》 2006年第1期63-64,共2页
工作流建模合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题。基于有向有环图(DCG图)的工作流模型结构正确性进行验证的图归约法和事件平衡定理的引入,并对它们加以改进和论证,用以分析模型中是否是合理性的结构。
关键词 工作流 模型检验 规约 事件平衡
下载PDF
The Extent of Land Use Impact on Water Regime in the Vseminka Catchment
3
作者 Pavel Kovar Darina Vassova 《Journal of Environmental Science and Engineering(B)》 2012年第2期228-237,共10页
The paper deals with the impact of land use changes on water regime. An assessment was carried out in order to determine the extent to which the main components of the water balance on the experimental catchment Vsemi... The paper deals with the impact of land use changes on water regime. An assessment was carried out in order to determine the extent to which the main components of the water balance on the experimental catchment Vseminka have been influenced by land use changes (region Vsetinske Hills, the Czech Republic). For this reason, the water balance model WBCM-5 was implemented for the period of 30 years in a daily step, with particular focus on the simulation of the components of direct runoff and of subsurface water recharge. In the selected years of the period 1980-2009, major changes were made in land use and significant fluctuation of rainfall-runoff regimes were observed (e.g. dry year 1992, flood year 1997 and normal year 2009). After WBCM-5 parameter calibration it was observed that some water balance components can change in relation to substantial land use changes, even up to dozens of percent in a balance-consideration, i.e. in daily, monthly and yearly or decadal values, specifically as far as the components of interception and also of direct runoff and of subsurface water recharge are concerned. However, a different situation appeared during the investigation of significant short-term rainfall-runoff processes. There were about seven real flood events during the same period on the same catchment which were analysed using the KINFIL-2 model (time step 0.5 hr). Land use change, positive or negative scenarios, were also analysed during this period. As opposed to long-term water balance analyses, only a 10% difference in the hydrograph peak and volume was observed. In summary, the authors have shown that it is always important to distinguish a possible land use change impact on either long-term balance or short-term runoff. Otherwise, as often found in over simplified commentaries on flood events in the mass media, the actual impact of land use changes on water regime may be misunderstood. 展开更多
关键词 Land use change water balance rainfall-runoff event hydrological model.
下载PDF
IGCC公用工程岛Cogen装置主控系统开发及研究
4
作者 韩振飞 《石油化工自动化》 CAS 2021年第4期15-19,34,共6页
某炼化一体化项目采用IGCC公用工程岛作为全厂供汽中心。IGCC主要由空分装置、POX装置以及主管产汽的Cogen装置组成,Cogen装置能否连续稳定运行关系到炼油乙烯装置的运行。为确保公用工程岛Cogen装置的稳定运行以提升一体化装置运行的... 某炼化一体化项目采用IGCC公用工程岛作为全厂供汽中心。IGCC主要由空分装置、POX装置以及主管产汽的Cogen装置组成,Cogen装置能否连续稳定运行关系到炼油乙烯装置的运行。为确保公用工程岛Cogen装置的稳定运行以提升一体化装置运行的可靠性,开发应用主控系统,实现产汽设备与蒸汽管网有机的整合并统一控制。介绍了主控系统的功能、设计原则、设计方法以及事故工况下所起的作用,并利用动态仿真软件对典型事故工况及相应的控制方案进行了仿真,验证了主控系统能够保证研究对象的波动在允许范围内,满足正常运行要求。 展开更多
关键词 主控系统 IGCC公用工程岛 Cogen装置 蒸汽平衡事件驱动控制逻辑
下载PDF
Parallel architecture and optimization for discrete-event simulation of spike neural networks 被引量:5
5
作者 TANG YuHua ZHANG BaiDa +3 位作者 WU JunJie HU TianJiang ZHOU Jing LIU FuDong 《Science China(Technological Sciences)》 SCIE EI CAS 2013年第2期509-517,共9页
Spike neural networks are inspired by animal brains,and outperform traditional neural networks on complicated tasks.However,spike neural networks are usually used on a large scale,and they cannot be computed on commer... Spike neural networks are inspired by animal brains,and outperform traditional neural networks on complicated tasks.However,spike neural networks are usually used on a large scale,and they cannot be computed on commercial,off-the-shelf computers.A parallel architecture is proposed and developed for discrete-event simulations of spike neural networks.Furthermore,mechanisms for both parallelism degree estimation and dynamic load balance are emphasized with theoretical and computational analysis.Simulation results show the effectiveness of the proposed parallelized spike neural network system and its corresponding support components. 展开更多
关键词 spike neural network discrete event simulation intelligent parallelization framework
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部