郑小鹏
- 作品数：2 被引量：2H指数：1
- 供职机构：烟台大学计算机学院更多>>
- 发文基金：山东省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 角色分配格中的特异元被引量：2
- 2008年
- Agent组织是合作求解的Agent集合,它描述了Agent与其承担的角色之间的关系.本文主要讨论Agent组织中的角色分配问题,提出了一种考虑了Role与Agent的偏好因素的扩充的角色分配二部图的概念,并指出Agent的角色分配问题就是在扩充的角色分配二部图上构造一个二部图的完美匹配.在Agent组织中,由于Agent及其组织的管理者都具有智能性,虽然Agent及其角色都可以得到匹配,但有些匹配不具有稳定性,因此自利的组织管理者和Agent都会在利益的驱动下背叛对方,从而导致组织破坏.紧接着本文讨论了稳定的扩充角色分配二部图的完美匹配集合,并在其上构造一个强稳定关系,从而将稳定匹配集和强稳定关系构造成一个代数结构———角色分配格,并在该格上构造了两个运算,并分析了两个运算之间的关系,由此得出角色分配格是一个分配格.最后分析了角色分配格中的几类特殊元———最大元、最小元、补元及交不可约元,并指出任何一个角色分配格都存在最大元和最小元,从而角色分配格是一个有界格,但并不是任何元都存在补元,从而角色分配格不一定是布尔代数,但是在给定特定的偏好下,即在特定的扩充角色分配二部图上,角色分配格可以构成布尔代数.对于交不可约元来说,它的重要意义就在于角色分配格中的任何元都可以表示成一些交不可约元的交,从而所有的交不可约元构成的集合是稳定匹配集的一个完备集.本文的结论是:扩充的角色分配二部图是Agent组织中的角色分配模型,其上所有的稳定匹配在强稳定关系下构成一个角色分配格,该格是一个有界分配格,但不一定是布尔代数,该格中的所有元都可以用其中的交不可约元来构造,从而为快速求解角色分配格做好了理论上的准备.
- 刘惊雷张伟范宝德郑小鹏
- 关键词：AGENT组织
- FSM与方法序列在面向对象的测试中的应用
- 2006年
- 在UML状态图的基础上,利用有限转状态机理论分析类状态,消除UML状态图中的子状态,将UML状态图转化成为一般有限转状态机,然后应用方法序列规范生成测试的方法序列.测试了类的方法与类状态之间的转换关系,保证测试的完整性.
- 郑小鹏袁珊
- 关键词：有限状态机
