共查询到10条相似文献,搜索用时 31 毫秒
1.
为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型.新的业务流程模型为M×N多维度网状关系,同时兼顾了以往单一的线性顺序关系模型,并分别从横向与纵向对该协作业务流程模型进行了形式化描述.最后依据pi-演算理论对样例模型的死锁、活锁以及同步性进行了验证,确保了模型的正确性和可行性.跨组织动态协作业务流程模型具有稳固的理论基础,为跨部门、跨区域分布式信息交互提供了新的思路和方法. 相似文献
2.
杨小明 《湖州师范学院学报》2007,29(1):53-58
安全模型是安全系统开发的基石,而形式化方法则为准确理解安全模型提供了高保障依据.形式语言Z对经典的多级安全模型BLP模型进行了规范描述,并验证了模型的正确性,为安全模型的形式化建模提供了方法和依据. 相似文献
3.
4.
5.
尤青 《连云港职业技术学院学报》2014,(2):53-55
以指数型回归方程模型Y=ae^bX+ε为研究对象,利用贝叶斯统计方法对该方程模型进行参数估计,并进行了实例演示,验证了贝叶斯统计方法的有效性. 相似文献
6.
7.
基于黄金分割律的设计理念,应用目标规划的方法建立了易拉罐形状和尺寸最优设计的简化模型与改进模型,以拉格朗日乘数法求解了简化模型,利用mathematic求出了改进模型数值解,并通过测量数据进行了验证. 相似文献
8.
针对运动目标检测中背景模型的获取和更新,描述了自适应背景模型常用的几种背景模型,并对这些背景建模和更新进行了分析和比较,最后通过试验验证了各自的有效性. 相似文献
9.
马小健 《兰州石化职业技术学院学报》2007,7(3):27-29
对自动跟踪消弧线圈接地系统进行了仿真研究.结果表明:零序功率震荡和采样误差是造成零序有功功率选线方法不准的两个主要因素.为了减小这两个因素的影响,对零序有功功率选线方法的模型进行了改进,并利用MATLAB软件对改进模型进行了验证. 相似文献