期刊文献+
共找到49篇文章
< 1 2 3 >
每页显示 20 50 100
从RZH标准看解决说谎者悖论的“句方程方案”
1
作者 林静霞 《湖南科技大学学报(社会科学版)》 北大核心 2026年第1期69-75,共7页
“句方程方案”是文兰先生原创的关于说谎者悖论的新型解决方案,其基本观点是:说谎者“语句”本质上是包含变元的方程,悖论的推导实际上是方程无解的反证法证明过程掐头去尾后的自然语言翻译。该方案以三卡悖论的构造揭示出一系列说谎... “句方程方案”是文兰先生原创的关于说谎者悖论的新型解决方案,其基本观点是:说谎者“语句”本质上是包含变元的方程,悖论的推导实际上是方程无解的反证法证明过程掐头去尾后的自然语言翻译。该方案以三卡悖论的构造揭示出一系列说谎者悖论变体的统一代数结构,支撑起矛盾的消除方式并能预防悖论的强化版本。这种代数解法维护了关于经典逻辑、自然语言、真理功能的一般认识,可以融贯地处理其他语义悖论,符合RZH解悖标准的“足够狭窄性”和“充分宽广性”要求。但其“无句解”的结论否定了说谎者“语句”作为语句的资格,在“非特设性”上尚需进一步辩护,量化域的进一步考量或可作为一种改进方向。 展开更多
关键词 说谎者悖论 句方程方案 RZH标准 代数学
原文传递
The Algebraic Criteria for the All-delay Stabilityof Two-dim ensional Degenerate Differential System swith Delay 被引量:12
2
作者 蒋威 郑祖庥 《Chinese Quarterly Journal of Mathematics》 CSCD 1998年第1期87-93, ,共7页
This paper give the algebraic criteria for all delay stability of two dimensional degenerate differential systems with delays and give two examples to illustrate the use of them.
关键词 degenerate differential system with delay all delay stability algebraic criterion
在线阅读 下载PDF
两自由度碰撞振动系统分叉参数的确定 被引量:11
3
作者 谢建华 文桂林 肖建 《振动工程学报》 EI CSCD 北大核心 2001年第3期249-253,共5页
本文分别研究了含多参数的四维映射系统的周期倍化分叉和 Hopf分叉的参数临界值的代数判据。其理论结果可以应用于确定含多参数的两自由度碰撞振动系统的周期倍化分叉和 Hopf分叉的分叉参数临界值。应用于一类含多参数的两自由度碰撞振... 本文分别研究了含多参数的四维映射系统的周期倍化分叉和 Hopf分叉的参数临界值的代数判据。其理论结果可以应用于确定含多参数的两自由度碰撞振动系统的周期倍化分叉和 Hopf分叉的分叉参数临界值。应用于一类含多参数的两自由度碰撞振动系统的 Poincar 映射分叉参数临界值的分析 ,获得该碰撞振动系统的周期倍化分叉和 Hopf分叉条件 ,并用数值方法模拟了理论分析结果。 展开更多
关键词 非线性振动 分叉 代数判据 两自由度 碰撞振动
在线阅读 下载PDF
考虑饱和环节的自动发电控制时滞系统串级控制 被引量:4
4
作者 陈晨 李平康 贾智州 《电力系统自动化》 EI CSCD 北大核心 2017年第10期66-71,共6页
自动发电控制(AGC)调节过程中存在发电机变化率约束、时延等约束条件,使得基于线性模型的AGC控制策略不能反映真实电力系统的频率调节特性。针对AGC时滞系统同时存在饱和与时延的问题,提出了一种基于内外环比例—积分(PI)稳定域的串级... 自动发电控制(AGC)调节过程中存在发电机变化率约束、时延等约束条件,使得基于线性模型的AGC控制策略不能反映真实电力系统的频率调节特性。针对AGC时滞系统同时存在饱和与时延的问题,提出了一种基于内外环比例—积分(PI)稳定域的串级控制系统遗传优化策略。基于AGC系统的负荷频率控制与机组控制组成的串级控制回路,采用Hopf分岔代数判据和时滞系统稳定域理论,分别求取了内外回路的PI稳定域,证明了饱和及时延参数会影响到PI稳定域的变化。通过将稳定域转化为控制器参数优化的约束条件后,对内环优化采用不同指标进行对比,证明了绝对误差积分(IAE)指标对于扰动具有更好的抑制能力;而对外环的对比表明采用时间乘平方误差积分(ITSE)指标具有更小的波动量。遗传优化结果表明所提控制策略能够有效抑制饱和及时延环节对系统性能的影响。 展开更多
关键词 发电机变化率约束 时延 串级控制 Hopf分岔代数判据 遗传优化
在线阅读 下载PDF
关于T-S模糊系统稳定性的一个代数判据 被引量:2
5
作者 杨春雨 张庆灵 周林娜 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第6期515-518,共4页
引用一个特定的矩阵测度,基于M矩阵的基本性质,分析T S模糊系统的稳定性问题·结果表明:利用T S模糊系统子系统的系数矩阵构造一个判断矩阵,该判断矩阵的稳定性蕴涵着原T S模糊系统的全局稳定性·这个代数判据不同于现有的Lyapu... 引用一个特定的矩阵测度,基于M矩阵的基本性质,分析T S模糊系统的稳定性问题·结果表明:利用T S模糊系统子系统的系数矩阵构造一个判断矩阵,该判断矩阵的稳定性蕴涵着原T S模糊系统的全局稳定性·这个代数判据不同于现有的Lyapunov稳定性框架之下的分析结果·然后,根据PDC算法,给出一种基于该代数判据的模糊状态反馈控制器的设计方法,并给出闭环T S模糊系统判断矩阵稳定的一个必要条件·最后,通过一个数值算例说明如何利用该代数判据来设计模糊状态反馈控制器· 展开更多
关键词 T—S模糊系统 PDC算法 稳定性 控制器 代数判据 M矩阵
在线阅读 下载PDF
肌肉中的HH模型钠离子通道反电势的Hopf分岔分析 被引量:2
6
作者 王江 张骅 曾启明 《系统仿真学报》 CAS CSCD 2004年第10期2276-2279,2284,共5页
以肌肉中的Hodgkin-Huxley模型为研究对象,研究病理实验中有显著变化的钠离子通道反电势参数对Hodgkin-Huxley模型的影响并分析其Hopf分岔。采用高维方程的代数判据进行Hodgkin-Huxley模型单参数动态分岔分析,简化了分析过程,并用研究... 以肌肉中的Hodgkin-Huxley模型为研究对象,研究病理实验中有显著变化的钠离子通道反电势参数对Hodgkin-Huxley模型的影响并分析其Hopf分岔。采用高维方程的代数判据进行Hodgkin-Huxley模型单参数动态分岔分析,简化了分析过程,并用研究结果解释相应的生理过程,试图从生物系统动态过程异变的角度探讨生理疾病的成因。 展开更多
关键词 HOPF分岔 HH模型 反电势 代数判据
在线阅读 下载PDF
HHM模型的多参数Hopf分岔分析 被引量:1
7
作者 王江 耿建明 费向阳 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第1期170-173,184,共5页
现代科学证明,不少疾病都与生物细胞膜离子通道病变有关,表现为生物模型中相关参数的异常变化,这类疾病可归类为离子通道疾病。以肌肉中的Hodgkin-Huxley模型为研究对象,选取漏电导数gl和钠离子通道反电势VNa作为分岔参数,分析其Hopf分... 现代科学证明,不少疾病都与生物细胞膜离子通道病变有关,表现为生物模型中相关参数的异常变化,这类疾病可归类为离子通道疾病。以肌肉中的Hodgkin-Huxley模型为研究对象,选取漏电导数gl和钠离子通道反电势VNa作为分岔参数,分析其Hopf分岔并探讨分岔对HH模型的影响。采用高维方程的代数判据进行Hodgkin-Huxley模型多参数动态分岔分析,简化了分析过程。并用研究结果解释相应的生理过程,试图从生物系统动态过程异变的角度探讨生理疾病的成因。 展开更多
关键词 HOPF分岔 双参数 代数判据 HHM模型
在线阅读 下载PDF
Hopf分岔代数判据在血红细胞存活模型中的应用 被引量:1
8
作者 李恩颖 李光耀 文桂林 《工程数学学报》 CSCD 北大核心 2008年第4期576-582,共7页
红细胞的生长是一种高阶非线性离散问题,一般方法很难确定高阶含多参数问题的Hopf分岔点。本文应用任意阶Hopf分岔代数判据对六阶红细胞存活模型的Hopf分岔点进行判定,同时利用投影法判断是否存在稳定极限环。通过分析该模型的分岔点验... 红细胞的生长是一种高阶非线性离散问题,一般方法很难确定高阶含多参数问题的Hopf分岔点。本文应用任意阶Hopf分岔代数判据对六阶红细胞存活模型的Hopf分岔点进行判定,同时利用投影法判断是否存在稳定极限环。通过分析该模型的分岔点验证了该代数判据对高阶问题的有效性以及稳定性。 展开更多
关键词 HOPF分岔 代数判据 高阶问题 投影法 红细胞
在线阅读 下载PDF
基于代数规约的Web服务测试 被引量:5
9
作者 余波 孔良 彭琛 《计算机工程》 CAS CSCD 北大核心 2009年第21期60-61,64,共3页
针对自动测试Web服务,提出基于代数规约测试Web服务的方法,包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约,采用方法覆盖准则以及等式覆盖准则自动生成测试用例,在此基础上,设计并实现一个原型工具。结果表明该方法能够自... 针对自动测试Web服务,提出基于代数规约测试Web服务的方法,包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约,采用方法覆盖准则以及等式覆盖准则自动生成测试用例,在此基础上,设计并实现一个原型工具。结果表明该方法能够自动测试部署在Web应用服务器上的Web服务。 展开更多
关键词 WEB 服务 代数规约 方法覆盖准则 等式覆盖准则
在线阅读 下载PDF
离散传递函数正实性与连续传递函数有限频率正实性的代数判据 被引量:1
10
作者 周彬 段广仁 《自动化学报》 EI CSCD 北大核心 2009年第5期561-567,共7页
正实性是控制理论中最重要的概念之一.许多控制目标的实现皆依赖于某些传递函数的正实性.相比于正实性,有限频率正实性则是较近提出的概念,并且亦在控制理论中找到了大量应用.为了判断离散标量传递函数的正实性和连续标量传递函数的有... 正实性是控制理论中最重要的概念之一.许多控制目标的实现皆依赖于某些传递函数的正实性.相比于正实性,有限频率正实性则是较近提出的概念,并且亦在控制理论中找到了大量应用.为了判断离散标量传递函数的正实性和连续标量传递函数的有限频率正实性,本文分别给出了一种易于计算的简洁代数判据.现有的判断连续标量传递函数严格正实性的代数判据可以看作是本文结果的特殊情况.数值算例验证了方法的有效性. 展开更多
关键词 离散传递函数 正实性 连续传递函数 有限频率正实性 代数判据
在线阅读 下载PDF
三阶中立型时滞方程无条件稳定的充要条件及时滞界限 被引量:1
11
作者 陈均平 李志勇 《应用数学和力学》 EI CSCD 北大核心 1991年第7期639-643,共5页
本文得到三阶定常中立型时滞方程无条件稳定的充要条件,这些条件是实用的代数判据.此外.还给出了时滞界限.
关键词 微分差分方程 无条件稳定性 判定
在线阅读 下载PDF
一阶双滞量中立型差分微分方程全时滞稳定的代数判定 被引量:1
12
作者 陈洪清 《工程数学学报》 CSCD 北大核心 2007年第2期361-364,共4页
本文得到一阶双滞量中立型差分微分方程全时滞稳定的充要条件,这些条件是实用的代数判据。
关键词 中立型方程 全时滞稳定 充要条件 代数判据
在线阅读 下载PDF
几类对称布尔函数的非线性度、代数次数和代数免疫阶 被引量:2
13
作者 孙光洪 武传坤 《计算机学报》 EI CSCD 北大核心 2014年第11期2247-2255,共9页
该文讨论了几类偶数个变元n的对称布尔函数的一些密码性质,包括非线性度、代数次数、代数免疫阶、严格雪崩准则和相关免疫性等.我们的讨论显示这些对称布尔函数有好的非线性度和代数次数,并且有两类对称布尔函数的代数免疫阶达到最大n/2... 该文讨论了几类偶数个变元n的对称布尔函数的一些密码性质,包括非线性度、代数次数、代数免疫阶、严格雪崩准则和相关免疫性等.我们的讨论显示这些对称布尔函数有好的非线性度和代数次数,并且有两类对称布尔函数的代数免疫阶达到最大n/2,一类对称布尔函数的代数免疫阶为1,但是它们基本上不具有相关免疫性和不满足严格雪崩准则,因此这些布尔函数都不能直接应用到密码系统中. 展开更多
关键词 布尔函数 非线性度 代数次数 代数免疫阶 严格雪崩准则 相关免疫性
在线阅读 下载PDF
广义双剪应力屈服准则的屈服面研究 被引量:1
14
作者 李书歧 《河北大学学报(自然科学版)》 CAS 2004年第6期581-584,共4页
利用线性代数的方法,研究广义双剪应力屈服准则的屈服面,及其特例:Tresca屈服面和双剪应力屈服面.
关键词 线性代数 屈服准则 屈服面
在线阅读 下载PDF
电力市场稳定性分析 被引量:19
15
作者 杨志辉 刘有非 +1 位作者 唐云 吴复立 《中国电机工程学报》 EI CSCD 北大核心 2005年第2期1-5,共5页
电力市场利用市场机制的手段合理分配电力系统资源,其稳定性研究对于调节市场供需状况具有十分重要的意义。针对一类考虑阻塞条件的动态电力市场模型,该文给出了一系列充分条件来判断电力市场的稳定性。通过这些充分条件,电力市场的... 电力市场利用市场机制的手段合理分配电力系统资源,其稳定性研究对于调节市场供需状况具有十分重要的意义。针对一类考虑阻塞条件的动态电力市场模型,该文给出了一系列充分条件来判断电力市场的稳定性。通过这些充分条件,电力市场的稳定性可以不通过计算或较少的符号计算得到,这使得判断电力市场稳定性更加方便且准确。此外,利用该文的理论结果还可以合理解释由Alvarado提出的电力市场不稳定模型,并且这些结果还为控制电力市场稳定性提供理论依据。 展开更多
关键词 电力系统 稳定性分析 电力市场 动力学 动态市场模型
在线阅读 下载PDF
多时滞退化微分系统指数稳定的代数判据
16
作者 周先锋 刘松 张志信 《应用数学》 CSCD 北大核心 2011年第2期312-316,共5页
本文研究退化多时滞微分系统的指数稳定性,得到了退化多时滞微分系统指数稳定性的代数判据,给出的一个例子说明所得结果的应用,同时给出了中立型退化时滞微分系统指数稳定的判定方法.
关键词 时滞 指数稳定性 代数判据
在线阅读 下载PDF
一类NFDE全时滞渐近稳定的代数判据
17
作者 钱临宁 《安徽大学学报(自然科学版)》 CAS 1991年第4期18-25,共8页
本文给出了一阶 n 维中立型微分方程(t)+A(t-τ)+Bx(t)+Cx(t-τ)=0 (1)全部特征根为负的充要条件(对Vτ≥0)。特别地,对 n=1.2的情形,给出了(1)之解全时滞渐近稳定的代数判据。
关键词 中立型 泛函微分方程 渐近稳定
在线阅读 下载PDF
一类具有时滞的病毒模型的稳定性及Hopf分支
18
作者 徐昌进 《数学理论与应用》 2007年第1期103-105,共3页
本文对一类具有时滞的病毒模型进行分析,得到了该模型全时滞稳定的充分且必要条件,这些都是简明的代数判定,同时,还给出了时滞界及Hopf分支存在的条件.
关键词 病毒模型 全时滞稳定性 代数判定 时滞界限 HOPF分支
在线阅读 下载PDF
嵌入式实时调度系统抖动稳定性分析
19
作者 沈青 桂卫华 阳春华 《系统工程与电子技术》 EI CSCD 北大核心 2008年第2期384-387,共4页
分析了嵌入式实时调度系统中控制任务的采样周期和延时不规则抖动属性及稳定性能。并且,针对抖动范围有界但抖动属性不能精确已知的离散状态系统,提出一个保守的系统稳定性充分判据。该判据将抖动引起的时变不确定性描述为系统的离散时... 分析了嵌入式实时调度系统中控制任务的采样周期和延时不规则抖动属性及稳定性能。并且,针对抖动范围有界但抖动属性不能精确已知的离散状态系统,提出一个保守的系统稳定性充分判据。该判据将抖动引起的时变不确定性描述为系统的离散时间闭环区间状态矩阵,利用李雅普诺夫方程和矩阵的无穷范数,导出区间系统鲁棒稳定的充分条件。该方法计算量小且能减小区间代数计算结果易于扩张的问题。仿真算例表明该判据简单有效且能降低保守性。 展开更多
关键词 实时调度系统 稳定判据 抖动 区间代数
在线阅读 下载PDF
中学新课标背景下高师近世代数群定义的教学探究 被引量:1
20
作者 林记 姚云飞 张杰 《阜阳师范学院学报(自然科学版)》 2013年第4期95-98,共4页
解读中学新课标对"对称与群"专题的要求,分析了高师近世代数课程群论的特点。从高中选修课需要的角度,提出高师近世代数介绍群定义的教学策略:借助正多边形的对称性,引入定义;挖掘群的内涵和外延,理解定义;重新认识特殊的群,... 解读中学新课标对"对称与群"专题的要求,分析了高师近世代数课程群论的特点。从高中选修课需要的角度,提出高师近世代数介绍群定义的教学策略:借助正多边形的对称性,引入定义;挖掘群的内涵和外延,理解定义;重新认识特殊的群,巩固定义。 展开更多
关键词 中学新课标 高师近世代数 群定义 教学探究
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部