Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

干扰解耦降维观测器设计的新方法

针对系统状态易受外界干扰的情况，设计一种干扰解耦降维观测器。在设计上为了切合实际，考虑测量机构中含有未知输入的情况，提出在不丢失任何信息的情况下将测量机构中的未知输入通过一个简单的代数变换消除，对测量机构中不合有未知输入的观测器进行了降维设计。给出观测器存在的充分必要条件。观测器的存在条件仅依赖于自身，这种设计比较合理。这种观测器由于才用了降维设计所以结构简单、直接、便于应用。仿真试验表明了所提方法的有效性。     

软弱夹层土对软土场地地震效应的影响

本文以来自天津某工程的一场地为原型,对软夹层的埋深和厚度对软土场地地震效应的影响进行了数值分析.为了分析软弱夹层的埋深和厚度对地表地震动参数的影响,分别对原剖面进行了以下处理：软弱夹层的埋深从2 m增加到62 m,构造了16个剖面;软弱夹层的厚度从2 m增加到10 m,构造了5个剖面.选用Taft、ElCentro和Northridge地震记录作为输入地震动,利用程序SHAKE91对不同的构造剖面、不同的输入地震波及不同的峰值加速度水平,进行了场地地震反应分析,结果表明：对于给定的输入地震动和峰值加速度水平,随着软弱夹层埋深的增加,地表加速度峰值和放大系数λ都有减小的趋势,当埋深超过一定值后,地表加速度放大系数小于1.0;软弱夹层厚度对地表加速度峰值的影响与软弱夹层所处位置有关.     

单自由度体系地震能量反应的计算

在地震中，结构吸收地震波输入的能量，并以阻尼耗能和滞回耗能的形式消耗能量。通过结构弹塑性地震反应分析的时程分析法，可以计算出结构地震总输入能及结构阻尼耗能和滞回耗能的时程曲线。这些曲线可以为结构抗震分析提供依据。简要介绍了计算单自由度体系弹塑性地震能量反应的基本过程，并以算例说明。     

参数不确定的Liu混沌系统的自适应控制

研究了新型混沌系统——L iu系统的动力学行为和自适应控制问题.首先选择原系统的一部分作为子系统,在低维空间上具体分析这个系统的动力学行为,然后基于子系统分析整个系统的动力学行为.根据Lyapunov稳定性理论方法构造一个新的自适应控制器,给出了控制器及未知参数的自适应律解析式,使得全部未知参数识别和系统的控制同时取得,方法简单,控制效果好.数值模拟证明了该方法的可行性和有效性.     

非线性系统自适应逆设计及应用

对于一类存在输入未建模动态的非线性系统,提出了一种基于RBF神经网络的自适应逆补偿器设计方法。首先应用两个神经网络设计了补偿器,一个用来估计输入未建模动态,另一个用来作为未建模动态的自适应逆补偿器。该设计放宽了对未建模动态的一些苛刻的要求,如相对度为零,满足小增益条件等。仅要求D(u)逆稳和连续光滑。然后应用反演设计技术设计了控制器,并应用Lyapunov稳定性理论推导出神经网络权重向量的调节律,同时证明了闭环系统的渐进稳定性。最后给出的BTT导弹纵向控制系统设计仿真实例证明了该设计方法的有效性。     

基于干扰观测器的Fuzzy-PID控制及应用研究

针对大射电望远镜(LT)悬索粗调系统为一变结构、非线性、慢时变、大滞后、强耦合、多输入多输出柔性结构系统的特点,提出了一种Fuzzy-PID控制和干扰观测器相结合的控制算法来实现馈源轨迹跟踪策略。这种方法通过构造干扰观测器来预测该柔性结构系统的各种干扰,并根据预测到的干扰信息进行补偿以抑制干扰对系统的影响,同时引入Fuzzy控制算法来自适应整定PID控制器的参数实现具有最佳组合的PID控制。最后,对LT悬索-馈源舱控制系统进行了数值仿真,结果表明该控制算法可以较好地满足馈源系统轨迹跟踪精度要求,同时系统具有较强的适应性和鲁棒性。     

基于滑模观测器的非线性系统迭代学习控制

针对相当广泛的一类非线性系统有限时间轨迹跟踪问题,提出了一种基于滑模观测器的迭代学习控制算法。根据系统的非线性特性,利用一种滑模观测器对系统的状态进行估计,根据估计信号设计了一种类D型开环迭代学习控制律。这种控制方法不需要对系统的跟踪误差信号进行微分,从而对系统的量测噪声不敏感。给出了控制算法的收敛性证明,通过仿真实验证明了这种算法的有效性。     

基于负载观测器的永磁同步电机能量成型控制

针对永磁同步电机(PMSM)负载转矩已知和未知情况,采用能量成型控制方法和负载观测器技术,研究了PMSM的建模与速度控制问题。建立了PMSM的端口受控哈密顿系统模型,给出了闭环系统期望的哈密顿函数,配置了期望的互联和阻尼矩阵,设计了系统的控制器和负载转矩观测器,分析了系统平衡点的稳定性。仿真结果表明,所提出的方案对负载转矩已知和未知情况具有很好的转速控制性能和负载扰动抑制能力。     

利用租赁方法解决铁路建筑施工企业设备投入问题

分析了铁路建筑施工企业面临的设备投入问题,探讨了购买设备资金来源,分析了融资租赁的特点。