云南高校图书馆联盟文献共享服务平台- 邹进

邹进: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：温州大学数学与信息科学学院更多>>; 发文主题：非线性混成系统可达性分析可达性更多>>; 发文领域：自动化与计算机技术理学更多>>; 发文期刊：《计算机应用》更多>>; 所获基金：浙江省教育厅科研计划国家自然科学基金国家重点基础研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于多面体包含的非线性混成系统可达性分析被引量：1: 《计算机应用》2013年第5期1289-1293,共5页邹进林望罗勇曾振柄; 国家自然科学基金资助项目(11001204);国家973计划项目(2011CB302904);浙江省教育厅科研项目(Y201120383);温州大学实验室研究项目(JWS20120612); 针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体包含对多项式混成系统进行线性近似,并采用量词消去和非线性优化方法来构造相应的线性混成系统,然后运用...; 关键词：混成系统可达性分析安全性验证多面体包含线性近似