基于NLJ优化算法的多变量预测函数控制

基于差分方程模型推导了多变量预测函数控制算法,使其具有更加广泛的适用性.利用NLJ算法处理预测函数控制中的约束问题,简单明了,没有繁琐的数学公式推导,仿真结果证明了该算法的有效性,为预测控制约束问题的处理提供了一种新的途径.     

带约束拉杆双钢板-混凝土组合剪力墙抗震性能数值模拟及参数分析

为了研究带约束拉杆的双钢板-混凝土组合剪力墙的抗震性能,进行了16个该形式组合剪力墙的反复加载试验,并采用OpenSees程序对带约束拉杆的双钢板-混凝土组合剪力墙试件进行数值模拟.在试验及数值模拟的基础上,对影响该形式组合剪力墙抗震性能的主要参数进行分析.结果表明,高宽比、轴压比以及约束拉杆间距对剪力墙的抗震性能影响显著.随着高宽比的增大,组合剪力墙的初始刚度以及屈服荷载和峰值荷载减小显著,其后期刚度退化和耗能能力降低;轴压比对组合剪力墙抗震性能的影响主要表现在后期刚度的退化程度;约束拉杆间距的减小可以提高组合剪力墙的承载力,减弱后期的刚度退化程度,增大其耗能能力.     

FRP约束混凝土应力-应变曲线模型研究

总结了国内外关于FRP(Fiber Reinforced Polymer)约束混凝土应力-应变关系的最新研究成果,探讨了各应力-应变曲线模型的优缺点,并进行了模型验证.在试验研究和对已有研究成果对比分析的基础上,建立了新的FRP约束混凝土圆柱体的应力-应变曲线模型,该模型使用轴向、横向和体积应变来衡量约束混凝土的内部损伤,以体现FRP变约束力对被约束混凝土内部损伤的影响,从而使模型简化且具有明确的物理含义.通过与试验曲线比较表明,本文建立的理论模型与试验曲线吻合良好.     

道路网络中门到门包含重复节点的最优路径算法

设计了用于包含交通约束的受限路网中基于兴趣点(PO I)的门到门包含重复节点的寻路算法。首先利用距离最短准则建立PO I和路网间的临时拓扑关系,然后根据受限路网中最优路径的结构特征,构造包含驶入路段的节点进行寻路拓展,以此为基础进行标记设定广度优先搜索,即可获得门到门包含重复节点的最优路径。在道路密度较大的北京市路网中的试验结果表明,该算法能够根据交通约束规划出实用的最优路径,对于长度约60 km路径的计算平均耗时在3 s左右,可以满足车辆导航应用的实时性要求。     

Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.     

约束优化问题的修正选择粒子群优化算法

提出一种求解约束优化问题的修正选择粒子群优化算法(RSPSO).在这个算法中,利用动态多阶段罚函数方法处理约束,并加入一种违反约束的修正选择策略,采用线性递减违反约束容忍度来引导粒子,即利用修正的可行基规则来更新个体极值和全局极值,指引粒子迅速飞向可行域;考虑到粒子群中每个粒子周围的局部信息对它未来飞行的影响,改进了基本粒子群优化的速度方程.数值结果表明,所提出的算法求解约束最优化问题具有较高的计算精度、较好的稳定性和较强的全局寻优能力.     

随机效应线性模型在不等式约束下的可容许估计

本文研究了一般的Gauss-Markov(简记G-M)线性模型(Y,Xβ,σ2 V),其中V≥0已知,获得了不等式Rβ≮0约束以及矩阵损失函数下非齐次线性估计可容许的充要条件.     

点、边带约束成本的最短路问题及其算法

提出了点和边都带有成本约束的最短路问题，证明了该问题是NP－完全的，建立了这类问题的数学规划模型，并采用拉格朗日松弛算法对模型进行求解，给出了次梯度优化求解算法的一般步骤，考虑到算法在实际求解过程中收敛速度较慢的问题，进一步对拉格朗日松弛算法进行了2个方面的改进，一方面确定适当的迭代步长，另一方面选择较好的迭代方向，算法实例表明，改进后的拉格朗日松弛算法迭代步数显著较少，证明算法是有效的。     

雷达下视环扫成像分辨率研究

雷达下视环扫成像作为一种特殊的成像方式,可在较大地域范围对感兴趣的目标快速成像,继而对飞行器定位并精确制导.对下视环扫DBS和环扫SAR两种成像模式进行了分辨率研究,纠正了一些文献在DBS分辨率计算时存在的混淆;对两种环扫模式的理论方位分辨率进行了比较;建立了飞行器末段环扫成像参数的优化模型,给出优化方法.分析了不同环扫模式的适用性,并指出相比全程环扫SAR模式,高程环扫SAR+低程环扫DBS的成像模式可为定位增加信息量,但改善量不大.     

动态用户最优等价不等式问题

分别给出了动态交通配流(DTA)理论中与瞬时动态用户最优及理想动态用户最优条件等价的两个不等式问题,其中不等式中采用针对迄节点的路段变量,在符合现实中人们择路行为的同时为用户提供较为全面地诱导信息.在此基础上进一步分析了该不等式作为动态用户最优条件的等价性约束在具体相关交通问题中的应用.将该不等式问题作为等价性约束条件放到实际交通问题的模型当中,为动态交通分配理论的应用研究提供了新方法;该不等式为DUO模型提供了一种计算最小路径阻抗的方法,以及在求解模型时可以将其作为验证模型解是否满足DUO条件的算法收敛准则.