国家自然科学基金(60173053)

作品数：51被引量：117H指数：5
导出分析报告
相关作者：吴哲辉曾庆田翟正利张广胜崔焕庆更多>>
相关机构：山东科技大学中国科学院安徽理工大学山东农业大学更多>>
相关期刊：《小型微型计算机系统》《系统仿真学报》《计算机工程与设计》《山东科技大学学报（自然科学版）》更多>>
相关主题：PETRI网时间PETRI网时延PETRI网语言活性更多>>
相关领域：自动化与计算机技术理学电子电信航空宇航科学技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPEBSDL通信协议的Petri网建模方法
《计算机工程》2008年第6期16-21,共6页范昊 吴哲辉 
国家自然科学基金资助项目(60603090,60173053)
结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可...
关键词：协议验证 协议测试 LAPD协议 PETRI网 Petri网进程 
一种前向安全的代理多重签名方案被引量：2
《计算机工程与应用》2008年第4期145-146,共2页梁向前 王延东 曲琳艳 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60173053)
基于前向安全代理签名的思想,提出了一个前向安全的代理多重签名方案,并证明在强RSA假定问题下,该方案不仅满足了一般代理多重签名方案的安全性,而且签名具有前向安全性,即使代理签名人的代理签名密钥被泄露,以前所产生的代理签名依然...
关键词：代理多重签名 前向安全性 强RSA假定 
正规表达式与恰当终结的标准Petri网被引量：4
《计算机工程》2007年第17期13-16,共4页范昊 吴哲辉 
国家自然科学基金(60173053)
给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(并)运算"∪...
关键词：恰当终结的标准Petri网 PETRI网 正规语言 正规表达式 语言 
有效模-n S-不变量与不可达性判定被引量：1
《计算机工程》2007年第17期96-98,101,共4页鲁法明 包云霞 岳昊 
国家自然科学基金(60173053)
Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定。然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性。如果存...
关键词：PETRI网 模-nS-不变量 不可达性 
Petri网的空标识及相关性质研究
《计算机科学》2007年第5期288-290,F0003,共4页吴振寰 于枫 吴哲辉 
国家自然科学基金资助课题(60173053)
在一个网系统中,如果每个库所中的标志数都等于0,则说这个网系统中的标识是一个空标识。文[1]通过例子指出空标识可以是一个网系统的初始标识,也可以是具有非空初始标识的网系统的一个可达标识。文[2]讨论了空标识的再现性。本文给出了...
关键词：PETRI网 空标识 活性 可达性 
项链T-图和完全T-图中活的和安全的标识类个数的证明
《计算机科学》2007年第4期254-257,共4页耿霞 吴哲辉 
国家自然科学基金资助课题(60173053)
本文证明了:有k个结点(变迁)的项链型T-图Nk和有n个结点(变迁)的完全T-图Kn这两种特定结构的T-图中活的和安全的标识类的个数分别为:k-1和(n-1)!个。
关键词：项链型T-图 完全T-图 活的和安全的标识类 
求网的S-不变量的一种图算法
《计算机科学》2007年第3期246-249,共4页王丽丽 吴哲辉 
国家自然科学基金资助课题(60173053)
本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图,通过寻找网N的S-封闭基本有向贯通路簇或S-封闭基本有向回路簇,可以得到封闭重数方程组,求此封闭重数方程组的解就得到此网N的所有极小S-不变量。
关键词：S-不变量 S-封闭基本有向回路簇 S-封闭基本有向贯通路簇 封闭重数 
利用谓词/变迁网证明的一阶谓词逻辑命题被引量：2
《计算机工程》2006年第23期191-192,198,共3页方欢 印玉兰 徐誉尹 
国家自然科学基金资助项目(60173053)
研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。
关键词：网逻辑 谓词/变迁网 一阶谓词逻辑 命题证明 
多主体计划的Petri网方法及其研究被引量：2
《计算机工程》2006年第14期4-6,19,共4页马炳先 吴哲辉 徐颖蕾 
国家自然科学基金(60173053)
利用Petri网对主体Petri的各种行为进行描述和分析,通过Petri网系统的可达性分析考虑主体计划生成问题是求解单个主体计划问题的一种有效方法。系统中的每一个主体可以通过其Pefir网系统进行描述,进而得到多主体系统相应的有界层次Petr...
关键词：主体 多主体系统 计划 PETRI网 
Petri网关联矩阵与PNML描述之间的转换被引量：4
《计算机工程与应用》2006年第21期32-34,47,共4页吴振寰 王鹏伟 
国家自然科学基金资助项目(编号:60173053)
PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径。文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOMAPI解析PNML文件及实现转换过程的技术细节。
关键词：PNML PETRI网 关联矩阵 XML DOM 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部