反例论文

基于启发式遗传算法生成随机模型检验的反例
论文摘要模型检验的主要优势之一是它能够在模型违反给定时态逻辑的情况下自动生成反例。反例提供了用于系统调试时的基本诊断信息,调试者可以根据反例,分析系统错误产生的原因,进而对系统...
Rolle定理引出的反例
论文摘要微分中值定理是微分学的重要理论基础,也是利用导数的局部性研究函数整体性的重要工具.Rolle定理是微分中值定理的基石,该文就Rolle定理的条件和结论进行深入分析,给出...
正规指数论文_付诗禄,王春林,方玲
导读:本文包含了正规指数论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:子群,正规,指数,极小,论文,反例,幂零群。正规指数论文文献综述付诗禄,王春林,方玲[...