检索结果-维普期刊中文期刊服务平台

随机Petri网的分解和压缩技术被引量：17: 1; 作者林闯《软件学报》 EI CSCD 北大核心 1997年第7期541-548,共8页; 本文综述了在随机Petri网的分解和压缩技术方面的一些最近的工作，着重介绍了时间数量级分解、接近无关分解、响应时间保留压缩、流等价压缩、层次模型和分层分析与乘积形式解等技术的基本思路、方法和操作过程．本文也描述了解决系统... 展开更多; 关键词随机PETRI网性能分析状态爆炸分解压缩; 在线阅读下载PDF 职称材料

基于随机Petri网模型的网络协议性能测试被引量：5: 2; 作者徐明伟林闯吴建平《软件学报》 EI CSCD 北大核心 1999年第3期248-252,共5页; 分析了协议性能测试需要解决的主要问题，并以随机Ｐｅｔｒｉ网为形式化工具，描述了网络协议的服务质量．提出从随机Ｐｅｔｒｉ网模型到ＴＴＣＮ（ｔｒｅｅａｎｄｔａｂｕｌａｒｃｏｍｂｉｎｅｄｎｏｔａｔｉｏｎ）测试集的转换规则。; 关键词性能测试随机PETRI网网络协议计算机网络; 在线阅读下载PDF 职称材料

利用不动点求解子句逻辑推演的Petri网模型被引量：5: 3; 作者林闯吴建平《软件学报》 EI CSCD 北大核心 1999年第4期359-365,共7页; 文章研究了子句逻辑推演的Ｐｅｔｒｉ网模型表示和不动点求解方法．基于四值逻辑和冲突变迁的概念，可用Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型方法来构造非Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型．逻辑推演的基本方法之一就是寻找逻辑赋值的不动点... 展开更多; 关键词逻辑推演子句 PETRI网计算机网络人工智能; 在线阅读下载PDF 职称材料

ATM网络的一种实时传输调度和信元丢失控制的综合方案被引量：9: 4; 作者林闯《计算机学报》 EI CSCD 北大核心 1998年第4期333-340,共8页; 本文提出了ATM网络的一种实时传输调度和信元丢失控制的综合方案．这种方案使用一个缓冲队列接收不同实时传输要求的信元，它能保证用户信元的实时传输要求、同步要求和信元丢失要求．本文给出了这种方案的随机Petri网性能分析模型，并... 展开更多; 关键词 ATM网络实时传输调度信元丢失控制计算机网络; 在线阅读下载PDF 职称材料

ATM网络基于队列长度阀值的传输调度被引量：7: 5; 作者林闯《软件学报》 EI CSCD 北大核心 1998年第4期316-320,共5页; 本文提出了ＡＴＭ网络的一种实时传输调度和信元丢失控制的综合方案．这种方案是基于队列长度阀值而设计的，它适应于ＡＴＭ网络面向连接的特性．本文给出了这种方案的随机Ｐｅｔｒｉ网性能模型，并给出模型分解和迭代的近似求解方法．; 关键词 ATM网络实时传输调度 PETRI网络性能分析; 在线阅读下载PDF 职称材料

题名随机Petri网的分解和压缩技术被引量：17: 1; 作者林闯; 机构国家信息中心信息经济与技术研究所; 出处《软件学报》 EI CSCD 北大核心 1997年第7期541-548,共8页; 基金国家自然科学基金国家"八五"攻关项目资助; 文摘本文综述了在随机Petri网的分解和压缩技术方面的一些最近的工作，着重介绍了时间数量级分解、接近无关分解、响应时间保留压缩、流等价压缩、层次模型和分层分析与乘积形式解等技术的基本思路、方法和操作过程．本文也描述了解决系统模型状态空间爆炸问题所面临的困难和进一步的研究方向．; 关键词随机PETRI网性能分析状态爆炸分解压缩; Keywords Stochastic Petri nets, performance analysis, state explosion, decomposition, aggregation; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于随机Petri网模型的网络协议性能测试被引量：5: 2; 作者徐明伟林闯吴建平; 机构清华大学计算机科学与技术系国家信息中心经济与技术研究所; 出处《软件学报》 EI CSCD 北大核心 1999年第3期248-252,共5页; 基金国家自然科学基金; 文摘分析了协议性能测试需要解决的主要问题，并以随机Ｐｅｔｒｉ网为形式化工具，描述了网络协议的服务质量．提出从随机Ｐｅｔｒｉ网模型到ＴＴＣＮ（ｔｒｅｅａｎｄｔａｂｕｌａｒｃｏｍｂｉｎｅｄｎｏｔａｔｉｏｎ）测试集的转换规则。; 关键词性能测试随机PETRI网网络协议计算机网络; Keywords Protocol performance testing, stochastic Petri nets (SPN), quality of service (QoS), tree and tabular combined notation (TTCN).; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名利用不动点求解子句逻辑推演的Petri网模型被引量：5: 3; 作者林闯吴建平; 机构国家信息中心经济与技术研究所清华大学计算机科学与技术系; 出处《软件学报》 EI CSCD 北大核心 1999年第4期359-365,共7页; 基金国家自然科学基金; 文摘文章研究了子句逻辑推演的Ｐｅｔｒｉ网模型表示和不动点求解方法．基于四值逻辑和冲突变迁的概念，可用Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型方法来构造非Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型．逻辑推演的基本方法之一就是寻找逻辑赋值的不动点．该文显示了一种基于Ｐｅｔｒｉ网模型的子句逻辑不动点求解算法，比现有算法更为有效．; 关键词逻辑推演子句 PETRI网计算机网络人工智能; Keywords Logical inference, clauses, Petri net, fixpoint, fourvalued logic.; 分类号 TP393 [自动化与计算机技术—计算机应用技术] TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名ATM网络的一种实时传输调度和信元丢失控制的综合方案被引量：9: 4; 作者林闯; 机构国家信息中心信息经济与技术研究所; 出处《计算机学报》 EI CSCD 北大核心 1998年第4期333-340,共8页; 基金国家自然科学基金国家科技攻关项目; 文摘本文提出了ATM网络的一种实时传输调度和信元丢失控制的综合方案．这种方案使用一个缓冲队列接收不同实时传输要求的信元，它能保证用户信元的实时传输要求、同步要求和信元丢失要求．本文给出了这种方案的随机Petri网性能分析模型，并给出模型分解和迭代的近似求解方法．; 关键词 ATM网络实时传输调度信元丢失控制计算机网络; Keywords ATM networks, real-time traffic scheduling, cell loss control,stochastic Petri nets model, performance analysis; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名ATM网络基于队列长度阀值的传输调度被引量：7: 5; 作者林闯; 机构国家信息中心信息经济与技术研究所; 出处《软件学报》 EI CSCD 北大核心 1998年第4期316-320,共5页; 基金国家自然科学基金国家科技攻关项目基金; 文摘本文提出了ＡＴＭ网络的一种实时传输调度和信元丢失控制的综合方案．这种方案是基于队列长度阀值而设计的，它适应于ＡＴＭ网络面向连接的特性．本文给出了这种方案的随机Ｐｅｔｒｉ网性能模型，并给出模型分解和迭代的近似求解方法．; 关键词 ATM网络实时传输调度 PETRI网络性能分析; Keywords ATM networks, scheduling real time traffic, cell loss control, stochastic Petri nets, performance analysis.; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	随机Petri网的分解和压缩技术	林闯	《软件学报》 EI CSCD 北大核心	1997	17	在线阅读下载PDF 职称材料
2	基于随机Petri网模型的网络协议性能测试	徐明伟林闯吴建平	《软件学报》 EI CSCD 北大核心	1999	5	在线阅读下载PDF 职称材料
3	利用不动点求解子句逻辑推演的Petri网模型	林闯吴建平	《软件学报》 EI CSCD 北大核心	1999	5	在线阅读下载PDF 职称材料
4	ATM网络的一种实时传输调度和信元丢失控制的综合方案	林闯	《计算机学报》 EI CSCD 北大核心	1998	9	在线阅读下载PDF 职称材料
5	ATM网络基于队列长度阀值的传输调度	林闯	《软件学报》 EI CSCD 北大核心	1998	7	在线阅读下载PDF 职称材料