曲扬 作品数:9 被引量:183 H指数:7 供职机构: 清华大学 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 理学 医药卫生 更多>>
一种适合于网络处理器的并行多维分类算法AM-Trie 被引量:8 2006年 针对当前高速网络应用对分组分类算法的要求以及网络处理器体系结构的特点,提出了一种高速多维分组分类算法——AM-Trie算法(asymmetricalmulti-bittrie,非对称多杈Trie树).该算法具有搜索速度快,并行性、可扩展性良好的特点,特别适合于在网络处理器上实现.同时,给出了一种空间最优的启发式分类字段分段算法,并从理论上证明其在确定AM-Trie树层数的情况下使得存储空间最小.最后,基于IntelIXP2400网络处理器设计并实现了该算法.性能实测表明,该算法性能良好并具有很好的可扩展性,算法速度受规则库大小的影响很小,在各种情况下均达到了2.5Gbps的线速. 郑波 林闯 曲扬关键词:网络处理器 一种随机Petri网性能等价化简与分析方法 被引量:44 2002年 随机Petri网模型是系统性能评价的有力工具 ,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力 .因此 ,在对模型进行分析之前 ,先对其进行适当的性能等价化简 ,是一种更为可行的分析方法 .本文首先讨论了一类随机Petri网 -基本随机Petri网 (ESPN)的性能等价分析方法 ,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成 .作者推导出这四种基本结构的性能等价公式 ,并运用自底向上逐步综合替代的分层分析方法 ,给出这类随机Petri网模型的性能等价化简分析方法 ,该方法的复杂性随模型增长而线性增长 ,有效解决了其性能数量分析问题 .然后 ,讨论了两种非基本结构到基本结构的转换规则 ,使得复杂的随机Petri网模型也可能转换为ESPN模型 。 林闯 曲扬 郑波 田立勤关键词:随机PETRI网 性能等价 SPN 状态空间爆炸 基于Petri网的模型检测研究 被引量:36 2004年 模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特性和状态变迁的语义交织.对基于 Petri 网的模型检测理论和验证技术进行了较为详细的研究,着重探讨了基于 Petri 网状态可达图的偏序简化和偏序语义技术、基于自动机的模型etri 网的状态聚合法以及基于系统对称性的参数化和符号模型检测技术,并给出了研究思路以及未来所要进行的重点研究工作.模型检测技术已在通信协议和硬件系统的验证等领域得到成功应用,并且随着各种状态空间简化技术和模型检测算法的不断优化,其在其他应用领域也展示出广泛的应用前景. 蒋屹新 林闯 曲扬 尹浩关键词:时序逻辑 PETRI网 网格计算环境下资源调度模型、机制和评价研究 曲扬关键词:网格计算 资源调度 随机PETRI网 数学规划 一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理 被引量:18 2001年 针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。 林闯 刘婷 曲扬关键词:人工智能 扩展时段时序逻辑的模型、一致性和推理 被引量:9 2002年 给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 .在模型的基础上提出了一种时序关系推理算法 ,这种推理算法基于 TPN模型的性质及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 .这种推理算法的优势在于利用了 TNP模型的分析技术 ,减小了推理的时间复杂度 ,比单纯利用不等式规则的推理更直观 ,也更简单 ,是一种有效的方法 .最后 ,对扩展时段时序逻辑的 TPN模型进行了扩充 ,增强了其模型和分析的能力 . 林闯 曲扬 李雅娟关键词:时序逻辑 一致性 PETRI网 基于随机Petri网的网络可信赖性分析方法研究 被引量:58 2006年 随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望. 林闯 王元卓 杨扬 曲扬关键词:可信赖性 容错 随机PETRI网 马尔可夫过程 含有否定命题逻辑推理的一致性模糊Petri网模型 被引量:10 2006年 模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明. 汪洋 林闯 曲扬 李雅娟关键词:模糊逻辑推理 模糊产生式规则 否定命题 基于Petri网的工作流建模和分析方法研究 商业过程(Business Process)的组织和管理方式直接影响到生产和经营的效率。工作流(Workflow)是商业过程的自动化处理,随着信息技术的飞速发展,如何使用计算机建立对商业过程进行自动、有效的组织和管理的系... 曲扬关键词:工作流 PETRI网 进程代数 文献传递