期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
连续时间Markov决策过程互模拟等价及逻辑保持 被引量:1
1
作者 黄镇谨 陆阳 +1 位作者 杨娟 王智文 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第8期1031-1038,共8页
模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间M... 模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率. 展开更多
关键词 马尔科夫链 马尔科夫决策过程 互模拟等价关系 逻辑保持
下载PDF
一种改进的具有非理想网络状况的网络控制系统分析与综合方法 被引量:9
2
作者 彭晨 田恩刚 《自动化学报》 EI CSCD 北大核心 2010年第1期188-192,共5页
提出一种改进的具有非理想网络状况,如时变网络时延和丢包等的网络控制系统分析与综合方法.在引入具有最新信号选择功能的逻辑零阶保持器和已有的网络系统模型基础上,采用Lyapunov-Krasovskii泛函方法,通过引入自由矩阵消除交叉项和利... 提出一种改进的具有非理想网络状况,如时变网络时延和丢包等的网络控制系统分析与综合方法.在引入具有最新信号选择功能的逻辑零阶保持器和已有的网络系统模型基础上,采用Lyapunov-Krasovskii泛函方法,通过引入自由矩阵消除交叉项和利用函数的凸性进行等价变换,得到保守性较小的效果.实例表明上述方法的有效性. 展开更多
关键词 网络控制系统 状态反馈 逻辑零阶保持 线性矩阵不等式
下载PDF
An Improved High Fan-in Domino Circuit for High Performance Microprocessors
3
作者 冯超超 陈迅 +1 位作者 衣晓飞 张民选 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2008年第9期1740-1744,共5页
An improved high fan-in domino circuit is proposed. The nMOS pull-down network of the circuit is divided into several blocks to reduce the capacitance of the dynamic node and each block only needs a small keeper trans... An improved high fan-in domino circuit is proposed. The nMOS pull-down network of the circuit is divided into several blocks to reduce the capacitance of the dynamic node and each block only needs a small keeper transistor to maintain the noise margin. Because we omit the footer transistor, the circuit has better performance than the standard domino circuit. A 64-input OR-gate implemented with the structure is simulated using HSPICE under typical conditions of 0.13μm CMOS technology. The average delay of the circuit is 63.9ps, the average power dissipation is 32.4μW, and the area is l15μm^2. Compared to compound domino logic, the proposed circuit can reduce delay and power dissipation by 55% and 38%, respectively. 展开更多
关键词 high fan-in domino logic high performance keeper transistor
下载PDF
基于自由权矩阵方法的网络控制系统鲁棒分析
4
作者 郭彩霞 袁秋林 吴雪冰 《河南师范大学学报(自然科学版)》 CAS 北大核心 2014年第4期53-57,共5页
由于系统建模的误差和工作环境的变化,系统的不确定性不可避免.针对具有时变结构参数不确定性的网络控制系统,本文通过设置逻辑零阶保持器来处理错序和丢包问题,并且引入自由权矩阵消除交叉项等处理方式,推导出使闭环网络控制系统渐进... 由于系统建模的误差和工作环境的变化,系统的不确定性不可避免.针对具有时变结构参数不确定性的网络控制系统,本文通过设置逻辑零阶保持器来处理错序和丢包问题,并且引入自由权矩阵消除交叉项等处理方式,推导出使闭环网络控制系统渐进稳定的充分条件.仿真结果验证了此分析结果的有效性和可行性. 展开更多
关键词 网络控制系统 逻辑零阶保持 LYAPUNOV-KRASOVSKII泛函 自由权矩阵
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部