【摘 要】
：
逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法
【机 构】
：
中国科学院数学与系统科学研究院系统控制重点实验室
【基金项目】
：
国家自然科学基金资助项目(61273013,61333001,61104065)
论文部分内容阅读
逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问题或理论研究中.它类似于Rn上由微分或差分方程描述的动态系统的Kalman状态空间方法,为逻辑系统的分析与控制设计提供了一个便捷的平台.本文首先对该方法作一简要介绍,然后,对该新兴学科分支的现状作一评述.最后,详细介绍该方法目前的应用以及其更广泛的应用前景.
其他文献
通过对200万t/a氧化球团矿链篦机-回转窑生产线链篦机生球爆裂、回转窑结圈的检测分析和试验研究,提出了较为合理的链篦机生球干燥风速和风温,以及链篦机和回转窑温度梯度参
本文概述了世界萤石资源和各种萤石矿床的特点；介绍了萤石浮选使用的各种捕收剂、调整剂；归纳了萤石与其它盐类矿物浮选分离困难的原因；综述了萤石浮选的理论研究成果。文中以典
研究了复杂难选镁质矽卡岩型铜锌铁多金属矿石的分选。所研究矿石组成和结构复杂，含铜、锌、铁等３０余种金属矿物。各种金属矿物嵌市粒度不均匀，密切共生，相互嵌镶，加上难浮墨铜矿和
斜述了用焦亚硫酸钠为原料,经锌粉还原与甲醛加成反应,生产次硫酸氢钠甲醛的新工艺。并用该工艺在内蒙林东建立了年产300t的生产基地。该工艺技术先进,工艺流程短,设备投资少
阐述从硫代硫酸盐溶液中回收金的主要技术方法,包括沉淀法、活性炭吸附法、树脂吸附法、溶剂萃取法、电积冶金法,并概括各种方法的研究现状及发展趋势。
水稻是辽宁省重要的粮食作物,水稻产业的健康发展对辽宁省粮食安全具有重要的作用。通过总结辽宁省水稻产业的发展现状,分析限制辽宁省水稻产业发展的主要因素,指出辽宁省水
对硫化铜矿铜-硫浮选分离的研究进行了系统的分析与归纳,综述了强化铜-硫分离的浮选工艺和药剂制度,包括优先浮选、混合浮选和等可浮等流程,以及捕收剂和抑制剂等药剂制度。
介绍了花粉管通道法的产生、分类及影响因素,阐述了花粉管通道法转基因技术的分子验证过程,列举了花粉管通道法在各作物育种上的应用,提出花粉管通道法应选择最佳导入方法与
在LMI优化框架下,讨论有时域硬约束线性系统的H∞控制问题.首先提出了一种基于LMI优化的状态反馈方法,并给出了闭环系统保证H∞性能和满足时域硬约束的条件.在此基础上,融合
研究了一种线性不确定系统的鲁棒容错控制问题.针对执行机构和敏感器故障,运用线性矩阵不等式(LMI)方法,提出一种对执行机构和传感器失效具有完整性,且满足给定控制指标的输