时段时序逻辑的Petri网模型
批准号：
60173012
项目类别：
面上项目
资助金额：
21.0 万元
负责人：
林闯
依托单位：
学科分类：
计算机科学的基础理论
结题年份：
2004
批准年份：
2001
项目状态：
已结题
项目参与者：
刘卫东、盛立杰、郑波、周文江、李寅
关键词：
项目摘要
结项摘要
项目成果
林闯的其他基金
相似基金
相关文献
中文摘要
本项目研究内容包括提出能描述不确定长时段时序逻辑及其Ｐｅｔｒｉ网模型，验证它的一致性和完备性；给出新时段时序逻辑的线性推理算法和时间Ｐｅｔｒｉ网模型压缩分析技术；新时段时序逻辑在工作流和多媒体通信同步中的应用。本项目在研究可突破原有时段时序逻辑不能描述具有不确定性时段行为系统的限制；可以有效地解决时段时序关系推理和应用问题。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
Implementation and Performance Evaluation of IPSec VPN Based on Netfilter
基于Netfilter的IPSec VPN的实现与性能评估
基于Netfilter的IPSec VPN的实现与性能评估
DOI：
--
发表时间：
2005
期刊：
Wuhan University Journal of Natural Sciences
影响因子：
--
作者：
[Da-yuan Zhao, Yi-xin Jiang, Chuang Lin, Yan-xi Li]
通讯作者：
Yan-xi Li
Dynamic handoff Scheme in Differentiated QoS Wireless Multimedia Networks
差异化QoS无线多媒体网络中的动态切换方案
差异化QoS无线多媒体网络中的动态切换方案
DOI：
--
发表时间：
--
期刊：
Computer Commu
影响因子：
--
作者：
[Yaya Wei, Chuang Lin, Fengyuan Ren, Raad Raad, Eryk Dutkiewicz]
通讯作者：
Eryk Dutkiewicz
DOI：
--
发表时间：
--
期刊：
软件学报,
影响因子：
--
作者：
[林闯, 田立勤, 魏丫丫]
通讯作者：
魏丫丫
DOI：
--
发表时间：
2002
期刊：
IEICE Trans. on Communications, E85-B (11):
影响因子：
--
作者：
[Lin C, Jiang Y, Zhou W]
通讯作者：
Zhou W
DOI：
--
发表时间：
--
期刊：
电子学报,
影响因子：
--
作者：
[林闯, 曲扬, 郑波, 田立勤]
通讯作者：
田立勤
共 39 条
基于随机Petri网的大数据计算模式的模型与评价
-
批准号：61472199
-
项目类别：面上项目
-
资助金额：87.0万元
-
批准年份：2014
-
负责人：林闯
-
依托单位：
无线自组织网络安全特性基础理论研究
-
批准号：60932003
-
项目类别：重点项目
-
资助金额：190.0万元
-
批准年份：2009
-
负责人：林闯
-
依托单位：
基于随机Petri网的网络可生存性模型与分析方法
-
批准号：60673187
-
项目类别：面上项目
-
资助金额：26.0万元
-
批准年份：2006
-
负责人：林闯
-
依托单位：
基于随机模型检测的网络脆弱性分析研究
-
批准号：60573144
-
项目类别：面上项目
-
资助金额：5.0万元
-
批准年份：2005
-
负责人：林闯
-
依托单位：
网络计算环境下资源组织与管理的基础理论研究
-
批准号：90412012
-
项目类别：重大研究计划
-
资助金额：200.0万元
-
批准年份：2004
-
负责人：林闯
-
依托单位：
国内基金
海外基金