QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：上海大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Effects of FHIT gene on proliferation and apoptosis of osteosarcoma cells 期刊论文 Oncology letters, 2019, 卷号: 17, 页码: 877-882 作者:  Xu Zhengfeng[1];  Wu Jiajun[2];  Cai Pan[3];  Zhou Xiaoxiao[4];  Yi Cunguo[5] 收藏  |  浏览/下载：11/0  |  提交时间：2019/04/22 apoptosis  cell proliferation  fragile histidine triad gene  osteosarcoma   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 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   日盲紫外告警系统中成像滤光片的研制 期刊论文 中国激光, 2011, 卷号: 38, 页码: 153-156 作者:  Wang, Zhengfeng[1];  Fu, Xiuhua[2];  Zhang, Jing[3];  Kong, Hui[4];  Sun, Yingjie[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30 薄膜  紫外干涉截止滤光片  离子辅助沉积  紫外告警