论文部分内容阅读
提出基于Petri网的形式化的工作流网模型，用Petri分析技术对工作流业务流程的动态行为进行了描述和分析，并给出了详细的建模算法。
一种形式化的工作流网模型
【摘 要】
：
提出基于Petri网的形式化的工作流网模型，用Petri分析技术对工作流业务流程的动态行为进行了描述和分析，并给出了详细的建模算法。
【机 构】
：
华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
2007年1期
【基金项目】
：
教育部科学技术研究重点项目（01077）,华东理工大学博士基金资助
其他文献
介绍了一种改进旋涂法——DDS涂膜法（Deposit-Dip-Spin-coating）,主要用来制备纳米粉体原子力显微镜（AFM）分析样品。DDS法在保证有足够多的纳米颗粒吸附在云母表面的同时,还增大
从最小二乘支持向量机的稀疏表达出发，构建高效的基于稀疏最小二乘支持向量机的网络入侵检测模型，提出了一种通过基于核空间近似策略的有效低秩逼近来有效减小原始训练样本集中
在制焦温度为1223-1773 K内,制备了慢速和快速神府煤焦,采用程序升温热重法研究了煤焦-CO2高温气化反应性。主要研究了升温速率、制焦温度和热解速率对煤焦反应性的影响,并对
针对实际工业过程数据中的非线性和冗余度问题，提出了一种基于峰度的非线性独立元分析方法。该方法根据互信息最小化原理提取独立分量，按峰度进行降维，去掉冗余数据，尽可能地保留
现有的盲分离算法绝大部分是独立分量分析法，然而在实际应用中，独立分量分析法有诸多的限制条件。针对该问题，本文提出一种基于独立因子分析法（Independent Factor Analysis，IFA）的
采用助熔剂预烧-共沉淀法制备初始荧光亮度较高的SrAl2O4：Eu^2＋,Dy^3＋发光粉体,并利用XRD、SEM、PL光谱等表征手段研究了预烧结过程与硼酸掺杂对发光粉体的结构与荧光性能的影响
针对频率选择性衰落信道下链路自适应技术的调制编码组合（MCS）选择问题，通过链路质量预测器分析相同数据传输率下采用不同MCS方案的多条链路质量，指出当信道的频率选择性衰落严重
提出了一种改进的模糊分类系统的建模方法,采用模糊C均值聚类完成初始模糊分类系统的设计。提出改进的模糊规则置信度计算方法,对隶属函数和模糊规则相似度进行检测,剔除模糊规则中的冗余信息,利用遗传算法进行模糊分类系统的优化,提高系统的精确性和解释性。仿真结果证明了方法的有效性,对纤维图像的分类结果显示,该方法能获得与手工分类基本一致的分类结果。
快速傅里叶变换（FFT）的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学