【60673053】唯一可达向量网系统的性质及其在信息安全技术上的应用研究国家自然基金项目

唯一可达向量网系统的性质及其在信息安全技术上的应用研究

项目批准号： 60673053

批准年份： 2006

学科分类： F0204.计算机系统结构与硬件技术

项目负责人：吴哲辉

资助类别：面上项目

负责人职称：教授

依托单位：山东科技大学

资助金额： 26万元

关键词：语言产生器;唯一可达向量;伪随机序列发生器;.置换;Petri网

起止时间： 2007-01-01到2009-12-31

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

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

序号	标题	类型	作者
1	Petri网替换运算的不变量保持条件	期刊论文	吴哲辉\|岳昊\|
2	Petri网的流分解	会议论文	高莹\|吴哲辉\|吴振寰\|
3	同步及共享合成操作对Petri网汇合性质的保持性	会议论文	王鹏伟\|吴哲辉\|
4	库所耦合网的T-不变量求解算法	会议论文	吴哲辉\|岳昊\|
5	基于CPEBSDL通信协议的Petri网建模方法	期刊论文	吴哲辉\|范昊\|
6	标识T-网中同步距离的计算	期刊论文	方欢\|王丽丽\|吴哲辉\|
7	栈结构的增广Petri网模型	会议论文	吴哲辉\|李莹莹\|
8	袋自动机	会议论文	吴哲辉\|董卫\|张继军\|耿霞\|
9	项链T-图和完全T-图中活的和安全的标识类个数的证明	期刊论文	吴哲辉\|耿霞\|
10	正规表达式与恰当终结的标准Petri网	期刊论文	范昊\|吴哲辉\|
11	并行程序Petri网模型的结构性质	期刊论文	崔焕庆\|吴哲辉\|
12	公平Petri网中同步距离计算的一个实现算法	会议论文	王丽丽\|吴哲辉\|
13	T-时延离散Petri网的运行原理及其性质	会议论文	吴哲辉\|赵义军\|
14	基于时间Petri网的工作流用户管理系统的建模和分析	会议论文	吕楠\|付游\|吴哲辉\|
15	一种基于Petri网的序列密码加密方案	会议论文	吴振寰\|吴哲辉\|
16	通信协议的实体行为描述语言CPEBSDL	期刊论文	范昊\|吴哲辉\|
17	三划分问题可多项式归约为唯一可达向量Petri网可达性问题	期刊论文	岳昊\|
18	变迁耦合网的T-不变量求解算法	期刊论文	岳昊\|吴哲辉\|施建娟\|于立萍\|
19	几种满足汇合性质的Petri网子类	期刊论文	吴哲辉\|王鹏伟\|
20	基于混合Petri网的城市交通网络建模与仿真	期刊论文	吴哲辉\|岳昊\|
21	Set (k,n)—exactly covering problem	期刊论文	Wu Zhenhuan\|Gao Ying\|Wu Zhehui\|
22	S—不变量求取的一个多项式算法	会议论文	鲁法明\|吴哲辉\|
23	Petri网本原可重复向量的求解算法及实现	期刊论文	刘关俊\|岳昊\|吴哲辉\|
24	推导可交换上下文无关语言	期刊论文	张继军\|吴哲辉\|
25	改进的哲学家进餐问题无饥饿解的Petri网模型	会议论文	刘关俊\|吴哲辉\|
26	可达性与状态方程可满足性等价的两个Petri网子类	会议论文	曾庆田\|鲁法明\|包云霞\|
27	基于时延Petri网的交通信号配时方案建模与分析	期刊论文	施建娟\|吴哲辉\|岳昊\|
28	Petri网的空标识及相关性质研究	期刊论文	于枫\|吴振寰\|吴哲辉\|
29	Petri网有界性和公平性关系的进一步研究	会议论文	王廷刚\|吴哲辉\|
30	Forgery attacks on Wang’s signature schemes based on factoring and discrete algorithm	期刊论文	Dezhi Gao\|Xiangqian Liang\|
31	基于T-不变量的可重复向量的求解算法	会议论文	蒋昌俊\|刘关俊\|吴哲辉\|
32	求网的S-不变量的一种图算法	期刊论文	吴哲辉\|王丽丽\|
33	Petri网的状态转换图	期刊论文	张继军\|吴哲辉\|董卫\|
34	上下文无关Petri网语言的Pumping引理	期刊论文	张继军\|吴哲辉\|
35	整数环上的Farkas引理及其应用	期刊论文	吴哲辉\|鲁法明\|包云霞\|
36	主体计划的Petri网方法及正确性验证	期刊论文	吴哲辉\|方欢\|
37	一种前向安全的代理多重签名方案	期刊论文	王延东\|曲琳艳\|梁向前\|
38	谓词/变迁系统对一阶谓词公式的建模	会议论文	吴哲辉\|耿霞\|张继军\|
39	基于环Zn上圆锥曲线的代理多重签名方案	会议论文	葛淑娟\|梁向前\|
40	Two types of extended RSNBs and their application in modeling flexible manufacturing systems	期刊论文	Chen, Lijing\|Liu, Guanjun\|Wu, Zhehui\|Jiang, Changjun\|
41	Security and improvement of chang et al.’s Signature scheme without using one-way hash function	期刊论文	Dezhi Gao\|Xiangqian Liang\|
42	公平消息传递并行程序设计的Petri网方法	期刊论文	吴哲辉\|崔焕庆\|方欢\|
43	A live subclass of petri nets and their application in modeling flexible manufacturing systems	期刊论文	Wu, Zhe Hui\|Chen, Li Jing\|Jiang, Chang Jun\|Liu, Guan Jun\|

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

再问科研

相关项目

趋势报告

经验分享