QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 发表日期：2017    内容类型：其他     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 Hybrid system  Barrier certificate  Formal verification  Invariant  Nonlinear system  Semi-definite programming  Sum of squares  HYBRID SYSTEMS  ALGORITHMIC ANALYSIS  SAFETY VERIFICATION  INVARIANTS   A SUPERCONVERGENT L-infinity-ERROR ESTIMATE OF RT1 MIXED METHODS FOR ELLIPTIC CONTROL PROBLEMS WITH AN INTEGRAL CONSTRAINT 其他 2017-01-01 Tang, Yuelong; Hua, Yuchun 收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03 Elliptic equations  optimal control problems  superconvergence  mixed finite element methods  postprocessing  FINITE-ELEMENT APPROXIMATION  EQUATIONS   Orientation-preservation conditions on an iso-parametric FEM in cavitation computation 其他 2017-01-01 Su ChunMei; Li ZhiPing 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 orientation-preservation condition  iso-parametric FEM  cavitation computation  nonlinear elasticity  NONLINEAR ELASTICITY  SINGULAR MINIMIZERS  CONFIGURATIONAL FORCES  NUMERICAL-METHOD   A fourth-order AVF method for the numerical integration of sine-Gordon equation 其他 2017-01-01 Jiang, Chaolong; Sun, Jianqiang; Li, Haochen; Wang, Yifan 收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03 Energy-preserving  Average vector field method  Pseudo-spectral method  Sine-Gordon equation  Soliton  BACKWARD ERROR ANALYSIS  SYMPLECTIC RUNGE-KUTTA  ALGORITHMS  SOLITONS  SCHEME  COLLOCATION  PDES   Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03 Hybrid system  Barrier certificate  Formal verification  Invariant  Nonlinear system  Semi-definite programming  Sum of squares  HYBRID SYSTEMS  ALGORITHMIC ANALYSIS  SAFETY VERIFICATION  INVARIANTS   The stationary distribution of Ornstein-Uhlenbeck process with a two-state Markov switching 其他 2017-01-01 Zhang, Zhenzhong; Wang, Wenlong 收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03 Fourier transform  Markov chain  Ornstein-Uhlenbeck process  Stationary density  STOCHASTIC DIFFERENTIAL-EQUATIONS  ASYMPTOTIC STABILITY