合理性验证相关论文
我国《刑法》第24条规定:“在犯罪过程中，自动放弃犯罪或者自动有效地防止犯罪结果发生的，是犯罪中止”，因而自动性是成立犯罪中止的......
基于UML与Petri网两种不同工具开展工程建模,涉及到两种模型的映射转换基本规则,实现自动转换功能,发挥优势互补,共同完成分析设计......
作为实现业务过程建模、仿真分析、优化管理与集成的核心技术，工作流目前已被广泛运用于项目管理、办公自动化以及业务流程重组等领......
本文介绍了我国新能源汽车节能驱动电机产品研发现状，提出了研发标准化原则。综合节能驱动电机的结构、材料、电磁、力学、热学性能......
为了提高油藏开发效果,根据大路沟二区油藏的渗流特征,采用岩性物性方法划分了流动单元,并且用判别分析法、微观渗流实验法、生产......
首先根据现实世界中的工作流正确性的概念,给出工作流网正确性的形式化描述,并给出工作流模型的合理性的定义,最后提出基于可达数......
为进一步检验膨胀土填料分类指标体系的合理性,对在建广西百隆高速路上3种膨胀土系统开展了基本土性和各种强度、变形等路用性能试......
在比较分析已有工作流模型验证算法优缺点的基础上，提出一种新的工作流模型验证方法。该方法基于规范化工作流网，不仅可以检测死锁、......
工作流技术被广泛地应用在企业信息系统中,针对发电企业燃料管理中的大多流程只存在“通过”和“退回”等基本操作的情况,设计开发......
针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力,无法满足现代案件处理需求的问题,基于改进Petri网的工作......
在自媒体、短视频、微新闻等快速发展背景下,视频播放量产生了虚假刷流量的"灰色产业链"业务,这种现象违背了数据客观公正原则,不......
为了研究集料的测量与评价问题,阐释了集料图像测量系统(AIMSⅡ)设备的工作原理,研究了集料3个形态特征分量,即形状、棱角和表面纹......
为保证工作流建模过程的正确性，对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结，分析了合理的工作流过程模型应该满足的......
本文以大庆油田某区块为例，以SI 10＋11a-SI 15＋16b共7小层为研究对象，开展储层流动单元划分评价、合理性以及剩余油研究。在高分辨率地......
任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特......
为了更加有效地对Web服务组合进行分析验证，设计BPEL到PNML语言的文件转换规则，实现Web服务组合流程的Petri网建模。针对Web服务组合......
业务流程建模后,一般需要对流程模型进行结构合理性验证,以避免投入使用后才发现错误而造成巨大损失。为了对工作流模型的结构合理......
CTCS-3级列控系统测试序列是实验室以及现场调试和测试的基础,而测试序列的合理性将决定测试过程是否能够正确完成.在分析测试序列......
提出岩性油气藏流动单元划分及其合理性验证方法。研究中针对华池油田长3岩性油藏的特点，采取控制流体渗流的主要参数，对流动单元进......
面向科学问题求解的科学工作流具有以数据为中心的特性,其验证要求同时考虑控制流和数据流的合理性。为此,分析科学工作流中的4种......
C~4ISR系统体系结构是系统各部件的结构,它们之间的关系以及制约其设计和随时间演化的原则和指南。在C~4ISR系统的研制与开发过程......
网格环境下铁路信息系统体系结构是系统的组成、结构及其之间的关系的阐述,对系统的设计、建设、运维和演化具有重要的指导作用,是......
错误的工作流模型投入运行后对系统的破坏是非常严重的,很可能导致整个工作流系统的失败。为了提高模型的正确性和验证过程的可靠......
为了提高油藏开发效果，根据大路沟二区油藏的渗流特征，采用岩性物性方法划分了流动单元，并且用判别分析法、微观渗流实验法、生产动态......
<正>笔者于2012年2月21—22日参加了连云港市初中数学青年教师成长论坛暨孙朝仁中学数学名师工作室第五次专题研讨活动.其中一模块......
目的梓葛冻干粉针剂是本团队在中医药理论的指导下精心研制的组分药,主要由梓醇和葛根素组成,拟用于治疗缺血性脑卒中。临床上葛根......
