中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [37]

内容类型

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共37条，第1-10条

帮助

限定条件	专题：北京大学第一署名单位第一作者单位通讯作者单位

已选(0)清除条数/页：排序方式：
	Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他 2017-01-01 Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 Hybrid systems invariants non-autonomous systems polynomial ideals semi-algebraic sets. BARRIER CERTIFICATES SAFETY VERIFICATION
	Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：6/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
	Open weak CAD and its applications 其他 2017-01-01 Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican 收藏 \| 浏览/下载：8/0 \| 提交时间：2017/12/03 Open weak CAD Open weak delineable CAD projection Semi-definiteness Copositivity CYLINDRICAL ALGEBRAIC DECOMPOSITION QUANTIFIER ELIMINATION COPOSITIVE MATRICES IMPROVED PROJECTION INEQUALITIES COMPLEXITY
	Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：8/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
	Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 其他 2016-01-01 Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai 收藏 \| 浏览/下载：9/0 \| 提交时间：2017/12/03
	Computing Reachable Sets of Linear Vector Fields Revisited 其他 2016-01-01 Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/12/03 CYLINDRICAL ALGEBRAIC DECOMPOSITION HYBRID SYSTEMS QUANTIFIER ELIMINATION IMPROVED PROJECTION VERIFICATION
	Smaller SDP for SOS decomposition 其他 2015-01-01 Dai, Liyun; Xia, Bican 收藏 \| 浏览/下载：7/0 \| 提交时间：2017/12/03 SOS SDP Newton polytope Convex cover polynomial Split polynomial POLYNOMIAL OPTIMIZATION PROBLEMS SQUARES SUMS RELAXATIONS FORMS ALGORITHM SPARSITY
	Proving inequalities and solving global optimization problems via simplified CAD projection 其他 2015-01-01 Han, Jingjun; Jin, Zhi; Xia, Bican 收藏 \| 浏览/下载：7/0 \| 提交时间：2017/12/03 CAD projection Global optimization Semi-definiteness Polynomials CYLINDRICAL ALGEBRAIC DECOMPOSITION POLYNOMIAL INEQUALITIES QUANTIFIER ELIMINATION EXISTENTIAL THEORY SETS COEFFICIENTS COMPLEXITY SYSTEMS THEOREM SQUARES
	Special algorithm for stability analysis of multistable biological regulatory systems 其他 2015-01-01 Hong, Hoon; Tang, Xiaoxian; Xia, Bican 收藏 \| 浏览/下载：9/0 \| 提交时间：2017/12/03 Quantifier elimination Root classification Biological regulation system Stability CYLINDRICAL ALGEBRAIC DECOMPOSITION APPLYING QUANTIFIER ELIMINATION COMPUTATIONAL-COMPLEXITY 1ST-ORDER THEORY 3-DIMENSIONAL SPACE IMPROVED PROJECTION DECISION PROBLEM GEOMETRY REALS PRELIMINARIES
	Decidability of the Reachability for a Family of Linear Vector Fields 其他 2015-01-01 Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：7/0 \| 提交时间：2017/12/03 Tarski&apos Polynomial-exponential function Reachability Real root isolation Cylindrical Algebraic Decomposition (CAD) CYLINDRICAL ALGEBRAIC DECOMPOSITION QUANTIFIER ELIMINATION HYBRID SYSTEMS IMPROVED PROJECTION AUTOMATA s algebra

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace