基于模态Petri网的行为有效区间寻找最优路径的方法

为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。

基于τ值的图博弈有效权重分配规则

首先,本文提出基于τ值的权重图博弈有效解,这个单值解既是图博弈下τ值的推广,又是基于τ值的剩余平均分配解的扩展。其次,利用分支有效性、S均衡下的相对不变性、剩余有效权重分配和线性限制权重成比例对权重图博弈有效解进行公理刻画。最后,介绍基于权重图博弈有效解的特殊分配规则。

图限制下合作对策的τ值

首先研究了图限制下合作对策的r值,这个单值解是由Tijs提出的经典合作对策τ值的推广.并且当合作图为完全图时,准均衡图对策的τ值与经典合作对策下的准均衡对策的τ值一致.其次利用分支有效性,S-均衡下的相对不变性和限制成比例性讨论了τ值的公理化方法.最后介绍了两类特殊图对策的τ值.

基于图对策的收益分配

基于具有交流结构的合作对策,即图对策,对平均树解拓展形式的特征进行刻画,提出此解满足可加性公理。进一步地,分析了对于无圈图对策此解是分支有效的。并且当连通分支中两个局中人相关联的边删掉后,此连通分支的收益变化情况可用平均树解表示。这一性质是Shapley值和Myerson值所不具有的。最后,我们给出了模糊联盟图对策中模糊平均树解的可加性和分支有效性。

超网络博弈的位置值的公理化刻画

在图博弈中,Myerson假设只有连通的联盟才能获得完全的效用,而忽略连通联盟的具体结构.1996年,Jackson和Wolinsky提出了"网络情形博弈"的模型,拓展了Myerson的图博弈模型.它是利用值函数代替原来的特征函数以体现不同网络结构对合作结果的影响.考虑超网络情形博弈,它是网络情形博弈的自然推广,由三元组(N,H,v)所组成,这里v是值函数,用于描述在超网络(N,H)合作结构下的合作收益.2012年,van den Nouweland和Slikker利用四个公理给出了位置值的公理化刻画.通过分支有效性和局部平衡超边贡献性两个公理,给出了超网络博弈中位置值的公理化刻画.作为推论,得到了网络博弈中位置值的新刻画.

图上合作博弈和图的边密度

1977年,Myerson建立了以图作为合作结构的可转移效用博弈模型(也称图博弈),并提出了一个分配规则,也即"Myerson值",它推广了著名的Shapley值.该模型假定每个连通集合(通过边直接或间接内部相连的参与者集合)才能形成可行的合作联盟而取得相应的收益,而不考虑连通集合的具体结构.引入图的局部边密度来度量每个连通集合中各成员之间联系的紧密程度,即以该连通集合的导出子图的边密度来作为他们的收益系数,并由此定义了具有边密度的Myerson值,证明了具有边密度的Myerson值可以由"边密度分支有效性"和"公平性"来唯一确定.

初中生问题求解搜索效率探究

本文运用书面报告分析法研究初中生问题求解搜索效率。结果表明：１．不同学校、不同年级学生解题成绩、搜索效率均差异显著，平均渗透率与平均有效分支系统差异表现在高分学生与中等成绩以下学生之间。２．外显的解题成绩与内隐的搜索效率具有一定的正相关。３．影响题目难度的因素是题目的数理性质和被试的主观因素。不同的难度指标制约因素不同。相对而言，在经典测量理论的“难度值”基础上借鉴信息科学中反映系统状态不确定程度的“熵值”