期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
线性半代数变迁系统的近似互模拟等价 被引量:1
1
作者 邓辉 吴尽昭 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2013年第4期1052-1058,共7页
针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在... 针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在工程应用中大多数实验所得数据仅为给定误差范围内的近似值,精确的系统等价关系缺乏容错性及灵活性。为获得更恰当的系统关系,利用奇异值分解对系统进行近似处理,建立了系统的近似互模拟等价概念及计算方法。通过符号与数值混合计算,实现误差可计算及可控制。最终选取近似等价系统代替原复杂系统。并发通信程序中的实例分析表明,该方法在简化软件程序设计中具有合理性及有效性。 展开更多
关键词 计算机软件 近似互模拟 线性代数变迁系统 特征列 奇异值分解 并发通信程序
下载PDF
线性系统的同时镇定问题 被引量:9
2
作者 关强 何冠男 +1 位作者 王龙 郁文生 《控制理论与应用》 EI CAS CSCD 北大核心 2011年第1期1-12,共12页
线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角... 线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角度对线性系统同时镇定研究中著名的"香槟问题","比利时巧克力问题"和"威士忌问题"进行了分析探讨,并基于不等式型定理机器证明理论,给出了线性系统同时镇定问题的相关工作.最后指出了对于同时镇定多个线性系统方面的若干研究方向. 展开更多
关键词 线性系统 同时镇定 香槟问题 比利时巧克力问题 威士忌问题 复分析 不等式型定理 机器证明 半代数系统
下载PDF
基于强化学习的柱形代数分解变元择序
3
作者 荆瑞娟 钱铖镕 陈长波 《系统科学与数学》 CSCD 北大核心 2024年第9期2826-2849,共24页
柱形代数分解是半代数系统求解和实量词消去的基本工具.实际求解过程中,不同变元序的选择对柱形代数分解的效率影响重大.目前已有的启发式或机器学习择序的方法基本都建立在多项式系统的支撑集是影响变元序的决定因素这一隐含假设上.文... 柱形代数分解是半代数系统求解和实量词消去的基本工具.实际求解过程中,不同变元序的选择对柱形代数分解的效率影响重大.目前已有的启发式或机器学习择序的方法基本都建立在多项式系统的支撑集是影响变元序的决定因素这一隐含假设上.文章首先通过设计同支撑集变系数的实验对这一假设进行了检验,实验表明支撑集确实是影响最佳变元序的重要因素但并非唯一因素.针对同支撑集变系数的柱形代数分解最佳择序问题,文章设计了基于强化学习的择序方案,四变元的实验表明该方案可以突破已有方法只依赖支撑集选择最佳变元序准确率的上限.另外,针对多达二十万亿可选序系统的实验表明,该方案远优于传统的启发式方法.同已有的针对较少变元的监督学习择序方案相比,该强化学习方案克服了变元增多导致序数量组合爆炸时获得高质量标记数据的困难. 展开更多
关键词 半代数系统 柱形代数分解 变元序 强化学习 支撑集
原文传递
一类构造性几何不等式的机器证明 被引量:37
4
作者 杨路 夏时洪 《计算机学报》 EI CSCD 北大核心 2003年第7期769-778,共10页
阐述了一个基于胞腔分解的不等式证明算法 .据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理 ,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效 .
关键词 构造性几何不等式 机器证明 自动证明 半代数系统
下载PDF
线性程序的Ranking函数自动合成 被引量:1
5
作者 李骏 李轶 +1 位作者 冯勇 秦小林 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2009年第5期176-181,共6页
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法... 针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数。通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的。 展开更多
关键词 DISCOVERER Farkas’lemma Ranking函数 半代数系统 程序终止性 程序验证
下载PDF
基于DISCOVERER的Petri网不变式自动生成
6
作者 毕忠勤 单美静 陈光喜 《计算机应用研究》 CSCD 北大核心 2009年第4期1320-1322,1337,共4页
在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来... 在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性。 展开更多
关键词 PETRI网 不变式 半代数系统 代数变迁系统
下载PDF
有理参数曲线的近似恰当化
7
作者 申立勇 袁春明 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第7期924-929,共6页
有理参数曲线的恰当性是曲线的基本性质,虽然其在有理系数情况下已经有完备的结果,但在工程和CAGD应用中常常得到带误差浮点系数的有理表示形式.为此,讨论了这类有误差的有理参数曲线,定义了近似非恰当参数形式和近似非恰当指数,并通过... 有理参数曲线的恰当性是曲线的基本性质,虽然其在有理系数情况下已经有完备的结果,但在工程和CAGD应用中常常得到带误差浮点系数的有理表示形式.为此,讨论了这类有误差的有理参数曲线,定义了近似非恰当参数形式和近似非恰当指数,并通过半代数系统计算近似非恰当指数;在给出近似非恰当指数的同时,得到近似最大公因子.最后基于最小二乘法给出近似参数有理变换表示,计算出曲线恰当的近似有理参数表示. 展开更多
关键词 有理参数曲线 恰当参数化 近似非恰当指数 近似最大公因子 半代数系统
下载PDF
计算机怎样证明几何不等式
8
作者 杨路 《广州大学学报(自然科学版)》 CAS 2004年第2期97-106,179,共11页
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效.对一类代数结构较为简... 阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效.对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明. 展开更多
关键词 自动证明 几何不等式 构造性几何定理 半代数系统 胞腔分解
下载PDF
半代数经济模型的均衡点计算:一种代数方法
9
作者 李晓亮 《中国科学:信息科学》 CSCD 北大核心 2016年第3期291-310,共20页
半代数经济模型指的是均衡点可以用半代数系统刻画的经济模型,通常包括静态均衡模型和动态均衡模型两大类.本文介绍了将静态均衡模型的多均衡检测问题以及动态均衡模型的稳定性分析问题转化为半代数系统实解计数问题的一般方法,并针对... 半代数经济模型指的是均衡点可以用半代数系统刻画的经济模型,通常包括静态均衡模型和动态均衡模型两大类.本文介绍了将静态均衡模型的多均衡检测问题以及动态均衡模型的稳定性分析问题转化为半代数系统实解计数问题的一般方法,并针对无参数和带参数两种情形分别提供了分析半代数系统实解个数的系统化算法.与Kubler和Schmedders给出的方法相比,本文介绍的方法考虑了不等式约束,并可以给出均衡点的精确个数.对几个具体的经济模型均衡点的计算分析结果显示了所提算法的有效性. 展开更多
关键词 均衡点 代数经济模型 半代数系统 微分方程 稳定性 三角分解
原文传递
基于量词消去的Petri网不变式自动生成
10
作者 毕忠勤 《上海电力学院学报》 CAS 2011年第1期75-78,86,共5页
基于模板和量词消去建立了一个求解Petri网不变式的算法.引入一个带参模板作为Petri网的候选不变式,再根据不变式必须满足归纳断言初始条件和承接条件,将Petri网的自动生成问题转化为量词消去问题,并求解出带参模板中的参数得到原Petri... 基于模板和量词消去建立了一个求解Petri网不变式的算法.引入一个带参模板作为Petri网的候选不变式,再根据不变式必须满足归纳断言初始条件和承接条件,将Petri网的自动生成问题转化为量词消去问题,并求解出带参模板中的参数得到原Petri网的不变式.最后通过两个算例说明了该算法的有效性. 展开更多
关键词 PETRI网 不变式 量词消去 代数变迁系统
下载PDF
高维多项式微分系统Zero-Hopf分岔分析及算法推导
11
作者 黄博 韩德仁 《系统科学与数学》 CSCD 北大核心 2021年第12期3280-3298,共19页
针对高维多项式微分系统的Zero-Hopf分岔进行分析.首先,我们将分岔分析问题约化为代数问题,并基于半代数系统求解的符号算法给出微分系统存在Zero-Hopf分岔点的判定方法.然后,基于二阶平均方法推导出微分系统Zero-Hopf分岔分析的算法框... 针对高维多项式微分系统的Zero-Hopf分岔进行分析.首先,我们将分岔分析问题约化为代数问题,并基于半代数系统求解的符号算法给出微分系统存在Zero-Hopf分岔点的判定方法.然后,基于二阶平均方法推导出微分系统Zero-Hopf分岔分析的算法框架,并利用符号计算方法通过具体算例开展了极限环分岔研究,得到了一些新结果.最后提出几个相关的研究问题. 展开更多
关键词 微分系统 分岔分析 半代数系统 符号计算 平均方法
原文传递
特定消谐脉宽调制开关角度的实解个数 被引量:7
12
作者 杨克虎 袁如意 +1 位作者 项勇 郁文生 《中国矿业大学学报》 EI CAS CSCD 北大核心 2011年第5期766-773,共8页
为了解决特定消谐脉宽调制技术中开关角度非线性超越方程组的实解个数问题,利用三角函数倍角公式将非线性超越方程组转化为带不等式约束的多项式方程组,提出了一种基于半代数系统机器证明算法的实解分类方法.给出了N=3时的单相和三相逆... 为了解决特定消谐脉宽调制技术中开关角度非线性超越方程组的实解个数问题,利用三角函数倍角公式将非线性超越方程组转化为带不等式约束的多项式方程组,提出了一种基于半代数系统机器证明算法的实解分类方法.给出了N=3时的单相和三相逆变器以及N=4时的单相逆变器开关角度实解个数的完全分类,同时首次得到了分类边界点的解析解.理论推导和实验仿真结果表明:该方法能够从理论上给出调制比和实解个数之间的变化关系,对于开关角度的求解以及提高逆变器的消谐效果具有重要的指导意义. 展开更多
关键词 特定消谐 半代数系统 脉宽调制 逆变器
原文传递
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 被引量:1
13
作者 WANG Qiuye LI Yangjia +1 位作者 XIA Bican ZHAN Naijun 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2017年第1期234-252,共19页
Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, m... Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template. 展开更多
关键词 Hybrid systems INVARIANTS NON-A utonomous systems polynomial ideals semi-algebraic sets.
原文传递
STABILITY RADIUS OF NON-SMOOTH PRITCHARD-SALAMON SYSTEMS AND THE ALGEBRAIC RICCATI EQUATION 被引量:1
14
作者 Weisheng JIANG Falun HUANG Tingyu ZHU 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2009年第2期220-227,共8页
The authors discuss the stability radius of the non-smooth Pritchard-Salamon systemsunder structured perturbations.A formula for the stability radius in terms of t he norm of a certaininput-output operator is obtained... The authors discuss the stability radius of the non-smooth Pritchard-Salamon systemsunder structured perturbations.A formula for the stability radius in terms of t he norm of a certaininput-output operator is obtained.Furthermore,the relationship between stability radius and thesolvability of some type of algebraic Riccati equations is given. 展开更多
关键词 Operator Riccati equation Pritehard-Salamon system stability radius.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部