Computer Science ›› 2014, Vol. 41 ›› Issue (2): 15-18.
Previous Articles Next Articles
SHI Li-kun,ZHAO Chun-na,GUAN Yong,SHI Zhi-ping,LI Xiao-juan and YE Shi-wei
| [1] 王戟,李宣东.形式化方法与工具专刊前言[J].软件学报,2011,2(6):1121-1122 [2] 韩俊刚,杜慧敏．数字硬件的形式化验证[M]．北京:北京大学出版社,2001 [3] 万哲先．二项式系数和Gauss系数[J]．数学通报,1994,0:1-6 [4] Podlubng I．Fractional Differential Equations[M]．Technical University of Kosice,Slovak Repubic,1999 [5] Harrison J．Theorem Proving with the Real Numbers[M]．Springer-Verlag,1998 [6] Graham,Knuth R L,Patashnik D E,et al.Concrete Mathema-tics:A Foundation for Computer Science[M]．1994 [7] 万哲先．介绍广义二项式系数[J]．数学通报,2000(1):34-37 [8] 赵春娜,李英顺,陆涛．分数阶系统分析与设计[M]．北京:国防工业出版社,2011 [9] Mhamdi T,Hasan O,Tahar S．On the Formalization of the Lebesgue Integration Theory in HOL[C]∥Interactive Theorem Proving,volume 6172of Lecture Notes in Computer Science．Springer,2010:387-402 [10] 谷伟卿,施智平,关永,等．Gauge积分在HOL4中的形式化[J]．计算机科学,2013,0(2):191-194 [11] 王东风,王晓燕,韩璞．锅炉-汽轮机系统的分数阶控制器设计[J]．中国电机工程学报,2010(5):113-119 [12] 黄果,许黎,蒲亦非．分数阶微积分在图像处理中的研究综述[J]．计算机应用研究,2012,29(2):414-420 [13] 殷德顺,任俊娟,和成亮,等．基于分数阶微积分理论的软土应力-应变关系[J]．岩石力学与工程学报,2009,8(A01):2973-2979 [14] 孙建新．阶乘幂多项式及其基本恒等式[J]．绍兴文理学院学报,2004,4(7):34-37 [15] Maione G,Lino P．New Tuning Rules for Fractional PIα Controllers[J]．Nonlinear Dynamics,2007,49(1/2):251-257 [16] 蒲亦菲．分数阶微积分在现在信号分析与处理中应用的研究[D]．成都:四川大学,2006 [17] Chang T-S,Singh M P．Seismic analysis of structures with afractional derivative model of viscoelastic dampers[J]．Earthquake Engineering and Engineering Vibration,2002,1(2):251-260 [18] Mandelbrot B B．The fractal geometry of nature[M]．San Francisco:Freeman,1982 |
| No related articles found! |
|
||
Home