基于相关系数-海森矩阵的漏功耗分析

随着超大规模集成电路设计复杂度日益增加,工艺参数变动对电路性能（如速度和功耗）的影响越来越大．文中建立了一个层次化电路时延和漏功耗分析模型;将海森矩阵的概念引人到二次模型中,并建立改进的二次模型;将电路的时延和漏功耗的对数统一用改进的二次模型拟合;将该模型应用于层次化电路时延和漏功耗分析．提出一种新颖的基于相关系数-海森矩阵的面向性能的参数约简方法,减小了计算规模,既考虑了工艺参数之间的依赖关系,又考虑到它们与高层次之间的关系,从而提高了性能预算的精确度．实验结果表明了该方法的有效性和精确性．     

一种多变量自抗扰控制结构的设计研究

自抗扰控制器(active disturbance rejection control,ADRC)不依赖于被控系统的完全模型,采用扩张状态观测器(extended state observer,ESO)对系统的内扰和外扰进行实时估计,因而能取得较为理想的抗干扰效果。对于多变量系统,分散ADRC可以将通道之间的耦合看成扰动,通过各自通道的ESO进行估计。对于强耦合的多变量系统,分散ADRC可能不能及时消除耦合。本文提出一种多变量型ADRC控制结构,将静态解耦引入到ADRC控制器设计中,从而能充分利用系统已知动态特性,实现更好的解耦。采用所提方案对循环硫化床锅炉燃烧系统设计多变量ADRC控制方案,仿真结果表明该控制器具有很好的解耦性和鲁棒性。     

基于ANSYS Workbench的GIS支撑结构改进与优化

针对国内目前采用的GIS支撑方式存在的结构不稳定、设施易破坏等缺陷,以220 kV GIS设备为例,对GIS的支撑方式进行设计改进,将原有焊接结构优化为钢支架螺栓连接。首先通过SolidWorks设计一种组合电器母线壳体及支撑的三维模型,随后通过ANSYS Workbench对设计的三维模型进行有限元分析,对比新旧结构在极限温度下的应力分布及变形。有限元分析结果显示,新结构比原有结构的安全性更强、可靠性更高,现已广泛应用于项目中。     

时间约束的高层次数据流调度方法

为了研究时间约束下的高层次数据流调度问题,提出了遗传算法和蚂蚁算法动态融合的解决方案.给出了时间约束调度中遗传算法的编码方法、交叉、变异和适应度函数以及蚂蚁算法中的概率选择方法和信息素的更新规则.为了找到遗传算法与蚂蚁算法的最佳切换时机,还解决了2个关键问题:遗传算法的动态结束条件和蚂蚁算法中初始信息素的产生.实验结果表明,该方法所用的平均资源数目比遗传算法少5.2%,比蚂蚁算法少4.9%;运行时间比遗传算法少44%,比蚂蚁算法少31%.     

哈尔滨市1∶2 000数字正射影像图质量控制标准及方法

对哈尔滨市1∶2000数字正射影像图(DOM)产品的质量特性进行了概括、总结,分析了数字正射影像产品的检验标准与方法.     

微型燃气轮机的建模研究(上)--动态特性分析

以模块化建模方法建立了微型燃气轮机的全工况的动态数学模型,并通过流体网络对其进行了求解。计算及研究了微型燃气轮机从100%到0%范围内的全工况运行的动态特性及甩负荷动态特性,指出回热器壁温蓄能对微型燃气轮机动态特性具有较大的影响。图15表1参4     

强令司机违章驾驶构成交通肇事罪吗?

张某是位个体运输户,不久前,接了一笔业务,()主要求将9吨重的货物尽快运到200公里外的指定地点.张某雇人把9吨的货物全部装上了一辆核载量为7吨的货车.     

定点算术数据通路的等价性检验方法

以vanishing多项式理想的极小强Gr-bner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式、vanishing多项式理想的极小强Gr-bner基被用来有效地解决该问题.理论分析和实验结果表明,与现有的算法相比,该方法在时间消耗上具有一定的优势.     

电力系统非线性控制的逆系统原理

在电力系统控制领域中,微分几何方法有效地解决了非线性控制的问题,被认为是最先进的控制器设计方法.但必须认识到,掌握这一方法需一定的数学基础,且使用过程中计算繁琐.作者将逆系统方法应用于电力系统的六个典型问题,发现使用逆系统方法求解的非线性控制律与使用微分几何方法所得结果完全一致.而使用逆系统方法仅需代数、求导运算,不必求解微分方程,具有物理意义直观、运算简洁的特点,极易为控制工程师掌握并应用.本文结论也适用于其它领域的非线性控制问题.     

基于模拟的定点算术数据通路等价性验证

为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界,避免穷举所有的模拟向量。实验结果证明本文提出的方法是有效的。