【60173012】时段时序逻辑的Petri网模型国家自然基金项目

时段时序逻辑的Petri网模型

项目批准号： 60173012

批准年份： 2001

学科分类： F0201.计算机科学的基础理论

项目负责人：林闯

资助类别：面上项目

负责人职称：教授

依托单位：清华大学

资助金额： 21万元

关键词：时段时序逻辑.Petri网.

起止时间： 2002-01-01到2004-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	网络传输控制的综合性能评价标准	期刊论文	江勇\|林闯\|吴建平\|
2	A Fast Two-Way Routing Lookup Algorithm Based Multipul-Trie	会议论文	Jia Jinpeng\|Lin Chuang\|Liu Wei-dong\|
3	Dynamic Priority Handoff Scheme in Differentiated QoS Wireless Multimedia Networks	会议论文	WEI Yaya\|LIN Chuang\|REN Fengyuan\|Raad Raad\|Eryk Dutkiewicz\|
4	Optimization and Benchmark of Cryptographic Algorithms on Network Processors	期刊论文	Zhangxi Tan\|Chuang Lin\|Hao Yin\|Bo Li\|
5	一种随机Petri网性能等价化简与分析方法	期刊论文	林闯\|曲扬\|郑波\|田立勤\|
6	ATM网络拥塞控制中PID控制器的设计	期刊论文	任丰原\|林闯\|任勇\|山秀明\|
7	非马尔可夫随机Petri网的分析方法及应用	期刊论文	林闯\|李雅娟\|刘雪宁\|
8	随机Petri网模型中变迁的串、并联性能等价化简技术	期刊论文	田立勤\|林闯\|周文江\|
9	扩展时段时序逻辑的推理机制	期刊论文	刘婷\|林闯\|刘卫东\|
10	用进程代数描述可适应工作流的模型方法	期刊论文	魏丫丫\|林闯\|田立勤\|
11	Queue Management for QoS Provision Build on Network Processor	期刊论文	Wenjiang Zhou\|Chuang Lin\|Yin Li\|Zhangxi Tan\|
12	基于扩展故障树的系统脆弱性分析	会议论文	蒋屹新\|林闯\|尹浩\|张谦\|
13	端到端MPEG-4 FGS视频TCP友好的平滑传输	会议论文	张谦\|林闯\|尹浩\|蒋屹新\|
14	A Sufficient Condition for Instability of Buffer Priority Policies in Re-Entrant Lines	期刊论文	Lin C\|Xu M\|Marinescu D C\|Ren F Y\|Shan Z G\|
15	工作流系统模型的性能等价分析	期刊论文	林闯\|田立勤\|魏丫丫\|
16	Stability Analysis of Buffer Priority Scheduling Policies Using Petri Nets	期刊论文	Lin Chuang\|Xu Mingwei\|
17	Session Based Differentiated Quality of Service Admission Control for Web Servers	会议论文	Yaya Wei\|Chuang Lin\|Fengyuan Ren\|Eryk Dutkiewicz\|Raad Raad\|
18	Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models	会议论文	LIN Chuang\|QU Yang\|REN Fengyuan\|Marinescu D. C\|
19	Implementation and Performance Evaluation of IPSec VPN Based on Netfilter	期刊论文	Da-yuan Zhao\|Yi-xin Jiang\|Chuang Lin\|Yan-xi Li\|
20	基于Intel网络处理器的路由器队列管理: 设计、实现与分析	期刊论文	林闯\|周文江\|李寅\|郑波\|田立勤\|
21	RED算法的稳定性:基于非线性控制理论的分析	期刊论文	任丰原\|林闯\|王福豹\|
22	A Multiobjective Model for QoS Multicast Routing Based on Genetic Algorithm	会议论文	Xunxue Cui\|Chuang Lin\|Yaya Wei\|
23	Design an Active Queue Management Algorithm Based Fuzzy Logic Decision	会议论文	FAN Yanfei\|REN Fengyuan\|LIN Chuang\|
24	Modeling and performance analysis of QoS-aware load balancing of Web-server clusters	期刊论文	Shan Z\|Lin C\|Marinescu D C\|Yang Y.\|
25	性能评价形式化方法的现状和发展	期刊论文	林闯\|李雅娟\|王忠民\|
26	IP QoS Architecture and Algorithms Based on Adaptive Edge Control	会议论文	Xiumei Fan\|Chuang Lin\|
27	大时滞网络中的拥塞控制算法	期刊论文	任丰原\|林闯\|任勇\|山秀明\|
28	An Accurate Scene-Based Traffic Model for Mpeg Video Stream	会议论文	Qian Zhang\|Chuang Lin\|Hao Yin\|Qiong-hai Dai\|
29	基于时间Petri网的工作流系统模型的线性推理	期刊论文	刘婷\|林闯\|刘卫东\|
30	IP网络传输控制的性能评价标准研究	期刊论文	林闯\|周文江\|田立勤\|
31	Extended Interval Temporal Logic for nondeternimistic Intervals: Modeling and Inference Using Time Petri Nets	期刊论文	Chuang Lin\|Zhiguang Shan\|Ting Liu\|
32	网边缘可控的IP QoS体系结构及其算法	期刊论文	樊秀梅\|林闯\|王忠民\|
33	Linear Temporal Inference of Workflow Management Systems Based on Time Petri nets Models	会议论文	QU Yang\|LIN Chuang\|WANG Jiye\|
34	Dynamic Partial Buffer Sharing scheme: Proportional Packet Loss Rate	会议论文	Chuang Lin\|Yin Li\|
35	多目标进化算法的研究与进展	期刊论文	崔逊学\|林闯\|方廷建\|
36	Approximate Performance Analysis of Web Services Flow Using Stochastic Petri Net	会议论文	Zhangxi Tan\|Chuang Lin\|Hao Yin\|Ye Hong\|Guangxi Zhu\|
37	An Adaptive Distance Learning System based on Media Streaming	会议论文	Hao Yin\|Chuang Lin\|Jin-Jun Zhuang\|Qiang Ni\|
38	Dynamic handoff Scheme in Differentiated QoS Wireless Multimedia Networks	期刊论文	Yaya Wei\|Chuang Lin\|Fengyuan Ren\|Raad Raad\|Eryk Dutkiewicz\|
39	Integrated performance evaluation criteria for network traffic control	期刊论文	Lin C\|Jiang Y\|Zhou W\|
40	一类可由基本模型嵌套组成的工作流系统的性能分析方法	期刊论文	田立勤\|林闯\|
41	Temporal Inference of Workflow Systems Based on Time Petri Nets	期刊论文	Chuang Lin\|and Yang Qu\|
42	主动队列管理中的智能分组丢弃新机制	期刊论文	任丰原\|林闯\|魏丫丫\|樊燕飞\|
43	无线多媒体网络中动态越区切换方案	期刊论文	魏丫丫\|林闯\|任丰原\|付强\|
44	A Fast Packet Classification Based on Classifier’s Characteristic Applying to Multi-fields	会议论文	Liqin Tian\|Chuang Lin\|Zhangxi Tan\|
45	广域Web服务器集群的随机高级Petri网模型及其性能分析	期刊论文	单志广\|林闯\|魏丫丫\|
46	基于随机Petri网的系统性能评价	期刊论文	林闯\|李雅娟\|单志广\|
47	报文分类技术的研究及其应用	期刊论文	田立勤\|林闯\|
48	基于网络的计算机脆弱性评估	期刊论文	邢栩嘉\|林闯\|蒋屹新\|
49	含有非马尔可夫过程的排队Petri网模型和性能分析	期刊论文	林闯\|郑波\|
50	End-to-end Stored FGS Video Transmission Based on Adaptive smoothing and TCP-friendly Rate Control	会议论文	Hao Yin\|Chuang Lin\|Qian Zhang\|
51	网络处理器的分析与研究	期刊论文	谭章熹\|林闯\|任丰原\|周文江\|
52	准自相似业务流的SPN模型及其评价	期刊论文	仝爱军\|林闯\|徐明伟\|
53	Adding Security to Network via Network Procrrors	会议论文	Hao Yin\|Zhangxi Tan\|Chuang Lin\|Guangxi Zhu\|
54	A Model for the Integration of Buffer Management and Packet Scheduling	会议论文	Wenjiang Zhou\|Chuang Lin\|Fengyuan Ren\|
55	A Multiserver Multiqueue Network: Modeling and Performance Analysis.	期刊论文	Shan Z\|Lin C\|Yang Y.\|
56	IP网的动态部分缓冲共享方案	期刊论文	林闯\|李寅\|马宁\|周文江\|
57	基于IXP1200的快速报文分类算法的设计与实现	期刊论文	田立勤\|林闯\|肖人毅\|李雅娟\|
58	Adaptive IP QoS Architecture and Algorithms	会议论文	Xiumei Fan\|Chuang Lin\|Xiuping Fan\|Yaya Wei\|

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享