兰州大学机构库

Browse/Search Results:  1-10 of 21 Help

Selected(0)Clear Items/Page:    Sort:
A New Elementary Operation Approach to Multidimensional Realization and LFR Uncertainty Modeling: The MIMO Case 期刊论文
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2012, 卷号: 59, 期号: 3, 页码: 638-651
Authors:  Xu, Li;  Yan, S(阎石);  Lin, Zhiping;  Matsushita, Shin-ya
Adobe PDF(4311Kb)  |  Favorite  |    Submit date:2015/12/15
Polynomials  Mimo  Mathematical Model  Uncertainty  Vectors  Computational Modeling  Computers  
基于Web的可视化科学计算系统iMathema的设计与实现 学位论文
学士, 兰州: 兰州大学, 2014
Authors:  杨乐
Favorite  |    Submit date:2019/01/18
计算机代数系统  Maxima  MathML  ASCIIMathML  PHP  科学计算  
Application of Wu's method to symbolic model checking 会议论文
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, Beijing, China, July 24, 2005 - July 27, 2005
Authors:  Mao, Weibo;  Wu, Jinzhao,,;  Mao, W. (maoweibo@hotmail.com)
Favorite  |    Submit date:2017/01/18
Set Theory  Algebra  Computation Theory  Mathematical Models  Polynomials  Problem Solving  Characteristic Set  Symbolic Model Checking  Wu's Method  
Monads and distributive laws for Rota-Baxter and differential algebras 期刊论文
Advances in Applied Mathematics, 2016, 卷号: 72, 页码: 139-165
Authors:  Zhang, Shilong;  Guo, Li;  Keigher, William
Adobe PDF(207Kb)  |  Favorite  |    Submit date:2020/07/17
IMathema: A novel online intelligent computing system oriented to common scientific computations 会议论文
ACM International Conference Proceeding Series, Wuhan, China, December 1, 2013 - December 2, 2013
Authors:  Yang, Le;  Su, W(苏伟);  Guan, Lei;  Su, W. (suwei@lzu.edu.cn)
Favorite  |    Submit date:2017/01/18
Computer systems  Algebra  Cloud computing  Distance education  Intelligent computing  Internet  Software engineering  Computer algebra systems  Computing services  MathML  On-line education  Open Source Software  Practical problems  Scientific computation  Symbolic computing  
Prediction of atmospheric degradation data for POPs by gene expression programming 期刊论文
SAR AND QSAR IN ENVIRONMENTAL RESEARCH, 2008, 卷号: 19, 期号: 5-6
Authors:  Luan, F;  Si, HZ;  Liu, HT;  Wen, YY;  Zhang, XY(张晓昀);  Luan, F (reprint author), Yantai Univ, Dept Appl Chem, Yantai, Shandong, Peoples R China.
Adobe PDF(182Kb)  |  Favorite  |    Submit date:2014/12/05
Gene Expression Programming (Gep)  Qsar  Heuristic Method (Hm)  Persistent Organic Pollutant (Pop)  
Beyond travelling waves: A new algorithm for solving nonlinear evolution equations 期刊论文
COMPUTER PHYSICS COMMUNICATIONS, 1996, 卷号: 95, 期号: 2-3, 页码: 139-142
Authors:  Tian, B;  Gao, YT
Adobe PDF(177Kb)  |  Favorite  |    Submit date:2015/05/25
An algorithm for solving partial differential parametric systems 期刊论文
DISCRETE APPLIED MATHEMATICS, 2004, 卷号: 136, 期号: 1, 页码: 105-116
Authors:  Wang, JM;  Gao, XS
Adobe PDF(243Kb)  |  Favorite  |    Submit date:2015/12/15
differential algebra  differential parametric system  Wu-Ritt method  cover  
A type of recurring relation on sequences and efficient decoding of a class of algebraic-geometric codes (I) - A new type of recurring relation 期刊论文
SCI CHINA SER E, 1998, 卷号: 41, 期号: 6, 页码: 631-640
Authors:  Li, B;  Zhou, LF;  Xiao, GZ
Adobe PDF(460Kb)  |  Favorite  |    Submit date:2015/12/16
Sequence  Recurring Relation  Algorithm  
Optimal Error Estimate of Chebyshev-Legendre Spectral Method for the Generalised Benjamin-Bona-Mahony-Burgers Equations 期刊论文
ABSTR APPL ANAL, 2012, 页码: -
Authors:  Zhao, Tinggang;  Zhang, Xiaoxian;  Huo, Jinxia;  Su, Wanghui;  Liu, Yongli;  Wu, Yujiang
Adobe PDF(2118Kb)  |  Favorite  |    Submit date:2015/12/16