约束优化问题稳定序列二次规划方法研究综述

稳定序列二次规划(sSQP)方法由于在求解病态或退化约束优化问题获得理论与数值的突破性进展而备受关注,重要成果频繁问世.本文对近期国际上若干重要sSQP方法及其思想进行概述,包括罚函数型sSQP方法,滤子型sSQP方法和非精确恢复(IR)型sSQP方法等,并对约束优化问题sSQP方法的进一步研究进行探索性思考.     

非线性非完整空间变质量系统相对论性基本动力学方程

给出了非线性非完整空间变质量系统的相对论性基本动力学方程,证明了其与微分变分原理的一致性。在不附加虚位移Ａｐｐｅｌｌ－ЧｅＴａｅ定义或牛青薄定义的情况下,由所给方程推导出非线性非完整变质量系统的相对论性广义Ｍａｃ－Ｍｉｌｌｏｎ方程和Ａｐｐｅｌｌ方程。     

基于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约束以及矩阵损失函数下非齐次线性估计可容许的充要条件.     

半严格-（B,G）-半预不变凸函数的性质与应用研究

主要研究了半严格-（B,G）-半预不变凸函数的性质与应用,首先通过举例子来说明半严格-（B,G）-半预不变凸函数的存在性且区别于半严格-G-半预不变凸函数、G半预不变凸函数、半严格-G预不变凸函数与严格-（B,G）-半预不变凸函数;然后给出了半严格-（B,G）-半预不变凸性的一些基本性质;最后分别在无约束与不等式约束下,获得了两类半严格-（B,G）-半预不变凸规划问题解的最优性结果。