QQ客服 官方微博 反馈留言

浏览/检索结果: 共9条，第1-9条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation 期刊论文 SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60 作者:  Zeng, Xia[1];  Lin, Wang[2];  Yang, Zhengfeng[3];  Zeng, Zhenbing[4] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/24 Verification for Non-polynomial Hybrid Systems Using Rational Invariants 期刊论文 COMPUTER JOURNAL, 2017, 卷号: 60, 页码: 675-689 作者:  Lin, Wang[1];  Wu, Min[2];  Yang, Zhengfeng[3];  Zeng, Zhenbing[4] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/24 non-polynomial hybrid systems  safety verification  rational invariant  Symbolic-numeric method  formal verification   Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation 期刊论文 中国科学. 信息科学, 2017, 卷号: 60, 页码: 039102 作者:  Zeng Xia[1];  Lin Wang[2];  Yang Zhengfeng[3];  Zeng Zhenbing[4] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/24 Resultant Elimination via Implicit Equation Interpolation 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 页码: 1411-1435 作者:  Tang Min[1];  Yang Zhengfeng[2];  Zeng Zhenbing[3] 收藏  |  浏览/下载：8/0  |  提交时间：2019/04/26 Elimination  implicit equations  interpolation  resultants   The Sinocyclocheilus cavefish genome provides insights into cave adaptation 期刊论文 BMC BIOLOGY, 2016, 卷号: 14 作者:  Yang, Junxing[1];  Chen, Xiaoli[2];  Bai, Jie[3];  Fang, Dongming[4] 收藏  |  浏览/下载：9/0  |  提交时间：2020/01/02 Cavefish  Genome  Adaptation  Evolution  Qinghai-Tibetan Plateau  Sinocyclocheilus   Safety verification of nonlinear systems based on rational invariants 会议论文 2014 Symposium on Symbolic-Numeric Computation, SNC 2014, 2014-07-28 作者:  Lin, Wang[1];  Wu, Min[2];  Yang, Zhengfeng[3];  Zeng, Zhenbing[4] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30 Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2014, 卷号: 8, 页码: 192-202 作者:  Lin, Wang[1];  Wu, Min[2];  Yang, Zhengfeng[3];  Zeng, Zhenbing[4] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30 symbolic computation  sum-of-squares relaxation  semidefinite programming  total correctness  precondition generation   Effects of land consolidation in plains and hills on plots use 期刊论文 2013, 卷号: 29, 期号: 3, 页码: 1 作者:  Zhang, Zhengfeng[1];  Yang, Hong[2];  Gu, Xiaokun[3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/26 Method and application of impact assessment of land consolidation project 期刊论文 2011, 卷号: 27, 期号: 12, 页码: 313 作者:  Zhang, Zhengfeng[1];  Yang, Hong[2];  Gu, Xiaokun[3] 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30