利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)
Use of Petri Nets for Solving the Square congruence expression: ax2+bx+c≡0(modp,p≥3,prime number)
摘要
首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期216-218,228,共4页
Journal of System Simulation
基金
山东省自然科学基金项目(Y2002G09)及国家自然科学基金(60173053).
参考文献5
-
1许安国,王培良.求解一次同余式的Petri网方法[J].计算机科学,2001,28(增刊):128-133.
-
2许安国,赵义军.两个智力问题的增广Petri网模型[J].系统仿真学报,2003,15(z1):76-77. 被引量:1
-
3许安国,蒋昌俊.计算log_ab的增广Petri网模型[J].微电子学与计算机,1992,9(12):45-48. 被引量:2
-
4[4]J.L.Peterson. Petri Net Theory and the Modeing of Systems [M]. Prentice-hall Englewood cliffs, New Jesey, 1981.
-
5[5]T Murata. Modeling and Analysis of Comcurrent Systems (in "Handbook of Softwere Engineering", C.R.Vick and C V Ramamooth (eds), Chapter3) [M]. Van Nostrand Reihold, New York, 1984.
二级参考文献9
-
1[4]Peterson. J.L. Petri Net Theory and The Modeling of Systems Prentice -hall [M]. Englewood Cliffs, New Jesey, 1981.
-
2[5]Murata. T. Modeling and Analysis of Concurrent Systems (in Handbook of Softwere Engineering [M]. C.R.Vick and C.V. Ramamooth (eds), chapter3). Van Nastrand Restrand, New york, 1984.
-
3吴哲学,山东矿业学院学报,1985年,2期
-
4许安国,计算技术与自动化,1991年,1期
-
5蒋昌俊,山东矿业学院学报,1988年,3期
-
6许安国,山东矿业学院学报,1988年,4期
-
7吴哲辉,山东矿业学院学报,1985年,2期
-
8许安国,蒋昌俊.计算log_ab的增广Petri网模型[J].微电子学与计算机,1992,9(12):45-48. 被引量:2
-
9许安国,蒋昌俊.数制转换器的增广Petri网模型[J].计算技术与自动化,1992,11(1):7-13. 被引量:2
-
1陈顺益,刘晓辉.petri网分析工具对增广petri网模型的验证[J].计算技术与自动化,1992,11(1):14-19.
-
2崔焕庆,吴哲辉,韩丛英.MPI通信函数的增广Petri网模型[J].系统仿真学报,2003,15(z1):26-28. 被引量:6
-
3李莹莹,吴哲辉.栈结构的增广Petri网模型[J].系统仿真学报,2007,19(A01):124-128.
-
4左湘江,辜继恩.基于同余式a^(p-1)≡1 mod p^3实现的新背包公钥密码体制[J].南京广播电视大学学报,2006(4):98-99.
-
5范自强.基于NTRU的一种签名体制的构造[J].中国科技信息,2012(1):85-86.
-
6许安国,赵义军.两个智力问题的增广Petri网模型[J].系统仿真学报,2003,15(z1):76-77. 被引量:1
-
7彭月英,李世才,苗丽.求解“余数问题”的算法研究[J].数学的实践与认识,2008,38(10):209-215. 被引量:2
-
8许安国,蒋昌俊.数制转换器的增广Petri网模型[J].计算技术与自动化,1992,11(1):7-13. 被引量:2
-
9刘光东.计算机在数学中的应用[J].成都教育学院学报,2000,14(6):23-25.
-
10傅德胜,许庆.基于随机动态密码的身份认证系统[J].信息技术,2011,35(9):17-19. 被引量:1