Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

n维立方体的棱面关系与杨辉三角的推广

本文证明了ｎ维立方体各维棱（面）数之总和等于３＾ｎ。并研究了它与杨辉三角的关系。     

求异面直线间距离的直接求解法和向量法

异面直线间距离是指夹在两条异面直线间公垂线段的长度，求异面直线间距离一直以来都是距离问题中的难点，在此就如何求异面直线问题距离谈两种常用方法—直接求解法和向量法。     

天生桥水电站土石过水围堰的试验研究

本文通过对天生桥水电站土石过水围堰的试验研究,全面阐述了土石过水围堰的体型及其适用条件,提出了确定平台高程的定量标准。比较了混凝土面板、铅丝笼与钢筋笼等不同防护型式,通过试验与理论分析,求得稳定曲线与经验公式。试验结果表明:钢筋笼的稳定性为最好。     

三维捕食系统概周期解的存在性和全局吸引性

研究了有HollingⅡ类功能反应且具有概周期系数的三维顺环捕食系统，得到了该类系统在一定条件下存在唯一的，一致渐近稳定的概周期解。     

模糊集合论在矿山控制网布设和图纸质量评定中的应用

应用模糊数学方法研究和处理矿山测量中存在的具有“模糊性”的问题。例如控制网布设方案及矿山测量图纸质量的综合评判。它能更准确地描述用精确数学模型难以描述的问题。     

计算旋转螺旋面三维边界层的一种积分方法

本文将计算二维层流边界层的Thwaites方法和计算二维湍流边界层的Truckenbrodt方法推广,用以求解旋转系统的“准三维”边界层方程,得到了计算旋转螺旋面上三维边界层的一种可迭代求解的积分方法.应用此方法进行了两例计算.计算结果与理论精确解或实验测量的对比表明,本文方法是有效的.     

诱导空间的分子网收敛特征

研究了诱导空间的分子网收敛理论,给出诱导空间的几个与分子网收敛有关的刻画,从本质上揭示了诱导空间分子网收敛的特征及与之相关的闭包运算的内部结构。另外,作为应用,解决了《L-fuzzy拓扑空间论》中提出的关于序列式空间的几个问题。     

任意带电孤立导体表面电荷分布公式

给出了任意几何形状带电绵地体在静电平衡条件下的面电荷密度分布公式,分析了公式的物理意义及适用范围。