期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
代数等式系有穷公理化的一个扩充定理 被引量:3
1
作者 王驹 赵希顺 《软件学报》 EI CSCD 北大核心 1999年第3期332-335,共4页
首先介绍两个概念:主同余类的弱可定义性以及次直不可分解类的可定义性.证明了任一有穷代数A,若V(A)具有弱可定义的主同余类以及可定义次直不可分解类,则它的等式系是可以有穷公理化的.进一步的讨论揭示出其结果是新的,是对... 首先介绍两个概念:主同余类的弱可定义性以及次直不可分解类的可定义性.证明了任一有穷代数A,若V(A)具有弱可定义的主同余类以及可定义次直不可分解类,则它的等式系是可以有穷公理化的.进一步的讨论揭示出其结果是新的,是对已有工作的有意义的扩充. 展开更多
关键词 主同余类 计算机理论 代数等式 有穷公理化
在线阅读 下载PDF
格蕴涵代数不等式 被引量:8
2
作者 赖家俊 徐扬 《江南大学学报(自然科学版)》 CAS 2007年第3期366-370,共5页
针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.
关键词 格蕴涵代数 格蕴涵代数等式 解集
在线阅读 下载PDF
一组代数恒等式及其应用
3
作者 初文昌 《大连理工大学学报》 EI CAS CSCD 北大核心 1989年第1期1-8,共8页
设{x_i}为任一复数序列。从两个初等代数恒等式的证明出发,研究了一类求和运算的封闭形式.基本定理可叙述如下;记{θ_j}p 为 p 次单位根,则有■通过对序列{x_j)和变量 t ,τ的特殊选择,上述定理给出一系列关于二项式系数及 Gauss 二项... 设{x_i}为任一复数序列。从两个初等代数恒等式的证明出发,研究了一类求和运算的封闭形式.基本定理可叙述如下;记{θ_j}p 为 p 次单位根,则有■通过对序列{x_j)和变量 t ,τ的特殊选择,上述定理给出一系列关于二项式系数及 Gauss 二项式系数的求和公式。其中包括徐利治、欧阳植(1984~1985)的新近工作作为特款。此外,定理的极限形式还可给出 Euler 关于自然数例数偶次幂和公式的一种新的推导。 展开更多
关键词 代数等式 组合数学 组合恒等式
在线阅读 下载PDF
代数Riccati不等式与H∞滤波器 被引量:7
4
作者 张明 施鼎汉 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 1997年第6期825-828,共4页
利用代数Riccati不等式技术,给出H∞滤波器设计方案;还给出卡尔曼滤波器及LQ控制满足H∞性能指标的充分条件.代数Riccati不等式技术的优点就在于可以兼顾H∞性能指标与其他性能指标.
关键词 H∞滤波器 黎卡提不等式 LQ控制 代数等式
在线阅读 下载PDF
两个具偶数元的代数不等式
5
作者 刘卓平 褚小光 郭白妮 《河南理工大学学报(自然科学版)》 CAS 2005年第5期410-414,共5页
通过证明1个组合恒等式和代数恒等式,并利用著名的Cauchy不等式,建立了2个新的具有偶数个变量的代数不等式,推广了《不等式研究通讯》杂志2004年第2期的CIQ-103问题和2005年第1期的CIQ-142问题.
关键词 代数等式 CAUCHY不等式 组合恒等式 代数等式
在线阅读 下载PDF
代数不等式在中职《财务管理》中的应用
6
作者 杨鲁红 《职教论坛》 2005年第26期38-39,共2页
会计专业中职与高职的有效衔接一直是职业教育界讨论与关注的话题.本人分别在中职和高职从事多年会计相关课程的教学与研究,发现了一些亟待解决的问题.试图通过初等数学应用于财务管理的案例,进一步唤起职业教育工作者对教材及教法的重... 会计专业中职与高职的有效衔接一直是职业教育界讨论与关注的话题.本人分别在中职和高职从事多年会计相关课程的教学与研究,发现了一些亟待解决的问题.试图通过初等数学应用于财务管理的案例,进一步唤起职业教育工作者对教材及教法的重视,体现"以人为本,关注学生,方便学生,因人施教"的教学理念. 展开更多
关键词 代数等式 财务管理 存货经济批量 数学模型
在线阅读 下载PDF
一个基于状态反馈的广义系统H_∞控制 被引量:5
7
作者 邢伟 张庆灵 +1 位作者 王启义 聂义勇 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2000年第1期107-109,共3页
讨论了一类较一般的广义系统基于静态状态反馈H∞ 控制问题 ,得到了该问题可解的充分必要条件是一个基于系统参数阵的广义代数Riccati不等式有满足广义约束的非奇异解 。
关键词 广义系统 H∞-范数 广义代数RICCATI不等式 静态状态反馈
在线阅读 下载PDF
基于有向网络的一致性跟踪算法 被引量:6
8
作者 周峰 吴炎烜 《自动化学报》 EI CSCD 北大核心 2015年第1期180-185,共6页
研究了leader有控制输入且followers未知该输入条件下的线性多智能体一致性跟踪问题.提出两种一致性跟踪算法,证明两种算法在leader到followers存在一棵有向生成树且follower间拓扑是有向条件下,网络就能跟踪leader的状态.对于第一种算... 研究了leader有控制输入且followers未知该输入条件下的线性多智能体一致性跟踪问题.提出两种一致性跟踪算法,证明两种算法在leader到followers存在一棵有向生成树且follower间拓扑是有向条件下,网络就能跟踪leader的状态.对于第一种算法,节点根据相邻节点或leader的状态来求解其控制输入,并基于代数Riccati不等式给出连续情形下算法稳定性条件.第二种算法直接利用相邻节点或leader的状态,使followers在上述网络条件下跟踪leader的状态,同样基于代数Riccati不等式给出算法稳定性条件.仿真结果验证了算法的有效性. 展开更多
关键词 一致性跟踪 一致性 协同控制 代数Riccati不等式
在线阅读 下载PDF
基于观测器的具有对称结构的广义大系统的H_∞分散控制 被引量:5
9
作者 陈跃鹏 张庆灵 徐天群 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2001年第4期450-453,共4页
讨论具有对称结构的广义大系统的H∞ 分散控制问题· 通过设计基于状态观测器的状态反馈 ,借助于广义代数Riccati不等式 ,给出具有对称结构的闭环广义大系统的H∞ 分散控制的充要条件·
关键词 广义大系统 H∞分散控制 广义代数Riccati不等式 观测器
在线阅读 下载PDF
基于数据库事务的不变式推导
10
作者 曾虹驰 彭鑫 赵文耘 《计算机科学》 CSCD 北大核心 2017年第11期91-97,共7页
作为数据处理和并发控制的基本单位,数据库事务被广泛应用于软件系统的业务逻辑中。通过收集运行时数据库事务中的数据,推导这些数据之间满足的不变式,建立相应的数据契约关系,是软件维护过程中对系统的内部状态进行监控的重要方法之一... 作为数据处理和并发控制的基本单位,数据库事务被广泛应用于软件系统的业务逻辑中。通过收集运行时数据库事务中的数据,推导这些数据之间满足的不变式,建立相应的数据契约关系,是软件维护过程中对系统的内部状态进行监控的重要方法之一。目前,在不变式推导领域,主要的方法和工具都是基于代码进行分析的,缺少与基于数据分析相关的研究和成果。为了解决这一问题,首先提出了基于数据的推导代数等式形式的不变式的算法,然后设计并实现了基于数据库事务的不变式推导的原型工具,最后通过相关实验分析和验证了原型工具的有效性。实验结果表明,原型工具有良好的推导准确率和运行性能,能够弥补现有工具和方法在基于数据的分析领域的不足。 展开更多
关键词 数据库事务 不变式推导 代数等式
在线阅读 下载PDF
广义系统H_∞可靠性控制 被引量:6
11
作者 陈跃鹏 张庆灵 +1 位作者 周祖德 徐天群 《控制理论与应用》 EI CAS CSCD 北大核心 2005年第3期407-412,共6页
通过对更一般形式的执行器和传感器故障模型分析,研究了广义系统基于观测器的H∞可靠性控制器设计问题.利用带有约束的广义代数Riccati不等式(GARI),给出执行器故障情况下,广义系统H∞可靠性控制器存在的充要条件和设计方法,以及传感器... 通过对更一般形式的执行器和传感器故障模型分析,研究了广义系统基于观测器的H∞可靠性控制器设计问题.利用带有约束的广义代数Riccati不等式(GARI),给出执行器故障情况下,广义系统H∞可靠性控制器存在的充要条件和设计方法,以及传感器故障情况下,广义系统H∞可靠性控制器存在的充分条件和设计方法.所设计的H∞可靠性控制器使得闭环广义系统容许且传递函数的H∞范数有界.同时,还将带广义约束的GARI转化成了线性矩阵不等式(LMI),进而简化了广义系统H∞可靠性控制器设计方法. 展开更多
关键词 传感器故障 执行器故障 H∞可靠性控制器 广义代数Riccati不等式 线性矩阵不等式
在线阅读 下载PDF
广义系统的非脆弱观测器设计与镇定控制 被引量:4
12
作者 韩晓新 沃松林 《南京理工大学学报》 EI CAS CSCD 北大核心 2012年第4期606-611,共6页
为了进一步提高控制器的适应能力,该文研究了基于观测器的广义系统非脆弱控制问题。针对控制器和观测器不确定性都是时不变且有界的情况,应用线性矩阵不等式(Linearmatrix inequalities,LMI)方法给出了非脆弱观测器存在条件,应用广义代... 为了进一步提高控制器的适应能力,该文研究了基于观测器的广义系统非脆弱控制问题。针对控制器和观测器不确定性都是时不变且有界的情况,应用线性矩阵不等式(Linearmatrix inequalities,LMI)方法给出了非脆弱观测器存在条件,应用广义代数Riccati不等式(Gen-eralized algebraic Riccati inequalities,GARI)方法解决了基于观测器的广义系统非脆弱控制问题;给出了非脆弱控制器和非脆弱观测器的参数表达式。数值仿真结果验证了所给方法的有效性和应用。 展开更多
关键词 广义系统 非脆弱控制 观测器 广义代数Riccati不等式
在线阅读 下载PDF
不确定广义系统的鲁棒H_∞控制 被引量:2
13
作者 朴凤贤 张庆灵 张国山 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第8期751-754,共4页
研究状态和输入矩阵含仿射型不确定性的广义系统鲁棒H∞控制问题,通过满足广义约束的代数Riccati不等式(GARI)给出此类不确定广义系统可以通过状态反馈二次可镇定且满足H∞范数界的充分必要条件,同时也给出了不确定广义系统可镇定与二... 研究状态和输入矩阵含仿射型不确定性的广义系统鲁棒H∞控制问题,通过满足广义约束的代数Riccati不等式(GARI)给出此类不确定广义系统可以通过状态反馈二次可镇定且满足H∞范数界的充分必要条件,同时也给出了不确定广义系统可镇定与二次可镇定的关系及控制器的设计,并且可通过给定系统的已知信息求出控制器,最后给出数值算例验证所得结果· 展开更多
关键词 广义系统 鲁棒H∞控制 广义代数Riccati不等式 二次可镇定
在线阅读 下载PDF
具有状态和测量时滞不确定系统的鲁棒H_∞状态估计(英文) 被引量:4
14
作者 杨富文 《控制理论与应用》 EI CAS CSCD 北大核心 2003年第2期211-216,共6页
考虑一类已知状态和测量时滞且范数有界参数不确定连续时间系统的鲁棒H∞ 状态估计问题 .这个问题解的充分条件由二个代数Riccati不等式给出 ,它可以保证存在一个渐近稳定状态估计器使得对于所有不确定性从外界干扰到输出估计误差的传... 考虑一类已知状态和测量时滞且范数有界参数不确定连续时间系统的鲁棒H∞ 状态估计问题 .这个问题解的充分条件由二个代数Riccati不等式给出 ,它可以保证存在一个渐近稳定状态估计器使得对于所有不确定性从外界干扰到输出估计误差的传递函数满足指定的H∞ 指标 .以上这些结果可以推广到一类未知状态和测量时滞且范数有界参数不确定连续系统的鲁棒H∞ 状态估计问题 ,对于已知状态和测量时滞系统 ,所得状态估计器与参数不确定性无关 ,而与时滞有关 .对于未知状态和测量时滞系统 ,其状态估计器不仅与参数不确定性无关 ,而且与时滞也无关 . 展开更多
关键词 时滞不确定系统 鲁棒H∞状态估计 代数Riccati不等式 传递函数 测量
在线阅读 下载PDF
离散线性系统的鲁棒H_∞状态反馈控制 被引量:1
15
作者 蒋丽英 李平 王蕾 《控制工程》 CSCD 2002年第4期79-81,94,共4页
针对具有有界不确定性和未知时滞的离散系统 ,设计鲁棒H∞ 状态反馈控制器。基于代数Ric cati不等式方程 ,给出使闭环传递函数的H∞ 范数小于给定界γ和闭环系统渐近稳定的充分条件。
关键词 离散线性系统 鲁棒H∞状态反馈控制 代数Riccati不等式方程 渐近稳定 不确定性
在线阅读 下载PDF
鲁棒H_∞次优控制问题 被引量:1
16
作者 张明 谢红卫 《国防科技大学学报》 EI CAS CSCD 2000年第4期107-110,共4页
证明了鲁棒H∞ 次优控制问题可以归结为两个代数黎卡提不等式的解。利用不等式形式上的特点 ,还研究H∞/H2 混合次优控制问题 ,并给出了应用实例以说明本结果的有效性。
关键词 鲁棒H_∞次优化 鲁棒H_∞/H_2混合次优化 代数黎卡提不等式
在线阅读 下载PDF
基于GARI的连续广义系统正实反馈设计
17
作者 靖新 刘大任 张庆灵 《沈阳建筑工程学院学报(自然科学版)》 2003年第3期229-231,共3页
针对连续型广义系统,基于广义代数里卡提不等式,建立了新的连续情形的正实引理,给出了状态反馈控制器的构造方法,当状态反馈控制器与系统相连时能够使系统保持内稳定性.
关键词 广义连续系统 广义代数里卡提不等式 正实 状态反馈控制
在线阅读 下载PDF
带有时滞状态的不确定Lur’e-Postnikov系统的鲁棒镇定(英文)
18
作者 陈万义 《控制理论与应用》 EI CAS CSCD 北大核心 2003年第2期258-260,共3页
由Lyapunov和一种Razumikhin型的方法 ,讨论了带有时滞状态的不确定Lur’e_Postnikov系统的鲁棒镇定 .证明对带有状态时滞和范数有界扰动的不确定Lur’e_Postnikov系统 ,若其系统矩阵满足某个代数Riccati不等式 ,则可通过某 (静态 )线... 由Lyapunov和一种Razumikhin型的方法 ,讨论了带有时滞状态的不确定Lur’e_Postnikov系统的鲁棒镇定 .证明对带有状态时滞和范数有界扰动的不确定Lur’e_Postnikov系统 ,若其系统矩阵满足某个代数Riccati不等式 ,则可通过某 (静态 )线性状态反馈或 (动态 )状态反馈使其闭环系统是二次稳定的 .同样 ,应用一Razumikhin型方法 ,对带有时变时滞的一类不确定非线性系统的能稳定性问题 ,也给出一个充分条件 . 展开更多
关键词 鲁棒镇定 时滞状态 代数Riccati不等式 不确定非线性系统
在线阅读 下载PDF
参数不确定系统的鲁棒H_∞估计 被引量:1
19
作者 何朕 王广雄 +1 位作者 王西田 于达仁 《控制理论与应用》 EI CAS CSCD 北大核心 2001年第z1期115-117,共3页
从代数Riccati不等式 (ARI)设计H∞ 控制问题出发 ,通过选取参数矩阵M和N ,对鲁棒H∞ 估计器的代数Riccati不等式进行简化 .再根据Schur补公式 ,导出用线性矩阵不等式设计鲁棒H∞ 估计器的定理 .
关键词 鲁棒H∞估计器 代数Riccati不等式 Schur补公式 线性矩阵不等式
在线阅读 下载PDF
幂函数、指数函数、对数函数单调的统一性
20
作者 白永胜 《教学与管理(中学版)》 1995年第4期49-49,共1页
近年来的高考及各种级别的考试,经常遇到用幂函数、指数函数及对数函数的单调性来解决的数学问题。高中代数课本通过图象的观察给出了这三种基本初等函数的单调性,但内容分散,情况复杂,学生们对此记忆效果及应用的准确性较差。本文把这... 近年来的高考及各种级别的考试,经常遇到用幂函数、指数函数及对数函数的单调性来解决的数学问题。高中代数课本通过图象的观察给出了这三种基本初等函数的单调性,但内容分散,情况复杂,学生们对此记忆效果及应用的准确性较差。本文把这三种涵数的单调性就其形式统一起来,这样便于记忆,便于应用。可以加快解题速度,提高解题的准确性。 课本给出的幂函数f(x)=x<sup>n</sup>(n是有理数且n≠0,x】0)的单调性是: 当n】0时,在第一象限内,函数值随着x的增大而增大;当n【0时,在第一象限内,函数随着x的增大而减小。 两种情况形式相象,难以准确记忆及准确应用,现把它改写为下列不等式的形式: (1)若n】0,x<sub>1</sub>】x<sub>2</sub>,则f(x<sub>1</sub>)】f(x<sub>2</sub>); (2)若n】0,x<sub>1</sub>【x<sub>2</sub>,则f(x<sub>1</sub>)【f(x<sub>2</sub>); (3)若n【0,x<sub>1</sub>】x<sub>2</sub>,则f(x<sub>1</sub>)【f(x<sub>2</sub>); (4)若n【0,x<sub>1</sub>【x<sub>2</sub>,则f(x<sub>1</sub>)】f(x<sub>2</sub>); 展开更多
关键词 对数函数 指数函 幂函数 一元二次不等式 函数的单调性 思路分析 准确性 基本初等函数 准确记忆 代数等式
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部