含有不确定时延网络控制系统的鲁棒H∞控制

研究了存在不确定时延的网络控制系统的鲁棒H_∞控制器设计方法。首先讨论了系统的建模问题,针对传感器采用时间驱动,控制器和执行器采用事件驱动,考虑不确定时延小于一个采样周期的情况,网络控制系统可建模为一类具有不确定性的线性离散时延系统,利用Lyapunov方法和线性矩阵不等式方法,推导出闭环控制系统渐近稳定且H_∞范数小于性能指标γ的充分条件,并给出动态输出反馈H_∞控制律设计方法。通过Matlab数值仿真,证明了该设计方法的有效性。     

基于连续故障模型的Ｄｅｌｔａ算子系统可靠鲁棒H∞ 控制

研究具有执行器故障的Ｄｅｌｔａ算子线性不确定系统的可靠鲁棒H_∞ 问题．设计控制器,确保在执行器发生故障时闭环系统仍能保持鲁棒稳定,且满足给定的H_∞ 指标．针对执行器连续故障模型,运用线性矩阵不等式方法,得到Ｄｅｌｔａ算子系统α-次优可靠鲁棒H_∞ 状态反馈控制器的存在条件和设计方法,并进一步给出了Ｄｅｌｔａ算子系统最优可靠鲁棒H_∞ 控制器的设计方法．数值算例表明,该设计方法是有效而可行的．     

随机线性重复过程的鲁棒L2-L∞滤波

针对随机线性重复过程,研究了其鲁棒L₂-L_∞滤波问题。基于线性矩阵不等式技术推导了该随机线性重复过程均方渐近稳定以及鲁棒L₂-L_∞全阶滤波器存在的充分条件,并将滤波器的设计转化为一个凸优化的求解问题。所设计的滤波器能够保证相对于所有能量有界的外界扰动信号,重复过程的L₂-L_∞性能指标小于一定值γ。仿真实例证实了该设计方法的有效性。     

不确定关联网络系统分散H∞ 量化控制

研究同时具有状态和控制输入的两量化器的不确定关联网络系统分散H_∞ 状态反馈控制器和量化器参数的设计问题．由于状态在传送到控制器之前,以及控制器输入到系统时信号需要被量化,使系统的性能不能得到保证．为此,提出了一种依赖于状态调节量化器参数的策略,使得所得的闭环系统渐近稳定,并且能获得在没有量化器情况下相同的H_∞ 扰动抑制水平．控制器的设计和量化器的参数都是根据子系统信息以分散的方式构造的．     

逻辑系统Hα中广义语义MP规则证明的改进

将修正的Kleene逻辑系统中语义MP规则推广后应用于H_α逻辑系统中,讨论了H_α逻辑系统中广义重言式理论的语义（[α]-MP）规则,语义（[α⁺]-MP）规则,使得对H_α系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统W中的广义语义MP规则也成为一个特例。     

一类不确定系统鲁棒容错D-稳定性分析

研究不确定系统D-稳定鲁棒容错H_∞控制问题.基于连续型执行器故障模式,利用线性矩阵不等式(LMI),给出了系统D-稳定的鲁棒容错输出反馈控制器存在的充分条件,并将动态输出反馈控制器设计方法归结为求解一族线性矩阵不等式组.仿真示例表明,无论执行器是否发生故障,所得到的动态输出反馈控制器不仅保证闭环系统是D-稳定的,而且满足给定的H_∞干扰指标,从而验证了所提出的控制器设计方法的有效性.     

非交换BR0-代数与其上的Quantale

提出非交换BR₀-代数的概念,然后讨论了在完备非交换BR₀-代数和完备BR₀-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R₀-代数以及完备BR₀-代数都是可换的Girard quantales的结论。     

基于含参数蕴涵算子族L-λ -R0的三I支持算法 ——仅就FMP模型进行讨论

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型的三I支持算法、α-三I支持算法。     

三值乘积逻辑系统Π3中的随机化研究

利用赋值集的随机化方法,在三值乘积逻辑∏₃提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_∏3-相似度与伪距离的概念,并建立了D_∏3-逻辑度量空间,证明了此空间没有孤立点。     

正则蕴涵算子族G-λ-R0的约束度理论相关研究

研究了基于正则蕴涵算子G-λ-R₀模糊推理的三I算法的约束度理论,分析了约束度的性质,给出了α-三I算法的FMP（FMT）上（下）确界的计算公式。     

基于蕴涵算子族L-λ-R0的模糊推理α-三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。     

基于蕴涵算子族L-λ-R0的FMT三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了FMT模型的三I约束算法、α-三I约束算法。给出了FMT模型的三I约束算法、α-三I约束算法计算公式。     

基于蕴涵算子Lp的模糊推理的FMP反向三I算法

研究了基于蕴涵算子L_p模糊推理的FMP反向三I支持算法及α-反向三I支持算法,给出了FMP模型的反向三I算法及α-反向三I算法的计算公式。     

n值乘积逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值乘积逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_πn-相似度与伪距离的概念,并建立了D_πn逻辑度量空间,证明了此空间没有孤立点。     

BL*系统的一种扩张及相关性质

对BR₀代数,Boole 代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR₀代数与Boole 代数间的相互关系,随后在BL*系统中分别添加公理模式(A →B) →¬A ∨ B或(A →(B → C)) →(A ∧ B → C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。     

利用M4矩阵和循环移位实现图像快速置乱

讨论了M₄矩阵的性质,然后根据图像像素值的特点,将0~255之间的数值分成不同的具有循环关系的集合。在此基础上,提出了一种利用M4矩阵和循环移位算法实现图像快速置乱的算法。实验数据表明,所提出的算法快速、有效,从直方图相似度和置乱度上都明显优于其他算法。     

SP-上阶梯知识挖掘及状态识别算法

单向S_p-粗集中,具有属性集α的知识[x]（R-元素等价类[x]）具有这样的特征：若α内被补充属性,则[x]内的元素个数被减少。利用这一特征,考虑属性补充的随机性,给出S_p-上阶梯知识,S_p-上阶梯知识的依信度生成,S_p-上阶梯知识属性依赖的原理,给出S_p-上阶梯知识的属性依赖挖掘定理,S_p-上阶梯知识的状态识别算法。     

RG-代数的子代数与广义重言式理论

对Godel逻辑系统中的广义重言式理论进行推广,讨论了R_G-代数的各类无限子代数上的广义重言式,证明了在子R_G-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。     

F2m域椭圆曲线密码系统软件实现的优化技术研究

在椭圆曲线密码系统的实现中,选择适当的优化技术对椭圆曲线密码系统的运算性能影响巨大。针对F₂^m域椭圆曲线密码系统的关键操作,讨论了点加、倍点和标量乘法等基本运算的优化实现技术,论证了综合使用各种优化技术可以大大提高整个椭圆曲线密码系统的运算性能。     

具有自适应参数的粗糙k-means聚类算法

粗糙聚类是不确定聚类算法中一种有效的聚类算法,这里通过分析粗糙k-means算法,指出了其中3个参数w_l,w_u和ε设置时存在的缺点,提出了一种自适应粗糙k-means聚类算法,该算法能进一步优化粗糙k-means的聚类效果,降低对“噪声”的敏感程度,最后通过实验验证了算法的有效性。