排序方式： 共有6条查询结果，搜索用时 140 毫秒
1
1.
本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础. 相似文献
2.
Daubechies通过应用著名的Riesz引理,证明了支集为[0,N]的正交小波的存在性,并对几个给出了具体的小波.主要应用多项式系统研究了实系数正交小波的构造,并获得了某支集所有实系数正交小波的构造方法. 相似文献
3.
线性时变周期(LTVP)系统是一类十分重要的系统,在研究该系统的镇定性问题时,一般需要设计状态反馈控制器.但是,传统的状态反馈控制器,往往无法考虑到控制器的一些性能指标,从而导致控制器不能达到要求.本文为了解决该问题,设计出保性能控制器,成功地解决了该问题.而且,本文还给出该保性能控制器,基于LMI的设计方法.最后,通... 相似文献
4.
针对二维非梯度系统构造了适应景观,定性分析了系统分别在有选择、重组、连锁不平衡作用的演化趋势.首次通过构造广义Lyapunov函数的方法定量地给出了适应景观,澄清了细致不平衡和旋度为零不是适应景观存在与否的判据. 相似文献
5.
焦淑云 《山西大学学报(自然科学版)》2021,(2):234-240
文章研究了一类食饵具有避难和强Allee的时滞捕食者-食饵扩散模型.首先,考虑对应的常微分系统,计算出其平衡点的表达式并讨论了这些平衡点的类型及稳定性,其次,讨论了时滞和扩散对共存平衡点稳定性的影响,得到Hopf分支的存在性.最后,通过数值模拟验证了已得结论,并发现当时滞较大时,捕食者和食饵趋于灭绝的现象. 相似文献
6.
主要讨论了[0，5]区间所构造的实系数小波消失矩的阶数和具体的二阶及三阶消失矩表达式，旨在为应用小波提供工具． 相似文献
1