|
|
|
| 关于循环终止性证明的一种最小不动点方法 |
| 宋炜 |
| 江西工业大学计算机系； |
|
| Song Wei (Department of Computer) |
| [1] |
江顺亮; 黄强强; 董添文; 徐少平. 基于CUDA的离散粒子系统模拟仿真及其实现[J]. 南昌大学学报（工科版）, 2011, 33(03): 1-. |
| [2] |
徐镇凯; 马连军. 三维无网格法与有限元法工程应用对比分析探讨[J]. 南昌大学学报（工科版）, 2007, 29(04): 1-. |
| [3] |
叶人珍; 卢孝强. 二维抛物型方程反问题的数值解法[J]. 南昌大学学报（理科版）, 2005, 29(05): 1-. |
| [4] |
徐镇凯; 汪文彬. 钢筋混凝土壳体结构内力计算的曲杆空间刚架法程序设计[J]. 南昌大学学报（工科版）, 2004, 26(03): 1-. |
| [5] |
胡军; 管春. 面向对象程序流程框图方法的研究[J]. 南昌大学学报（理科版）, 2002, 26(03): 1-. |
| [6] |
徐镇凯; 高飞. 砼坝的三轴非线性应力计算程序设计方法探讨[J]. 南昌大学学报（工科版）, 2000, 22(04): 1-. |
| [7] |
赵锡钱. SAP-5程序单元接口分析[J]. 南昌大学学报（工科版）, 1992, 14(04): 1-. |
| [8] |
赵锡钱; 丁成辉; 蔡文豪; 吴晓钢. 工科专业计算结构力学教学中的若干问题[J]. 南昌大学学报（工科版）, 1992, 14(04): 1-. |
| [9] |
龚向东. 单片微机系统时钟软件的一种实现方法[J]. 南昌大学学报（理科版）, 1992, 16(03): 1-. |
| [10] |
吴建华; 徐锦蓉; 史艳玲; 刘征宇. 微机数字滤波器设计程序[J]. 南昌大学学报（工科版）, 1990, 12(01): 1-. |
| [11] |
刘清. 从输出断言逆向思考的程序设计[J]. 南昌大学学报（理科版）, 1986, 10(03): 1-. |
| [12] |
付昭阳. 可移植PASCAL编译系统实施途径[J]. 南昌大学学报（工科版）, 1981, 3(01): 1-. |
|
|
|
|
1991, Vol. 13 