徐颖蕾
- 作品数：7 被引量：32H指数：4
- 供职机构：山东财政学院计算机信息工程学院更多>>
- 发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金博士科研启动基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 多主体行为冲突的Petri网方法研究被引量：6
- 2006年
- 将主体的动作分为内部动作和外部动作,单个主体的内部行为通过其对应的Petri网系统进行描述,进一步得到多主体系统对应的层次Petri网系统。通过主体间的外部动作关系的讨论分析得到多主体系统出现冲突的必要条件,并且Petri网系统运行时的一个死标识对应多主体系统的一个冲突,特别是资源冲突。
- 马炳先吴哲辉徐颖蕾
- 关键词：智能主体多主体系统PETRI网
- Petri网在传输协议中的应用被引量：3
- 2004年
- 传输层[1](也称运输层),只存在于端开放系统中,是介于第三层通信子网系统和高三层之间的很重要的一层。传输层协议在网络协议中处于非常重要的地位,对于不同的状态给出相应的网模型来进行进一步的研究具有很重要的意义。
- 王兰芹沙静徐颖蕾
- 关键词：库所数据传输
- 动态描述逻辑动作间关系的Petri网分析方法研究被引量：6
- 2007年
- 针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.
- 马炳先徐颖蕾
- 关键词：描述逻辑动态描述逻辑PETRI网
- 用层次颜色Petri网模拟主体行为
- 智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中.该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Pe...
- 马炳先徐颖蕾吴哲辉
- 关键词：智能主体PETRI网层次颜色PETRI网
- 文献传递
- 基于Petri网的应用软件开发及其关键技术被引量：6
- 2005年
- 讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML格式文件,系统能够导入和导出基于PNML(PetriNetMarkupLanguage)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(PetriNetsbasedAgentsEnvironment) .
- 徐颖蕾张群卞飞
- 关键词：PETRI网PNML
- 用层次颜色Petri网模拟主体行为被引量：8
- 2003年
- 智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如: P/T系统)模拟复杂系统时所遇到的难度。
- 马炳先徐颖蕾吴哲辉
- 关键词：智能主体PETRI网层次颜色PETRI网
- 多主体计划的Petri网方法及其研究被引量：3
- 2006年
- 利用Petri网对主体Petri的各种行为进行描述和分析,通过Petri网系统的可达性分析考虑主体计划生成问题是求解单个主体计划问题的一种有效方法。系统中的每一个主体可以通过其Pefir网系统进行描述,进而得到多主体系统相应的有界层次Petri网系统。利用层次Petri网系统的可达标识图得到多主体系统关于目标状态的可达动作序列的集合,对可行可达动作序列及其中动作间关系确定得到多主体系统的计划。
- 马炳先吴哲辉徐颖蕾
- 关键词：多主体系统PETRI网
