一类混合系统不变集的LMI方法求解

为了解决混合系统不变集的存在性问题,针对一类含有摄动干扰的混合系统,首先通过公共李雅谱诺夫函数判断不变集的存在性;然后通过构造李雅谱诺夫函数,利用线性矩阵不等式(LMI)的方法求得不变集的存在性,得出混合系统的切换规律以及子系统所对应的子空间,并进一步求得混合系统不变集的范围;最后通过一个混合系统数值仿真例子证明了该方法的可行性与有效性.     

基于粗糙集理论的规则提取算法

粗糙集理论的主要思想是在保持分类能力不变的前提下,通过属性约简和值约简,提取决策规则。本文主要是提出了利用隶属度函数进行值约简的同时提取决策规则的算法。利用该算法可在不求得核值表的情况下,直接找到各规则的最小条件属性集,获得决策表的所有决策规则。     

形式验证中近似流管道的算法研究

混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一步,选用何种几何体表示可达集对于整个验证精度有决定性的影响。文章对有向矩形壳和凸多面体2种状态可达集近似表示方法进行了分析比较,结合2种方法的优点提出了流管道过近似混合算法以降低保守性和提高运算速度;最后在Matlab环境下实现了混合算法并且验证了1个分段非线性系统实例,验证结果显示了所提混合算法的有效性。     

基于流管道过近似的混合系统形式化验证技术

文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结合一个切换系统的实例,建立其混合自动机模型,在MATLAB语言环境下编程,实现验证过程.     

线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

基于测地线水平集的双曲不变流形仿真计算

介绍了鞍型平衡点的一维和二维流形计算方法,提出了基于测地线水平集的双曲不变流形计算法.     

基于粗糙集的分布式集值数据属性约简

有许多文献针对集中式集值决策信息系统进行了研究,但还没有针对分布式集值决策信息系统方面的研究。主要讨论了分布式环境下集值决策信息系统的属性约简问题。从概率角度给出了集值对象的相似性度量,定义了分布式集值决策信息系统中的粗糙集模型;以保持系统正域不变为准则,分析了分布式集值决策信息系统中子决策表和属性的可约性;随后,给出了分布式集值决策信息系统中属性对于系统可约的2个判定条件,并采用后向搜索策略提出了相应的属性约简算法;为了验证该方法的有效性,在5份数据集上进行了50组实验。实验结果表明,提出的方法可以在保持分布式集值决策信息系统分类能力基本不变的情况下约简掉冗余的属性。。     

可达集流管道近似的简化算法

混合系统的形式验证中,确定近似商迁移系统的迁移关系,需要计算系统初始区域的可达集的流管道近似。针对非线性系统可达集近似计算难题,提出流管道逼近方法,极大简化了凸多面体的计算量。     

α-E-半预不变凸型函数的性质与多目标规划的最优性条件

【目的】提出了一类新的广义凸函数,即α-E-半预不变凸函数,研究了α-E-半预不变凸函数的一些性质以及它在多目标规划中的应用。【方法】理论推导和例子验证相结合。【结果】α-E-半预不变凸函数的线性组合是α-E-半预不变凸函数;讨论了α-E-半预不变凸函数在约束条件下的多目标规划问题的最优性条件,得到了多目标规划问题的可行解集是α-E-半不变凸集以及多目标规划问题的局部有效解与全局有效解的关系;最后,利用方向导数获得了关于多目标规划问题有效解的一个充要条件。【结论】α-E-半预不变凸函数是大量存在的,它在数学规划研究中具有重要意义,丰富了数学规划相关方向的研究。     

一个混沌系统最终有界集及其在同步中的应用

利用广义Lyapunov函数理论和优化理论,研究了一个混沌系统的最终有界集和正向不变集,得到了一系列的椭球形估计,将结果运用到同步上,实现了两个系统的全局同步;数值仿真表明了该方法的有效性.     

关于混合动态系统稳定性理论的探讨

基于一个已有的混合动态系统模型，给出了混合动态系统的不变集及在不变集上的李亚普诺夫稳定性的定义。在该模型的基础之上，建立了一个稳定性比较理论。     

基于粗糙集理论的多指标综合评价方法

针对评价多指标优劣中属性权值难以确定的问题,笔者提出了基于粗糙集的TOPSIS综合评价的应用算法,利用粗糙集进行权重确定,把粗糙集与TOPSIS相结合,提出了基于粗糙集的TOPSIS综合评价方法,以属性重要度作为各个属性的权值,对信息系统进行加权分析,得出了总体排序结果,并通过算例验证了该方法的有效性.     

基于遗传禁忌混合算法的低相关区序列集搜索方法

提出一种基于遗传-禁忌混合算法(genetic-taboo hybrid algorithm)的低相关区(low correlation zone,LCZ)序列集的搜索方法.建立搜索LCZ序列集的优化模型并设定了模型的目标函数,将禁忌算法嵌入到遗传算法的变异操作中,提出一种遗传-禁忌混合算法,该算法利用遗传算法的全局搜索能力和禁忌算法的局部搜索能力从而实现高效搜索.迭代过程中,种群在进入新一轮进化之前,首先剔除移位等价序列(shift equivalent sequence),从而保持种群的多样性,防止算法过早收敛.根据优化算法收敛后目标函数保持不变的特点,设定了算法结束准则,当超过一定进化代数后目标函数值仍保持不变,则认为进化结束.对非周期四元和周期二元序列集进行数值仿真,结果证明了该方法的有效性.     

自适应判决门限PN码混合捕获方案

提出了一种适用于多径衰落信道下实现快速PN码捕获的自适应判决门限混合捕获方案.系统采用多个非相干相关器进行并行搜索和估计背景功率电平,利用恒虚警方法自适应设置系统的判决门限.通过在整个PN码不定相位上均匀分布各相关器的本地PN码相位,能够避免在多径干扰环境下多个同步相位同时出现在相关器中,消除多径干扰对系统检测性能的影响.文中对检测性能进行了分析和比较,并给出了在均匀背景噪声和多径干扰环境下的仿真结果.结果表明,提出的方法可以有效消除多径干扰的影响.     

基于BERT-BiGRU-Attention的在线健康社区用户意图识别方法

针对传统用户意图识别主要使用基于模板匹配或人工特征集合方法导致成本高、扩展性低的问题,提出了一种基于BERT词向量和BiGRU-Attention的混合神经网络意图识别模型。首先使用BERT预训练的词向量作为输入,通过BiGRU对问句进行特征提取,再引入Attention机制提取对句子含义有重要影响力的词的信息以及分配相应的权重,获得融合了词级权重的句子向量,并输入到softmax分类器,实现意图分类。爬取语料实验结果表明,BERT-BiGRU-Attention方法性能均优于传统的模板匹配、SVM和目前效果较好的CNN-LSTM深度学习组合模型。提出的新方法能有效提升意图识别模型的性能,提高在线健康信息服务质量、为在线健康社区问答系统提供技术支撑。     

基于混合遗传算法的随机结构可靠性优化设计

遗传算法（GA）是一种具有随机搜索技术的进化算法,但在运用过程中出现早熟、收敛速度慢、局部搜索能力差的缺点。对遗传算法中的遗传算子进行了改进,提出了遗传算法和最佳矢量法相结合的混合遗传算法,并引入了小生境技术。分析表明,基于小生境的混合遗传算法即发挥了最佳矢量法局部搜索能力强的特点,又结合了遗传算法全局搜索能力强的优点,使收敛性能大大改善,同时小生境技术的使用,避免了优化过程中局部最优解的出现,提高收敛速度。具体算例表明该混合遗传算法是一种高效的结构优化方法。     

受控Lorenz系统的一些结果及其应用

首先考虑受控的Lorenz系统，利用Jacobin矩阵和平衡点的定义，给出了系统的控制项；再利用广义Lyapunov函数簇。给出了此系统的全局吸引集和正向不变集估计的方法和结果，并分析了此系统的稳定性；利用此系统简化椭球公式的证明，从而讧明了Leonov公式，将估计式统一在一个公式之中，新公式还可以派生出一系列其他的估计式；然后，利用几何学的交集的思想，获得全局吸引集和正向不变集的更佳结果；最后，采用线性反馈的方法构造了一个同步系统，在Matlab上进行了数值仿真，给出了系统的同步误差图，结果表明此方法是可行有效的．     

一种非刚性三维模型的尺度不变局部特征提取方法

提出了一种具有尺度不变性的非刚性三维模型局部特征提取方法,即基于局部多值模式的热核特征（local multilevel pattern based heat kernel signatures,LMP-HKS）.首先设计了一种适用于一维信号的基于局部多值模式的编码方法;然后通过对HKS特征的对数差分结果使用局部多值模式来计算特征直方图向量,以获得局部特征向量.该特征不仅保留了HKS特征的等距不变性、信息完备性及稳定性等优良特性,而且具有尺度不变性.与同样具有尺度不变性的SI-HKS特征相比,LMP-HKS特征对于非刚性三维模型的局部形状结构具有更强的描述能力.大量非刚性三维模型检索的实验结果验证了该局部特征的有效性.      

一维混杂控制系统可生存域计算

讨论了一维混杂控制系统在闭区间里的最大可生存域的计算问题.采用混杂微分包含描述混杂控制系统,针对系统为一维的情况作了合理的简化.将一维混杂控制系统的最大可生存域的计算问题转化为一个优化问题,并给出了具体的例子来说明这一结果.     

一种新的复杂细胞启发下的特征提取方法

鉴于V1区复杂细胞具有提取外界刺激不变本质的能力,设计了一个提取目标图像局部不变特征的方法.该方法首先使用提出的无监督算法(PCICA),从图像中学习出类似于复杂细胞感受野的滤波器集合.然后利用这些滤波器组成的复杂细胞描述子,提取目标图像各个位置的不变特征.最后对图像特征图进行分块统计,将各区域的直方图序列作为图像的最终描述.测试结果表明,PCICA具有类似于快速独立分量分析算法(FastICA)三阶收敛的特点,从图像中学习出的滤波器集合,表现出复杂细胞感受野的拓扑结构.这些滤波器对于局部图像的微小变化并不敏感,对于检测不变特征十分有利,并在MNIST手写体数据库上取得0.84%的识别错误率.