【摘 要】
:
摘 要:基于Petri网行为轮廓理论,通过研究模型之间的行为依赖关系,分析模型的控制依赖关系和数据依赖关系,研究在数据流约束下模型的一致性,优化疑似变化区域,找出模型的最小变化域.业务流程实例分析证明,该方法有效. 关键词:业务流程;行为轮廓;依赖关系;控制流;数据流 [中图分类号]TP319.1 [文献标志码]A 文章编号:1003-6180(2018)02-0015-06 Abstra
【基金项目】
:
国家自然科学基金项目(61402011), 安徽省自然科学基金项目(1508085MF111)
论文部分内容阅读
基于Petri网行为轮廓理论,通过研究模型之间的行为依赖关系,分析模型的控制依赖关系和数据依赖关系,研究在数据流约束下模型的一致性,优化疑似变化区域,找出模型的最小变化域.业务流程实例分析证明,该方法有效.
其他文献
摘要:研究双线性Hardy算子与加权BMO函数生成的交换子的有界性,并给出证明. 关键词:Hardy算子;BMO空间;权 [中图分类号]O174.2[文献标志码]J Weighted Estimates for Commutators generalized by HardyOperators and BMO Functions SUN Jie (Department of Mathem
摘 要: 建立改进的logistic模型,预测中国社会消费品零售总额.依据中国1991-2016年社会消费品零售总额曲线变化特点和最终发展状态,建立改进的logistic模型,利用此模型预测中国社会消费品零售总额.预测结果与其他的社会消费品零售总额模型和经典的Logistic模型预测结果相比,可信度更高,可为相关部门制定政策提供参考. 关键词: 社会消费品零售总额;改进的Logistic模型;
摘 要:基于ANSYS有限元分析软件,对金属螺纹管的参数进行模拟.结果表明:预压缩条件下,端面变形、预压缩和外压组合条件下,随着轴径的增加,端面呈现左低右高的趋势;随着轴径的增大,端面垂直方向的压力右端大于左端,轴径越大间隙越大;在常温和高温情况下,端面变形呈现左高右低的规律,接触对的最大应力出现在竖直接触面的下部和水平接触面的内部. 关键词:机械密封 ;有限元; 螺纹管 [中图分类号]TH1
摘要:给出带有两个参数的混合分布—Lindley-Geometric分布(LG分布)的概率密度和失效率函数的单调性证明,同时给出了LG分布的Rényi熵和Shannon熵. 关键词:Lindley分布;Geometric分布;失效率函数;Rényi熵;Shannon熵 [中图分类号]0212.1[文献标志码]J The Researches about the Properties of L