QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 已选(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 Analyzing ultimate positivity for solvable systems 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 609, 页码: 395-412 作者:  Xu, Ming[1];  Huang, Cheng-Chao[2];  Li, Zhi-Bin[3];  Zeng, Zhenbing[4] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/26 Positivity problem  Dynamical system  Decision procedure  Computational algebraic geometry  Number theory   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   Predicting miRNA's target from primary structure by the nearest neighbor algorithm 期刊论文 MOLECULAR DIVERSITY, 2010, 卷号: 14, 页码: 719-729 作者:  Lin, Kao[1];  Qian, Ziliang[2];  Lu, Lin[3];  Lu, Lingyi[4];  Lai, Lihui[5] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30 miRNA  Target  Predict  Nearest neighbor algorithm  Minimum redundancy maximum relevance  Properties forward selection   A graph theoretic algorithm for removing redundant protein sequences 会议论文 3rd International Conference on Bioinformatics and Biomedical Engineering, 2009-06-11 作者:  Liu, Pengfei[1];  Zeng, Zhenbing[2];  Qian, Ziliang[3];  Feng, KaiYan[4];  Cai, Yudong[5] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30 redundant proteins  independent set  BLAST  graph theory