论证一类不等式问题 展示数学发现的方法

通过对一个不等式的加强和完善,探求出推广这一类问题的途径,解决了一类不等式问题。     

关于具有给定极点的有理函数导数的不等式

给出了一类具有给定极点的有理函数的导数在Lp 尺度下的Varma型和Turán型不等式,从而推广了有关文献中关于多项式的著名不等式.     

广义A-调和张量的反向H?lder型不等式

基于微分形式A-调和方程的反向Hlder型不等式,是研究其解可积性的重要工具。本文将A-调和方程推广到拟线性方程的情形,在一定的条件下获得方程解的反向Hlder型不等式,所得结果可以退化到经典的情形,为研究此类调和方程的正则性与可积性奠定了基础。     

具有集值H-半-伪单调映射的广义向量变分不等式解的存在性

首先推广向量集值半一单调映射到向量集值H-半-伪单调映射,然后利用Kakutani—Fan—Glicksberg不动点定理,研究了具有集值H-半-伪单调映射的广义向量t变分不等式问题,在自反Banach空间中得到了两个存在性结果。     

广义A-调和张量的反向H(o)lder型不等式

基于微分形式A-调和方程的反向H(o)lder型不等式,是研究其解可积性的重要工具.本文将A-调和方程推广到拟线性方程的情形,在一定的条件下获得方程解的反向H(o)lder型不等式,所得结果可以退化到经典的情形,为研究此类调和方程的正则性与可积性奠定了基础.     

基于状态观测器的四旋翼飞行器鲁棒控制

针对一类具有不确定性的系统,当系统状态难以测量时,通过构造状态观测器,设计了基于状态观测器的鲁棒控制。通过选取李雅普诺夫函数,推导出满足鲁棒控制器存在的充分性条件,再通过Schur补性质将矩阵不等式转化为等价的线性矩阵不等式。利用MATLAB中的LMI工具箱求解线性矩阵不等式,得状态观测器增益和状态反馈控制器增益。最后,将结论应用于四旋翼飞行器中,证明了所提方法的有效性。     

具有离散时滞与分时时滞的非自治系统的渐近稳定性

研究了一类具有离散时滞与分布时滞的非自治线性系统的渐近稳定性问题，利用Lyaplunov函数方法和线性矩阵不等式（LMI），得到了系统渐近稳定性的一些充分条件，这些条件能够利用线性矩阵不等式（LMIs）表示，且表达式中含有具有时变时滞与分布时滞项，这样，具有时变时滞与分布时滞的非自治线性系统的稳定性就能够通过Matlab的LIM工具箱进行验证。     

基于系数的二阶线性时变系统镇定条件

针对实际应用中Lyapunov函数不易选择,且随输入量的变化具有不定性的问题,利用积分不等式研究了二阶线性时变系统的镇定条件,给出了利用系数和输入量直接判定该函数稳定性的若干结论.经实例验证,这些结论的应用简单、有效.     

非线性时滞系统模糊控制的一种新方法

针对一类状态变量具有时滞的非线性系统，研究了其模糊控制器的设计问题。采用线性矩阵不等式（LMI）的方法，设计了与状态变量导数有关的模糊控制器，得到了系统存在模糊控制器的充分条件，并利用线性矩阵不等式的解给出具体的形式，最后通过仿真说明了控制器的有效性。     

时滞细胞神经网络的代数抗饱和补偿设计

针对时滞细胞神经网络,提出了一种基于代数判据的抗饱和补偿设计。运用M矩阵理论、迪尼导数、系统参数设计了无饱和输入限制系统镇定的代数判据。在此基础上,利用不等式放缩原理、分区讨论与大中取大综合方法和Lyapunov理论,得出了二次矩阵不等式形式的抗饱和控制设计方案,进而将之转化为线性矩阵不等式。同时,给出了吸引域及其最大化方法。仿真验证了该设计方案的可行性和有效性。     

基于Rough集理论的数据库推理通道动态消除

提出了一种基于Rough集理论的数据库推理泄漏通道消除方法。在由数据库中所有数据生成的不完备决策表上,该方法应用Rough集理论,分析提取出敏感和非敏感数据之间的确定性推理关系,以此产生推理控制规则。利用这些规则对数据库系统返回给普通用户的数据动态地做最小修改,防止推理通道的产生。实验结果表明,该方法可扩展性强,在保证较高的数据库安全性的同时提高了数据可用性。     

基于模糊推理的目标对潜发现问题研究

基于模糊推理基本思想,针对潜艇水下收集目标信息的特点,在目标对潜艇威胁信息存在不确定性因素的基础上,建立了判断潜艇被发现与否的指标体系,应用模糊推理方法建立了判断规则,并给出了推导过程和实现方式,在把模糊推理方法应用于潜艇威胁判断模型的研究上做了初步尝试。     

推理树概率逻辑公式集有效赋值列数计算

本文通过对概率逻辑推理树知识结构模型的研究,得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法,给出了树推理模型的有效赋值列数的一般计算方法。     

基于发动机恒转速控制的干式DCT车辆智能起步研究

分析了起步过程中影响离合器接合速度的主要因素,基于发动机恒转速控制方式和双离合器联合起步,设计了驾驶意图模糊推理系统、离合器接合速度推理系统、离合器分离条件推理系统3个智能控制系统,对起步的挡位、发动机转速、离合器接合速度进行控制,并对其进行了仿真。仿真结果表明:应用模糊控制能很好地控制DCT车辆双离合器联合起步。     

威胁评估中的一种直觉模糊推理方法

针对战场信息中存在大量不确定性因素的特点,利用一种新的直觉模糊推理方法进行威胁企图分析。推理方法有效利用两个传统Zadeh模糊系统的输出结果,更接近于专家的思维。通过实例研究证明了该方法的可行性。直觉模糊推理是对一般模糊推理的有效扩充和发展,该方法对于提高作战指挥决策智能化具有一定的参考意义。     

基于回合制对抗推演的探索性仿真实验兵力行动序列生成

信息时代的战役、战斗越来越呈现出复杂系统的特性,而探索性仿真实验正是一种研究复杂系统的有效手段。为向探索性仿真实验提供符合人类决策过程的兵力行动序列,基于人机结合的思想,采用回合制对抗推演方法来生成决策序列并加以优化,并对决策向兵力行动转化的模型进行分析,将决策序列转化为兵力行动序列,为后续仿真实验提供了仿真输入。研究成果对军事专家如何参与探索性仿真实验具有一定的借鉴意义。     

基于模糊推理的目标攻潜武器判断

介绍了模糊推理理论基本思想,分析了判断目标攻潜武器的战术依据.针对潜艇水下收集目标信息的特点,应用模糊推理理论建立了目标攻潜武器类型的判断规则,并给出推导过程和实现方式,在把模糊推理理论应用于潜艇威胁判断模型的研究上做了初步尝试.     

英语阅读中如何猜词解义

在阅读英语时,首先遇到的问题是生词。如果时时停下来查词典,就会影响思维的连续性、阅读速度甚至丧失阅读兴趣。外语教学中常常提到根据上下文了解词义,即在碰到难以理解的词语时,可以引导学生根据词汇语境线索和已知信息及构词法来进行推测。掌握猜词解义的方法,有助于提高阅读能力。     

海军特种作战兵力行动知识推理研究*

通过对兵力行动知识原理和兵力行动知识工程建模方法的分析,根据知识推理的特点,给出了适合的兵力行动知识表示和推理方法的选择,并着重运用三值逻辑神经网络这种兼备符号语义表示和网络传播结构的模型,解决了兵力行动推理中偏好性和主观性的规则逻辑的表示及相应的推理问题.最后,基于兵力行动推理的研究,以海军特种作战兵力行动为例,得出了兵力行动知识推理模型实现的描述.     

专家系统与测试技术相结合的诊断维护系统

本文介绍的诊断维护系统ＩＴＭＤＭＳ将专家系统技术与传统的测试知识相结合。该系统包括两类知识：浅层知识和深层知识,知识用一阶谓词表示。推理过程分三步完成：（１）浅层推理;（２）深层推理;（３）浅层推理。知识维护手段使系统的知识在使用中不断完善。该系统的框架可适用于任意复杂的数字系统的诊断维护。