【摘 要】
：
参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织
【机 构】
：
云南电力调度控制中心,云南云电同方科技有限公司,云南大学软件学院,西南林业大学大数据与智能工程学院
【基金项目】
：
国家自然科学基金(No.61462095,No.61702442),云南省自然科学基金(No.2016FB102)
论文部分内容阅读
参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次,提出将参与组织业务过程转换成通信顺序进程(Communication Sequential Pro-cess,CSP)方法,进而将每个参与组织业务过程对应CSP进程并发组合得到协同业务过程对应的CSP进程,并根据CSP操作语义构建协同业务过程的状态迁移模型。最后,引入状态迁移模型正则化概
其他文献
目的探讨间苯三酚联合卡孕栓在人工流产术中的镇痛临床疗效及其安全性。方法50例早孕妇女分为观察组和对照组，每组各25例，观察组和对照组术前90min均使用卡孕检0．5mg阴道后穹窿
膜蛋白的功能与其类型密切相关,因此膜蛋白类型的预测具有重要意义。针对膜蛋白特征表达过程中出现的特征维数高的问题,结合最大信息系数与遗传算法提出一种两阶段特征选择(M
为了深入表征和刻画精神分裂症患者大脑活动时各个电极通道的状态变化,通过利用复杂网络同步稳定理论以及精分工作记忆实验范式对EEG信号进行分析。从复杂网络角度出发构建脑