机构

• 数学与系统科学研究... [14]
• 软件研究所 [3]
• 力学研究所 [1]
• 近代物理研究所 [1]

采集方式

• OAI收割 [19]

内容类型

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

发表日期

• 2025 [1]
• 2022 [1]
• 2015 [1]
• 2010 [1]
• 2009 [1]
• 2007 [1]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共19条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序作者升序作者降序题名升序题名降序发表日期升序发表日期降序 A framework for learning symbolic turbulence models from indirect observation data via neural networks and feature importance analysis 期刊论文  OAI收割 JOURNAL OF COMPUTATIONAL PHYSICS, 2025, 卷号: 537, 页码: 22 作者:  Wu CT(吴楚畋);  Zhang XL(张鑫磊);  Xu D(徐多);  He GW(何国威)   |  收藏  |  浏览/下载：1/0  |  提交时间：2025/08/18 Turbulence model  Ensemble Kalman method  Symbolic regression  Feature importance analysis  Neural networks   Algebraic Analysis of Zero-Hopf Bifurcation in a Chua System 期刊论文  OAI收割 SYMMETRY-BASEL, 2022, 卷号: 14, 期号: 5, 页码: 16 作者:  Huang, Bo;  Niu, Wei;  Xie, Shaofen   |  收藏  |  浏览/下载：23/0  |  提交时间：2023/02/07 averaging method  limit cycle  symbolic computation  zero-Hopf bifurcation   On the entangled fractional squeezing transformation 期刊论文  OAI收割 FRONTIERS OF PHYSICS, 2015, 卷号: 10, 期号: 2, 页码: 187-191 作者:  Fan HongYi   |  收藏  |  浏览/下载：21/0  |  提交时间：2021/12/13 DIRACS SYMBOLIC METHOD  FOURIER-TRANSFORM  OPERATORS  entangled fractional squeezing transformation  entangled state representation  squeezing operator  core operator   对时间自动机进行空性检测的过程和改进 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |  浏览/下载：31/0  |  提交时间：2011/05/23 时间自动机  模型检测  符号化方法  抽象方法  空性检测  LTL性质timed automata  model checking  symbolic method  abstraction  emptiness checking  LTL   On the nontrivial non-travelling wave profiles of nonlinear evolution and wave equations 期刊论文  OAI收割 COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2009, 卷号: 14, 期号: 4, 页码: 1176-1185 作者:  Shen, Yaliang;  Zhu, Yueping;  Cao, Nanbin   |  收藏  |  浏览/下载：26/0  |  提交时间：2018/07/30 Symbolic computation  Newly extended tanh-function expansion method  Non-travelling wave solution  Soliton-like solution   improvements for the symbolic verification of timed automata 会议论文  OAI收割 27th International Conference on Formal Techniques for Networked and Distributed Systems, Tallinn, ESTONIA, JUN 27-29, Yan Rongjie; Li Guangyuan; Zhang Wenliang; Peng Yunquan 收藏  |  浏览/下载：54/5  |  提交时间：2011/06/29 verification  timed systems  symbolic method  BDD   Some exact analytical solutions to the inhomogeneous higher-order nonlinear Schrodinger equation using symbolic computation 期刊论文  OAI收割 ZEITSCHRIFT FUR NATURFORSCHUNG SECTION A-A JOURNAL OF PHYSICAL SCIENCES, 2006, 卷号: 61, 期号: 10-11, 页码: 509-518 作者:  Li, Biao;  Chen, Yong   |  收藏  |  浏览/下载：28/0  |  提交时间：2018/07/30 inhomogeneous higher-order nonlinear Schrodinger equation  generalized projective Riccati equation method  solitary wave solutions  symbolic computation   A unified rational expansion method to construct a series of explicit exact solutions to nonlinear evolution equations 期刊论文  OAI收割 APPLIED MATHEMATICS AND COMPUTATION, 2006, 卷号: 177, 期号: 1, 页码: 396-409 作者:  Chen, Yong;  Wang, Qi   |  收藏  |  浏览/下载：31/0  |  提交时间：2018/07/30 symbolic computation  exact solutions  nonlinear evolution equations  Jacobi elliptic function rational expansion method  Riccati equation rational expansion method   Discrete exact solutions of modified Volterra and Volterra lattice equations via the new discrete sine-Gordon expansion algorithm 期刊论文  OAI收割 NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2006, 卷号: 64, 期号: 8, 页码: 1798-1811 作者:  Yan, ZY   |  收藏  |  浏览/下载：15/0  |  提交时间：2018/07/30 discrete soliton equations  discrete sine-Gordon expansion method  solitary wave solution  symbolic computation   New families of rational form solitary wave solutions to (2+1)-dimensional Broer-Kaup-Kupershmidt system 期刊论文  OAI收割 COMMUNICATIONS IN THEORETICAL PHYSICS, 2005, 卷号: 43, 期号: 5, 页码: 769-774 作者:     |  收藏  |  浏览/下载：21/0  |  提交时间：2018/07/30 Riccati equation rational expansion method  (2+1) -dimensional Broer-Kaup-Kupershmidt system  symbolic computation  rational form solitary wave solutions