机构

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

采集方式

• OAI收割 [18]

内容类型

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

发表日期

• 2022 [1]
• 2015 [1]
• 2010 [1]
• 2009 [1]
• 2007 [1]
• 2006 [3]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Algebraic Analysis of Zero-Hopf Bifurcation in a Chua System 期刊论文  OAI收割 SYMMETRY-BASEL, 2022, 卷号: 14, 期号: 5, 页码: 16 作者:  Huang, Bo;  Niu, Wei;  Xie, Shaofen   |  收藏  |  浏览/下载：12/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;  Chen JunHua;  Zhang PengFei   |  收藏  |  浏览/下载：12/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 魏绪凯 收藏  |  浏览/下载：20/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   |  收藏  |  浏览/下载：19/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 收藏  |  浏览/下载：48/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   |  收藏  |  浏览/下载：21/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   |  收藏  |  浏览/下载：22/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   |  收藏  |  浏览/下载：12/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 作者:  Wang, Q;  Chen, Y;  Li, B;  Zhang, BQ   |  收藏  |  浏览/下载：14/0  |  提交时间：2018/07/30 Riccati equation rational expansion method  (2+1) -dimensional Broer-Kaup-Kupershmidt system  symbolic computation  rational form solitary wave solutions   一种分布式吴方法计算模型 期刊论文  OAI收割 软件学报, 2005, 卷号: 16, 期号: 3, 页码: 384-391 武永卫; 杨广文; 杨宏; 郑纬民; 林东岱   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/08/19 分布式计算  吴方法  符号计算  distributed computation  Wu's method  symbolic computation