基于改进量化约束集的压缩视频超分辨率重建算法

超分辨率技术是使用低分辨率图像序列来重建高分辨率图像的技术。在压缩视频的超分辨率重建中,量化约束集(QCS)作为编码模型的先验信息被广泛采用。根据窄量化约束集(NQCS)理论,利用量化误差的统计特性,提出了一种改进量化约束集(AQCS)。根据离散余弦变换(DCT)后块边界特性,提出了平滑约束集。通过对量化约束集和平滑约束集的投影进行超分辨率重建。实验结果表明,提出的基于改进量化约束集的压缩视频超分辨率重建算法较传统的量化约束集,在峰值信噪比(PSNR)和主观图像质量上有不同程度的提高,适合压缩视频的应用。

基于图论分区与改进BFS算法搜索安全约束集的防联锁过载控制策略

当采取紧急控制措施消除过载时,要避免系统中出现新的过载。本文引入安全约束集(SCS)的概念;提出了一种基于图论分区与改进广度优先搜索(BFS)算法求SCS的方法。首先基于改进的Dijkstra算法将电网分区,形成广义电网拓扑图(GGT);然后采用改进的BFS算法快速搜索广义控制点(GCN)附近区域的广义节点(GN),由这些GN内的支路和接近热极限的支路组成SCS,扩展了正常支路约束集的范围。给出了结合SCS的控制点的选取方法和控制量的确定方法。提出了基于决策中心-区域终端(DC-RT)模式的防联锁过载控制策略。将每个GN作为一个RT,当发生过载时,各RT并行计算保证SCS内支路不过载的最大安全控制量,节省了计算时间,提高了控制速度。最后采用CEPRI 36节点系统仿真验证了该控制策略的有效性。

基于时间约束集的集束型设备群调度方法

随着300mm晶圆的加工技术问世,工业界开始采用一种全新的晶圆制造设备—集束型设备群(Multi-cluster tools).对于单个集束型设备(Single-cluster tools)调度研究已比较成熟,并提出了多种调度方法,然而对于集束型设备群调度研究尚处在一个起步阶段.本文对带有驻留约束且具有多种晶圆类型的集束型设备群的调度问题进行了研究,在引入时间约束集概念的基础上建立了调度模型,同时,提出了一种逐级回溯的调度方法,并对调度算法进行了仿真实验分析.仿真结果表明本文提出的算法是有效且可行的.

非线性多目标群体决策的递缩约束集法

对于一个非线性的多目标群体决策问题，不同的决策者可用权衡比作出各自不同的抉择．本文根据各决策者对各人提供的权衡比进行相互评价，获得群体权衡比，从而构造出迭代过程中的递缩约束集序列．由此，建立了一个求解非线性多目标群体决策问题的收敛的交互规划算法．

非线性预测控制终端约束集的优化

为保证预测控制的稳定性,经典的策略是在预测控制的优化问题中加入终端约束集和终端惩罚函数,并保证终端约束集是一个在终端控制律作用下的正不变集,终端惩罚函数是受控系统的局部控制Lyapunov函数.本文提供了一种求解非线性系统终端约束集、终端控制律和终端惩罚函数的新策略.通过在优化问题中引入新的变量来降低求解终端约束条件的保守性,并且可以从理论上保证求解得到的终端约束集更大.通常情况下,较大的终端约束集将允许选取的预测时域较小,因而可以降低预测控制的在线计算负担.从形式上看,新的变量的引入使得终端约束集和终端惩罚项实现了某种程度的解耦,即终端约束集不再是终端惩罚函数的水平截集.最后通过仿真算例验证了所提策略的有效性.

基于多面体不变集的变终端约束集RMPC

针对一类状态和输入受约束的多胞不确定线性时变系统,提出了一种基于多面体不变集的变终端约束集鲁棒模型预测控制算法。首先采用基于状态反馈增益的多面体不变集计算方法,给出了一种新的控制不变集序列构造方法,然后以控制不变集序列的并集作为终端约束集,结合在线优化和增益切换,实施变终端约束集双模鲁棒预测控制。该算法不仅有效地扩大了终端约束集,而且采用离线方式计算不变集序列降低了在线运算量。最后仿真结果验证了算法的有效性。

基于改进量化约束集的块效应消除算法

低比特率时,基于块离散余弦变换(BDCT)的图像压缩方法常常会引起块效应。量化约束集(QCS)作为关于编码模型的重要先验信息在块效应消除方法中被广泛地采用。利用量化误差的统计特性,提出了一种改进的量化约束集(MQCS)。实验结果表明当在现有的基于凸集投影(POCS)的去块算法中以新的约束集代替传统量化约束集,峰值信噪比(PSNR)和主观图像质量有不同程度的提高,性能与窄量化约束集(NQCS)相当。

基于符号约束集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。

风险投资组合线性规划模型的变型起作用约束集法

本文首先建立起风险投资组合问题的线性规划模型 ,然后在通常的起作用约束集法基础上利用等值面上的锥中心线构造出一类起作用约束集法的变型算法 。

约束集束化管理在危重症患者中的应用

目的:分析探究危重症患者施行约束集束化管理干预的效果。方法:选择2017年1月-2018年1月笔者所在医院收治的50例危重症患者为此次研究对象,按照随机法将其分为观察组与对照组,对照组患者施行常规护理干预,观察组患者施行约束集束化管理护理干预,比较两组患者临床疗效及护理满意度,分析比较两组患者反流误吸、吸入性肺炎、胃潴留等发生率。结果:观察组患者治疗总有效率明显优于对照组(P<0.05);观察组患者反流误吸、吸入性肺炎、胃潴留发生率均明显低于对照组(P<0.05),且肠动力恢复时间、拔管成功率、总住院时间均优于对照组(P<0.05);观察组患者护理满意度各项评分均高于对照组(P<0.05)。结论:危重症患者采用约束集束化管理干预护理效果良好,可降低患者不良情况发生率,患者更为满意,值得大力推广。

紧集上锥约束集值平衡问题解的存在性

平衡问题理论在非线性分析、最优化以及数理经济学等方面都有广泛的应用.本文讨论的是更具意义的锥约束集值平衡问题,并通过集值Ekeland变分原理,证明了紧集上锥约束集值平衡问题解的存在性.

考虑约束集混合筛选的预防安全约束鲁棒最优潮流

随着大规模清洁能源接入电网,其出力具有间歇性和随机性,对电力系统实时经济调度产生较大影响。提出了基于约束集混合筛选的预防安全约束鲁棒最优潮流计算方法,建立了仿射可调鲁棒优化模型。模型中考虑了预想事故的预防安全约束,采用基于约束集混合筛选的方法降低规模。通过算例验证了所提出方法对考虑不确定性的鲁棒经济调度的适用性。

约束函数中含有Fuzzy参数的多目标规划(Ⅱ)——约束集及其象集的性质

用Fuzzy集刻画约束函数中含有Fuzzy参数的多目标规划的约束集,讨论它及其象集的性质。本文的全部结果是研究α-有效解的存在性及导出算法所必需的。

基于约束集分析的广义拦截区研究

对约束集条件下的拦截区进行了研究：首先给出了广义拦截区的定义,并对广义拦截区的性质进行了分析;然后对求解拦截区的搜索法和解析法进行了研究;最后以带设计约束的理想比例导引制导律为例,对拦截区进行了仿真计算。试验结果表明该方法具有科学性和工程应用价值。

基于含公平偏好约束集的DEA固定成本分摊方法

通过比较DEA模型在固定成本分摊问题中的应用,发现现有模型的计算结果通常会出现指标权重为0的现象,并且不考虑决策者对指标的偏好.在现有基础上提出一种含公平偏好约束集的固定成本分摊模型,并进行实例计算,拓展了DEA方法在固定成本分摊问题中的应用.

集约束下的变分不等式:像空间分析法

变分不等式是一种数学模型,属于平衡问题的一类,常应用于交通均衡问题、经济均衡问题以及生态产业链问题。像空间分析法(ISA)是研究最优问题与平衡问题非常重要的工具之一。为了丰富ISA在变分不等式问题上的研究,在集约束的假设下,利用ISA研究了在欧氏空间中经典变分不等式问题。首先,验证了问题的线性分离性。然后,通过拉格朗日型函数得到了拉格朗日型鞍点条件。最后,给出了变分不等式的最优性条件。

基于平均一致协议的分布式自适应多智能体聚集控制

分布式聚集控制问题是多智能体协同控制中的一个重要问题。由于智能体的可移动性和感知能力有限,传统的分布式聚集算法难以保证连通性,从而聚集成多个簇群。此外,去中心化的大规模聚集控制给获取全局聚集点带来了巨大的挑战。针对连通性保护问题,基于平均一致协议与约束集,提出了一个带有连通性约束的多智能体聚集协议(Multi-Agent Rendezvous Protocol with Connectivity constraints,MARP-CC)。然后针对聚集点无法预测的问题,提出了位置合成(Location Synthesis Strategy,LSS)和位置重定向(Location Redirection Strategy,LRS)两种控制策略。智能体根据当前连通情况,自适应选择最优的控制策略进行迭代。结合这两种控制策略,提出了带连通性约束的分布式自适应多智能体聚集算法(Distributed Adaptive Multi-Agent Rendezvous algorithm with Connectivity Constraints,DAMAR-CC)。对算法的收敛性和连通性进行了分析,并通过大量的仿真说明了DAMAR-CC可以引导智能体稳定地聚集在初始拓扑的几何中心。

基于有效约束集法的混合梁斜拉桥合理成桥状态确定方法

针对混合梁斜拉桥的结构特点,提出基于有效约束集法的混合梁斜拉桥合理成桥状态优化方法。以混合梁斜拉桥主梁、桥塔的弯曲及拉压能量之和为目标函数,以钢箱梁段竖向位移、桥塔水平位移、主梁上下缘及桥塔两侧应力、斜拉索索力及其均匀性为约束条件,建立混合梁斜拉桥合理成桥状态的二次规划数学模型,采用有效约束集算法进行合理成桥状态的优化。实例优化及比较结果显示,优化所得成桥状态,主梁竖向位移-22~8 mm,桥塔塔顶水平位移为向主跨侧偏20 mm,结构整体线形平顺;钢箱梁上下缘及钢桥塔两侧应力为-84.43~16.38 MPa,混凝土主梁上下缘及混凝土桥塔两侧应力为-16.31^-0.003 MPa,结构内力及应力均与无约束最小弯曲能量法计算结果相近;斜拉索索力为2061~2457 k N,其分布比无约束最小弯曲能量法的计算结果更均匀,且边墩具有更大的压力储备,表明该方法的有效性和优越性。

基于时间约束集的多弹道式飞行器避撞发射时间规划

提出了通过调整发射时间解决多弹道式飞行器飞行避撞问题的算法框架,在该框架内针对多弹道式飞行器协同打击时是否发生飞行碰撞提出了检验算法,对于飞行器碰撞规避问题建立发射时间约束集模型,约束集由飞行器间发生碰撞的发射时间间隔约束构成。在该时间约束集的基础上建立以多弹道式飞行器同时打击为优化目标、含有不等于号表达式时间约束的优化问题,并通过"Big-M"法将该问题转化为非线性规划问题的标准形式,再利用序列二次规划(SQP)算法进行求解。该框架将发射时间调整问题转化为最优化规划问题,降低了传统遍历性发射时间调整算法的计算复杂度。基于MATLAB平台环境对所提模型及规划算法进行了仿真,验证了所提算法的合理性与有效性,同时具有较高的计算效率。

向量参变量的约束集族最大元的通有稳定性

利用集值映射方法定义约束广义最大元,在约束条件和向量参变量意义下,讨论了约束最大元映射、向量参数扰动时,特别是约束条件受到扰动时,向量参变量的约束集族最大元的通有稳定性,在最广的扰动下,获得了通有稳定性定理.