半代数系统相关论文
针对高维多项式微分系统的Zero-Hopf分岔进行分析.首先,我们将分岔分析问题约化为代数问题,并基于半代数系统求解的符号算法给出微......
有理参数曲线的恰当性是曲线的基本性质,有理系数情况下已经有完备的结果.但是工程和CAGD应用中常常得到带误差浮点系数的有理表示......
软件漏洞是引发信息安全问题的重要根源.内存泄露作为一种常见的软件漏洞,会加快系统内存的不良消耗,造成系统崩溃,一旦被利用,可......
过去20多年来定理机器证明所获进展主要限于等式型定理的证明,而对不等式型定理机器证明的研究却举步维艰.1994年,周咸青、高小山......
众多的理论和实际工程问题通常是由一些连续系统与离散系统构成的混杂系统描述，其计算都可归结为半代数系统混杂计算，包括:计算机视......
本文研究了四类具有退化奇点的平面可积系统的多项式扰动问题，属于Liénard-(m，n)型x=y，y=P(x)+εyQ(x)(deg(P)=m，deg(Q)=n)微分系统.......
计算复杂性理论产生于对由计算模型定义的算法的数学研究.计算模型在近五、六十年逐步发展.Turing机成功地为理论计算机科学提供了......
在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于......
线性系统的同时镇定问题，是系统与控制理论中的基本问题，有着广泛的理论意义和应用价值．本文介绍了线性系统同时镇定问题的研究现状和......
有理参数曲线的恰当性是曲线的基本性质,虽然其在有理系数情况下已经有完备的结果,但在工程和CAGD应用中常常得到带误差浮点系数的......
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后......
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型......
阐述了一个基于胞腔分解的不等式证明算法 .据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理 ,对于Bottema等所著......
为了解决特定消谐脉宽调制技术中开关角度非线性超越方程组的实解个数问题,利用三角函数倍角公式将非线性超越方程组转化为带不等......
