期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于Petri网化简技术的工作流模型正确性研究 被引量:7
1
作者 张亮 姚淑珍 《计算机工程》 CAS CSCD 北大核心 2007年第9期60-61,94,共3页
为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网中非自由选择部分的分... 为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下,给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法,从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。 展开更多
关键词 PETRI网 工作流 模型正确性 化简技术
在线阅读 下载PDF
UML活动图模型正确性诊断方法 被引量:3
2
作者 周春燕 李绪蓉 周良 《计算机工程》 CAS CSCD 北大核心 2011年第14期47-49,共3页
UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模... UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。 展开更多
关键词 活动图 模型正确性 模型分解 模型验证 模型诊断
在线阅读 下载PDF
团队心智模型相似性与正确性对团队创造力的影响 被引量:27
3
作者 林晓敏 白新文 林琳 《心理学报》 CSSCI CSCD 北大核心 2014年第11期1734-1747,共14页
现代组织越来越依赖团队进行创造与创新活动,团队创造力成为理论与实践共同关注的热点问题。最新理论指出,与个体类似,团队也是信息加工者,团队决策实质上也是信息搜寻、编码、存储和提取的认知加工过程。从团队认知角度开展研究是团队... 现代组织越来越依赖团队进行创造与创新活动,团队创造力成为理论与实践共同关注的热点问题。最新理论指出,与个体类似,团队也是信息加工者,团队决策实质上也是信息搜寻、编码、存储和提取的认知加工过程。从团队认知角度开展研究是团队创造力领域的新方向。鉴于此,本研究从团队认知的角度出发,探讨共享心智模型与团队创造力之间的关系。基于80个信息平台运行维护团队的数据,研究结果表明,心智模型的相似性与正确性均能影响团队创造力,但方向正好相反。心智模型相似性负向预测团队创造力,而心智模型正确性则正向预测团队创造力。两者还共同影响团队创造力,当成员心智模型正确性高且相似性低时,团队创造力最高;而当成员心智模型彼此相似但错误时,团队创造力最差。本研究首次将团队认知和团队创造力两个研究领域结合起来,研究结果有望丰富和拓展两个领域研究成果。 展开更多
关键词 团队创造力 团队认知 共享心智模型 心智模型相似性 心智模型正确性
在线阅读 下载PDF
基于范畴论的业务目标模型形式化
4
作者 李宗花 李必信 《计算机应用研究》 CSCD 北大核心 2020年第5期1445-1449,共5页
面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范... 面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系;最后,设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明,形式化业务范畴模型能够验证GRL模型的正确性,提高目标建模的质量。 展开更多
关键词 GRL模型 范畴论 模型形式化 模型正确性验证
在线阅读 下载PDF
无环配置问题研究
5
作者 王红梅 李宏博 李占山 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2010年第3期444-448,共5页
基于约束的配置问题提出一种无回溯搜索算法,通过弧相容技术将所有不相容的值删除,指导用户进行产品配置,并对其正确性进行了证明.探讨了将目前两种主流计算冲突解释方法应用到无环配置问题的可行性.
关键词 约束满足问题 配置问题 模型正确性 弧相容 解释
在线阅读 下载PDF
Finite element model updating for large span spatial steel structure considering uncertainties 被引量:4
6
作者 滕军 朱焰煌 +2 位作者 周峰 李惠 欧进萍 《Journal of Central South University》 SCIE EI CAS 2010年第4期857-862,共6页
In order to establish the baseline finite element model for structural health monitoring,a new method of model updating was proposed after analyzing the uncertainties of measured data and the error of finite element m... In order to establish the baseline finite element model for structural health monitoring,a new method of model updating was proposed after analyzing the uncertainties of measured data and the error of finite element model.In the new method,the finite element model was replaced by the multi-output support vector regression machine(MSVR).The interval variables of the measured frequency were sampled by Latin hypercube sampling method.The samples of frequency were regarded as the inputs of the trained MSVR.The outputs of MSVR were the target values of design parameters.The steel structure of National Aquatic Center for Beijing Olympic Games was introduced as a case for finite element model updating.The results show that the proposed method can avoid solving the problem of complicated calculation.Both the estimated values and associated uncertainties of the structure parameters can be obtained by the method.The static and dynamic characteristics of the updated finite element model are in good agreement with the measured data. 展开更多
关键词 model updating UNCERTAINTY interval analysis multi-output support vector regression large span spatial steel structure
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部