机构

• 软件研究所 [3]
• 地理科学与资源研究所 [2]
• 数学与系统科学研究院 [2]
• 力学研究所 [1]
• 金属研究所 [1]
• 合肥物质科学研究院 [1]
• 更多

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [9]
• 会议论文 [1]

发表日期

• 2022 [1]
• 2020 [2]
• 2013 [2]
• 2012 [1]
• 2011 [2]
• 2005 [1]
• 更多

学科主题

• 流体力学::空气动力... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 SCELT (symbolic computation aided eigenvalue and linear code for tokamaks): A full MHD eigenvalue code in toroidal geometry developed with the use of a symbolic computation technique 期刊论文  OAI收割 COMPUTER PHYSICS COMMUNICATIONS, 2022, 卷号: 278 作者:  Ma, J.;  Guo, W.   |  收藏  |  浏览/下载：35/0  |  提交时间：2022/12/23 Full MHD  Symbolic computation technique  Eigenvalue  Vector analysis  Automatic numerical discretization  Toroidal geometry   Two-Phase Multivariate Time Series Clustering to Classify Urban Rail Transit Stations 期刊论文  OAI收割 IEEE ACCESS, 2020, 卷号: 8, 页码: 167998-168007 作者:  Zhang, Liying;  Pei, Tao;  Meng, Bin;  Lian, Yuanfeng;  Jin, Zhou   |  收藏  |  浏览/下载：28/0  |  提交时间：2021/03/16 Time series analysis  Correlation  Shape  Correlation coefficient  Discrete wavelet transforms  Clustering algorithms  Multivariate time series  cluster  maximum overlap discrete wavelet transform  symbolic aggregate approximation (SAX)  urban rail transit stations   Two-Phase Multivariate Time Series Clustering to Classify Urban Rail Transit Stations 期刊论文  OAI收割 IEEE ACCESS, 2020, 卷号: 8, 页码: 167998-168007 作者:  Zhang, Liying;  Pei, Tao;  Meng, Bin;  Lian, Yuanfeng;  Jin, Zhou   |  收藏  |  浏览/下载：19/0  |  提交时间：2021/03/16 Time series analysis  Correlation  Shape  Correlation coefficient  Discrete wavelet transforms  Clustering algorithms  Multivariate time series  cluster  maximum overlap discrete wavelet transform  symbolic aggregate approximation (SAX)  urban rail transit stations   Symbolic termination analysis of solvable loops 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin   |  收藏  |  浏览/下载：31/0  |  提交时间：2014/12/16 Program verification  Termination analysis  Polynomial loops  Symbolic computation  Quantifier elimination  Real root bounds   Some decidable results on reachability of solvable systems 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, 卷号: 42, 期号: 4, 页码: 405-425 Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin   |  收藏  |  浏览/下载：28/0  |  提交时间：2014/12/16 reachability analysis  solvable mappings  nonlinear systems  hybrid systems  symbolic computation  decision procedures   Parse-matrix evolution for symbolic regression 期刊论文  OAI收割 ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2012, 卷号: 25, 期号: 6, 页码: 1182-1193 作者:  Luo ZT(罗长童);  Zhang SL(张绍良) 收藏  |  浏览/下载：54/0  |  提交时间：2013/01/18 Genetic programming  Data analysis  Symbolic regression  Grammatical evolution  Artificial intelligence  Evolutionary computation  Nonlinear-Systems  Identification   Exact solutions of nonlinear dispersive K(m, n) model with variable coefficients 期刊论文  OAI收割 APPLIED MATHEMATICS AND COMPUTATION, 2011, 卷号: 217, 期号: 22, 页码: 9474-9479 作者:  Yan, Zhenya   |  收藏  |  浏览/下载：15/0  |  提交时间：2018/07/30 Vc-K(m, n) equation  Nnonlinear dispersion  Symbolic analysis  Compacton-like solutions  Solitary pattern-like solutions  Conservation laws   Exact solutions of nonlinear dispersive K(m, n) model with variable coefficients 期刊论文  OAI收割 Applied Mathematics and Computation, 2011, 卷号: 217, 期号: 22, 页码: 9474-9479 Z. Y. Yan 收藏  |  浏览/下载：27/0  |  提交时间：2012/04/13 Vc-K(m  n) equation  Nnonlinear dispersion  Symbolic analysis  Compacton-like solutions  Solitary pattern-like solutions  Conservation  laws  compacton solutions  solitary patterns  equations  solitons   The (2+1)-dimensional integrable coupling of KdV equation: Auto-Backlund transformation and new non-traveling wave profiles 期刊论文  OAI收割 PHYSICS LETTERS A, 2005, 卷号: 345, 期号: 4-6, 页码: 362-377 作者:  Yan, ZY   |  收藏  |  浏览/下载：16/0  |  提交时间：2018/07/30 integrable coupling  Backlund transformatiom  Painleve analysis  non-traveling wave solution  symbolic computation   symbolic execution of program paths involving pointer and structure variables 会议论文  OAI收割 4th International Conference on Quality Software, Braunschweig, GERMANY, SEP 08-09, Zhang J   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/29 array variables  constraint solving technique  path translation  pointer structure variables  program path analysis  symbolic program path execution  translation tool  white-box testing  constraint handling  data flow analysis  program interpreters  progr