曲扬

作品数：7被引量：126H指数：6
导出分析报告
供职机构：清华大学更多>>
发文主题：随机PETRI网PETRI网时序逻辑一致性可信赖性更多>>
发文领域：自动化与计算机技术理学医药卫生更多>>
发文期刊：《计算机学报》《电子学报》《软件学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
含有否定命题逻辑推理的一致性模糊Petri网模型被引量：9
《电子学报》2006年第11期1955-1960,共6页汪洋 林闯 曲扬 李雅娟 
国家自然科学基金重大研究计划重点项目(No.90412012);国家自然科学基金(No.60573144;No.60503052);国家973重点基础研究发展规划(No.2003CB314804)
模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模...
关键词：模糊Petfi网 模糊逻辑推理 模糊产生式规则 否定命题 
一种适合于网络处理器的并行多维分类算法AM-Trie被引量：6
《软件学报》2006年第9期1949-1957,共9页郑波 林闯 曲扬 
国家自然科学基金重大研究计划重点项目No.90412012;国家重点基础研究发展规划(973)No.2003CB314804;Juniper公司研究基金;Intel IXA大学研究计划
针对当前高速网络应用对分组分类算法的要求以及网络处理器体系结构的特点,提出了一种高速多维分组分类算法——AM-Trie算法(asymmetricalmulti-bittrie,非对称多杈Trie树).该算法具有搜索速度快,并行性、可扩展性良好的特点,特别适合...
关键词：分组分类 网络处理器 并行算法 多维分类 AM-Trie 
基于随机Petri网的网络可信赖性分析方法研究被引量：43
《电子学报》2006年第2期322-332,共11页林闯 王元卓 杨扬 曲扬 
国家自然科学基金(No.90412012);国家"九七三"重点基础研究发展规划项目基金(No.2003CB314804);国家自然科学基金委员会与香港研究资助局合作基金(No.60218003);高等学校博士学科点专项科研基金(No.20020003027);国家自然科学基金(No.60503052)
随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网...
关键词：可信赖性 容错 随机PETRI网 马尔可夫过程 非马尔可夫过程 
基于Petri网的模型检测研究被引量：20
《软件学报》2004年第9期1265-1276,共12页蒋屹新 林闯 曲扬 尹浩 
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特...
关键词：时序逻辑 PETRI网 状态空间 模型检测 
扩展时段时序逻辑的模型、一致性和推理被引量：7
《计算机学报》2002年第12期1338-1347,共10页林闯 曲扬 李雅娟 
国家自然科学基金 ( 6 98730 12 );国家重点基础研究发展规划项目( G19990 32 70 7)资助
给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 .在模型的基础上提出了一种时序关系推理算法 ,这种推理算法基于 TPN模型的性质及基本不等式规则 ,可由一组已知的扩展时段时序...
关键词：扩展时段 时序逻辑 模型 一致性 推理 PETRI网 
一种随机Petri网性能等价化简与分析方法被引量：30
《电子学报》2002年第11期1620-1623,共4页林闯 曲扬 郑波 田立勤 
国家自然科学基金项目 (No 60 1 730 1 2 ;90 1 0 4 0 0 2 ) ;国家重点基础研究发展规划 (973计划 )项目 (G1 9990 32 70 7) ;国家高技术研究发展计划 (863计划 )课题 (No 2 0 0 1AA1 1 2 0 80 ) ;清华大学信息学院 985基础创新研究基金
随机Petri网模型是系统性能评价的有力工具 ,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力 .因此 ,在对模型进行分析之前 ,先对其进行适当的性能等价化简 ,是一种更为可行的分析方...
关键词：随机PETRI网 性能等价 SPN 状态空间爆炸 
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理被引量：13
《计算机学报》2001年第12期1299-1309,共11页林闯 刘婷 曲扬 
国家自然科学基金项目 ( 6 0 1730 12 );国家重点基础研究发展规划项目( G19990 32 70 7)资助
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有...
关键词：点-时段时序逻辑 扩展时段时序逻辑 时间Peter网 线性推理 人工智能 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部