COUNTEREXAMPLE

作品数：18被引量：19H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关机构：清华大学更多>>
相关期刊：《Journal of Computer Science & Technology》《Applied Mathematics》《Acta Mathematica Sinica,English Series》《Science China Mathematics》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金上海市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Lazy Slicing for State-Space Exploration被引量：1
《Journal of Computer Science & Technology》2012年第4期872-890,共19页黄少滨 黄宏涛 陈志远 吕天阳 张涛 
Supported by the National Natural Science Foundation of China under Grant No. 60873038;the National Key Technology Research and Development Program of the Ministry of Science and Technology of China under Grant Nos. 2009BAH42B02 and 2012BAH08B02
CEGAR （Counterexample-guided abstraction refinement）-based slicing is one of the most important techniques in reducing the state space in model checking. However, CEGAR-based slicing repeatedly explores the state sp...
关键词：counterexample-guided abstraction refinement spurious counterexample over-approximate slicing local refinement lazy slicing 
A counterexample of the Euler condition:the Appell-Hamel dynamical system on a horizontally moving plate
《Chinese Physics B》2009年第8期3131-3134,共4页徐山杉 李书民 Berakdar Jamal 
supported by the National Natural Science Foundation of China (Grant Nos 10874169 and 10674125);and the National Basic Research Program of China (Grant No 2007CB925200);Li Shu-Min is grateful to DAAD and DFG for financial supportduring his stay in Germany
As a counterexample of the Euler condition for nonholonomic constraint problems [H. C. Shen, Acta Phys. Sin. 54, 2468 （2005）], we investigate the Apell-Hamel dynamical system on a horizontally moving plate. The inco...
关键词：Euler condition nonholonomic constraint Appell-Hamel dynamical system Newtonsolution 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部